Structura și figurile
Silogismul are doi termeni extremi (S, P), un termen MEDIU (M) și două premise. Figura = poziția termenului mediu în premise:
| Fig. 1 | Fig. 2 | Fig. 3 | Fig. 4 | |
|---|---|---|---|---|
| premisa majoră | M-P | P-M | M-P | P-M |
| premisa minoră | S-M | S-M | M-S | M-S |
Modurile silogistice
Modul = tipurile celor trei propoziții, în ordinea majoră-minoră-concluzie, plus figura. Exemplu: aaa-1 ("Barbara"):
Exemplu concret: Toate mamiferele sunt vertebrate; toate balenele sunt mamifere; deci toate balenele sunt vertebrate. ✓
Alt mod valid celebru: eae-1 ("Celarent"): Niciun M nu e P; toți S sunt M; deci niciun S nu e P.
Verificarea validității prin legi
Un mod e VALID dacă respectă simultan legile silogismului:
- exact TREI termeni;
- termenul MEDIU distribuit în cel puțin o premisă;
- un termen distribuit în concluzie trebuie distribuit și în premisă;
- din două premise negative NU decurge nimic; din două afirmative nu decurge concluzie negativă;
- concluzia urmează partea "mai slabă": premisă negativă → concluzie negativă; premisă particulară → concluzie particulară;
- din două premise particulare nu decurge nimic.
Exemplu de verificare completă
Modul aii-3: Toți M sunt P; unii M sunt S; deci unii S sunt P.
- trei termeni ✓; 2. M distribuit în majoră (subiect de universală) ✓; 3. concluzia nu distribuie nimic (I) ✓; 4-6. premisele afirmative, una particulară → concluzie afirmativă particulară ✓. VALID (modul "Datisi").
Contra-exemplu: aa-2 cu concluzie a (Toți P sunt M; toți S sunt M; deci toți S sunt P): M e predicat de afirmativă în AMBELE premise → NEDISTRIBUIT nicăieri → încalcă legea 2. NEVALID (eroarea "mediului nedistribuit"). Ilustrare: toate pisicile sunt mamifere; toți câinii sunt mamifere; NU rezultă că toți câinii sunt pisici.
Greșeli frecvente
- Ordinea în mod e majoră-minoră-concluzie: aio-2 nu e totuna cu aoi-2.
- Concluzia validă din premise A + I e I, nu A (partea mai slabă).
- Figura se stabilește după poziția lui M, nu după ordinea în care sunt enunțate premisele în text.