Primeros Analíticos

En cuando al logro de Aristóteles en lógica, yace en el fundamento de las «leyes del pensamiento»:
El principio de identidad: todo lo que es, es.
El principio de no contradicción: nada puede ser y no ser a la vez.
El principio del tercero excluido: todo tiene que ser o no ser.

Sólo en filosofía puedes hacerte famoso con afirmaciones tan obvias como éstas. Sin embargo, también se explayó sobre este tema para producir una elaborada serie de «argumentos», algunos de los cuales dice que son «válidos» y otros «no válidos». El tratado llamado Primeros analíticos constituye el primer registro sistemático de lógica formal, y realmente siguió siendo la única «lógica» hasta el siglo XIX, cuando Frege la desechó en su mayor parte. 

La lógica aristotélica era lo suficientemente poderosa como para demostrar, entre otras cosas, que si Sócrates era un hombre, y los hombres son todos mortales, Sócrates también debía ser mortal. Lo que el mismo Aristóteles parece no ver, sin embargo, es la naturaleza convencional de las suposiciones. En el mundo real, las cosas pueden a la vez «ser» y «no ser», y a veces incluso estar en el medio. Una roca es a la vez grande y pequeña, dependiendo del punto de vista, e incluso puedes descubrir que no es en absoluto una roca, si la miras de cerca y te das cuenta de que está hecha de tierra. Sin embargo, el orgullo de pensar que el mundo está sometido a reglas, y de que estas reglas pueden ser dictadas por hombres como Aristóteles, el aristócrata, es muy seductora y, muchos dirían, también muy útil.