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.