Tsim logic thiab nws yooj yim cov kev cai

Logic - qhov kev kawm ntawm txoj kev, cov kev cai thiab cov ntaub ntawv ntawm kev xav. Tsim logic twb tau tsim los ntawm lub ancient Greeks, ntev ua ntej peb era. Nws yog tus thawj Greeks los tsim kom tau ib tug kev ywj pheej haiv neeg, nyob qhov twg kev txiav txim siab thiab txoj cai lij choj tau txais ntawm ib tug pej xeem lub rooj sib tham. Lawv tsim ib tug txheej thaum ub kev kawm ntawm cov kev sim siab. Ib tug nyiam yam taw tes uas ntawm aristocratic hluas muaj kev sib tham nrog rau cov philosophers. Li no tus universal txoj kev hlub ntawm txoj kev loj hlob ntawm theoretical science. Greeks cia li muaj tej lus qhia yuav ua li cas yuav tsum tau pov thawj scientific.

Tus thawj cov hoob kawm ntawm lub hauv paus ntawm logic tsim los ntawm Aristotle. Nws kos mloog mus rau lub fact tias tag nrho cov nqe lus no yog raws li nyob rau hauv cov kev cai lij choj, ua txhaum ntawm cov uas ua rau yus erroneous cov lus xaus. Lub formal logic ntawm Aristotle tau raws li cov cai lij choj:

1. Yog hais tias qhov kev txiav txim yog nyob rau hauv lub affirmative, dab tsi yuav ua rau ntawm lawv lub xaus yuav tsis yuav tsis zoo.
2. Yog hais tias ib tug ntawm cov nqe lus yog tsis zoo, thiab cov xaus yog yeej ib txwm tsis zoo.

Li no nws zoo nkaus li tias formal logic - yog txoj kev paub ntawm lub hauv paus ntsiab lus thiab tej kev cai zoo, kom kev siv ntawm kev xav nrog kev xav txog rau cov duab ntawm lawv siv (txoj kev mus cuag ib tug neeg qhov chaw ntawm lub dav xav txog kev teem).

Tag nrho cov phenomena thiab cov khoom muaj ib tug kev sib raug zoo. Links yuav ua tau lub hom phiaj los yog subjective, general los yog lwm qhov, tsim nyog los yog lo. Qhov loj tshaj ntawm cov bonds yog hu ua cov cai. lawv tag nrho cov kev cuam tshuam tib kev muaj tiag, yog li ntawd, yuav tsis nyias hais txawv nyias. Tag nrho cov kev cai ntawm tib neeg kev xav txuam nrog cov kev cai ntawm qhov.

Cov kev cai ntawm kev xav yog ruaj khov nrog kev twb kev txuas ntawm kev xav. Yog hais tias ib tug txiv neej muaj peev xwm tsis khi nws xav, nws tsis tuaj mus rau qhov xaus thiab yuav tsis muaj peev xwm mus coj nws mus rau lwm tus neeg.

Cov yooj yim cov kev cai ntawm kev logic - cov kev cai ntawm lub taub hau, yog leej twg, cais nruab nrab thiab kev cai lij choj ntawm txaus vim li cas. Txoj kev loj hlob ntawm cov thawj peb yuav mus rau Aristotle thiab Plato, lub xeem - Leibniz. Kev ua txhaum tej kev cai (tshwj xeeb tshaj yog cov thawj peb) ua rau contradictions, ua rau nws tsis yooj yim sua kom paub qhov txawv qhov tseeb los ntawm falsehood. Xeem txoj cai tsawg cov kev cai thiab ntau tsawg siv.

Tsis-core cai ntawm logic - cov no yog cov kev cai ntawm kev khiav hauj lwm hais thiab lub ntsiab lus, muab tseeb xaus nyob rau hauv ib tug syllogism, ua qhov yuav tshwm ntawm inductive reasoning thiab cov lus xaus traduktivnogo cim.

Cov kev cai lij choj ntawm lub taub hau txhais tau tias xav yuav tsum tsis txhob yuav muaj teeb meem, tab sis yuav tsum muaj kev cuam tshuam qhov zoo tshaj ntawm tej yam.

Cais tawm hauv nruab nrab txoj cai prescribes tsis mus nrhiav ntawm ob contradictory tab sis yeej muaj tseeb daim ntawv yog ib tug thib peb, thiab kom paub txog qhov tseeb ntawm tsuas yog ib qho ntawm lawv. Ib tug ntawm cov Cheebtsam ntawm contradictions - yeej muaj tseeb.

txoj kev cai qhia tias yog leejtwg tsim logic txhais raws li ib tug yuav tsum tau muaj precision xav, piv txwv li nyob rau hauv tej lub sij hawm uas koj xav tau los yog to taub nws txhais thiab lub ntsiab lus. Lub essence ntawm lub tswv yim thiab kev txiav txim yuav tsis pauv ntawm cov nyiaj.

kev cai lij choj ntawm txaus vim li cas yog tias ib yam muaj tseeb thought tsim nyog los nrhiav pov thawj rau lwm tus tseeb kev xav, thiab cuav tswv yim yuav tsis tau justified. Nyob rau hauv txoj kev loj hlob ntawm kev txiav txim yuav tsum muaj kev cuam tshuam ib tug causal kev sib raug zoo. Tsuas yog nyob rau hauv cov ntaub ntawv no nws yuav tsum muaj pov thawj nws cov ntseeg.

Cov zajlus kom daim ntawv uas yog kev xav thiab txoj kev txiav txim cov ntaub ntawv ntawm tag nrho cov kev xav qhia los ntawm cov zajlus kom cov ntsiab lus, uas muaj xws li cov lo lus "thiab", "los yog", "yog hais tias ... ces ..." tsis kam "yog tsis muaj tseeb hais tias" ( "tsis muaj") , lo lus "ib co", "tag nrho" ( "tsis muaj"), ib Rev ntawm "essence" (tsis pub dhau lub ntsiab lus ntawm "yog"), etc. Qhia cov zajlus kom daim ntawv ntawm qhov kev txiav txim yuav tsum distracted los ntawm lub ntsiab lus ntawm cov nqe lus ntawm illogical, uas yog muaj nyob rau hauv cov lus hais qhia txog kev txiav txim no. Nyob rau hauv lwm yam lus, formal logic qhia cov qauv ntawm kev xav. Cov zajlus kom daim ntawv yog yeej ib txwm tuav thiab muaj nuj nqis.

Nyob ntawm seb lawv cov ntaub ntawv xav muab faib mus rau hauv cov chav kawm: cov tswv yim, kev xav thiab kev txiav txim. Tswvyim - lub tswv yim uas generalizes cov khoom nyob rau hauv lub hauv paus ntawm lawv cov kev yam ntxwv. Txiav Txim - lub tswv yim, asserting hauv lub xub ntiag (tsis tuaj kawm ntawv) ntawm qhov teeb meem no. Inference - xav tias, reflecting nrhiav tau ntawm kev txawj ntse, qhia nyob rau hauv cov kev txiav txim ntawm lwm yam kev txawj ntse.