Silogismul categoric (figuri, moduri, reguli, validitate)

Silogismul categoric este o formă de raționament deductiv, compus din trei propoziții categorice (două premise și o concluzie), care implică trei termeni: termenul major (predicatul concluziei), termenul minor (subiectul concluziei) și termenul mediu (apare în ambele premise, dar nu și în concluzie). Structura standard: Premisa majoră (conține termenul major + termenul mediu), Premisa minoră (conține termenul minor + termenul mediu), Concluzia (termenul minor + termenul major).

Propozițiile categorice sunt de patru tipuri: A (universal afirmativă: „Toți S sunt P”), E (universal negativă: „Niciun S nu este P”), I (particular afirmativă: „Unii S sunt P”), O (particular negativă: „Unii S nu sunt P”).

Figurile silogismului sunt determinate de poziția termenului mediu în premise. Există patru figuri:

• Figura 1: termenul mediu este subiect în premisa majoră și predicat în premisa minoră.
• Figura 2: termenul mediu este predicat în ambele premise.
• Figura 3: termenul mediu este subiect în ambele premise.
• Figura 4: termenul mediu este predicat în premisa majoră și subiect în premisa minoră.

Modurile silogismului sunt combinațiile de tipuri de propoziții (A, E, I, O) pentru cele trei propoziții. De exemplu, modul AAA înseamnă că ambele premise și concluzia sunt de tip A.

Validitatea unui silogism este determinată de respectarea celor 8 reguli clasice:

1. Trei termeni (fără ambiguitate).
2. Termenul mediu trebuie distribuit în cel puțin o premisă.
3. Un termen distribuit în concluzie trebuie distribuit în premisa sa.
4. Premisele nu pot fi ambele negative.
5. Concluzia este negativă dacă și numai dacă o premisă este negativă.
6. Dacă ambele premise sunt particulare, nu se poate trage o concluzie validă.
7. Dacă o premisă este particulară, concluzia trebuie să fie particulară.
8. Din două premise afirmative nu poate rezulta o concluzie negativă.

Exemple de moduri valide pentru fiecare figură: Figura 1: AAA (Barbara), EAE (Celarent), AII (Darii), EIO (Ferio). Figura 2: EAE (Cesare), AEE (Camestres), EIO (Festino), AOO (Baroco). Figura 3: IAI (Disamis), AII (Datisi), EIO (Ferison), OAO (Bocardo). Figura 4: AEE (Camenes), IAI (Dimaris), EIO (Fresison).

Pentru a verifica validitatea, se pot folosi diagrame Venn sau regulile de mai sus. În bacalaureat, se cere adesea identificarea figurii și modului, precum și testarea validității.

Exemple

• Exemplul 1 (Figura 1, modul AAA - Barbara): Toate mamiferele sunt vertebrate. Toți câinii sunt mamifere. Deci, toți câinii sunt vertebrate. Premisa majoră: A (Toate mamiferele sunt vertebrate). Premisa minoră: A (Toți câinii sunt mamifere). Concluzie: A (Toți câinii sunt vertebrate). Termenul mediu: „mamifere” (subiect în majoră, predicat în minoră). Regulile sunt respectate: termenul mediu distribuit în premisa majoră, termenii distribuiți corespunzător, niciun conflict. Este valid.
• Exemplul 2 (Figura 2, modul EAE - Cesare): Niciun pește nu este mamifer. Toți delfinii sunt mamifere. Deci, niciun delfin nu este pește. Premisa majoră: E (Niciun pește nu este mamifer). Premisa minoră: A (Toți delfinii sunt mamifere). Concluzie: E (Niciun delfin nu este pește). Termenul mediu: „mamifere” (predicat în ambele premise). Reguli: termenul mediu distribuit în premisa majoră; concluzia negativă este corectă (o premisă negativă); valid.
• Exemplul 3 (Figura 3, modul IAI - Disamis): Unii elevi sunt sportivi. Toți elevii sunt studioși. Deci, unii studioși sunt sportivi. Premisa majoră: I (Unii elevi sunt sportivi). Premisa minoră: A (Toți elevii sunt studioși). Concluzie: I (Unii studioși sunt sportivi). Termenul mediu: „elevi” (subiect în ambele premise). Regulile sunt respectate: termenul mediu distribuit în premisa minoră; concluzia particulară este corectă (o premisă particulară); valid.

Concepte cheie: Termenul major, minor și mediu, Propoziții categorice: A, E, I, O, Cele patru figuri ale silogismului, Modurile silogismului (combinații A, E, I, O), Cele 8 reguli de validitate, Exemple de moduri valide: Barbara, Celarent, Darii, Ferio etc., Distribuirea termenilor în propozițiile categorice, Testarea validității prin reguli sau diagrame Venn