Lógica aristotélica

[1]​ Sus trabajos principales sobre la materia tradicionalmente se agrupan bajo el nombre Órganon («herramienta») y constituyen la primera investigación sistemática sobre los principios del razonamiento válido o correcto.

[4]​ Sus propuestas ejercieron una influencia sin par durante más de dos milenios,[1]​ a tal punto que en el siglo XVIII, Immanuel Kant llegó a afirmar:"Que desde los tiempos más tempranos la lógica ha transitado por un camino seguro puede verse a partir del hecho de que desde la época de Aristóteles no ha dado un sólo paso atrás.

[...] Lo que es aún más notable acerca de la lógica es que hasta ahora tampoco ha podido dar un sólo paso hacia adelante, y por lo tanto parece a todas luces terminada y completa."

[10]​ Según Aristóteles, todo lo que es sensato, descansa en el principio de no contradicción.

[18]​ El silogismo es una inferencia en la que una conclusión (sumperasma) se sigue necesariamente de otras dos proposiciones, las "premisas" (protasis).

[21]​ Un silogismo es categórico si está compuesto por exactamente tres proposiciones categóricas (dos premisas y una conclusión), y si ambas premisas comparten exactamente un término (llamado el término medio), que además no está presente en la conclusión.

Dadas estas definiciones, existen tres maneras en que el término medio puede estar distribuido entre las premisas.

[24]​ Este listado aparece también en otras obras, omitiéndose algunas categorías, come en Tópicos, I, 9, 103 b 20-23; Metafísica, V, 7, 1017 a 25; Segundos analíticos, I, 22, 83 a 21-22 y en Física, V, 1, 225 b 6-8.

En esto punto se diferencia mejor la ontología aristotélica de la platónica.

En Sobre la interpretación se encuentran algunas observaciones y propuestas de lógica modal, así como una controversial e influyente discusión acerca de la relación entre el tiempo y la necesidad.

[31]​[32]​ Según Aristóteles, del par de proposiciones «mañana habrá una batalla naval» y «mañana no habrá una batalla naval», parece que alguna tiene que ser verdadera hoy y la otra falsa.

[33]​ Por si fuera poco, Aristóteles fue el primero en realizar un estudio sistemático de las falacias.

Se considera a Aristóteles el fundador de la lógica como propedéutica o herramienta básica para todas las ciencias.

La lógica aristotélica y estóica mantuvo siempre una relación con los argumentos formulados en lenguaje natural.

Hoy esa relación se trata bajo un punto de vista completamente diferente.

Ayn Rand declaró que consideraba a Aristóteles como el mayor filósofo del mundo y apreciaba en especial su Órganon ('Lógica').

[4]​ A finales del siglo XIX se descubría como insuficiente el análisis lógico de Aristóteles.

[14]​ Este enfoque cambió cuando Gottlob Frege desarrolló nociones de cuantificación y predicación en su lógica, haciendo obsoleto el silogismo.