1.

2 Importancia de la lgica
La lgica es muy importante para el hombre, ya que est presente en cada momento y
en toda decisin de nuestra vida cotidiana, resolviendo problemas. En el campo
aplicativo general la lgica es til por las razones siguientes:
a) Nos permite clarificar nuestros razonamientos o pensamientos a travs de la
distincin de la correccin e incorreccin de stas.
b) Permite reducir los procedimientos verbales extensos y ambiguos a simples
operaciones con smbolos breves.
c) Nos permite adquirir destrezas y habilidades en el uso de las argumentaciones.
d) La eficacia de las argumentaciones o razonamientos nos permite actuar en la
vida con xito, evitando los fracasos.
e) Nos prepara para el uso de una buena argumentacin, la cual nos conduce a
un mejor conocimiento de la realidad y a acortar el camino a la verdad.
f)

Constituye el instrumento imprescindible para el ejercicio serio de la tarea

cientfica. As se le aplica en la lingstica, psicologa, informtica, matemtica,
etc.

g) Nos permite analizar los razonamientos deductivos o recursivos

h) Resuelve el problema de la comunicacin eficaz entre personas en distintos
niveles de exactitud.
1.3 Referencia Histrica
Histricamente la palabra lgica ha ido cambiando de sentido. Comenz siendo una
modelizacin

de

los

razonamientos

propuesta

por

los

filsofos

griegos

posteriormente ha evolucionado hacia diversos sistemas formales, relacionados con la

teora.
La lgica formal como un anlisis explcito de los mtodos de razonamientos se
desarroll originalmente en tres civilizaciones de la historia antigua: China, India y
Grecia entre el Siglo V y el Siglo I a.C.
En China no dur mucho: la traduccin y la investigacin escolar en lgica fue
reprimida por la dinasta Qin, acorde con la filosofa legista. En India, la lgica dur
mucho ms: se desarroll hasta que en el mundo islmico apareci la escuela de
Asharite, la cual suprimi parte del trabajo original en lgica. (A pesar de lo anterior,

hubo innovaciones escolsticas indias hasta principios del siglo XIX, pero no
sobrevivi mucho dentro de la India Colonial).

El tratamiento sofisticado y formal de la lgica moderna aparentemente proviene de la

tradicin griega.
Aristteles fue el primero en emplear el trmino Lgica para referirse al estudio de los
argumentos dentro del lenguaje natural. En el Organon Aristteles la define como el
arte de la argumentacin correcta y verdadera.
Naci as la anteriormente definida Lgica Informal, o el estudio metdico de los
argumentos. Durante varios siglos, slo fue investigada por la retrica, la oratoria y la
filosofa, entre otras ramas del conocimiento. Se especializ medularmente en la
identificacin de falacias y paradojas, as como en la construccin correcta de
razonamientos.
A partir de mediados del Siglo XIX la lgica formal comenz a ser estudiada en el
campo de las matemticas y posteriormente por las ciencias computacionales,
naciendo as la Lgica simblica. sta trata de esquematizar los pensamientos
claramente usando un lenguaje de signos propio y distinto al verbal, evitando as las
ambigedades.
As, en la edad contempornea, la lgica generalmente es entendida para describir
razonamiento en una forma prescriptita. Esto es, describe cmo el razonar debera
tomar lugar.
Adems de encontrarle mltiples e importantes usos computacionales y matemticos a
la lgica simblica, se ha mantenido la lgica aristotlica, la cual principalmente se
ocupa de ensear el buen argumento, y es todava enseada con ese designio en la
poca contempornea. Para la Lgica matemtica y la filosofa analtica la lgica es un
objeto de estudio en s mismo, por lo que sta es estudiada a un nivel ms abstracto.
Existen muchos otros sistemas lgicos, como la lgica dialctica, lgica difusa, lgica
probabilstica, lgica modal y la lgica no montona.
Martin Heidegger discpulo de Edmund Husserl, se aparta de estas lneas de
consideracin de la lgica aunque sin despreciarlas y comprendiendo su alcance

(pero tambin sus lmites), planteando que una lgica ms originaria se podra
encontrar en un plano previo a las proposiciones, sentencias, declaraciones o juicios.
Tomar en cuenta eso podra llevar a un replanteamiento de la lgica de la proposicin
o la lgica del juicio, puesto que nos conducira a movernos en las races de la lgica
tal como ha sido habitualmente entendida, races que hasta ahora han sido
insuficientemente atendidas. Para l, la lgica tendra que partir de una suficiente
meditacin del ( lgos), el cual debera ser distinguido de la ratio, que, en rigor,
significa algo distinto. Esta historia ha generado una serie de sistemas lgicos, siendo
los ms principales:
a) Lgica aristotlica .- Como su nombre lo indica, el padre de la lgica aristotlica es
el filosofo griego Aristteles; primer pensador en formalizar el sistema lgico de tan
acertada manera que sus propuestas han trascendido hasta nuestros das. Aristteles
plante sus ideas en varias obras, para difundir su conocimiento sobre las leyes del
razonamiento, argumentando que estas eran vitales para adentrarse en el mundo de la
filosofa. La lgica aristotlica supone que la mente reproduce solo la realidad, la
existencia de las cosas tal y como son, por ello es una ciencia objetiva que se dedica a
estudiar conceptos, desglosndolos en predicables y predicamentos. La lgica analiza
juicios y formas de razonamiento y su manera de expresar resultados es el silogismo o
razonamiento deductivo categrico. Concepto: Este representa un objeto en la mente
del hombre de manera que no pueda ser afectado por los sentidos, la memoria o la
mente. Un concepto tiene comprensin (caractersticas del objeto) y extensin (hace
alusin la cantidad de sujetos a los que el concepto puede aplicarse). Porfirio (siglo III
d.c.), en los que se clasifican los conceptos estableciendo entre ellos una relacin de
jerarqua y subordinacin, de mayor a menor extensin.
b) Lgica baconiana.- Esta concepcin considera que la ciencia es el instrumento
ms eficaz para que las fuerzas de la naturaleza se vuelvan tiles al hombre. Los
hechos de la naturaleza deben ser observados con imparcialidad y con objetividad.
Bacn critica los mtodos antiguos, que considera falsos, puesto que suponen al
espritu humano demasiado sublime para descender a hacer experiencias, bastndole
arrancar la verdad de su propio fondo. De que trata Bacn en su libro "Novum
Organum"?. Trata de combatir rudamente al silogismo aristotlico, sosteniendo que
este instrumento es incapaz de suministrar nuevos conocimientos, puesto que esta
minado por un vicio sofistico, toda vez que, s es falsa la conclusin, por lo tanto, un
nuevo instrumento, en nuevo rgano. Ese rgano es la induccin que desempea en
la investigacin de las nuevas verdades cientficas el papel principal.

c) Lgica matemtica .- La lgica matemtica es un campo de las matemticas que

estudia los sistemas formales en relacin con el modo en el que codifican conceptos
intuitivos de objetos matemticos como conjuntos, nmeros, demostraciones y
computacin.
La lgica matemtica suele dividirse en cuatro subcampos: teora de modelos, teora
de la demostracin, teora de conjuntos y teora de la recursin. La investigacin en
lgica matemtica ha jugado un papel fundamental en el estudio de los fundamentos
de las matemticas.
La lgica matemtica fue tambin llamada lgica simblica, en oposicin a la lgica
filosfica, y metamatemticas. El primer trmino todava se utiliza como sinnimo
suyo, pero el segundo se refiere ahora a ciertos aspectos de la teora de la
demostracin.
La lgica matemtica no es la "lgica de las matemticas" sino la "matemtica de la
lgica". Incluye aquellas partes de la lgica que pueden ser modeladas y estudiadas
matemticamente.
d) Lgica temporal .- El trmino lgica temporal, dentro de la lgica se usa para
describir un sistema de reglas y simbolismos para la representacin y el razonamiento
sobre proposiciones en las que tiene presencia el factor tiempo. Existe una cierta
relacin con otras variedades de lgica, por ejemplo, la lgica modal. Su estudio tiene
una cierta importancia dentro del estudio de la informtica, en particular los desarrollos
introducidos por Amir Pnueli.
Por ejemplo, tomemos la sentencia: "Tengo hambre"; aunque su significado es
independiente del tiempo, el valor de verdad o falsedad de la misma puede variar con
el tiempo en un determinado sistema que incluya acciones de comer; as, en funcin
del sistema, algunas veces ser cierta y otras falsa, aunque nunca ser cierta y falsa
simultneamente.
e) Lgica modal.- La lgica modal, dentro de la lgica, se ocupa de enunciados
afectados por modalidades del tipo "posiblemente" y "necesariamente". La lgica
modal es intencional, en el sentido de que el valor de verdad de un enunciado que
contiene expresiones modales no depende exclusivamente del valor de verdad de sus
enunciados componentes.

La lgica modal experimenta un gran auge tras los trabajos fundacionales sobre
semntica modal de Saul Kripke en los sesenta. Actualmente la lgica y semntica
modal se emplean para representar gran variedad de nociones: epistmicas ('conocer
que'), de creencia ('creer que'), morales ('es obligatorio' o 'es permisible'), temporales
('suceder en el futuro' o 'siempre sucedi en el pasado') e incluso estados de un
programa en informtica terica.
f) Lgica no monotnica.- Una lgica no monotnica es una lgica formal cuya
relacin de consecuencia es no monotnica. La mayora de las lgicas formales tienen
una relacin de consecuencia monotnica, lo que quiere decir que el agregar una
frmula a una teora nunca produce una reduccin de su conjunto de consecuencias.
Intuitivamente, la monotonicidad indica que el agregar nuevos conocimientos no puede
reducir el conjunto de las cosas conocidas. Una lgica monotnica no puede manejar
varios tipos de razonamiento tales como el razonamiento por default (los hechos
pueden ser conocidos nicamente por la carencia de evidencia de lo contrario), el
razonamiento abductivo (los hechos slo se deducen en calidad de explicaciones
probables), el razonamiento acerca del conocimiento (la ignorancia de un hecho debe
ser retractada cuando el hecho sea conocido), y la revisin de creencias (nuevo
conocimiento puede contradecir creencias anteriores