Lgica aristotlica

Aristteles segn un manuscrito de su Historia naturalis de 1457.

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.
Crtica de la razn pura, B, vii
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.
Todos los hombres son mortales.
Ningn S es P.
Ningn hombre es mortal.
Particular
Algunos S son P.
Algunos hombres son mortales.
Algunos S no son P.
Algunos hombres no son mortales.
Indefinido
S es P.
Scrates es mortal.
S no es P.
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





Filosofa helenstica
El perodo helenstico abarca desde la muerte de Alejandro Magno (323 a.C.) hasta la
invasin de Macedonia por los romanos (148 a.C.). Las ciudades griegas pierden su
independencia y Atenas su hegemona comercial, poltica y en menor medida la
cultural. A las ciudades-Estado suceden las monarquas helensticas. Hay una situacin
continua de inestabilidad poltica. Se acentan las diferencias entre clases sociales.
Rasgos de la filosofa en este perodo:
- Cambia el concepto de hombre: Aristteles hablaba de un animal cvico, porque
slo la plis era autosuficiente y slo en ella poda realizarse plenamente. Hundida la
polis, el ser humano es entendido ms bien como animal social, cuyo marco de
referencia es la naturaleza y la humanidad, reclamando para s la autosuficiencia y
autonoma que antes se reconoca a la ciudad.
- Por la inestabilidad de la poca, la seguridad personal y la felicidad individual se
convierten en las grandes aspiraciones del momento.
- Se busca la seguridad tomando como referencia las leyes inalterables de la Naturaleza,
del Cosmos. Se elabora una nueva Fsica y una nueva tica de carcter naturalista y
cosmopolita.
- La filosofa estoica y epicrea de la poca sistematiza buena parte de su doctrina, pero
queda subordinada a los fines prcticos de la existencia: sabio no es slo el que sabe
sino el que sabe vivir.
- La filosofa ahora se concibe como un saber unitario, dividido en lgica, fsica y tica,
pero con una finalidad fundamentalmente moral. La especulacin abstracta carece de
valor.
- En esta poca florecen numerosas escuelas. Hay muchas influencias mutuas pero
tambin muchas polmicas. Eso explica el eclecticismo que vendr a continuacin.