La lógica aristotélica establece las reglas y figuras del silogismo categórico. Existen cuatro figuras según la posición del término medio y 19 modos válidos de silogismo que respetan las reglas sobre los términos y proposiciones, como que la conclusión sigue la "peor parte" y no se deduce nada de dos premisas negativas o particulares.