Katrori logjik është një diagram që tregon qartë se si gjykimet e vërteta dhe të rreme ndërveprojnë me njëri-tjetrin kur ai më i gjerë përfshin atë më të ngushtë. Nëse një propozim më i gjerë është i vërtetë, atëherë propozimi më i ngushtë i përfshirë në të është edhe më i vërtetë. Për shembull: nëse të gjithë grekët janë të hollë, atëherë edhe grekët që jetojnë në Athinë janë të hollë. Nëse një propozim më i ngushtë është i rremë, atëherë një propozim i gjerë, i cili përfshin një propozim më të ngushtë ose më specifik, nuk do të jetë më pak i rremë. Deklarata se të gjithë njerëzit që peshojnë jo më shumë se 70 kilogramë jetojnë në Athinë është e rreme, që do të thotë se deklarata më e gjerë se të gjithë njerëzit e dobët jetojnë në Greqi nuk është gjithashtu e besueshme.
Ligji i përjashtimit të të tretës
Rregullat e katrorit logjik janë të lehta për t'u mbajtur mend dhe bazohen në një ligj të rëndësishëm logjik - ligjin e përjashtimit të të tretës: nëse një gjykim është i vërtetë nga njëra anë, atëherë është i rremë nga ana tjetër dhe anasjelltas. Një deklaratë mund të jetë ose e vërtetë ose e rreme, dhe, në përputhje me rrethanat, e vërtetë osemohimi i tij do të ishte i rremë. Nuk ka opsione të tjera të treta. Deklarata "Të gjitha makinat janë të kuqe" është e rreme. Pra, pohimi "Jo të gjitha makinat janë të kuqe" është i vërtetë. Dhe këtu vjen fjala magjike "disa", e cila pothuajse gjithmonë do ta kthejë një deklaratë të rreme në një të vërtetë: "Disa makina janë të kuqe."
Katror dhe kryq
Për të mësuar me vesh rregullat e katrorit logjik, duhet të mbani mend gjithashtu se logjika e makinës nga pohimi i mësipërm quhet kryefjalë dhe skuqja quhet kallëzues. Kallëzues si atribuim i kryefjalës mund të jetë një folje ose një cilësi. Ose ndonjë cilësi tjetër që i bashkëngjitet temës duke përdorur foljen lidhëse "thelb". Një katror logjik duket si një katror. Kjo nuk është për t'u habitur. Këndet e katrorit janë të shënuara A, E, I, O. A është e kundërt me E, I është pjesërisht e pajtueshme me O, I është në vartësi të A dhe E dominon O. Katrori përshkohet nga dy rreshta kontradiktash. Duke përdorur mekanikën e sheshit, mund të punoni me gjykime. Ky mjet është më i rëndësishëm për tekstshkruesit sesa për fizikantët, fizikantët tashmë janë të rreptë dhe tekstshkruesit vazhdimisht kanë nevojë për mekanizma që i lejojnë ata të vënë në dyshim dhe të verifikojnë të vërtetën e gjykimeve të tyre. Sigurisht, në një botë gënjeshtrash dhe paqartësie, bukuria e së vërtetës dhe dëshira për ta arritur atë me çdo kusht humbet disi, por në disa raste (në gjykatë, në trafik, në tarifimin e një arnimi), e vërteta objektive ka të vetën. vlera.
Një katror në histori
Logjika si shkencë u themelua nga grekët e lashtë. Ata e donin shumë të debatonin, dhe njerëzit që grindeshin gjithmonë mërziten nëse kundërshtari gabon. Ligjet e logjikës u krijuan nga grekët për t'i shpjeguar qartë kundërshtarit se ai e ka gabim.
Katrori logjik u shpik dhe u vu në përdorim nga filozofi grek Michael Psellus në shekullin e 11-të, shumë më vonë se koha kur Sokrati shpiku skolasticizmin. Është e qartë se për disa kohë grekët nuk kishin nevojë për konceptin e së vërtetës absolute dhe vetëm në kohën e qartësisë universale u shpik katrori logjik. Shembujt që jepen zakonisht në përshkrimin e skemës së tij janë pothuajse të gjithë të bazuar në logjikën aristoteliane, por përmbajnë përgjithësime elegante bizantine.
