Cov kev cai lij choj ntawm cov laj thawj tuaj yeem piv rau cov hauv paus ntsiab lus thiab cov cai uas ua haujlwm hauv qhov xwm txheej. Txawm li cas los xij, lawv muaj lawv tus kheej tshwj xeeb, yam tsawg kawg ntawm qhov lawv ua haujlwm tsis nyob hauv lub ntiaj teb ib puag ncig peb, tab sis nyob rau hauv lub dav hlau ntawm tib neeg kev xav. Tab sis, ntawm qhov tod tes, cov hauv paus ntsiab lus tau txais los ntawm cov logic txawv ntawm cov qauv kev cai lij choj uas lawv tsis tuaj yeem raug tshem tawm. Lawv yog lub hom phiaj thiab ua raws li peb lub siab nyiam. Tau kawg, ib tus tsis tuaj yeem sib cav raws li cov ntsiab lus no, tab sis tsis tshua muaj leej twg yuav xav txog cov lus xaus no tsim nyog.
Txoj cai lij choj yog tus ncej ntawm kev tshawb fawb, ob qho tib si ntuj thiab tib neeg. Yog hais tias nyob rau hauv lub neej txhua hnub ib tug tseem tuaj yeem ua rau muaj kev xav tsis zoo ntawm cov kev cai rau kev tsim kho thiab kev loj hlob ntawm kev xav, ib tus tuaj yeem tso cai rau qhov tsis sib haum xeeb, tom qab ntawd hauv kev ua haujlwm loj lossis kev sib tham zoo li no yog qhov tsis txaus ntseeg. Rau lub hauv paus ntawm ib qho pov thawj hauv paus yog cov hauv paus ntsiab lus ntawm qhov raugkev txiav txim.
Cov cai no yog dab tsi? Peb ntawm lawv tau pom nyob rau hauv ancient sij hawm los ntawm Aristotle: cov no yog lub hauv paus ntsiab lus ntawm kev sib xws, txoj cai ntawm tus kheej thiab txoj cai ntawm kev cais nruab nrab. Ntau pua xyoo tom qab, Leibniz nrhiav tau lwm txoj hauv kev - yog vim li cas txaus. Tag nrho peb txoj cai ntawm kev cai logic piav qhia los ntawm Aristotle yog inextricably txuas. Yog tias peb cia ib pliag uas ib qho txuas ntawm lub siab xav ploj, ces lwm tus poob sib nrug zoo li lub tsev ntawm daim npav.
Txoj Cai ntawm Kev Txiav Txim Nruab Nrab tuaj yeem sau tau raws li hauv qab no: "Tertium non daatur" lossis "Tsis muaj qhov thib peb." Yog tias peb nthuav tawm ob qhov sib txawv ntawm qhov sib txawv ntawm tib yam kev kawm (los yog ntau yam kev kawm, lossis ib qho tshwm sim), ces ib qho kev txiav txim yuav sib haum rau qhov tseeb, thiab lwm qhov yuav tsis. Nyob nruab nrab ntawm cov lus no, nws tsis tuaj yeem tsim qee qhov thib peb uas yuav rov sib haum xeeb ntawm ob lub ntsiab lus lossis ua tus choj txuas kev sib txuas ntawm lawv. Qhov piv txwv yooj yim tshaj plaws ntawm qhov tsis suav nrog peb yog "Qhov no yog dawb" thiab "Qhov no tsis yog dawb." Tab sis nws ua haujlwm tsuas yog thaum ob qho tib si tawm tsam maxims tau qhia txog tib yam, txog lub sijhawm thiab txog tib txoj kev sib raug zoo.
Txoj cai lij choj ntawm qhov nruab nrab tsis suav nrog siv los siv txawm tias muaj qhov tsis sib haum xeeb lossis tsis sib haum xeeb ntawm cov lus pom zoo A thiab B. Qhov thib ib yog cov lus ntawm qhov kev xav ntawm qhov opposite. Piv txwv li, cov lus tshaj tawm "Lub Ntiaj Teb tig los puag ncig lub hnub" thiab "Lub Hnub tig mus ncig lub ntiaj teb" yog cov lus sib cav. Ib qho kev tsis sib haum xeeb tshwm sim thaum kab lus A hais, thiab Btsis lees paub dab tsi: "Hlawv sov" thiab "Hlawv tsis sov." Tsis tas li ntawd, qhov kev tsis sib haum xeeb no tshwm sim ntawm qhov kev txiav txim siab tshwj xeeb, thaum ib qho zoo thiab qhov tsis zoo: "Qee tus tub ntxhais kawm twb tau daim ntawv pov thawj" thiab "Tsis muaj tub ntxhais kawm tau daim diploma."
Cov kev cai tshwj xeeb tau muab tso rau hauv kev xav, tshwj xeeb tshaj yog kev xav txog kev tshawb fawb: sib xws, sib xws ntawm qhov tseeb. Txoj Cai ntawm Kev Txiav Txim Nruab Nrab yog qhov ntsuas qhov tseeb ntawm peb lub laj thawj kev xav. Piv txwv li, yog tias peb lees tias "Vajtswv yog txhua yam zoo", ces qhov siab tshaj plaws "Vajtswv teem caij ntuj txiag teb tsaus rau cov neeg txhaum" yog qhov tsis muaj qab hau. Yog tias peb thov tias Vajtswv tsim qhov chaw raug tsim txom nyob mus ib txhis rau leej twg, ces peb tsis tuaj yeem lees tias Nws Zoo. Txij li Vajtswv, raws li qhov khoom ntawm peb qhov kev xav, tsis tuaj yeem koom nrog cov cim tsis sib haum xeeb, ib qho ntawm ob kab lus saum toj no yog qhov tseeb, thaum qhov thib ob tsis yog. Qhov thib peb tsis muab ntawm no.
