Un sillogismo categorico è un argomento deduttivo che consiste in tre proposizioni categoriche, le quali contengono tre termini, ognuno dei quali figura esattamente in due delle tre proposizioni. In questo senso, il sillogismo categorico in forma normale è un sillogismo categorico che ha come premesse e conclusione solo proposizioni categoriche in forma normale ovvero A, E, I oppure O, disposte in un ordine definito.
La conclusione di un sillogismo in forma normale è quindi una proposizione categorica in forma normale che contiene due dei tre termini del sillogismo secondo questo schema:
Il modo di un sillogismo in forma normale è dato dai tipi delle proposizioni categoriche in forma normale che esso contiene: A, E, I, O. Il modo viene identificato da una sequenza di tre lettere date in ordine definito, di cui la prima indica il tipo della premessa maggiore del sillogismo, la seconda il tipo della premessa minore, la terza il tipo della conclusione.
La figura di un sillogismo categorico in forma normale sta ad indicare la posizione del termine medio nelle premesse, posizione che può variare. Ci possono essere solo 4 possibili figure diverse in cui rispettivamente il termine medio può essere:
Ci sono 64 modi diversi e 256 forme distinte possibili dei sillogismi categorici in forma normale. Tuttavia, considerando il concetto di validità di un sillogismo, solo in pochi sono validi. Le forme valide sono elencate nel seguente schema:
I logici classici hanno fornito tali nomi latini tra parentesi in funzione mnemonica: essi infatti racchiudono le tre vocali che indicano nell'ordine normale la premessa maggiore, la minore e la conclusione del sillogismo. I logici antichi hanno ovviato al problema dell'identificazione di due sillogismi con modo uguale modificando i nomi latini che però mantengono all'interno le stesse vocali identificative: ad esempio: per il sillogismo con modo IAI di terza figura il nome è Disarmis, per il sillogismo con modo IAI di quarta figura il nome è Dimaris.
Una filastrocca latina viene spesso usata per ricordare le figure:
Barbara, Celarent, Darii, Ferioque prioris
Cesare, Camestres, Festino, Baroco secundae
Tertia grande sonans recitat Darapti, Felapton
Disarmis, Datisi, Bocardo, Ferison.
Quartae Sunt Bamalip, Camenes, Dimaris, Fesapo, Fresison.
© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search