Логикалык квадрат – бул туура жана жалган өкүмдөрдүн бири-бири менен кандайча өз ара аракеттенишин ачык көрсөткөн диаграмма. Эгер кененирээк сунуш чын болсо, анда ага киргизилген тар сунуш дагы чындыкка дал келет. Мисалы: бардык гректер сымбаттуу болсо, Афинада жашаган гректер да сымбаттуу. Эгерде тарыраак сунуш жалган болсо, анда тар же конкреттүү сунушту камтыган кеңири сунуш дагы жалган болбойт. Салмагы 70 килограммдан ашпаган адамдардын баары Афинада жашайт деген билдирүү жалган, бул Грецияда бардык сымбаттуу адамдар жашайт деген кеңири билдирүү да ишенимдүү эмес экенин билдирет.
Үчүнчүсүн алып салуу мыйзамы
Логикалык квадраттын эрежелерин эстеп калуу оңой жана бир маанилүү логикалык мыйзамга - үчүнчүнү алып салуу мыйзамына негизделет: эгерде сот бир жагынан туура болсо, экинчи жагынан ал жалган жана тескерисинче. Билдирме чын же жалган болушу мүмкүн, демек, чындык жеаны тануу жалган болот. Башка үчүнчү варианттар жок. "Бардык унаалар кызыл" деген сөз жалган. Демек, "баардык унаалар кызыл эмес" деген сөз туура. Бул жерде дээрлик дайыма жалган билдирүүнү чындыкка айландыруучу сыйкырдуу "кээ бир" сөзү келет: "Кээ бир унаалар кызыл."
Чарчы жана кайчылаш
Логикалык квадраттын эрежелерин кулак менен үйрөнүү үчүн, жогоруда айтылган сөздөгү машинанын логикасы предикат, ал эми кызаруусу предикат деп аталарын эстен чыгарбоо керек. Предикат предметтин атрибуту катары этиш же сапат болушу мүмкүн. Же «маңыз» деген байланыштыруучу этиштин жардамы менен предметке тиркелген башка сапат. Логикалык квадрат квадратка окшош. Бул таң калыштуу эмес. Квадраттын бурчтары A, E, I, O деп белгиленет. А E карама-каршы, I жарым-жартылай О менен туура келет, I Ага баш ийген, ал эми Е O үстөмдүк кылат. Квадрат эки карама-каршы сызык менен кесип өткөн. Аянттын механикасын колдонуп, сиз соттор менен иштей аласыз. Бул курал лириктерге физиктерге караганда маанилүүрөөк, физиктер буга чейин эле катаал, жана лириктерге ар дайым алардын өкүмдөрүнүн чындыгына шек келтирүүгө жана текшерүүгө мүмкүндүк берүүчү механизмдер керек. Албетте, калп жана бүдөмүк дүйнөдө чындыктын сулуулугу жана ага кандай баа болбосун жетүү каалоосу бир аз жоголот, бирок кээ бир учурларда (сотто, жол кыймылында, жамаачы кубаттоодо) объективдүү чындыктын өзүнүн бар. маани.
Тарыхтагы квадрат
Логика илим катары байыркы гректер тарабынан негизделген. Алар талашканды абдан жакшы көрүшчү, эгер атаандашы туура эмес болсо, талашып-тартышкан адамдар дайыма кыжырданышат. Логиканын мыйзамдарын гректер каршылашына анын туура эмес экенин так түшүндүрүү үчүн жараткан.
Логикалык квадратты 11-кылымда, Сократ схоластиканы ойлоп тапкан мезгилден бир топ кечирээк грек философу Майкл Пселус ойлоп таап, колдонууга киргизген. Белгилүү болгондой, бир нече убакытка чейин гректерге абсолюттук чындык түшүнүгү керек эмес жана жалпыга бирдей түшүнүктүү болгон учурда гана логикалык квадрат ойлоп табылган. Адатта анын схемасын сүрөттөөдө келтирилген мисалдар дээрлик бардыгы Аристотелдик логикага негизделген, бирок алар византиялык кооз жалпылоолорду камтыйт.
