Logický čtverec je diagram, který jasně ukazuje, jak se pravdivé a nepravdivé úsudky vzájemně ovlivňují, když širší zahrnuje i užší. Je-li pravdivý širší výrok, platí tím spíše užší výrok v něm obsažený. Například: pokud jsou všichni Řekové štíhlí, pak jsou štíhlí i Řekové žijící v Aténách. Pokud je užší výrok nepravdivý, pak široký výrok, který zahrnuje užší nebo specifičtější, nebude o nic méně nepravdivý. Tvrzení, že všichni lidé, kteří neváží více než 70 kilogramů, žijí v Aténách je nepravdivé, což znamená, že širší tvrzení, že všichni štíhlí lidé žijí v Řecku, také není spolehlivé.
Zákon o vyloučení třetího
Pravidla logického čtverce jsou snadno zapamatovatelná a jsou založena na jednom důležitém logickém zákonu – zákonu vyloučení třetího: je-li úsudek na jedné straně pravdivý, pak je na druhé straně nepravdivý a naopak. Výrok může být buď pravdivý nebo nepravdivý, a v souladu s tím pravdivý nebojeho popření by bylo falešné. Jiné třetí možnosti nejsou. Tvrzení „Všechna auta jsou červená“je nepravdivé. Takže tvrzení „Ne všechna auta jsou červená“je pravdivé. A tady přichází kouzelné slůvko „některé“, které téměř vždy změní nepravdivé tvrzení na pravdivé: „Některá auta jsou červená.“
Čtverec a kříž
Chcete-li se doslech naučit pravidla logického čtverce, měli byste si také pamatovat, že logika stroje z výše uvedeného výroku se nazývá předmět a červeň se nazývá predikát. Predikát jako atribut předmětu může být sloveso nebo kvalita. Nebo nějaká jiná kvalita, která se váže k předmětu pomocí spojovacího slovesa „esence“. Logický čtverec vypadá jako čtverec. To není překvapivé. Rohy čtverce jsou označeny A, E, I, O. A je protilehlé k E, I je částečně kompatibilní s O, I je podřízené A a E dominuje O. Čtverec protínají dvě linie protikladů. Pomocí mechaniky čtverce můžete pracovat s úsudky. Tento nástroj je důležitější pro textaře než pro fyziky, fyzici jsou již přísní a textaři neustále potřebují mechanismy, které jim umožňují zpochybňovat a ověřovat pravdivost jejich úsudků. Samozřejmě, že ve světě lží a nejednoznačností se krása pravdy a touha dosáhnout jí za každou cenu poněkud ztrácí, ale v některých případech (u soudu, v dopravě, při zpoplatnění záplaty) má objektivní pravda své vlastní hodnota.
Čtverec v historii
Logiku jako vědu založili již staří Řekové. Velmi rádi se hádali a hádající se lidi vždy naštve, když se protivník mýlí. Zákony logiky vytvořili Řekové, aby jasně vysvětlili protivníkovi, že se mýlí.
Logický čtverec byl vynalezen a uveden do užívání řeckým filozofem Michaelem Psellusem v 11. století, mnohem později než v době, kdy Sokrates vynalezl scholastiku. Je zřejmé, že Řekové nějakou dobu pojem absolutní pravdy nepotřebovali a až v době všeobecné jasnosti byl vynalezen logický čtverec. Příklady, které jsou obvykle uvedeny v popisu jeho schématu, jsou téměř všechny založeny na aristotelské logice, ale obsahují elegantní byzantská zobecnění.
