Cov yooj yim cov kev cai ntawm logic

Nyob rau hauv lub logic ntawm nws tus kheej cov kev cai. Lub ntsiab ntawm lawv - plaub. Peb ntawm lawv raug tsim los ntawm Aristotle. Cov kev cai ntawm Aristotelian logic - nws yog txoj cai uas tsis yog-contradiction, cais nruab nrab, yog leejtwg tiag. Ntau tom qab, lwm txoj cai ntxiv rau qhov yooj yim cov kev cai - txoj kev cai txaus vim li cas.

Cov kev cai ntawm propositional logic yog ncaj qha mus txog kiag li tag nrho cov nqe lus. Cov zajlus kom daim ntawv no, thiab kev xav lag luam sob cov ntaub ntawv yog tsis tau kiag li.

Muaj tej kev cai ntawm logic. Cov muaj xws li:

• ob tsis zoo;
• contraposition.

Nyob rau cov kev cai no kuj ua tau lub tsev ntau hom meditation. Lawv muab ib qhov txuas xav.

Cov kev cai ntawm logic

Cov thawj txoj kev cai yog txoj kev cai yog leej twg. Kab hauv qab no tias txhua yam kev xav rau tus txheej txheem ntawm kev xav yuav tsum yog tam sim no tej ntshiab, nrog cov ntsiab lus. Nws tseem ceeb heev uas cov ntsiab lus no yog tsis kho nyob rau hauv tus txheej txheem. Tseeb nyob rau hauv ib lub siab, yog ib haiv neeg tej khoom ntiag tug kev xav. Nyob rau nws cov hauv paus, thiab qhia tus kheej ntawm cov kev cai lij choj: tag nrho cov kev xav yuav tsum tau nkaus tib yam rau lawv tus kheej. Ntau yam kev xav yuav tsis qhia tau nyob rau hauv txhua yam. Feem ntau cov kev cai lij choj yog ua txhaum los ntawm qhov tseeb hais tias tib lub tswv yim qhia nyob rau hauv ntau txoj kev. Tsis tas li ntawd, cov teeb meem tshwm sim nyob rau hauv tus neeg mob qhov twg cov lus yog siv muaj ob peb heev txawv qhov tseem ceeb. Nyob rau hauv no xav yuav qhia tau incorrectly.

Cov cim ntawm incompatible xav feem ntau tshwm sim thaum lub sib tham yog cov neeg ntawm txawv professions, txawv los ntawm txhua lwm yam nyob rau theem ntawm kev kawm ntawv thiab thiaj li nyob. Cov kev qhia kom paub txog ntau yam tswv yim - yog ib tug loj cov zajlus kom fallacy, uas nyob rau hauv tej rooj plaub neeg ua txhob txwm.

Cov kev cai ntawm logic muaj xws li cov kev cai lij choj uas tsis yog-contradiction. Peb pib nrog lub fact tias cov zajlus kom txoj kev xav - xav nws zoo ib yam. Ib lub tswv yim muaj ib tug contradiction, muaj peev xwm ho tabkaum txoj kev kawm. Tsim-muaj kuab tsom xam raws li qhov yuav tsum tau uas tsis yog-contradiction xav: yog hais tias muaj ob contradictory cov tswv yim, ces thaum kawg ib tug ntawm lawv yuav tsum tsis muaj tseeb. Nyob rau tib lub sij hawm nws yog muaj tseeb, lawv tsis tau, nyob rau hauv txhua yam. Qhov no txoj cai yuav tsuas ua rau ob tag contradictory kev txiav txim.

Cov kev cai lij choj ntawm lub cais nruab nrab yog tseem muaj nyob rau hauv qhov yooj yim cov kev cai ntawm logic. Nws siv rau cov kev txiav txim yog nyob rau hauv contradiction. Kab hauv qab no hais tias ob tug contradictory propositions yog tsis ob leeg tsis muaj tseeb - yog ib tug tas muaj tseeb. Nco ntsoov tias tsis tooj mus rau kev txiav txim raug xa mus rau tej nqe lus, ib tug ntawm cov uas yog hais tias ib tug tsis kam rau hauv kev kawm los yog cov tshwm sim ntawm peb lub ntiaj teb, thiab lub thib ob nyob rau tib lub sij hawm koom tes tib yam, txog lub tib phenomenon los yog yam khoom. Nyob rau hauv tej rooj plaub, nws yuav yog tsis heev lub phenomenon los yog yam khoom, tiam sis tsuas yog ntawm ib tug ib feem ntawm ib tug particular. Yog hais tias peb muaj peev xwm ua pov thawj qhov tseeb ntawm ib qho ntawm cov kev tsis sib haum kev txiav txim uas muaj pov thawj qhov falsity ntawm lwm txiav.

Nws tub num tsoom sau cov kev cai ntawm logic, kev cai lij choj ntawm txaus vim li cas. Nws qhia qhov xav tau uas yog muab tso rau hauv validity ntawm kev xav. Ntawm kab hauv qab no yog hais tias muaj lub tswv yim muaj txaus yog vim li cas yuav suav hais tias muaj tseeb tiag. Nyob rau hauv lwm yam lus, Yog hais tias koj muaj ib tug kev xav, yuav tsum muaj ib tug neeg ncajncees. Nyob rau hauv Feem ntau, lub hauv paus yog ib tug tib neeg kev. Nyob rau hauv tej rooj plaub, tau pom qhov tseeb tsuas yog los ntawm txoj kev ntawm qhov tseeb, sib sau ua ke cov lus qhia ntxiv, thiab hais txog. Yuav kom paub meej tias tej kev mob kom paub meej tias qhov tseeb tsis tas thov kom tej kev - yog ib tug txheej ntawm axioms nyob rau hauv lub ntiaj teb no, piv txwv li lub fact tias nyob rau hauv tej kev xav tsis muaj pov thawj.