Lógica Aristotélica y Estoica

Aristóteles (384-322 a. C.) denominó al silogismo, como una forma del razonamiento cierto
 
En la lógica del razonamiento cierto, se dice que un enunciado complejo de la forma “Si y y… y , entonces ” es una
implicación. El término implicación es utilizada, como nombre para designar la relación “si—entonces necesariamente”. Los
enunciados a son las condiciones o antecedentes, y es el resultado o consecuente de la implicación.
Enunciados categóricos. En la lógica de Aristóteles sólo 4 tipos de enunciados pueden ser utilizados como antecedentes o
como consecuentes de implicaciones. Son los enunciados categóricos, que tienen la siguiente estructura
1)Todo S es P; 2) Ningún S es P; 3) Algún S es P; 4) Algún S no es P
Cada uno de los cuales es representado respectivamente con las letras A, E, I y O

No se utilizaban símbolos especiales para las operaciones

del razonamiento porque no se pensaba que fuera posible
convertir a la lógica como a una especie de matemática.

Hace uso de variables que son letras significativas de toda y de

cualquier cosa que pertenezca a un determinado dominio de la
realidad. Las letras “S”, “p” y “M”, en la forma de implicación,
son ejemplos de variables utilizadas en silogística

La Lógica Megárico-Estoica
La lógica megárico –estoica se diferenciaba de la
aristotélica en dos aspectos principales
1. Se interesaba por las formas de razonamiento que
tienen la estructura de un argumento y no la
estructura de una implicación.
El trabajo de los 2. No era una lógica que analizara los enunciados
Megáricos en categóricos y afines, sino una lógica que investigaba
lógica tuvo lugar los juntores o partículas conectivas de los enunciados
entre los años
400 y 275, el de  

los Estoicos, Los tipos de razonamiento a los cuales prestaron atención los
entre los años Megáricos y Estoicos eran estos:
300 y 200 a.C.
“Si entonces , y ; por tanto ”;
“Si entonces , y no ; por tanto no ”;
Algunos lógicos estoicos y megáricos fueron: “No ambos y , y ; por tanto no ” ;
“, y no ; por tanto “.
Zenón, Crisipo, Filón, Diódoro, etc.

Esteban Ramírez Villarello