Definición
El silogismo (syllogismós) es la figura canónica de razonamiento deductivo válido cuya teoría Aristóteles funda en los Analíticos primeros, obra que constituye junto con las Categorías, De la interpretación, los Analíticos posteriores, los Tópicos y las Refutaciones sofísticas el corpus del Organon. Aristóteles define el silogismo como un discurso (logos) en el que, puestas ciertas cosas, se sigue necesariamente algo distinto de ellas por el mero hecho de que aquellas hayan sido puestas. La estructura canónica se compone de dos premisas y una conclusión, todas ellas proposiciones categóricas compuestas por un sujeto y un predicado unidos por una cópula, distribuidas de modo tal que exista un término común a ambas premisas —el término medio— que desaparece en la conclusión mediante su función mediadora entre los otros dos términos. Aristóteles clasifica los silogismos según tres figuras determinadas por la posición del término medio en las premisas: en la primera figura el término medio es sujeto de la premisa mayor y predicado de la menor; en la segunda es predicado en ambas; en la tercera es sujeto en ambas. La escolástica medieval añade una cuarta figura y establece la mnemotecnia clásica de los modos válidos mediante nombres como Barbara, Celarent, Darii, Ferio y análogos, cuya vocal identifica la cualidad y cantidad de cada proposición. Aristóteles distingue rigurosamente entre silogismos demostrativos, cuyas premisas son verdaderas, primeras y causa de la conclusión, y silogismos dialécticos, cuyas premisas son meramente probables o aceptadas por los interlocutores; los primeros pertenecen a la ciencia y son objeto de los Analíticos posteriores, los segundos a la discusión razonada y son objeto de los Tópicos. El silogismo aristotélico gobernó la lógica occidental durante más de dos milenios, hasta la revolución producida por Frege, Peano y Russell en el paso del siglo XIX al XX con la formulación de la lógica de predicados de primer orden, que subsume el silogismo como caso particular dentro de un cálculo más amplio y expresivo, pero sin invalidar su corrección formal.