Cov kev cai lij choj ntawm lub cais nruab nrab - ib tug yooj yim hauv paus ntsiab lus ntawm logic

Basic cai ntawm logic yuav zoo li peb lub hauv paus ntsiab lus thiab cov kev cai siv nyob rau hauv cov xwm. Txawm li cas los, lawv muaj lawv tus kheej specifics, yam tsawg kawg uas tsis ua hauj lwm nyob rau hauv lub ntiaj teb no nyob ib ncig ntawm peb, thiab nyob rau hauv lub dav hlau ntawm tib neeg kev xav. Tab sis, nyob rau hauv lwm cov tes, tej ntsiab cai txais nyob rau hauv lub logic, txawv los ntawm kev cai lij choj kev cai yog li ntawd lawv yuav ua tsis tau undone. Lawv yog cov hom phiaj thiab ua tiv thaiv peb nyiam. Ntawm cov hoob kawm, koj muaj peev xwm tsis sib ceg nyob rau hauv raws li cov ntsiab cai, tab sis, ces lub tsim nyog inference yog tsis yog leej twg xav tias.

Zajlus kom txoj cai - ib tug ncej ntawm science, ob yam thiab tib neeg. Yog hais tias nyob rau hauv lub neej txhua hnub koj yeej tseem indulge nyob rau hauv lub khiav ntawm txoj kev xav uas yog incompatible nrog cov kev cai ntawm kev tsim kho thiab kev loj hlob ntawm kev xav, nws yog tau tso cai rau kev ncua nyob rau hauv logic, cov loj ua hauj lwm los yog kev sib tham ntawm xws li ib mus kom ze yog tsis tsim nyog. Rau lub hauv paus ntawm tej evidentiary hauv paus yog cov hauv paus ntsiab lus ntawm yog kev txiav txim.

Yuav ua li cas yog cov kev cai no? Peb ntawm lawv nyob sab nyob rau hauv antiquity los ntawm Aristotle: nws yog ib lub hauv paus ntsiab lus ntawm taub hau, cov kev cai ntawm tus kheej thiab cov kev cai lij choj ntawm lub cais nruab nrab. Centuries tom qab, Leibniz sab lwm txoj ntsiab cai - txaus vim li cas. Tag nrho peb cov kev cai ntawm kev logic, piav los ntawm Aristotle inseparably interconnected. Yog hais tias peb xav rau ib tug lub sij hawm ntawd hais tias ib tug txuas umopostroeny uas ploj lawm, ces raws li ib tug lub tsev ntawm phaib, thiab tus so lub caij nplooj zeeg.

Cov kev cai lij choj ntawm lub cais nruab nrab yuav tsum sau ua ke raws li nram no: «Tertium tsis datur» los yog «tsis muaj kev xaiv thib peb." Yog hais tias peb qhia ob contradictory kab lus txog ib yam kev kawm teeb meem (los yog ib tug series ntawm cov khoom los yog phenomena), ib tug taub Tawvv yuav muaj tseeb, thiab lwm yam - tsis muaj. Ntawm cov nqe lus tsis tau ua rau ib co thib peb, uas yuav tau coj ua ke rau ob qho loj los yog tau txais kev pab nyob rau hauv nruab nrab ntawm cov txuas choj logic. Qhov yooj yim piv txwv ntawm cov cais nruab nrab: "Qhov no tshaj plaws yog dawb" thiab "Qhov no tshaj plaws yog tsis dawb." Tab sis nws ua hauj lwm tsuas yog thaum lub ob opposite sentiments tau qhia txog tib yam lub sij hawm no thiab nyob rau hauv tib lub ntsiab lus.

cais nruab nrab txoj cai nkag mus rau hauv dag zog yuam thiab thaum qhov kev txiav txim ntawm A thiab B muaj contraries los yog kontradiktornaya incompatibility. Tus thawj - ib daim ntawv qhia ntawm qhov opposite saib. Piv txwv li, lub taub Tawvv "Lub ntiaj teb revolves nyob ib ncig lub hnub" thiab "lub hnub revolves nyob ib ncig lub ntiaj teb" yog contraries. Kontradiktornoe contradiction tshwm sim thaum cov kab lus A neeg pab leg ntaubntawv thiab B tsis tau dab tsi: "Fire sov," thiab "Fire yog txias". Nws kuj yog ib tug contradiction tshwm sim nruab nrab ntawm cov kev thiab cov kev txiav txim, thaum muaj ib tug zoo thiab lwm yam - ib tug tsis zoo, "Ib txhia me nyuam kawm ntawv twb muaj diplomas" thiab "Tsis muaj me nyuam kawm ntawv twb tsis muaj daim ntawv kawm tiav."

By xav, tshwj xeeb tshaj yog nyob rau hauv science, tshwj xeeb uas yuav tsum tau: taub hau, taub hau txiav txim. Cov kev cai lij choj ntawm lub cais nruab nrab - ib qho kev ntsuas ntawm qhov tseeb ntawm peb txoj kev xav. Piv txwv li, yog hais tias peb hais tias "Vajtswv - tag nrho cov-zoo", ces cov kab lus "Vajtswv tau muab nyob mus ib txhis txom nyem ntsuav ntawm ntuj raug txim rau cov neeg txhaum," yog meaningless. Yog hais tias peb hais tias Vajtswv tau tsim ib qho chaw nyob mus ib torment rau lwm tus neeg, ces nws yog tsis yooj yim sua rau hais tias nws - Zoo. Txij li thaum Vajtswv raws li tus kwv uas peb cov lus xaus yuav tsis tau tuav tsis tooj mus rau tej yam tshwm sim, ib txhia ntawm ob kab lus ntawm lub saum toj no yog muaj tseeb, ces tus thib ob - cuav. Qhov thib peb yog tsis muab.