Pentru claritate în logică este folosit conceptul de "pătrat logic", în colțurile cărora sunt localizate hotărârile A, E, I, O, iar laturile și diagonalele sale sunt o expresie simbolică a relațiilor logice de bază dintre judecăți.
I. Relația de supunere este asociată cu judecățile lui A și I, E și O.
O propunere generală (A, E) este subordonată și subordonată privată (I, O). Pentru judecățile din
În legătură cu subordonarea, următoarea condiție a adevărului are valoare: dacă A este adevărat, atunci este adevărat; dacă E este adevărat, atunci și O este adevărat, dar nu invers. Într-adevăr, dacă este adevărat că "Toți elevii iau credit pentru
Pe logica "(A), atunci același lucru este valabil și în ceea ce privește unii dintre ei (I)" Unii studenți iau credit în logică ", dar nu invers. De la faptul că "unele zile ale săptămânii nu funcționează" (I), nu rezultă că "toate zilele săptămânii sunt nefuncționale" (A).
"Nici o lună nu conține numărul de treizeci de secunde" (E), atunci judecata negativă subordonată lui "În câteva luni nu există nici un număr de treizeci de secunde" (O) este, de asemenea, adevărat. Din adevărul judecății negative "Unii fructe nu sunt comestibile" (0) nu rezultă că "nici unul dintre fructe nu este folosit pentru alimente" (E).
II. În ceea ce privește contradicția sunt judecățile lui E și I și A A și D. Conform legilor logicii, două judecăți contradictorii nu pot fi nici adevărate, nici false în același timp. Prin urmare, în logica cu două valori vor lua valori logice diferite: dacă A este adevărat, atunci O este falsă. Dacă A este falsă, atunci O este adevărat
dacă G - adevărat, atunci A - fals în cazul în care G - fals, atunci A - E adevărat dacă - adevărat, - fals în cazul în care E - fals, atunci eu - adevărat dacă I - adevărat, atunci E - fals dacă - în mod fals, atunci E este adevărat
sau A ≡ Oh, sau # 9488; A ≡ O sau O ≡ # 9488; A, sau # 9488; O ≡ A sau E ≡ # 9488; # 9488; E ≡ I sau I ≡ # 9488; E sau # 9488; I ≡ E.
După ce a apărut apariția uneia dintre judecățile contradictorii și semnificația ei logică, se poate stabili cu ușurință și sensul logic al unei judecăți contradictorii. De exemplu, știind că propoziția "Nici un delfin nu trăiește pe uscat" (E) este adevărat, concluzionăm că propoziția contradictorie "Unii delfinii pot să trăiască pe uscat" (I) este falsă.
A III Contradicția se referă numai la judecățile generale ale lui A și E. După cum deja știm, contrastul înseamnă pozițiile opuse, extreme și nu acoperă întreaga clasă de obiecte. Aici este posibil "al treilea", "al patrulea" .... Prin urmare, nu sunt necesare judecăți controversate
trebuie să ia diferite valori logice. Limita superioară a pătratului conectează astfel de tipuri de propoziții (A, E), care pot fi simultan false, dar nu pot
fi atât adevărat. De exemplu, ambele hotărâri:
"Toți oamenii iubesc muzica lui Schnittke" și "Nimeni nu îi place muzica lui Schnittke" este evident falsă. Adevăratul,
În acest caz, va fi exprimat ultimul tip de relație
- subkontrarnost.
IV Raportul de subcontractare poate apărea numai între judecățile I și O specifice. Acest raport este exprimat prin limita inferioară a pătratului. Conștient de faptul că hotărârile I și O E judecăți subordonate A și E, și ținând cont de atitudinea opoziției dintre propuneri A și E, putem concluziona că, din moment ce hotărârea A și D, E și eu sunt conectate prin legea non-contradicție, în cazul relațiilor contrarii
Despre A și E, relațiile de subordonare I → A și O → E «sunt anulate». În cazul în care situațiile „superior“ A și E sunt ambele false (ca în exemplul nostru), adevărat sunt în conflict „inferior“ judecată I și O. Deoarece judecata A și E poate fi simultan fals, dar nu poate fi simultan atunci judecățile I și O, dimpotrivă, pot fi simultan adevărate, dar nu pot fi false în același timp (aceasta înseamnă subcontractare). Deci, în exemplul nostru va fi judecata adevărată: „Unii oameni ca muzica lui Schnittke“ (I), „Unii oameni nu le place muzica lui Schnittke“ (O).
Stabilirea relațiilor logice între judecăți "de către pătratul logic permite o serie de operații practice cu judecăți. De exemplu, cunoscând adevărata valoare a uneia dintre judecățile A, E, I, O, folosind pătratul logic, puteți stabili valoarea reală a celor trei judecăți rămase.
Această operație logică în forma ei formală apare ca o soluție la "problema logică pătrată". De exemplu, este necesar să stabilim care este valoarea logică a judecăților lui E, I, O, dacă A este o judecată adevărată.
Deci, A este adevărul
E -.
Eu -?
O -?
Soluția problemei:
1. Aflăm sensul unei alte propoziții generale E. Ea este legată de raportul logic al contrastului și nu poate fi adevărată (prin definirea contrarității). Prin urmare, E este fals.
2. Noi stabilim valorile hotărârilor I și 0, legate de propozițiile generale A și E prin relația de contradicție. Deoarece, prin această atitudine, judecățile iau diferite valori logice, stabilim: dacă A este adevărat, atunci O este fals; Dacă E este falsă, atunci eu sunt adevărat.
Astfel, rezolvând problema, stabilim că:
Dacă A este adevărat, atunci
E este o minciună
Eu sunt adevărat
O este o minciună