Moduri silogistice
F1: aaa, aai, eae, eao, aii, eio;
F2: aee, aoo, aei, aeo, eae, eio;
Metode de testare a validitatii silogismelor
Metoda diagramelor Venn
Avem trei cercuri intersectate corespunzatoare sferelor celor trei noțiuni ale unui silogism; reprezentăm grafic numai premisele; dacă, din desenarea premiselor, a reieșit reprezentarea grafică a concluziei, fără să o desenez anterior, înseamnă că silogismul este valid. În caz contrar, nu este valid.
Exemplu :
„Nici un om nu este animal."
„Unii oameni sunt virtuoși."
„Unii din cei virtuoși nu sunt animale."
MeP
MiS
SoP adica eio – 3
Metoda reducerii
Constă în reducerea silogismelor la unul din modurile valide ale figurii I, figura considerată perfectă. Aceste moduri sunt : aaa, aai, aii, eae, eao, eio.
Reducerea directă
1.din premisele modului testat decurg, prin conversiune, premisele unuia din modurile valide ale figurii I;
2.concluziile celor două moduri sunt identice sau din concluzia modului valid al figurii I decurge, prin conversiune, concluzia modului testat.
Exemplu :
PeM MeP
SaM SaM
SeP SeP
. Metoda geometrică Euler
Metoda presupune prezentarea cu ajutorul unor cercuri, a relațiilor dintre sferele termenilor, încât să se poată verifica intuitiv derivarea concluziei din premisele date.
Adi1987 întreabă: