Induction thiab txiav: lub keeb kwm nam

By kawg ntawm lub xyoo pua XVI nyob rau hauv European philosophy tsim tag nrho cov mus nkag tau rau kev hloov mus rau nws rationalistic txaus rau tej kev sim txoj kev ntawm cognition ntawm lub ntiaj teb no. Ntawm cov xav uas thawj nce lub tswv yim ntawm kev sim science twb Francis Bacon thiab Descartes.

Lub hauv paus ntsiab lus ntawm scientific kev txawj ntse, tau kev txaus cai los ntawm cov kws tshawb fawb, kev tsim yuav luag ib tug tshiab philosophical thiab methodological dees. Nws lom zem ntau overcomes rau cov kev txwv ntawm Aristotle tus Organon thiab medieval scholasticism, uas tsis paub txog lub kev raws li ib tug qhov chaw ntawm kev txawj ntse ntawm kev muaj tiag.

Raws li Bacon, rau siab ntso thiab yeej tshawb lub ntiaj teb no ntawm qhov, yuav tsum tau siv txoj kev induction thiab txiav. Raws li ib feem ntawm lub inductive txoj kev yog tsim nyog, nyob rau hauv nws saib, ua raws li los ntawm cov kev mus rau lub kev, los ntawm cov lus tseeb rau koj tsiv ntawm lub general xaus hais tias Bacon muab lub npe - hauv nruab nrab axioms. Qhov no yuav muab ib lub sij hawm los xyuas kom meej tseeb thiab taub hau nyob rau hauv lub peev xwm txheej txheem, txij li thaum Bacon pom zoo txaus ntshai nyob rau hauv txoj kev hloov los ntawm ib tug neeg cov txheej xwm sau npe nyob rau hauv lub nco qab txog cov lus tseeb tam sim ntawd mus kwvyees. Qhov no mechanism yog xav zog twb tsis pom zoo rau cov deductive qauv ntawm syllogistic reasoning, thiab zoo heev supplemented nws. Nyob rau hauv luv luv induction thiab txiav tau organically ua ke rau hauv ib methodological cuab tam. Qhov no mus kom ze heev txhab ciam daim ntawv thov ntawm txhua tus ntawm cov Cheebtsam ntawm lub inductive-deductive txoj kev siv yav tas los ntawm nws tus kheej.

Nqaij npuas kib sib cav hais tias muaj yog ib tug ua kom tiav thiab tsis tiav induction, txiav, thiab yog li heev kom meej meej tseg lawv methodological possibilities thiab ib qho chaw nyob rau hauv lub dav dav system ntawm kev txawj ntse kev pab ntawm kev kawm science. Qhov siab tshaj plaws hauv daim ntawv ntawm cov qauv no yog xam tias yog qhov tseeb txawj xav induction, nws yog nws leej twg, nyob rau hauv Nqaij npuas kib pom zoo, yuav ua tau ib tug neeg tsis tau tsuas yog txhim khu kev qha cov lus xaus, tab sis kuj mus kiag li tshiab cov lus xaus. Raws li cov pov thawj thiab nws yog pom zoo kom mus rau chaw uasi mus rau lwm txoj kev - xyaum ua tej yam, uas ua hauj lwm pab raws li lub siab tshaj plaws lub tsev hais plaub nyob rau hauv kev sib raug zoo mus rau lub tswv yim sib cav yuav tsum tau muaj pov thawj.

Raws li koj paub, niaj hnub no lub ntsiab txhais ntawm induction formulated kom meej meej txaus - tus txheej txheem no ntawm nce toj nyob rau hauv lub sib cav ntawm ntau tus neeg txiav txim rau generalize lawv cov lus xaus unit. Txiav yuav tw zog nyob rau hauv lwm cov kev taw qhia - los ntawm generalized cov lus xaus rau ib tug neeg terminals uas yog siv tau rau tag nrho cov khoom uas roos ib tug muab teeb.

Yog hais tias peb xav txog rau hauv qeb ntawm induction thiab txiav nyob rau hauv lub ntsiab lus teb ntawm lawv cov keeb kwm kev loj hlob, cov duab no yog nyuab dua.

Nyob rau hauv antiquity thiab cov Nrab Hnub nyoog, kws tshawb fawb siv mas txiav, ib tug loj kev kawm thiab qhov zoo ntawm cov uas yog Aristotle tus syllogistic. Raws li twb tau hais, lub tswv yim no yog qhia los ntawm cov axioms mus rau lwm txiav txim. Yuav kom paub txog qhov kev cai ntawm qhov kev siv ntawm xws li ib tug txoj kev yog tsis zoo vim hais tias txoj kev no tsis cia siab rau cov kev. Tsev rau ntawm kev ua tau tsuas yog induction, uas yuav kawm txog cov suab ntawm ib tug neeg cov lus tseeb, uas yog amenable mus sim pov thawj, cov kev cai. Interestingly, lub induction yog piav Aristotle nws tus kheej, txawm li cas los, nyob rau hauv nws lub sij hawm tsis tau them nws tej kev thiab cov tswv yim tseem ceeb. Tab sis kuv xav txog nws ib tug haib methodological cuab tam yog Francis Bacon thiab Descartes tsim lub hauv paus ntsiab lus ntawm cov tswv yim daim ntawv thov rau lub hauv paus ntawm kev sim pov thawj ntawm cov lus tseeb. Cov zaum tau qhia tias induction thiab txiav yuav ua tau nyob rau hauv txoj kev paub ntawm universal zog.

Induction, kuj yog ib txoj kev zajlus kom txoj kev xav, heev lug siv nyob rau hauv lub peev xwm txheej txheem. inductive logic algorithm yog raws li nram no: tebchaws tib yam zog ntawm cov khoom ntawm tib chav kawm ntawv, cov kev paub txog kev kawm formulates ib tug xaus txog tag nrho cov ntawm lawv teej tug mus rau tag nrho cov kev kawm constituting cov chav kawm ntawv. Los ntawm no txiag algorithm thought, nws raug sab kev cai lij choj ntawm universal gravitation, grounded qauv ntawm atmospheric siab quav thiab lwm yam empirical kev sib raug zoo uas muaj nyob rau hauv lub observable xwm.

Txiav, uas qhia ib lub zog ntawm kev xav los ntawm cov general rau tus neeg, ua si ib tug ntev lub luag hauj lwm nyob rau hauv txoj kev loj hlob ntawm theoretical science nyob rau theem ntawm formulating hypotheses tswv yim. Nyob rau hauv cov ntaub ntawv no nws yog ib lub starting taw tes ntawm tsim ntawm tus tshiab system paub.

Nyob rau hauv kev kawm kev tshawb vib this induction thiab txiav nrog txhua lwm yam npaum li cas rau tib txoj kev raws li, e.g., synthesis thiab tsom xam, thiab lawv siv yuav tsum tau kom zoo xaiv yog cov cheeb tsam nyob qhov twg rau txoj hauj lwm ntawm txhua tus ntawm txoj kev yields cov loj tshaj cov nyhuv.