Propozițiile categorice reprezintă fundamentul logicii aristotelice și al silogisticii clasice. Ele exprimă relații dintre două clase (termeni): subiectul (S) și predicatul (P). Clasificarea lor se face după două criterii: calitate (afirmativă sau negativă) și cantitate (universală sau particulară). Rezultă patru tipuri standard, notate convențional cu literele A, E, I, O, provenite din cuvintele latine „Affirmo” (afirm) și „Nego” (neg).
- Propoziția de tip A: universal-afirmativă, de forma „Toți S sunt P”. Exprimă includerea totală a clasei S în clasa P. În logica modernă, se simbolizează prin ∀x (Sx → Px).
- Propoziția de tip E: universal-negativă, de forma „Niciun S nu este P”. Indică separarea completă a celor două clase: niciun element din S nu aparține lui P. Simbolic: ∀x (Sx → ¬Px).
- Propoziția de tip I: particular-afirmativă, de forma „Unii S sunt P”. Afirmă existența a cel puțin unui element care aparține ambelor clase. Simbolic: ∃x (Sx ∧ Px).
- Propoziția de tip O: particular-negativă, de forma „Unii S nu sunt P”. Afirmă existența a cel puțin unui element din S care nu este în P. Simbolic: ∃x (Sx ∧ ¬Px).
Pătratul logic (sau pătratul opozițiilor) este o diagramă care ilustrează relațiile logice dintre aceste patru propoziții, considerând același subiect și același predicat. Principalele relații sunt:
- Contrarietatea (A vs E): nu pot fi ambele adevărate, dar pot fi ambele false.
- Subcontrarietatea (I vs O): nu pot fi ambele false, dar pot fi ambele adevărate.
- Subalternarea (A → I, E → O): dacă universalul este adevărat, atunci particularul corespunzător este adevărat (dar invers nu este valabil).
- Contradictia (A vs O, E vs I): sunt opuse logice perfecte – una este adevărată dacă și numai dacă cealaltă este falsă.
Înțelegerea acestor relații este esențială pentru analiza silogismelor, demonstrarea validității raționamentelor și pentru rezolvarea problemelor de logică din cadrul examenului de Bacalaureat. Elevii trebuie să rețină că propozițiile categorice presupun existența subiectului (interpretare tradițională), deși logica modernă permite și interpretări fără angajament existențial.
Exemple
- Exemplul 1: Analiza tipului A. Enunț: „Toți elevii sunt studioși.” S = elevi, P = studioși. Propoziția este universal-afirmativă (A). Dacă este adevărată, atunci prin subalternare rezultă adevărată propoziția I: „Unii elevi sunt studioși.” Prin contradicție, propoziția O: „Unii elevi nu sunt studioși” este falsă. Relația de contrarietate cu E: „Niciun elev nu este studios” generează fals, deoarece A adevărat implică E fals.
- Exemplul 2: Analiza tipului E. Enunț: „Niciun politician nu este mincinos.” S = politicieni, P = mincinoși. Este universal-negativă (E). Dacă E este adevărată, atunci subalterna O: „Unii politicieni nu sunt mincinoși” este adevărată. Contradictoria I: „Unii politicieni sunt mincinoși” este falsă. Contrarietatea cu A: „Toți politicienii sunt mincinoși” este falsă. Observați că ambele universale (A și E) pot fi false simultan (de exemplu, dacă unii sunt mincinoși și alții nu).
- Exemplul 3: Aplicație a pătratului logic. Fie propoziția I: „Unii studenți citesc cărți filozofice.” Dacă aceasta este falsă, atunci contradicția sa, E: „Niciun student nu citește cărți filozofice”, este adevărată. Subcontrarietatea cu O: „Unii studenți nu citesc cărți filozofice” – ambele nu pot fi false, deci dacă I este falsă, O trebuie să fie adevărată. Verificare: dacă niciun student nu citește, atunci evident unii nu citesc.
Concepte cheie: Propoziție categorică: enunț care afirmă sau neagă apartenența unei clase la alta., Tipurile A, E, I, O: universal-afirmativ, universal-negativ, particular-afirmativ, particular-negativ., Pătratul logic: diagramă a opozițiilor dintre cele patru tipuri de propoziții categorice., Relația de contradicție: A vs O, E vs I – opuse logice perfecte., Relația de contrarietate: A vs E – nu pot fi ambele adevărate., Relația de subcontrarietate: I vs O – nu pot fi ambele false., Relația de subalternare: A → I, E → O – universalul implică particularul.