se consider en Occidente que la Lgica Silogstica de Aristteles era el

paradigma definitivo de esta ciencia, aceptada como un cuerpo de

conocimiento acabado.
La historia de la Lgica se remonta a la Grecia Antigua, se le atribuy a
Aristteles, quien fue su primer sistematizador. Sus obras fueron agrupadas en
un conjunto que se denomin Organon.
La Lgica Aristotlica parte del supuesto de que las formas de pensamiento
reproducen la realidad; se ocupa de los conceptos y de las categoras del
pensamiento completndose con el anlisis de los juicios y de las formas de
razonamiento centrndose en las formas de demostracin adecuadas al
conocimiento cientfico.
Aristteles expone cuatro tipos de proposiciones a partir de las cuales formula
sus propuestas de argumentacin vlida, junto con la Teora de los Silogismos.
Estos enunciados son: el universal afirmativo (A) por ejemplo todos los
hombres son mortales, el universal negativo (E), por ejemplo ningn hombre
es mortal, el particular afirmativo (I) por ejemplo, algunos hombres son
mortales, y el particular negativo (O) algunos hombres no son mortales
Las relaciones lgicas que se dan entre estos enunciados son: contrarias entre
A y E; subcontrarias entre I y O; subalternas entre los particulares es decir,
entre A e I y E y O.
Aristteles elabor la Silogstica y el planteamiento de la investigacin segn el
mtodo deductivo, que junto con los estoicos, quienes se dedicaron a una
Lgica de las Proposiciones, caracterizaron la historia de la Lgica Clsica.
es una estructura de pensamiento en que tres juicios estn relacionados entre
ellos de manera tal que uno deriva de los otros dos. Un silogismo se compone
de una premisa menor, una premisa mayor y una conclusin: Premisa menor:
todo B es C4 Premisa mayor: todo C es D Conclusin: todo B es D
En el siglo XIX Algunos de los principales exponentes de esta poca que han
intentado desarrollar la Lgica en sus pensamientos son Descartes, Leibniz y
Frege. Descartes afirm que era posible la construccin de un lenguaje como la
Aritmtica teniendo como punto de partida nuestras ideas claras y simples.
Formul reglas lgicas para el descubrimiento, estableciendo como criterio de
verdad la claridad y la distincin de las ideas y su mtodo fue la duda
metdica. Por su parte, Leibniz, plante aplicar la deduccin matemtica al
contexto de los razonamientos filosficos; por ltimo Frege fue quien consigui
la elaboracin de un clculo lgico perfecto, desarrolla el primer sistema
axiomtico plenamente simbolizado, que tiene relacin con un trabajo
matemtico y tambin filosfico. Su principal aporte es un sistema de lgica en

el que en lugar de analizar las proposiciones en sujeto y predicado, propone

verlas bajo la forma de funcin y argumento.

El lenguaje artificial, en cambio, como su nombre lo indica, es un lenguaje

creado deliberadamente con la intencin de que cumpla alguna funcin, algn
objetivo especfico. Es un lenguaje diseado y aplicado adrede a diferentes
fenmenos o aspectos de la realidad con el propsito de lograr mayor precisin
y rigurosidad.
el lenguaje tcnico: El primero de ellos consiste en todas las jergas que se
utilizan en las diferentes profesiones y oficios. No obstante, aun este tipo de
lenguaje, aunque gane precisin y economice recursos lingsticos sigue
utilizando las formas y los trminos del lenguaje natural, slo que su significado
est ms acotado.
El lenguaje formal o simblico: consiste en la utilizacin de smbolos de ah
su nombre que guardan cierta autonoma con las 7 expresiones del lenguaje
natural. Por ejemplo lo que en lenguaje natural puede leerse como La
margarita es blanca en lenguaje simblico podra leerse como M es B donde
M significara Margarita y B significara Blanca.
Lgica Simblica. Tambin se le denomina Lgica Formal, porque nos interesa
la forma del enunciado y no el contenido. Por ejemplo, M es B puede ser la
Margarita es Blanca, pero tambin puede ser Marta es Buena

-Enunciados atmicos
os enunciados atmicos seran esos elementos simples, que consistira en
algn nombre (no necesariamente un nombre propio) , por ejemplo miedo
margarita rosas Belgrano atleta, etc. conectado a un predicado con el
que caracterizamos a los objetos designados con esos nombres, por ejemplo
tener, flor, rosa, prcer ,saltar
En la Lgica Formal generalmente se utilizan las letras P, Q, R, S, etc., para
simbolizar este tipo de enunciados atmicos del castellano.
expresar el enunciado Tengo miedo, podramos hacerlo, como dijimos con la
letra P.
expresar formalmente el enunciado Tengo fro, podramos hacerlo con la letra
Q

estn conectados por una conectiva

a) Conjuncin () Justamente esta conectiva que abordaremos ser la
conjuncin () que es el equivalente a y en el lenguaje natural.
si P es verdadero y Q es verdadero, PQ es verdadero; (si tengo fro y
tengo miedo, es verdad que tengo fro y miedo) si P es verdadero y Q
es falso, PQ es falso ; (si tengo fro y no tengo miedo, es falso que
tengo fro y miedo) si P es falso y Q es verdadero, PQ es falso ; (si no
tengo fro y tengo miedo, es falso que tengo fro y miedo)10 si P es
falso y Q es falso, P Q es falso. (si no tengo ni fro ni miedo, es falso
que tengo fro y miedo)
b) Disyuncin () La disyuncin de dos enunciados se forma en castellano
insertando la palabra 'o' entre ellos. Los dos enunciados constituyentes
combinados de este modo son llamados los disyuntos. Sin embargo, la
palabra castellana 'o' es ambigua, pues tiene dos significados que,
aunque relacionados entre s, son distinguibles.
Si P es verdadero y Q es verdadero, P Q es verdadero (si tengo fro y
tengo miedo, es verdad que tengo fro o miedo) Si P es verdadero y Q
es falso, P Q es verdadero (si tengo fro y no tengo miedo, es verdad
que tengo fro o miedo) Si P es falso y Q es verdadero, P Q es
verdadero (si no tengo fro y tengo miedo, es verdadero que tengo fro o
miedo) Si P es falso y Q es falso, P Q es falso. (si no tengo ni fro ni
miedo, es falso que o bien tengo fro o bien tengo miedo)
c) Negacin ()La negacin de un enunciado se forma a menudo en
castellano insertando un no en el enunciado original. Con mayor
generalidad, si p es un enunciado cualquiera, su negacin se escribe,
P. La negacin de todo enunciado verdadero es falsa y la negacin de
todo enunciado falso es verdadera. Si P es verdadero, P es falso (si
tengo fro, no es verdad que no tengo fro) Si P es falso, P es
verdadero; (si es falso que tengo fro, es verdad que no tengo fro)

d) Condicional () Una conectiva sumamente importante en Lgica Formal,

adems de las que ya hemos visto, es el condicional (). Esta conectiva
es importante 13 porque nos permite incorporar la idea de implicancia
que aparece en nuestro lenguaje cotidiano.
Si P es verdadero y Q es verdadero, P Q es verdadero (si es verdad que
tengo fro y es verdad que tengo miedo; es verdad que si tengo fro,
entonces tengo miedo) Si P es verdadero y Q es falso, P Q es falso (si
es verdad que tengo fro pero es falso que tengo miedo; es falso que si
tengo fro entonces tengo miedo) Si P es falso y Q es verdadero, P Q es

verdadero (si es falso que tengo fro pero es verdadero que tengo miedo; es
verdadero que si tengo fro entonces tengo miedo) Si P es falso y Q es
falso, P Q es verdadero (si es falso que tengo fro y es falso que tengo
miedo; es verdadero que si tengo fro entonces tengo miedo).
e) Bicondicional () Nuestra ltima conectiva es el bicondicional.
Supongamos que le decimos a nuestro amigo Si y slo si llueve vamos
al cine, este enunciado, al contrario de un enunciado condicional.
Supone si que si llueve vamos al cine (verdad del antecedente y del
consecuente) y que si no llueve no vamos (falsedad del antecedente y
del consecuente). Es decir, est condicionado desde el antecedente y
desde el consecuente; si uno fuese verdadero y el otro fuese falso
(cualquiera sea el orden) el enunciado Si y slo si llueve vamos al cine
sera falso. Si P es verdadero y Q es verdadero, P Q es verdadero (si
es verdad que tengo fro y es verdad que tengo miedo; es verdad que si
y slo si tengo fro, entonces tengo miedo) Si P es verdadero y Q es
falso, P Q es falso (si es verdad que tengo fro pero es falso que tengo
miedo; es falso que si y slo si tengo fro entonces tengo miedo) Si P
es falso y Q es verdadero, P Q es falso (si es falso que tengo fro pero
es verdadero que tengo miedo; es falso que si y slo si tengo fro
entonces tengo miedo) Si P es falso y Q es falso, P Q es verdadero
(si es falso que tengo fro y es falso que tengo miedo; es verdadero que
si tengo fro entonces tengo miedo).
Hasta aqu vimos que la Lgica Simblica slo nos permite calcular
cuando un enunciado complejo es verdadero o falso, sin embargo,
tambin podramos determinar cuando un razonamiento es vlido o no.
Diremos que un razonamiento es una serie de enunciados que tienen
una relacin lgica entre s, en donde algunos de estos enunciados son
premisas y otras conclusiones.
La Lgica es una disciplina que estudia los principios y los mtodos que
debemos usar para que nuestros razonamientos sean correctos. Sin
embargo, nunca razonamos en abstracto; no somos una computadora.
Estamos sujetos a un lenguaje que tiene sus limitaciones e inmersos en
diversas prcticas lingsticas con sus ribetes y sus contradicciones.
Adems, nuestros razonamientos siempre persiguen algn fin u objetivo
como alcanzar algn grado de certeza sobre nuestras acciones,
convencer a otros de nuestras creencias o darle cierta coherencia a
nuestro discurso. Estos propsitos, como tambin todas las situaciones
de la vida cotidianas y las limitaciones de nuestro lenguaje pueden
llevarnos a equivocar nuestros razonamientos llevndonos
inevitablemente al error. La Lgica es la disciplina que intenta que eso
no suceda. El pensamiento lgico es aquella forma de pensar en donde

se deslegitiman todos los intereses, sean polticos, morales, estticos o

metafsicos para darle exclusividad al criterio de la correccin del
razonamiento. Para el pensamiento lgico, poco importa si un
razonamiento es bueno o si es bello, importa si respeta los principios
lgicos que le dan consistencia.20 La parte de la Lgica que estudia los
argumentos tal como se presentan en nuestra vida cotidiana se llama
Lgica Informal y la hemos explorada en la primer lectura; aquella que
estudia, en cambio, las formas abstractas de los razonamientos para
lograr mayor precisin se llama Lgica Formal y ha sido examinada en la
segunda lectura. Esperamos que este material haya brindado
adecuadamente un panorama de la Lgica en general y de ambas ramas
formal e informal en particular.