La labor ms importante de Aristteles en la lgica fue la doctrina de los silogismos.
Un silogismo es un argumento que consta de tres partes : una premisa mayor, una premisa menor y una conclusin. El tipo de silogismo ms conocido es el llamado barbara: Todos los hombres son mortales (premisa mayor) Scrates es hombre (premisa menor) Luego Scrates es mortal (conclusin) o bien: Todos los hombres son mortales Todos los griegos son hombres Luego todos los griegos son mortales Aristteles estaba equivocado al no distinguir entre ambas formas. Otras formas de silogismo son: -Ningn pez es racional, todos los tiburones son peces, luego ningn tiburn es racional (celarent) -Todos los hombres son racionales; algunos animales son hombres, luego algunos animales son racionales. (Darii) -Ningn griego es negro, algunos hombres son griegos, luego algunos hombres no son negros (ferio) A este sistema se exponen 3 crticas: 1. LOS DEFECTOS FORMALES DENTRO DEL SISTEMA MISMO Scrates es hombre y todos los griegos son hombres El primer enunciado implica que existen griegos, sin esta implicacin , algunos de los silogismos de Aristteles no sera vlidos. Todos los griegos son hombres; todos los griegos son blancos, luego algunos hombres son blancos Esto es vlido si existen griegos. As, todas las montaas de oro son montaas; todas las montaas de oro son de oro, luego algunas montaas son de oro. La conclusin ser falsa, aunque las premisas fueran verdaderas. El enunciado todos los griegos son hombres debe dividirse en dos partes, una que diga que existen griegos y el otro que diga si algo es un griego es un hombre, el ltimo enunciado es hipottico y por lo tanto no implica que haya griegos. Este enunciado es ms complejo que Scrates es hombre ya que Scrates es hombre, tiene a Scrates por sujeto, mientras que todos los griegos son hombres no tiene a todos los griegos por sujetos porque no hay nada que se refiera propiamente a algo de todos los griegos. El estado de nuestro conocimiento respecto a ambas proposiciones Scrates es mortal y todos los hombres son mortales. Para conocer la verdad de scrates es mortal, al parecer nos basta con el testimonio, pero para que ste sea fiable es necesario conocer o saber de la existencia de alguien que haya visto a Scrates muerto. Pero cuando pasamos a la proposicin general todos los hombres son mortales, es difcil tener conocimiento de esta, pero en esta proposicin no hay nada lgicamente autocontradictorio en cuanto a un hombre inmortal. Esta proposicin es creble sobre la base de la induccin, pues an no hemos podido conocer un caso de alguien que haya vivido ms de 150 aos; esto hace que la proposicin sea probable, ms no cierta. El error tambin est en suponer que todos los hombres es una entidad igual que la denotada por Scrates, lo que llev a Aristteles a decir que en cierto sentido la especie tambin es una sustancia a la que podemos predicar ciertos atributos.
2.SUPERVALORACIN DEL SILOGISMO: El silogismo es slo un gnero de argumentacin
deductiva, y en la matemtica, siendo deductiva rara vez son usados. Los silogismos de hecho no prevalecen sobre las dems formas lgicas. El intento de dar preeminencia a los silogismos desvi a los filsofos en cuanto a la naturaleza del razonamiento activo. 3. SUPERVALORACIN DE LA DEDUCCIN: Aunque la induccin tiene menos fuerza que la deduccin y slo produce probabilidad y no certidumbre , proporciona un conocimiento nuevo. En los segundos analticos se trata la cuestin de cmo se obtienen las premisas primeros? Puesto que la deduccin debe partir de algn sitio, podemos decir que empieza con algo sin demostracin : la esencia, que parece significar aquellas propiedades que no pueden cambiar sin perder su identidad. Las propiedades variables como la salud o el humor no hacen parte de la esencia. La esencia al parecer es una conveniencia verbal, ya que su problema radica en el uso de las palabras , dado que usamos un mismo nombre para designar un conjunto de cosas o caractersticas que normalmente vemos que aparecen juntas en determinado objetivos diferentes. Tanto a la concepcin de esencia como la de sustancia es una transferencia a la metafsica de lo que es una conveniencia lingistica. La sustancia es entonces un error metafsico ya que transfiere a la estructura del mundo, la estructura de oraciones de un sujeto y predicado Las teoras Aristotlicas son falsas a excepcin de la teora formal de los silogismos considerada como insignificante, ya que aquellos que deseen aprender lgica perdern el tiempo si intentan aplicar y estudiar la doctrina Aristotlica.