El silogismo

dos términos) es inferida de dos premisas, cada una de las cuales tiene asimismo dos términos, uno de los cuales no aparece en la conclusión.

El silogismo aparece como una ley lógica o como una serie de leyes lógicas, una para cada uno de los modos válidos. Estas leyes lógicas establecen relaciones entre términos universales. El silogismo categórico es un razonamiento que tiene dos premisas y una conclusión, todas las cuales son proposiciones categóricas. Ejemplo de silogismo categórico es el siguiente:

Si todos los hombres son mortales y

todos los arequipeños son hombres,

entonces todos los arequipeños son mortales.

Podemos observar que es ejemplo de un razonamiento condicional y que todos los términos introducidos (hombres, mortales, arequipeños) son universales. Con ello queremos poner de relieve que muchos de los ejemplos de silogismos dados en la literatura lógica tradicional no son propiamente silogismos. Ejemplo:

Todos los hombres son mortales

Todos los arequipeños son hombres,

Todos los arequipeños son mortales.

Se dice que no es un ejemplo correcto de silogismo, pues no aparece en él: la forma condicional, ni menos se ve claro que las dos primeras proposiciones estén ligadas por una conjunción. Tampoco es ejemplo correcto de silogismo condicional el razonamiento siguiente:

Todos los hombres son mortales

Sócrates es hombre

Sócrates es mortal,

pues, además de carecer de la conectiva antes señalada, contiene un término singular: Sócrates.

En el ejemplo de silogismo:

"Todos los peruanos son latinoamericanos;

es así que los aimaras son peruanos;

luego los aimaras son latinoamericanos",

los términos categoremáticos son: peruanos, latinoameric

...