Propozițiile categorice sunt enunțuri care afirmă sau neagă o relație între două clase (termeni): subiectul (S) și predicatul (P). Ele sunt fundamentale în logica aristotelică și stau la baza raționamentelor silogistice. Există patru tipuri standard, notate cu literele A, E, I, O, care provin din latină: Affirmo (afirm) și Nego (neg).
- A (universal afirmativă): „Toți S sunt P.” Ex.: „Toți oamenii sunt muritori.” Se spune că S este distribuit (se referă la toți membrii clasei S), iar P este nedistribuit (nu se referă la toți membrii clasei P).
- E (universal negativă): „Niciun S nu este P.” Ex.: „Niciun om nu este plantă.” Ambii termeni S și P sunt distribuiți, deoarece se face referire la întreaga clasă a lui S și la întreaga clasă a lui P.
- I (particular afirmativă): „Unii S sunt P.” Ex.: „Unii studenți sunt sportivi.” Nici S, nici P nu sunt distribuiți (se referă doar la o parte a fiecărei clase).
- O (particular negativă): „Unii S nu sunt P.” Ex.: „Unii elevi nu sunt harnici.” S este nedistribuit (doar o parte), iar P este distribuit (se afirmă că acea parte a lui S este exclusă din întreaga clasă a lui P).
Distribuția termenilor este o proprietate logică esențială: un termen este distribuit dacă propoziția se referă la toți membrii acelei clase. Regula este: în propozițiile universale (A, E) subiectul este distribuit; în propozițiile negative (E, O) predicatul este distribuit; în propozițiile particulare (I, O) subiectul este nedistribuit; în propozițiile afirmative (A, I) predicatul este nedistribuit.
Pătratul logic al opoziției reprezintă relațiile dintre cele patru tipuri de propoziții categorice cu același subiect și același predicat. Există patru opoziții:
- Contradictorie (A vs O, E vs I): nu pot fi ambele adevărate sau ambele false; una este adevărată, cealaltă falsă.
- Contrară (A vs E): nu pot fi ambele adevărate, dar pot fi ambele false.
- Subcontrară (I vs O): nu pot fi ambele false, dar pot fi ambele adevărate.
- Subalternă (A vs I, E vs O): dacă universala este adevărată, atunci particulara este adevărată; invers nu este valabil.
Înțelegerea acestor relații permite verificarea coerenței propozițiilor și construirea de silogisme valide. De exemplu, dacă știm că „Toți câinii sunt mamifere” (A) este adevărat, atunci „Unii câini sunt mamifere” (I) este automat adevărat, iar „Unii câini nu sunt mamifere” (O) este fals.
Atenție: distribuția termenilor este crucială în inferențe și în demonstrarea validității silogismelor, deoarece orice termen distribuit în concluzie trebuie să fie distribuit în premise.
Exemple
- Exemplul 1: Propoziția A – „Toate ființele umane sunt muritoare.” Subiectul (ființe umane) este distribuit (se referă la toate), predicatul (muritoare) este nedistribuit. În pătratul logic, aceasta este contradictorie cu O („Unele ființe umane nu sunt muritoare”) și contrară cu E („Nicio ființă umană nu este muritoare”).
- Exemplul 2: Propoziția E – „Niciun pătrat nu este cerc.” Ambii termeni sunt distribuiți. Cu A („Toate pătratele sunt cercuri”) este contrară; cu I („Unele pătrate sunt cercuri”) este contradictorie; cu O („Unele pătrate nu sunt cercuri”) este subalternă (E adevărată implică O adevărată).
- Exemplul 3: Propoziția I – „Unii politicieni sunt onești.” Nici S, nici P nu sunt distribuiți. Cu O („Unii politicieni nu sunt onești”) este subcontrară (pot fi ambele adevărate, deși în realitate nu e neapărat cazul). Cu A („Toți politicienii sunt onești”) este subalternă (A adevărată implică I adevărată, dar invers nu).
Concepte cheie: Propoziții categorice: A (universal afirmativă), E (universal negativă), I (particular afirmativă), O (particular negativă), Distribuția termenilor: S distribuit în A și E; P distribuit în E și O; nedistribuit în celelalte cazuri, Pătratul logic al opoziției: contradictorie (A-O, E-I), contrară (A-E), subcontrară (I-O), subalternă (A-I, E-O)