Lgica aristotlica

La lgica aristotlica es la lgica basada en los trabajos del filsofo griego Aristteles, quien es
ampliamente reconocido como el padre fundador de la lgica. Sus trabajos principales sobre la materia
tradicionalmente se agrupan bajo el nombre rganon (herramienta), y constituyen la primera
investigacin sistemtica acerca de los principios del razonamiento vlido o correcto.1
Para Aristteles, la lgica era una herramienta necesaria para adentrarse en el mundo de la filosofa y la
ciencia. Sus propuestas ejercieron una influencia sin par durante ms de dos milenios, a tal punto que en
el siglo XVIII, Immanuel Kant lleg a afirmar:
Que desde los tiempos ms tempranos la lgica ha transitado por un camino seguro puede verse a partir
del hecho de que desde la poca de Aristteles no ha dado un slo paso atrs. [...] Lo que es aun ms
notable acerca de la lgica es que hasta ahora tampoco ha podido dar un slo paso hacia adelante, y por lo
tanto parece a todas luces terminada y completa.
El trabajo de Aristteles se consideraba desde los tiempos clsicos, y durante la poca medieval en Europa
y el Medio Oriente como la imagen misma de un sistema completamente elaborado. Sin embargo no estaba
solo: los estoicos propusieron un sistema de lgica proposicional que fue estudiado por los lgicos
medievales. Tambin se estudi el problema de la generalidad mltiple. No obstante, no se consideraba
que los problemas de la lgica aristotlica necesitaran soluciones revolucionarias.
En la actualidad, algunos acadmicos afirman que el sistema de Aristteles no puede aportar mucho ms
que valor histrico, considerado como obsoleto por la llegada de la lgica matemtica. Otros utilizan la
lgica de Aristteles en la teora de la argumentacin para ayudar a desarrollar y cuestionar crticamente
los esquemas de argumentacin que se utilizan en la inteligencia artificial y los argumentos legales.
Juicios
Segn Aristteles, los argumentos o silogismos se componen de juicios (o aserciones, apophanseis). Los
juicios son oraciones con un sujeto y un predicado, en las cuales el predicado se afirma o se niega del sujeto.2
As por ejemplo, Scrates es hombre y todos los hombres son mortales son juicios. Aristteles llama
trmino a aquello que puede ser sujeto o predicado de un juicio, y distingue entre trminos singulares
(Scrates, Platn) y trminos universales (hombre, mortal).3 Los trminos singulares slo
pueden ser sujeto, mientras que los trminos universales pueden ser tanto sujeto como predicado (con
ayuda de cuantificadores).3 Siguiendo estos criterios, Aristteles clasific distintos tipos de juicios y
tambin construy el cuadro de oposicin de los juicios. La siguiente tabla resume los seis tipos de juicios:
Afirmacin Negacin
Universal Todo S es P. Ningn S es P.
Todos los hombres son mortales. Ningn hombre es mortal.
Indefinido Algunos S son P. Algunos S no son P.
Algunos hombres son mortales. Algunos hombres no son
mortales.
Particular S es P. S no es P.
Scrates es mortal. Scrates no es mortal.
Silogismos
La nocin central del sistema lgico de Aristteles es el silogismo (o deduccin, sullogismos).4 Un silogismo
es, segn la definicin de Aristteles, un discurso (logos) en el cual, establecidas ciertas cosas, resulta
necesariamente de ellas, por ser lo que son, otra cosa diferente. 5 Un ejemplo clsico de silogismo es el
siguiente:
1 Todos los hombres son mortales.
2 Todos los griegos son hombres.
3 Por lo tanto, todos los griegos son mortales.
En este ejemplo, tras establecer las premisas (1) y (2), la conclusin (3) se sigue por necesidad. La nocin
de silogismo es similar a la nocin moderna de argumento deductivamente vlido, pero hay diferencias.6
En los Primeros analticos, Aristteles construy la primera teora de la inferencia vlida.7 Conocida como
la silogstica, la teora ofrece criterios para evaluar la validez, o no, de ciertos tipos muy especficos de
silogismos, los silogismos categricos.7 Para definir lo que es un silogismo categrico, primero es necesario
definir lo que es una proposicin categrica. Una proposicin es categrica si tiene alguna de las siguientes
cuatro formas:
Todo S es P.
Ningn S es P.
 Algunos S son P.
Algunos S no son P.
Cada proposicin categrica contiene dos trminos: un sujeto (S) y un predicado (P). Un silogismo es
categrico si est compuesto por exactamente tres proposiciones categricas (dos premisas y una
conclusin), y si ambas premisas comparten exactamente un trmino (llamado el trmino medio), que
adems no est presente en la conclusin. Por ejemplo, el silogismo mencionado ms arriba es un silogismo
categrico. Dadas estas definiciones, existen tres maneras en que el trmino medio puede estar distribuido
entre las premisas. Sean A, B y C tres trminos distintos, luego:
Primera figura Segunda figura Tercera figura
Sujeto Predicado Sujeto Predicado Sujeto Predicado
Premisa A B A B A C
Premisa B C A C B C
Conclusin A C B C A B
Aristteles llama a estas tres posibilidades figuras.8 El silogismo mencionado ms arriba es una instancia
de la primera figura. Dado que cada silogismo categrico consta de tres proposiciones categricas, y que
existen cuatro tipos de proposiciones categricas, y tres tipos de figuras, existen 4 4 4 3 = 192
silogismos categricos distintos. Algunos de estos silogismos son vlidos, otros no. Para distinguir unos de
otros, Aristteles parte de dos silogismos categricos que asume como vlidos (algo anlogo a las actuales
reglas de inferencia), y demuestra a partir de ellos (con ayuda de tres reglas de conversin), la validez de
todos y slo los silogismos categricos vlidos.7
Otros aportes
Adems de su teora de los silogismos, Aristteles realiz una gran cantidad de otros aportes a la lgica. En
la parte IV (Gamma) de la Metafsica, Aristteles enunci y defendi el famoso principio de no
contradiccin.9 En De la interpretacin se encuentran algunas observaciones y propuestas de lgica modal,
as como una controversial e influyente discusin acerca de la relacin entre el tiempo y la necesidad.10
Segn Aristteles, del par de proposiciones maana habr una batalla naval y maana no habr una
batalla naval, parece que alguna tiene que ser verdadera hoy y la otra falsa. Supongamos que la primera
fuera verdadera hoy. Luego, maana habr una batalla naval. Pero entonces el futuro ya est determinado,
y no depende de nosotros. Lo mismo sucede si suponemos que la segunda proposicin es verdadera hoy.
Sin embargo, nos parece que el futuro no est determinado, y que en algn sentido importante s depende
de nosotros. Frente a esta situacin, Aristteles discute la posibilidad de que las proposiciones acerca del
futuro no sean ni verdaderas ni falsas, es decir una lgica plurivalente.
Aristteles tambin reconoci la existencia e importancia de los argumentos inductivos, en los cuales se va
de lo particular a lo universal, pero dedic poco espacio a su estudio.

La lgica aristotlica. Los razonamientos

El razonamiento es un encadenamiento de juicios en el que partiendo de una proposicin conocida se
descubre otra u otras desconocidas. Aristteles, en los Analticos, se ocupa tanto del razonamiento
deductivo como del inductivo, pero considera que el conocimiento cientfico se alcanza deduciendo lo
particular de lo general, es decir, con el conocimiento de las causas. Aristteles privilegiar, por tanto, el
anlisis del razonamiento deductivo, y en especial del razonamiento deductivo categrico o silogismo.

Del mismo modo que distinguimos en el juicio una materia y una forma hemos de hacer lo propio con el
razonamiento; la materia prxima del razonamiento son los juicios, y la materia remota los conceptos
(que son la materia de los juicios). La forma consiste el nexo o conexin legtima entre los juicios
antecedentes y los consecuentes y se expresa mediante conjunciones como "luego", "por lo tanto", "por
consiguiente", a travs de las cuales se realiza el proceso de inferencia, la consecuencia de unos juicios a
otros. Aristteles afirma que este proceso est sometido a reglas que permiten determinar su correccin o
incorreccin, de tal modo que, si los juicios de los que se parte son verdaderos, y la inferencia se realiza de
acuerdo con las reglas definidas (si la inferencia es vlida, pues) la conclusin ser necesariamente
verdadera. El proceso de inferencia no depender, pues, de la materia del razonamiento, sino de su
forma.
El razonamiento deductivo es una forma de razonamiento que va del todo a las partes es decir, intenta
extraer de una verdad universal otra particular. Puede ser de tres clases: categrico, hipottico y
disyuntivo, atendiendo al tipo de juicio (por la relacin) que le sirva de punto de partida.

Clases de razonamiento y ejemplos correspondientes

Clase de razonamiento Ejemplo correspondiente a dicha clase

Razonamiento categrico
Razonamiento hipottico
Razonamiento disyuntivo
Todos los humanos son mortales.
Los madrileos son humanos.
Luego los madrileos son mortales.
Si apruebas irs de vacaciones.
Es as que has aprobado.
Luego irs de vacaciones.
Por este camino se va al norte o al sur.
Es as que se va al norte.
Luego no se va al sur.

El silogismo es un razonamiento deductivo categrico mediante el cual, partiendo de dos juicios dados
inferimos uno nuevo. Consta, pues, de tres proposiciones (que expresan tres juicios) y de tres trminos
(que expresan tres conceptos), que constituyen la materia prxima y remota del razonamiento,
respectivamente. La premisa que sirve de punto de partida se llama "premisa mayor" y es la ms
general; la premisa que sirve de intermediario se llama "premisa menor", y es menos general que la
anterior; la proposicin que se deduce de la "mayor" por mediacin de la "menor" es la conclusin del
razonamiento. En cuanto a los trminos del razonamiento, se llama "trmino mayor" al predicado de
la conclusin, que debe aparecer en la premisa mayor, y se le representa con la letra P. Se llama
"trmino menor" al sujeto de la conclusin, que aparece tambin en la premisa menor, y se le
representa con la letra S. El "trmino medio" es el que aparece en las dos premisas (mayor y menor) y
no en la conclusin, y se le representa con la letra M. Por lo tanto, tomando el ejemplo anterior de
razonamiento categrico, podramos representarlo como sigue:

Clase de razonamiento, ejemplo correspondiente y representacin formal

Clase de razonamiento Ejemplo Representacin formal

M es P
Todos los humanos son mortales.
S es M
Razonamiento categrico Los madrileos son humanos.
----------
Luego los madrileos son mortales.
S es P
Donde el trmino mayor es "mortales" (P), el trmino menor es "madrileos" (S), y el trmino medio es
"humanos" (M).

Aristteles distingue cuatro formas vlidas de silogismo, conocidas tradicionalmente como figuras del
silogismo, y que resultan del distinto lugar que ocupa el trmino medio, y por lo tanto de la funcin que le
corresponde, en las premisas. La conclusin de todas las figuras es siempre S es P. Las formas vlidas o
figuras del silogismo son las siguientes (aunque la ltima fue considerada por Aristteles como una mera
variante de la primera):

Las formas vlidas del silogismo, o figuras del silogismo

Primera figura Segunda figura Tercera figura cuarta figura

M es P P es M M es P P es M
S es M S es M M es S M es S
 ---------- ---------- ---------- ----------
S es P S es P S es P S es P
El trmino medio
El trmino medio El trmino medio El trmino medio
es Sujeto en la premisa
es Predicado en ambas es Sujeto en ambas es Predicado en la premisa
mayor y Predicado en la
premisas. premisas. mayor y Sujeto en la menor.
menor.

Estas cuatro figuras pueden, a su vez, teniendo en cuenta la cualidad y la cantidad de las proposiciones
que las componen, dar lugar a un total de 64 modos diferentes de silogismo, de los que slo 19 son modos
vlidos de razonamiento. Su validez la establece Aristteles a partir de la determinacin de las leyes o
reglas de legitimidad del silogismo. Entre ellas, que el silogismo ha de constar de tres trminos, que no
pueden ser tomados con mayor extensin en la conclusin que en las premisas, que el trmino medio ha
de tomarse universalmente al menos en una premisa (o en ambas), que de dos premisas negativas no se
puede seguir ninguna conclusin, etc.

El fundamento del silogismo suscit tambin la curiosidad investigadora de Aristteles, ya que al basarse
la inferencia en la validez de las premisas anteriores se planteaba el problema del recurso al infinito para
justificar el razonamiento. Si cada premisa tiene que estar justificada por otra, en efecto, cmo detener la
necesidad de justificar el principio del principio? Esto nos llevara a un proceso infinito de justificacin,
por lo que Aristteles afirm que existan ciertos principios que eran conocidos intuitivamente y que no
necesitaban demostracin. El ms fundamental de todos era el principio de contradiccin (no es posible
que algo sea y no sea, al mismo tiempo, y bajo la misma consideracin); de l se sigue el de identidad
(algo es igual a s mismo) y el de igualdad (dos cosas iguales a una tercera son iguales entre s), y otros
que se siguen de los anteriores.

La lgica aristotlica. Los juicios

La relacin de dos conceptos da lugar a la formulacin de un juicio. Si se da entre ambos una relacin de
conveniencia decimos que el juicio es afirmativo, y en caso contrario, negativo. El sujeto del juicio es el
concepto del que se afirma o niega algo; el predicado es el concepto que se afirma o niega del sujeto.
Aristteles distingue en los juicios la materia y la forma. La materia o contenido del juicio son los
conceptos que se relacionan; la forma es la relacin que se establece entre ellos a travs del verbo ser.
Aristteles representa el sujeto del juicio con un signo (S) y el predicado con otro (P) para intentar
separar la materia de la forma: as, la forma del juicio "Juan es alto" se representara como "S es P", y la
forma del juicio "Juan no es alto" como "S no es P".
Los juicios se clasifican en varios grupos, atendiendo a la cantidad (segn la extensin del sujeto:
universales, particulares, singulares), la cualidad (segn la cualidad de la cpula: afirmativos y negativos),
la relacin (segn la relacin entre el sujeto y el predicado: categricos, hipotticos y disyuntivos) y la
modalidad (segn el modo en que expresan la relacin entre el sujeto y el predicado: apodcticos,
asertricos y problemticos). De ah se sigue una clasificacin ordenada de todas las formas de juicio; en
el caso de los juicios categricos, por ejemplo, se dara la siguiente clasificacin, combinando la cantidad
(universal y particular) y la cualidad (afirmativo y negativo):
Clases de juicios y letras que los representan
Clase de juicio Representacin
Universal afirmativo Se suele representar con la letra A
Universal negativo Se suele representar con la letra E
Particular afirmativo Se suele representar con la letra I
Particular negativo Se suele representar con la letra O

La asignacin de estas letras para representar las formas del juicio categrico es posterior a Aristteles y
procede de las palabras latinas "AfIrmo" y "nEgO", y es la que se ha utilizado tradicionalmente entre
nosotros para referirnos a la clasificacin aristotlica de los juicios. Tambin Aristteles estudia las
formas de oposicin entre los juicios, (es decir, la diversidad entre los juicios que tienen el mismo sujeto y
predicado), deduciendo una serie de reglas sobre la verdad de los mismos que se han de cumplir
independientemente de los conceptos que elijamos para formar los juicios.
En funcin de tales reglas se pueden establecer relaciones de oposicin entre los distintos tipos de juicios,
segn sean contrarios, contradictorios, subcontrarios o subalternos, determinando su valor de verdad en
funcin del tipo de oposicin con otro juicio conocido. Se pueden representar con el cuadro siguiente:

Al igual que ocurra con los conceptos, que son actos mentales que se expresan mediante trminos
lingsticos, los juicios son actos mentales que se expresan mediante proposiciones, es decir, mediante un
conjunto de palabras u oracin gramatical. El mismo juicio se puede expresar con distintas proposiciones
(por ejemplo, usando distintos idiomas), y a veces la misma proposicin puede referirse a juicios distintos,
("sta es mi casa" dicha por dos personas distintas).
1.1. Lgica: los conceptos
La lgica aristotlica
Aristteles ha pasado a la historia, entre otros cosas, como el primer sistematizador de la lgica. De
hecho, sus propuestas en este campo, junto a las aportaciones de los estoicos, han constituido
prcticamente toda la lgica hasta el siglo XIX. El mismo Kant, quien toma la clasificacin aristotlica de
los juicios como base para realizar las deduccin trascendental de las categoras del entendimiento,
aspecto fundamental de su obra, se extraa del mnimo avance de la lgica, desde Aristteles,
contrastndolo con el arrollador avance de la ciencia a partir del Renacimiento, dado que ambas parecen
ofrecernos una forma de conocimiento seguro.
Las obras de lgica de Aristteles (Categoras, Sobre la interpretacin, Primeros analticos, Analticos
posteriores y Tpicos) fueron agrupadas en un conjunto llamado Organon, que los filsofos interpretaron
tradicionalmente como una propedutica, una preparacin para la filosofa. Con ello pretendan recalcar
que el conocimiento de las leyes del razonamiento era fundamental, un paso previo, para cualquier
ulterior estudio, y que deba estar en posesin de tal conocimiento quienes quisiesen adentrarse en el
terreno de la filosofa. A diferencia de la moderna lgica formal, la lgica aristotlica parte del supuesto de
que las formas de pensamiento reproducen lo que ocurre en la realidad, o sea, que las cosas extramentales
existen tal como son pensadas por la mente, por lo que las categoras de la mente son categoras objetivas,
categoras de la realidad. De ese modo las categoras del pensamiento adquieren un sentido ontolgico y
ese carcter propedutico que ha sealado la tradicin filosfica.
La lgica aristotlica se ocupa del estudio de los conceptos, dedicando especial atencin a los predicables,
y de las categoras (o predicamentos), que se completa con el anlisis de los juicios y de las formas de
razonamiento, prestando especial atencin a los razonamientos deductivos categricos o silogismos,
como formas de demostracin especialmente adecuadas al conocimiento cientfico.
Los conceptos
El concepto es entendido como la representacin intelectual de un objeto, diferencindose, pues, de lo
sentido, lo percibido, lo imaginado o lo recordado. Las propiedades de los conceptos son la
comprensin y la extensin: la primera denota las caractersticas esenciales que contiene un
concepto, y la segunda el nmero, la cantidad de sujetos a los que puede aplicarse, de los que se puede
predicar. Cuanto mayor sea el nmero de caractersticas que contiene un concepto, menor ser el nmero
de sujetos a los que pueda aplicarse, y viceversa. En funcin de estas caractersticas se pueden construir
los conocidos rboles lgicos, como hizo 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.
Jerarqua y subordinacin de los conceptos segn el rbol lgico de Porfirio

Por supuesto, hay muchas clases de conceptos. Atendiendo a su extensin pueden ser universales,
particulares y singulares; atendiendo a su comprensin: simples y compuestos, segn expresen una sla
esencia, o una esencia acompaada de una cualidad; tambin pueden ser, segn su comprensin,
concretos y abstractos, compatibles o incompatibles, positivos o negativos, claros u oscuros. Los que ms
interesaron a Aristteles fueron los conceptos universales y sus distintos tipos de atribucin o
predicables. Los predicables son conceptos universales que pueden aplicarse, pues, a muchos sujetos. En
los Analticos posteriores Aristteles se refiere a cinco predicables, o modos generales de atribucin:
gnero, especie, diferencia, propio y accidente. El gnero representa la parte de la esencia que es comn a
varias especies; la especie representa la esencia del ser; la diferencia expresa la parte de la esencia que no
es comn, sino caracterstica de la especie; propio, o propiedad, expresa una cualidad que acompaa
necesariamente a la especie, y el accidente expresa una cualidad contingente, que puede estar o no en el
ser.
Los gneros supremos en los que se pueden clasificar los seres son las categoras, o predicamentos. En sus
obras "Categoras" y "Tpicos" Aristteles fija en diez su nmero, estableciendo una distincin
fundamental entre la sustancia y los accidentes. La sustancia es la categora fundamental, lo que existe en
s mismo; los accidentes son categoras que existen en otro ser, en la sustancia. Aristteles clasifica los
accidentes en 9 grupos: cualidad, cantidad, relacin, accin, pasin, lugar, tiempo, situacin, hbito
externo. (En los "Analticos posteriores" nos habla slo de ocho categoras accidentales, suprimiendo las
dos ltimas, que son englobadas como aspectos de las restantes). En la medida en que las categoras
remiten a las formas de ser extramentales adquieren un marcado contenido ontolgico, dando por
supuesto que las cosas son captadas por la mente tal como son en realidad.
Los conceptos son actos mentales que expresamos mediante el lenguaje. A esa expresin lingstica del
concepto le llamamos "trmino", y es objeto de la misma clasificacin atribuida a los conceptos. Los
trminos pueden ser, adems, si atendemos al objeto expresado, unvocos, equvocos y anlogos. Son
unvocos los trminos que remiten a un slo concepto, y se aplican siempre con el mismo sentido o
significado. Equvocos son los trminos con los que podemos expresar distintos conceptos, aplicndose en
cada caso con un sentido distinto (Len tiene una catedral, el len es el rey de la selva). El trmino que
expresa conceptos diferentes pero que tienen un fondo comn se llama anlogo (Juan est sano, este clima
es sano). El anlisis de los distintos tipos de analoga interes mucho a los filsofos medievales y algunos
problemas de la relacin entre lo divino y lo humano fueron tratados en funcin de los distintos tipos de
analoga establecidos.