Clasificarea propozitiilor categorice (A, E, I, O)

Propozitiile categorice sunt afirmatii simple care exprima relatii intre doua clase (termeni): subiectul (S) si predicatul (P). In logica aristotelica, clasificarea lor se face dupa cantitate (universala sau particulara) si calitate (afirmativa sau negativa). Rezulta patru tipuri fundamentale, notate conventionals cu literele A, E, I, O, preluate din cuvintele latine 'affirmo' (afirm) si 'nego' (neg). Astfel:

• A (universala afirmativa): „Tot S este P”. Ex.: „Toti oamenii sunt muritori”. Se scrie logic: ∀x(Sx → Px).
• E (universala negativa): „Niciun S nu este P”. Ex.: „Niciun om nu este pasare”. Se scrie: ∀x(Sx → ¬Px).
• I (particulara afirmativa): „Unii S sunt P”. Ex.: „Uni elevi sunt silitori”. Se scrie: ∃x(Sx ∧ Px).
• O (particulara negativa): „Unii S nu sunt P”. Ex.: „Uni elevi nu sunt silitori”. Se scrie: ∃x(Sx ∧ ¬Px).

Din aceasta clasificare deriva patratul logic al opozitiilor, care stabileste relatii de contradictie (A cu O, E cu I), contrarietate (A cu E), subcontrarietate (I cu O) si subalternare (A cu I, E cu O). De exemplu, daca A este adevarata, atunci E este falsa (contrarietate), dar I este adevarata (subalternare). Daca I este falsa, atunci A este falsa si O este adevarata.

Intelegerea acestor tipuri este esentiala pentru validarea silogismelor categorice, pentru conversiuni (ex.: I se converteste in I, E in E) si pentru operatiile de obversiune sau contrapozitie. La Bacalaureat, se cere adesea identificarea tipului de propozitie dintr-un enunt sau determinarea relatiilor logice dintre propozitii. Este important sa observam cuvintele-cheie: 'tot', 'fiecare' (universal afirmativ), 'niciun', 'niciun...nu' (universal negativ), 'unii', 'cativ' (particular afirmativ), 'unii...nu', 'nu toti' (particular negativ).

Propozitiile categorice stau la baza rationamentelor deductive si a sistemelor formale. Ele nu descriu grade sau exceptii; sunt absolute in forma lor canonica. De aceea, in exercitii, trebuie sa verificam daca enuntul poate fi standardizat ca o relatie intre clase, ignorand ambiguitatile limbajului natural.

Exemple

• Exemplul 1: Enunt: „Toti cainii sunt mamifere.” Identificam: subiectul S = 'caini', predicatul P = 'mamifere'. Cuvantul 'toti' indica universalitate, iar verbul 'sunt' arata afirmatie. Asadar, este propozitie de tip A (universala afirmativa). In logica predicatelor: ∀x(Caine(x) → Mamifer(x)).
• Exemplul 2: Enunt: „Niciun metal nu este lichid.” (la temperatura obisnuita). S = 'metal', P = 'lichid'. 'Niciun' marcheaza universal negativ. Este tip E. Scriere: ∀x(Metal(x) → ¬Lichid(x)). Atentie: daca spunem „Unel metale sunt lichide” (ex. mercurul), atunci ar fi I, dar aici este negatie universala.
• Exemplul 3: Enunt: „Unii studenti nu citesc carti.” S = 'studenti', P = 'persoane care citesc carti'. 'Unii...nu' indica particular negativ, deci tip O. Exista cel putin un student care nu are proprietatea de a citi carti. Scriere: ∃x(Student(x) ∧ ¬CitesteCarti(x)). Compara cu „Unii studenti citesc carti” (tip I).

Concepte cheie: Propozitie categorica: afirmatie care leaga doua clase (S si P), Cantitate: universala (tot/niciun) vs. particulara (unii/cativa), Calitate: afirmativa vs. negativa, Tipurile A (universala afirmativa), E (universala negativa), I (particulara afirmativa), O (particulara negativa), Patratul logic al opozitiilor: contradictie, contrarietate, subcontrarietate, subalternare, Conversiunea: transformarea unei propozitii in alta prin schimbarea ordinii S si P (valida pentru E si I), Standardizarea enunturilor in forma canonica (tot/niciun/unii/unii...nu)