You are on page 1of 4

Lgica aristotlica

1 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 arma 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 cuanticadores).[3] Siguiendo estos
criterios, Aristteles clasic distintos tipos de juicios y
tambin construy el cuadro de oposicin de los juicios.
La siguiente tabla resume los seis tipos de juicios:

2 Silogismos
La nocin central del sistema lgico de Aristteles es el
silogismo (o deduccin, sullogismos).[4] Un silogismo es,
segn la denicin 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:

Aristteles segn un manuscrito de su Historia naturalis de 1457.

La lgica aristotlica es la lgica basada en los trabajos del lsofo 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 losofa y la ciencia.
Sus propuestas ejercieron una inuencia sin par durante
ms de dos milenios, a tal punto que en el siglo XVIII,
Immanuel Kant lleg a armar:

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 especcos de silogismos,
los silogismos categricos.[7] Para denir lo que es un silogismo categrico, primero es necesario denir lo que es
una proposicin categrica. Una proposicin es categrica si tiene alguna de las siguientes cuatro formas:

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

Todo S es P.
Ningn S es P.
1

5
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 deniciones, existen
tres maneras en que el trmino medio puede estar distribuido entre las premisas. Sean A, B y C tres trminos
distintos, luego:
Aristteles llama a estas tres posibilidades guras.[8] El
silogismo mencionado ms arriba es una instancia de la
primera gura. Dado que cada silogismo categrico consta de tres proposiciones categricas, y que existen cuatro
tipos de proposiciones categricas, y tres tipos de guras,
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

NOTAS Y REFERENCIAS

4 Vase tambin
Historia de la lgica
Aristteles
rganon
Silogismo

5 Notas y referencias
[1] Vase la seccin Lgica en Shields, Christopher.
Aristotle. En Edward N. Zalta. Stanford Encyclopedia
of Philosophy (en ingls) (Winter 2009 Edition).
[2] Vase la seccin Premises: The Structures of Assertions en Smith, Robin. Aristotles Logic. En Edward
N. Zalta. Stanford Encyclopedia of Philosophy (en ingls)
(Winter 2009 Edition).
[3] Vase la seccin Terms en Smith, Robin. Aristotles
Logic. En Edward N. Zalta. Stanford Encyclopedia of
Philosophy (en ingls) (Winter 2009 Edition).
[4] Vase la seccin The Subject of Logic: Syllogisms en
Smith, Robin. Aristotles Logic. En Edward N. Zalta.
Stanford Encyclopedia of Philosophy (en ingls) (Winter
2009 Edition).
[5] Primeros analticos, 24b 20.

Adems de su teora de los silogismos, Aristteles realiz [6] Vase la seccin Aristotelian Deductions and Modern
Valid Arguments en Smith, Robin. Aristotles Logic.
una gran cantidad de otros aportes a la lgica. En la parte
En Edward N. Zalta. Stanford Encyclopedia of Philosophy
IV (Gamma) de la Metafsica, Aristteles enunci y de(en ingls) (Winter 2009 Edition).
[9]
fendi el famoso principio de no contradiccin. En De
la interpretacin se encuentran algunas observaciones y
[7] Vase la seccin The Syllogistic en Smith, Robin.
propuestas de lgica modal, as como una controversial e
Aristotles Logic. En Edward N. Zalta. Stanford Encyinuyente discusin acerca de la relacin entre el tiempo
clopedia of Philosophy (en ingls) (Winter 2009 Edition).
y la necesidad.[10] Segn Aristteles, del par de proposiciones maana habr una batalla naval y maana no [8] En los Primeros analticos vase la parte 4 del libro 1 para
habr una batalla naval, parece que alguna tiene que ser
la primera gura, la parte 5 para la segunda, y la parte 6
verdadera hoy y la otra falsa. Supongamos que la primepara la tercera (versin en ingls).
ra fuera verdadera hoy. Luego, maana habr una batalla
naval. Pero entonces el futuro ya est determinado, y no [9] Gottlieb, Paula. Aristotle on Non-contradiction. En Eddepende de nosotros. Lo mismo sucede si suponemos que
ward N. Zalta. Stanford Encyclopedia of Philosophy (en
ingls) (Fall 2008 Edition edicin).
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 [10] Vase la seccin Time and Necessity: The Sea-Battle en
Smith, Robin. Aristotles Logic. En Edward N. Zalta.
a esta situacin, Aristteles discute la posibilidad de que
Stanford Encyclopedia of Philosophy (en ingls) (Winter
las proposiciones acerca del futuro no sean ni verdaderas
2009 Edition).
ni falsas, es decir una lgica plurivalente.
Aristteles tambin reconoci la existencia e importancia [11] Vase la seccin Induction and Deduction en Smith,
de los argumentos inductivos, en los cuales se va de lo
Robin. Aristotles Logic. En Edward N. Zalta. Stanford
particular a lo universal, pero dedic poco espacio a su
Encyclopedia of Philosophy (en ingls) (Winter 2009 Ediestudio.[11]
tion).

Bibliografa adicional
Gambra, J. M.; Oriol, M. (2008). Lgica aristotlica.
Madrid: Dykinson.
Robin Smith (ed.). Prior Analytics (en ingls)
([1989]). Hackett Publishing Company.
Aristteles. Encyclopdia Britannica Online.
Consultado el 21 de agosto de 2010.

Enlaces externos
Aristotles Logic (en ingls), en la Stanford Encyclopedia of Philosophy.

8 ORIGEN DEL TEXTO Y LAS IMGENES, COLABORADORES Y LICENCIAS

Origen del texto y las imgenes, colaboradores y licencias

8.1

Texto

Lgica aristotlica Fuente: https://es.wikipedia.org/wiki/L%C3%B3gica_aristot%C3%A9lica?oldid=94599543 Colaboradores: Robbot,


Enric Naval, La Mantis, Richy, Airunp, Superzerocool, Unicacion, Vitamine, BOTpolicia, CEM-bot, Laura Fiorucci, Salvador alc, Osepu, Gafotas, Thijs!bot, Humberto, MONIMINO, Nioger, Plux, Snakeyes, Lucien leGrey, Muro Bot, MiguelAngel fotografo, PaintBot,
Cobalttempest, Manw, Espilas, Tirithel, Jarisleif, HUB, Eduardosalg, Panypeces, Leonpolanco, Miguelfm2, Raulshc, Osado, UA31, AVBOT, Angel GN, Diegusjaimes, Arjuno3, Andreasmperu, Agent Gibbs, Felipe Schenone, Jkbw, Igna, Botarel, Manu73, Jerowiki, Karen
fernanda sierra cruz, Wikielwikingo, PatruBOT, Jorge c2010, Foundling, GrouchoBot, EmausBot, Savh, Tenan, DJcKMC, Jtlaeminencia,
JABO, KLBot2, Helmy oved, Leitoxx, Joduga, Addbot, Vtor, Lectorina y Annimos: 98

8.2

Imgenes

Archivo:Aristotle_Cod._vindob._phil._gr._64.jpg Fuente: https://upload.wikimedia.org/wikipedia/commons/2/2d/Aristotle_Cod.


_vindob._phil._gr._64.jpg Licencia: Public domain Colaboradores: ? Artista original: ?

8.3

Licencia del contenido

Creative Commons Attribution-Share Alike 3.0