Aristteles y la lgica

Aristteles fue un filsofo, cientfico y lgico conocido en la Antigua Grecia cuyos

mritos fueron la influencia para los nuevos pensadores de occidente por ms de
dos milenios. Aristteles ha escrito ms de 200 libro o ensayos de los cuales
aproximadamente se conocen 31 en los cuales a toca temas de gran variedad e
importancia como: lgica, metafsica, filosofa de la ciencia, tica, filosofa poltica,
esttica, retrica, fsica, astronoma y biologa.

Aristteles es ampliamente conocido como el padre de la lgica , escribi varias

obras que fueron clasificadas o agrupadas con el nombre de Organon. La lgica
de Aristteles se centra en el estudio de los conceptos que se complementa con
el anlisis de los juicios y de las formas de razonamiento, con el cual cuyo objetivo
era poder demonstrar el razonamiento deductivo categrico.

Los conceptos:

El concepto es entendido como la representacin intelectual de un objeto, las

propiedades del conceptos son: 1.) La compresin que es la que indica las
caractersticas esenciales del concepto 2.) La extensin es la cantidad de sujetos
a los que pude aplicarse. Cuanto mayor se la comprensin que contiene un
concepto, menor ser la extensin, y viceversa. Un ejemplo muy conocido son los
arboles lgicos en los que se clasifican el concepto conocido y los sujetos a los
que se aplica.
Aristteles le interesaron los conceptos que fueron 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 las Categoras y Tpicos, en la que estableci
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.

Los Juicios:

Los juicios son oraciones con un sujeto y un predicado, 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.

Los juicios se clasifican en varios grupos, atendiendo a la cantidad, la cualidad, la

relacin y la modalidad. De ah se sigue una clasificacin ordenada de todas las
formas de juicio; en el caso de los juicios categricos. Su clasificacin es:
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 neg. Tambin
Aristteles estudia las formas de oposicin entre los juicios con ellas 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.

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 los conocimientos
de las causas.
El razonamiento deductivo es una forma que 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.

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 de tres proposiciones y de tres
trminos 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.

En cuanto a los trminos del razonamiento, se llama trmino mayor

al predicado de la conclusin y se le representa con la letra P. Se llama trmino
menor al sujeto de la conclusin y se le representa con la letra S. El trmino medio
es el que aparece en las dos premisas y no en la conclusin, y se le representa
con la letra M.

Representacin
Clase de razonamiento Ejemplo
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.

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 la
es Predicado en es Sujeto en
mayor y Predicado en premisa mayor
ambas premisas. ambas premisas.
la menor. y Sujeto en la menor.

Estas cuatro figuras pueden 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. Aristteles distingue entre silogismos perfectos e
imperfectos. Los silogismos perfectos son aquellos en los que es evidente que la
conclusin se sigue de las premisas, es decir, aquellos cuya correccin lgica es
evidente. En opinin de Aristteles, solo los silogismos de la primera figura son
perfectos. Los modos validos de las restantes figuras son imperfectos porque su
validez no se considera evidente y, por tanto, esta debe ser demostrada con la
nica ayuda de principios cuya validez lgica sea evidente: los modos perfectos y
las leyes lgicas previamente establecidas. De este modo, la silogstica constituye
un sistema deductivo en el que pueden demostrarse todos los modos validos a
partir de los modos de la primera figura y de un reducido nmero de reglas.

E grafa
http://www.iiia.csic.es/~fbou/teaching/clases-logica1-
2010/SilogisticaBadesa.pdf
https://docs.google.com/file/d/0By4kcbi6MzzdUHhVQnUtcTNUdk
0/view
https://es.wikipedia.org/wiki/Arist%C3%B3teles
http://www.webdianoia.com/aristoteles/aristoteles_log.htm