De dos premisas particulares no se obtiene conclusión válida [editar]
También tiene dos casos posibles: que una sea afirmativa y la otra negativa o que ambas
sean afirmativas.
Afirmativa y negativa
Algún A es B - Algún A no es C.
Sólo hay un término universal que es el predicado de la negativa, que por tanto tiene
que ser el término medio. La conclusión tendrá que ser negativa (caso a) de la regla
anterior), y por tanto el predicado tendrá que ser universal, y no puede ser el término
medio por tanto no puede haber conclusión.
Dos afirmativas
Algún A es B - Algún A es C.
Los tres términos son particulares, y por tanto no puede haber término medio con
extensión universal, y por tanto no hay conclusión posible.
Modos válidos[editar]
El modo del silogismo es la forma que toma este de acuerdo con la cantidad y
la cualidad de las premisas y la conclusión. De la aplicación de las leyes de
los silogismos a los 64 modos posibles resultan válidos solamente 19 y son
los que tradicionalmente se memorizan atendiendo a los modos válidos de
cada figura con sus premisas y conclusión.
Así los modos
Se memorizaban cantando
válidos
De la primera AAA, EAE, AII,
BARBARA, CELARENT, DARII, FERIO
figura EIO
De la segunda EAE, AEE, EIO, CESARE, CAMESTRES, FESTINO,
figura AOO BAROCO
De la tercera AAI, IAI, AII, EAO, DARAPTI, DISAMIS, DATISI, FELAPTON,
figura OAO, EIO FERISON, BOCARDO
De la cuarta AAI, AEE, IAI, BAMALIP, CAMENES, DIMARIS,
figura EAO, EIO FRESISON, FESAPO
Nota bene: También son válidos para la primera figura los modos subalternos
BARBARI, CELARONT; para la segunda: CESARO, CAMESTROP; y para la
cuarta: CAMENOP.9
Representación gráfica de los modos como
lógica de clases mediante diagramas de
Venn[editar]
Convención para la representación gráfica del juicio tipo A
Se pueden representar estos modos mediante diagramas de Venn con las
siguientes convenciones:
Cada término del silogismo está representado por S, P, M, por un círculo
incoloro que representa a todos los miembros posibles de una clase.
La conclusión aparece como resultado de la relación de los términos S y
P en su relación con M.
La inexistencia se muestra como zona rellena de color.
La existencia individual se afirma mediante una X: Al menos uno, o
algunos.
La relación de los términos se constituye como pertenencia o no
pertenencia a la clase.
La relación de inclusión, Todo S es P, se representa como “No hay
ningún S que no sea P” según muestra la imagen que se muestra al
margen.
Representación gráfica de los modos válidos en diagramas de Venn
Teniendo en cuenta la problemática de la lógica aristotélica, de la que se
habla más adelante, el problema del "compromiso existencial" afecta a los
modos Darapti, Felapton, Bramalip, y Fesapo que no se muestran en las
gráficas, al no ser admitidos como válidos por algunos y, sobre todo, la
representación gráfica no hace plausible la conclusión, debido a la falta de
"compromiso existencial", como se comenta más adelante.