annavad õige süllogismi: 6 tükki iga figuuri jaoks. Keskaja skolastilises traditsioonis oli Aristotelese loogikal tähtis koht ja nimetatud 24 õige süllogismi jaoks leiutati järgmised meelespidamist hõlbustavad nimed (rühmitatud figuuride kaupa): 1. Barbara, Celarent, Darii, Ferio, Barbari, Celaront. 2. Cesare, Camestres, Festino, Baroco, Cesaro, Camestrop. 3. Darapti, Disamis, Datisi, Felapton, Bocardo, Ferison. 4. Bramantip, Camenes, Dimaris, Fesapo, Fresison, Camenop. Täishäälikute järjekord nimes määrab kategooriliste väidete jaärjekorra süllogismi moodustamisviisis, eeldustega alustades ja järeldusega lõpetades. Süllogismid Baroco ja Bocardo on tõestatavad ainult kaudselt, reductio ad absurdum'i abil. Kõik teised süllogismid figuurides 2-4 saab taandada figuurile 1. Süllogismi esitäht ja nimes esinevad tähed s, p, m ja c määravad ära taandamismeetodi:
EIO EOO EAO EAO (AAI) (EAO) OAO EIO (EAO) (AEO) ElO (AEO) Klassikaliselt nimetatakse kehtivaid süllogismi mooduseid järgnevate nimedega, millest koostatud luuletused aitasid keskajal süllogismid ära õppida: Barbara, Celarent, Darii, Ferio, (Barbari), (Celaront); Cesare, Camestres, Festino, Baroco, (Cesaro), (Camestrop); Darapti, Disamis, Datisi, Felapton, Bocardo, Ferison; Bramantip, Camenes, Dimaris, Fesapo, Fresison, (Camenop). Vokaalid nimedes vastavad süllogismide moodustele. Esitäht määrab millisele esimese figuuri süllogismile süllogism taandub, nt Felapton Feriole; s ja p lõpus annavad taandamise meetodi; c- mitte esitähena näitab, et süllogism ei taandu, tõestuseks tuleb kasutada meetodit reductio ad absurdum. Punasega olen ma tähistanud moodused, mis on lubamatud Boole'i interpretatsiooni järgi olemasolu import)
puhul on olemas täpselt samade eeldustega, ent üldise järeldusega moodus. Traditsiooniliselt nimetatakse kehtivaid süllogismi mooduseid järgmiste nimedega, millest koostatud luuletused aitasid keskajal süllogismid ära õppida: I: Barbara, Celarent, Darii, Ferio, (Barbari), (Celaront); II: Camestres, Cesare, Baroco, Festino, (Cesaro), (Camestrop); III: Darapti, Datisi, Disamis, Felapton, Ferison, Bocardo; IV: Bramantip, Camenes, Dimaris, Fesapo, Fresison, (Camenop). Vokaalid nimedes vastavad süllogismide moodustele. Süllogismide kehtivuse tõestamisel näidati, et kõik teise kuni neljanda figuuri süllogismid on teisendatavad esimese figuuri süllogismideks. Esitäht määrab, millisele esimese figuuri süllogismile mingi süllogism taandub, nt Felapton Feriole; tähed nimede lõppudes viitasid taandamise meetoditele.6 Tänapäevalgi tuleb ette, et kasutatakse kehtivate mooduste nimesid, nt väljendit
puhul on olemas täpselt samade eeldustega, ent üldise järeldusega moodus. Traditsiooniliselt nimetatakse kehtivaid süllogismi mooduseid järgmiste nimedega, millest koostatud luuletused aitasid keskajal süllogismid ära õppida: I: Barbara, Celarent, Darii, Ferio, (Barbari), (Celaront); II: Camestres, Cesare, Baroco, Festino, (Cesaro), (Camestrop); III: Darapti, Datisi, Disamis, Felapton, Ferison, Bocardo; IV: Bramantip, Camenes, Dimaris, Fesapo, Fresison, (Camenop). Vokaalid nimedes vastavad süllogismide moodustele. Süllogismide kehtivuse tõestamisel näidati, et kõik teise kuni neljanda figuuri süllogismid on teisendatavad esimese figuuri süllogismideks. Esitäht määrab, millisele esimese figuuri süllogismile mingi süllogism taandub, nt Felapton Feriole; tähed nimede lõppudes viitasid taandamise meetoditele.6 Tänapäevalgi tuleb ette, et kasutatakse kehtivate mooduste nimesid, nt väljendit
annaabi.ee 
