El silogismo

El silogismo.
Un silogismo es un razonamiento en el cual la conclusión es deducida a partir de dos premisas. Por este motivo, en la lógica clásica se los denomina inferencias mediatas.
Elsilogismo categórico es el que se compone de tres proposiciones categóricas, que tienen tres términos dos de los cuales aparecen en las proposiciones iniciales, y cuya conclusión es una proposición categóricaque contiene dos de los tres términos del silogismo, uno como sujeto y el otro como predicado:
Todos los hombres son mortales
Sócrates es hombre
Sócrates es mortal

La conclusión se integra, enconsecuencia, como uno de los términos que es tomado de la primera premisa, y otro que es tomado de la segunda premisa, cada uno de los cuales ocupa sea el lugar de sujeto sea el de predicado de laconclusión.
El término que ocupa en la conclusión la posición del predicado, es denominado término mayor, el que ocupa el lugar del sujeto de la conclusión es denominado término menor; y el queapareciendo en las premisas no lo hace en la conclusión es denominado término medio.
La premisa de la cual es tomado el término mayor, se denomina premisa mayor; en tanto que la premisa de la que es tomadoel término menor, se denomina premisa menor.
Un silogismo se representa simbolicamente con un formato gráfico similar al de una suma aritmética:
Premisa mayor: A — B
Premisa menor: C — DConclusión: E — F
Se llama modo de un silogismo, la expresión del agrupamiento de sus premisas y su conclusión, siguiendo la codificación literal de las proposiciones categóricas, (A, E, I, O).
Perocomo - según se demuestra - no es suficiente con el modo para describir precisamente la estructura de un silogismo, se adiciona a ello lo que se denomina la figura del silogismo, que se determina segúnel término medio, el cual puede asumir cuatro figuras posibles:
M — P
S — M
S — P P — M
S — M
S — P M — P
M — S
S — P P — M
M — S
S — P

La combinación de 64 modos diferentes...