Lub logical square yog daim duab qhia meej tias qhov kev txiav txim siab thiab qhov tsis tseeb cuam tshuam nrog ib leeg thaum qhov dav suav nrog qhov nqaim. Yog hais tias ib tug dav proposition yog muaj tseeb, ces qhov nqaim proposition nyob rau hauv nws yog tag nrho cov muaj tseeb. Piv txwv li: yog tias tag nrho cov Greeks slender, ces cov Greeks nyob rau hauv Athens yog slender ib yam nkaus thiab. Yog hais tias ib tug nqaim proposition yog tsis muaj tseeb, ces ib tug dav proposition, uas muaj xws li ib tug nqaim los yog ntau tshaj ib tug, yuav tsis muaj tsawg tsawg. Cov lus hais tias txhua tus neeg uas hnyav tsis tshaj 70 kilograms nyob hauv Athens yog qhov cuav, uas txhais tau hais tias cov lus dav dav uas txhua tus neeg slim nyob hauv tebchaws Greece kuj tsis ntseeg.
Txoj Cai ntawm Kev cais tawm thib peb
Txoj kev cai ntawm lub logic square yog yooj yim rau nco qab thiab yog raws li ib tug tseem ceeb logical txoj cai - txoj cai ntawm kev cais tawm ntawm peb: yog hais tias ib tug txiav txim muaj tseeb ntawm ib sab, ces nws yog tsis tseeb ntawm lwm yam thiab rov qab. Ib nqe lus tuaj yeem yog qhov tseeb lossis tsis tseeb, thiab, raws li, tseeb lossisnws qhov kev tsis lees yuav yog cuav. Tsis muaj lwm txoj kev xaiv thib peb. Lo lus "Txhua lub tsheb yog liab" yog cuav. Yog li nqe lus "Tsis yog txhua lub tsheb liab" yog qhov tseeb. Thiab ntawm no yog lo lus khawv koob "qee yam", uas yuav luag ib txwm hloov cov lus tsis tseeb mus rau qhov tseeb: "Qee lub tsheb liab."
Square thiab hla
Kawm los ntawm pob ntseg cov kev cai ntawm lub logic square, koj yuav tsum nco ntsoov tias lub logic ntawm lub tshuab los ntawm cov nqe lus saum toj no yog hu ua cov ntsiab lus, thiab qhov liab yog hu ua predicate. Tus predicate raws li ib tug attribution ntawm cov kev kawm yuav ua tau ib tug verb los yog ib tug zoo. Los yog lwm yam zoo uas txuas nrog rau cov ncauj lus uas siv cov lus qhia txuas "essence". Lub logic square zoo li lub square. Qhov no tsis yog qhov xav tsis thoob. Cov ces kaum ntawm lub square yog cim A, E, I, O. A yog opposite rau E, kuv yog ib feem ntawm O, kuv subordinate rau A, thiab E dominates O. Lub square yog hla los ntawm ob kab ntawm contradictions. Siv cov cuab yeej ntawm cov square, koj tuaj yeem ua haujlwm nrog kev txiav txim. Cov cuab yeej no tseem ceeb dua rau cov kws sau nkauj dua li cov kws kho mob, cov kws kho mob tau nruj, thiab cov kws sau nkauj tas li xav tau cov txheej txheem uas tso cai rau lawv los nug thiab txheeb xyuas qhov tseeb ntawm lawv cov kev txiav txim. Ntawm chav kawm, nyob rau hauv lub ntiaj teb no ntawm kev dag thiab tsis meej pem, kev zoo nkauj ntawm qhov tseeb thiab lub siab xav ua kom tiav nws ntawm tej nqi yog me ntsis poob, tab sis nyob rau hauv tej rooj plaub (nyob rau hauv lub tsev hais plaub, nyob rau hauv tsheb thauj mus los, them ib thaj), lub hom phiaj qhov tseeb muaj nws tus kheej. nqi.
A square hauv keeb kwm
Logic raws li kev tshawb fawb tau tsim los ntawm cov neeg Greek thaum ub. Lawv nyiam sib cav heev, thiab cov neeg sib cav yeej ib txwm ntxhov siab yog tias tus nrog sib cav tsis raug. Cov kev cai lij choj tau tsim los ntawm cov neeg Greek kom piav qhia meej rau tus neeg tawm tsam tias nws tsis yog.
Lub logical square tau tsim thiab muab tso rau hauv kev siv los ntawm Greek philosopher Michael Psellus nyob rau hauv lub xyoo pua 11th, ntau tom qab lub sij hawm thaum Socrates invented scholasticism. Nws yog qhov pom tseeb tias qee lub sij hawm cov Greeks tsis xav tau lub tswv yim ntawm qhov tseeb, thiab tsuas yog thaum lub sij hawm ntawm universal clarity yog lub logic square invented. Cov piv txwv uas feem ntau tau muab rau hauv cov lus piav qhia ntawm nws lub tswv yim yog yuav luag tag nrho raws li Aristotelian logic, tab sis muaj cov qauv zoo nkauj Byzantine generalizations.
