Primeros analíticos

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

[9]​ 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.

[12]​ En el siglo VI, Boecio compuso la primera traducción latina conocida de Analytica priora No se sabe que ningún occidental entre Boecio y Bernardo de Utrecht haya leído el Primeros analítico.

[13]​ En los tiempos modernos, esta definición ha llevado a un debate sobre cómo debe interpretarse la palabra "silogismo".

Los académicos Jan Lukasiewicz, Józef Maria Bocheński y Günther Patzig se han aliado con la dicotomía Protasis - Apódosis, mientras que John Corcoran prefiere considerar un silogismo como una simple deducción.

Commentaria in Analytica priora Aristotelis , 1549
Se llama cuadro de oposición al esquema mediante el cual se estudian las relaciones formales entre los diversos tipos de juicios aristotélicos, considerando cada juicio con términos idénticos:
- A = Universal afirmativo. Término Sujeto tomado en su extensión universal; término Predicado particular; cualidad afirmativa ( Todo S es P ).
- E = Universal negativo. Término Sujeto tomado en su extensión universal; término Predicado universal; cualidad negativa ( Ningún S es P ).
- I = Particular afirmativo. Término Sujeto tomado en su extensión particular; término Predicado en su extensión particular; cualidad afirmativa ( Algún S es P ).
- O = Particular negativo. Término Sujeto tomado en su extensión particular; término Predicado en su extensión universal; cualidad negativa ( Algún S no es P ).