Analiticos Primeros

En este libro Aristóteles presenta su teoría del silogismo. Este es un discurso (logos) en el que, sentadas ciertas cosas, se sigue necesariamente algo diferente de lo postulado por el simple hecho de que sean así. Por tanto es un argumento en el que se establecen premisas y se siguen otras cosas.

Un silogismo es perfecto si no necesita nada más que lo establecido para hacer evidente lo que sigue:

• Silogismo perfecto formal.

• Silogismo perfecto informal.

Será imperfecto si aunque la conclusión se sigue lógicamente de las premisas es necesario añadir más enunciados.

Las inferencias perfectas que plantea Aristóteles son:

• Todo A es B / Todo B es C, luego Todo A es C

• Todo A es B / Ningún B es C, luego Ningún A es C

• Algún A es B / Todo B es C, luego Algún a es C

• Algún A es B / Ningún B es C, luego No todo A es C

Los silogismos perfectos se dice que están en la PRIMERA FIGURA.

Cambiando el orden de los predicados salen los silogismos de SEGUNDA FIGURA, aplicando los operadores: todo / ninguno / alguno / no todo:

A es B / C es B, luego A es C

La TERCERA FIGURA se compone de la forma:

B es A / B es C, luego A es C

En las 3 figuras considera los diversos pares de premisas que pueden formarse con los operadores todo / alguno / no todo / ninguno.

Es capaz de eliminar mediante contraejemplos como inválidos todos menos 10 de los demás pares de premisas. Por ejemplo:

Ningún A es B / Todo B es C, luego no se pude concluir A es C

Aristóteles busca términos que hacen verdaderas las premisas y una conclusión de la forma “todo A es C”: Ningún caballo es un hombre / Todos los hombres son animales, luego todos los caballos son animales. Como todo resulta ser verdad, no es posible obtener una conclusión negativa (No… o No todo…), por tanto las premisas no entrañan una consecuencia negativa.

Y también si las premisas son verdaderas y la consecuencia es verdadera e la forma “ningún A es C”, no puede darse una conclusión con estas premisas que sea afirmativa (todo… algún…): Ninguna piedra es hombre / Todos los hombre son animales, luego ninguna piedra es un animal. La forma es:

Ningún A es B / todo B es C, luego ningún

...