Propozitii categorice: tipuri A, E, I, O, patratul logic opozitional

Propozitiile categorice sunt enunturi care afirma sau neaga apartenenta unei clase de obiecte la o alta clasa, folosind cuantificatori (tot, niciun, unii) si un verb copulativ (este/sunt). Ele sunt fundamentale in logica clasica aristotelica si stau la baza rationamentelor silogistice. Clasificarea standard distinge patru tipuri, notate conventional cu literele A, E, I, O, preluate din cuvintele latine AffIrmo (A si I) si nEgO (E si O).

• Tipul A (universal afirmativa): are forma „Tot S este P” (ex: „Toti oamenii sunt muritori”). Cuantificatorul „tot” indica faptul ca intreaga clasa S este inclusa in clasa P.
• Tipul E (universal negativa): forma „Niciun S nu este P” (ex: „Niciun om nu este nemuritor”). Se neaga total apartenenta lui S la P.
• Tipul I (particular afirmativa): forma „Unii S sunt P” (ex: „Unii oameni sunt studenti”). Exista cel putin un element din S care apartine lui P, dar nu se spune nimic despre restul.
• Tipul O (particular negativa): forma „Unii S nu sunt P” (ex: „Unii oameni nu sunt studenti”). Cel putin un element din S nu apartine lui P.

Intre aceste patru tipuri exista relatii logice reprezentate prin „patratul logic opozitional” (patratul opozitiilor). Patratul contine patru colturi: A (sus-stanga), E (sus-dreapta), I (jos-stanga), O (jos-dreapta). Relatiile sunt:

1. Contrarietatea (A vs E): Nu pot fi ambele adevarate, dar pot fi ambele false (ex: „Toti oamenii sunt nemuritori” si „Niciun om nu este nemuritor” nu pot fi adevarate simultan, dar ambele sunt false in realitate).
2. Subcontrarietatea (I vs O): Nu pot fi ambele false, dar pot fi ambele adevarate (ex: „Unii oameni sunt studenti” si „Unii oameni nu sunt studenti” pot fi adevarate impreuna, dar nu pot fi false amandoua).
3. Subalternarea (A → I, E → O): Daca A este adevarata, atunci I este automat adevarata; la fel, daca E este adevarata, atunci O este adevarata. Invers nu este valabil: daca I este adevarata, A poate fi falsa.
4. Contradictia (A vs O, E vs I): Sunt opuse totale; daca una este adevarata, cealalta este falsa si reciproc. De exemplu, daca „Toti oamenii sunt muritori” (A) este adevarat, atunci „Unii oameni nu sunt muritori” (O) este fals.

Aceste relatii sunt esentiale pentru validarea silogismelor si pentru intelegerea rationamentelor deductive. In contextul bacalaureatului, elevii trebuie sa identifice tipul propozitiei, sa construiasca propozitii echivalente si sa aplice regulile patratului pentru a stabili valori de adevar.

Un aspect avansat tine de interpretarea existentiala: in logica moderna, propozitiile universale (A, E) sunt considerate adevarate chiar si atunci cand clasa S este vida (ex: „Toti dragonii sunt verzi” este considerat adevarat in logica predicatelor clasica, deoarece nu exista contraexemplu). Insa in logica traditionala se presupunea ca S nu este vida. La bac, se foloseste de obicei interpretarea traditionala, asumand ca termenii subiect sunt nevidati.

Patratul logic permite, de asemenea, operatii de conversiune (schimbarea subiectului cu predicatul) si obversiune (negarea predicatului), dar acestea sunt tratate separat. Stapanirea propozitiilor categorice si a patratului reprezinta baza pentru intelegerea rationamentelor formale si a logicii in general.

Exemple

• Exemplul 1: Identificati tipul propozitiei „Tot ce zboara are aripi”. Subiectul este „ce zboara” (S), predicatul este „are aripi” (P). Propozitia este de tip A (universal afirmativa). Pe patrat, daca aceasta este adevarata, atunci „Unii care zboara au aripi” (I) este adevarata prin subalternare, iar „Unii care zboara nu au aripi” (O) este falsa prin contradictie. „Niciunul care zboara nu are aripi” (E) este falsa prin contrarietate.
• Exemplul 2: „Niciun politician nu este sincer” – tip E (universal negativa). Daca aceasta propozitie este adevarata, atunci „Unii politicieni nu sunt sinceri” (O) este adevarata (subalternare), iar „Unii politicieni sunt sinceri” (I) este falsa (contradictie). „Toti politicienii sunt sinceri” (A) este falsa (contrarietate). Atentie: daca E este falsa, nu rezulta automat ca A este adevarata; ambele pot fi false (ex: daca unii politicieni sunt sinceri si altii nu).
• Exemplul 3: Transformati propozitia „Unii studenti nu sunt disciplinati” (tip O) in echivalenta sa contradictorie. Conform patratului, contradictoria lui O este A („Toti studentii sunt disciplinati”). Daca O este adevarata, A este falsa; daca O este falsa, A este adevarata. De asemenea, observati ca O este subcontrara cu I („Unii studenti sunt disciplinati”): ambele pot fi adevarate (cand unii sunt disciplinati si altii nu), dar nu pot fi ambele false (caci ar insemna ca toti studentii sunt disciplinati si toti nu sunt, ceea ce e imposibil).

Concepte cheie: Propozitii categorice: definire, structura (subiect, predicat, cuantificator, copula), Clasificarea in tipuri A (universal afirmativa), E (universal negativa), I (particular afirmativa), O (particular negativa), Patratul logic opozitional: contrarietate (A-E), subcontrarietate (I-O), subalternare (A→I, E→O), contradictie (A-O, E-I), Interpretarea existentiala si aplicarea in silogisme