Logický štvorec je diagram, ktorý jasne ukazuje, ako sa pravdivé a nepravdivé úsudky navzájom ovplyvňujú, keď širší zahŕňa aj užší. Ak je pravdivý širší výrok, potom užší výrok, ktorý je v ňom zahrnutý, je o to pravdivejší. Napríklad: ak sú všetci Gréci štíhli, potom sú štíhli aj Gréci žijúci v Aténach. Ak je užší výrok nepravdivý, potom široký výrok, ktorý zahŕňa užší alebo konkrétnejší výrok, nebude o nič menej nepravdivý. Tvrdenie, že v Aténach žijú všetci ľudia, ktorí nevážia viac ako 70 kilogramov, je nepravdivé, čo znamená, že širšie tvrdenie, že všetci štíhli ľudia žijú v Grécku, tiež nie je spoľahlivé.
Zákon o vylúčení tretieho
Pravidlá logického štvorca sú ľahko zapamätateľné a sú založené na jednom dôležitom logickom zákone – zákone vylúčenia tretieho: ak je rozsudok na jednej strane pravdivý, na druhej strane je nepravdivý a naopak. Vyhlásenie môže byť pravdivé alebo nepravdivé, a teda pravdivé respjeho odmietnutie by bolo falošné. Iné tretie možnosti neexistujú. Výrok „Všetky autá sú červené“je nepravdivý. Takže tvrdenie „Nie všetky autá sú červené“je pravdivé. A tu prichádza čarovné slovíčko „nejaké“, ktoré takmer vždy zmení nepravdivé tvrdenie na pravdivé: „Niektoré autá sú červené.“
Štvorec a kríž
Ak sa chcete naučiť do ucha pravidlá logického štvorca, mali by ste tiež pamätať na to, že logika stroja z vyššie uvedeného výroku sa nazýva predmet a červenka sa nazýva predikát. Predikát ako atribút predmetu môže byť sloveso alebo kvalita. Alebo nejaká iná kvalita, ktorá je pripojená k predmetu pomocou spojovacieho slovesa „esencia“. Logický štvorec vyzerá ako štvorec. To nie je prekvapujúce. Rohy štvorca sú označené A, E, I, O. A je protiľahlé k E, I je čiastočne kompatibilné s O, I je podriadené A a E dominuje O. Štvorec pretínajú dve línie protikladov. Pomocou mechaniky štvorca môžete pracovať s úsudkami. Tento nástroj je dôležitejší pre textárov ako pre fyzikov, fyzici sú už prísni a textári neustále potrebujú mechanizmy, ktoré im umožňujú spochybňovať a overovať pravdivosť ich úsudkov. Samozrejme, vo svete lží a nejednoznačností sa krása pravdy a túžba dosiahnuť ju za každú cenu trochu stráca, ale v niektorých prípadoch (na súde, v cestnej premávke, pri spoplatňovaní náplasti) má objektívna pravda svoje vlastné hodnota.
Štvorec v histórii
Logiku ako vedu založili starí Gréci. Veľmi radi sa hádali a hádajúcich sa ľudí vždy naštve, ak sa oponent mýli. Zákony logiky vytvorili Gréci, aby jasne vysvetlili protivníkovi, že sa mýli.
Logický štvorec vynašiel a uviedol do používania grécky filozof Michael Psellus v 11. storočí, oveľa neskôr ako v čase, keď Sokrates vynašiel scholastiku. Je zrejmé, že Gréci istý čas nepotrebovali pojem absolútnej pravdy a až v čase všeobecnej jasnosti bol vynájdený logický štvorec. Príklady, ktoré sa zvyčajne uvádzajú v popise jeho schémy, sú takmer všetky založené na aristotelovskej logike, ale obsahujú elegantné byzantské zovšeobecnenia.