Patratul logic si relatiile dintre propozitii (contrarietate, subcontrarietate etc.)

Patratul logic este o diagrama clasica in logica aristotelica, care ne ajuta sa intelegem relatiile dintre patru tipuri de propozitii categorice: universala afirmativa (A: „Toți S sunt P”), universala negativa (E: „Niciun S nu este P”), particulara afirmativa (I: „Unii S sunt P”) si particulara negativa (O: „Unii S nu sunt P”). Aceste propozitii sunt asezate in colturile unui patrat, iar laturile si diagonalele indica relatii logice specifice: contrarietate (intre A si E), subcontrarietate (intre I si O), subalternare (intre A si I, respectiv E si O) si contradictie (intre A si O, respectiv E si I).

Relatia de contrarietate exista intre doua propozitii care nu pot fi ambele adevarate, dar pot fi ambele false. De exemplu, propozitiile „Toate pasarile zboara” (A) si „Nicio pasare nu zboara” (E) nu pot fi adevarate in acelasi timp, insa ambele pot fi false (deoarece unele pasari zboara, altele nu).

Relatia de subcontrarietate exista intre I si O: acestea nu pot fi ambele false, dar pot fi ambele adevarate. De exemplu, „Unii oameni sunt inteligenti” si „Unii oameni nu sunt inteligenti” pot fi adevarate simultan, dar nu pot fi false in acelasi timp (daca ar fi false, ar insemna ca toti oamenii sunt sau nu sunt inteligenti, ceea ce ar contrazice realitatea).

Subalternarea (sau implicarea) leaga A de I si E de O: daca A este adevarata, atunci I este automat adevarata (de exemplu, daca toti elevii sunt harnici, atunci unii elevi sunt harnici); la fel, daca E este adevarata, O este adevarata. Insa inversul nu este valabil: daca I este adevarata, nu rezulta ca A este adevarata.

Contradictia este cea mai puternica relatie: doua propozitii contradictorii nu pot fi nici ambele adevarate, nici ambele false. De exemplu, A si O se contrazic: daca „Toti elevii sunt harnici” este adevarat, atunci „Unii elevi nu sunt harnici” este fals, si invers.

Aceste relatii sunt fundamentale pentru rationamente corecte si pentru evitarea erorilor logice, fiind folosite in argumentare, dezbateri si rezolvarea de probleme.

Exemple

• Exemplul 1: Sa consideram propozitiile: A = „Toate triunghiurile au trei laturi” si E = „Niciun triunghi nu are trei laturi”. Acestea sunt contrarii: nu pot fi ambele adevarate (un triunghi nu poate avea si sa nu aiba trei laturi), dar ambele pot fi false? Nu, pentru ca A este adevarata, deci E este falsa; in acest caz, ele sunt si contradictorii? Nu, pentru ca contradictia ar fi A si O. Aici A si E sunt doar contrarii, iar falsitatea lui E nu implica falsitatea lui A.
• Exemplul 2: Fie I = „Unii copii se joaca in parc” si O = „Unii copii nu se joaca in parc”. Acestea sunt subcontrarii: pot fi ambele adevarate (daca unii copii se joaca, iar altii nu), dar nu pot fi ambele false (daca I ar fi falsa, ar insemna ca niciun copil nu se joaca, ceea ce face ca O sa fie adevarata; invers, daca O este falsa, toti copiii se joaca, deci I este adevarata).
• Exemplul 3: Daca stiinta afirma ca „Toate mamiferele au coloana vertebrala” (A), atunci putem deduce ca „Unele mamifere au coloana vertebrala” (I) este adevarata (subalternare). In schimb, daca am auzi ca „Unele mamifere nu au coloana vertebrala” (O), aceasta ar contrazice propozitia A, aratand ca A este falsa (contradictie).

Concepte cheie: Patrat logic, Contrarietate, Subcontrarietate, Subalternare, Contradictie, Propozitii categorice: A, E, I, O