Raws li cov qauv thiab cov cai ntawm kev xav, cov txheej txheem kev xav tau suav nrog txoj hauv kev thiab txhais tau tias ntawm kev kawm thiab piav qhia. Muaj peev xwm siv tau thiab siv rau kev kawm ntawm ntau yam kev qhuab qhia. Cov txheej txheem kev xav hauv dialectics coincides nrog cov txheej txheem materialistic nyob rau hauv txoj kev xav ntawm kev txawj ntse, thiab cov formal ib, piv txwv li, yog ib tug tshwj xeeb txoj kev nyob rau hauv txoj kev loj hlob ntawm kev cai lij choj kev muaj tiag thiab ntau lwm yam kev paub.
Raws
Vim nws cov yam ntxwv tshwj xeeb thiab muaj peev xwm, kev cai lij choj hauv av yog qhov zoo tshaj plaws rau daim ntawv thov thiab siv cov logic. Txij li cov txheej txheem tau hais tseg, ua kom zoo ib yam thiab nruj nruj tswj hwm ntawm no, suav nrog ntau lub ntsiab lus ntawm txoj kev tsim cai lij choj uas ua tau raws li cov cai rau kev tsim cov tswv yim (los ntawm qhov ze tshaj plaws genus, qhov txawv txawv, caj ces txhais, los ntawm cov lus piav qhia ntawm cov lus qhia, thiab lwm yam. on), cov txheej txheem logic tag nrho manifests nws tus kheej nyob rau hauv txoj cai lij choj. Txhua txoj cai ntawm logic yog contradictions thiabtus kheej, txaus vim li cas, tsis suav nrog nruab nrab - qhia txog cov yam ntxwv tseem ceeb ntawm txoj kev no. Cov txheej txheem tseem ceeb thiab cov txheej txheem (feem ntau yog kev tswj hwm kev cai lij choj thiab kev tsim cai lij choj) yog tsim nruj raws li cov qauv kev xav - cov cai rau kev khiav hauj lwm nrog kev txiav txim siab, kev txiav txim, cov tswv yim.
Txoj kev xav tau raug siv los ntawm theem ntawm cov ntsiab lus tseem ceeb: kev cai lij choj yog kev txiav txim siab uas ua tau raws li tag nrho cov kev cai ntawm kev txiav txim, thiab kev siv txoj cai lij choj rau ib qho xwm txheej lossis ib tus neeg tshwj xeeb yog cov lus qhuab qhia., uas yog, qhov kev txiav txim siab txiav tawm, qhov twg cov qauv kev cai lij choj yog lub ntsiab lus tseem ceeb rau kev txiav txim siab txog rooj plaub - qhov chaw yog tsawg dua, thiab qhov kev txiav txim siab hauv qhov no yog qhov xaus. Txij li thaum ancient sij hawm, kev sib piv, cov txheej txheem ntawm kev pov thawj thiab kev ua haujlwm zoo tau nyob hauv arsenal ntawm jurisprudence. Nws tsuas yog tsim nyog los siv cov txheej txheem kev tshawb fawb hauv kev tshawb fawb thiab piav qhia txog kev cai lij choj. Qhov no yog tib txoj hauv kev kom tsis txhob muaj kev tsis sib haum xeeb hauv kev tsim cai lij choj ntawm txoj cai lij choj, qhov zoo (tseem muaj) txoj cai lij choj raws li tag nrho cov cai ntawm kev cai lij choj ntuj tsim, thiab tseem tuaj yeem siv cov cai raug cai.
Cov Txheej Txheem Boolean: Kev Ntsuam Xyuas
Ntawm cov txheej txheem kev xav ntawm kev paub txog cov txheej txheem, qhov tshwm sim, cov khoom ntawm lub ntiaj teb lub hom phiaj, muaj kev sib txuas, kev tshuaj xyuas, kev xav, kev xav, kev txiav tawm, kev nthuav dav, kev sib piv, induction, qauv, extrapolation thiab hypothesis.
Cov txheej txheem kev tshawb fawb (kev paub) pib nrog kev tsom xam, uas yog, nrog rau lub sijhawm, kev tshuaj xyuas, kev tshem tawmkhoom nyob rau hauv kev kawm. Cov txheej txheem no muaj nyob rau hauv kev puas siab puas ntsws los yog tswv yim tsom xam ntawm cov muaj pes tsawg leeg ntawm lub ntsiab - nta, yam ntxwv, yam ntxwv qhov chaw, tom qab uas txhua lub caij yuav raug mus rau ib tug cais kev kawm raws li ib feem ntawm tag nrho. Kev tsom xam muaj ntau hom, nyob ntawm qhov tshwj xeeb ntawm cov khoom uas tau kawm. Cov kev tshawb fawb niaj hnub no siv qhov kev tshuaj ntsuam xyuas - ib txoj hauv kev rau cov khoom nyob rau hauv kev kawm raws li kev koom ua ke, qhov twg cov ntsiab lus yog inextricably thiab organically interconnected thiab cuam tshuam ib leeg.
Txoj kev ntawm kev txheeb xyuas qhov tseeb suav nrog txoj hauv kev rau cov txiv hmab txiv ntoo ntawm kev paub txog kev ua haujlwm, uas yog, kev kawm ntawm tib neeg txoj kev paub, tag nrho nws cov qauv thiab hom, thiab kev paub yog qhia hauv cov lus ntuj thiab dag, raws li qhov kev cai logic. Piv txwv li, kev kawm txog tib neeg raws li ib qho kev sib koom ua ke, kev txheeb xyuas cov txheej txheem faib nws mus rau hauv kev nom kev tswv, kev lag luam, kev ncaj ncees, kev cai lij choj, thiab cov zoo li, qhov twg txhua yam ntawm kev sib raug zoo thiab kev nco qab yog kawm cais. Cov txheej txheem kev xav ntawm kev paub los ntawm kev txheeb xyuas qhia txog cov txheej txheem - hom, hom, qib kev paub, tsim los ntawm cov ntawv nyeem. Tsis tas li ntawd, lawv qhov kev sib raug zoo, qhov tseeb lossis qhov tseeb ntawm cov lus tau tsim, lub tswv yim apparatus uas siv cov kev paub tau teev tseg, qhov siv tau, sib xws thiab pov thawj ntawm qhov kev paub no tau tsim.
Synthesis
Synthesis yog ib feem tseem ceeb ntawm kev tshawb fawb, yam tsis muaj cov txheej txheem-logical txoj kev ua tsis tau. Los ntawm kev sib txuas, tag nrho cov kev paub uas twb muaj lawm tau muab tso ua ke rau hauv ib yam dab tsi tag nrho. Ntawmcov kws lij choj, cov no yog cov kev cai lij choj thiab cov cai tsim los ntawm kev tshawb fawb ntawm tus kheej, tag nrho cov postulates ntawm txoj kev xav dav dav ntawm lub xeev thiab txoj cai lij choj, nrog rau cov kev sib tham tshwj xeeb thiab cov kev cai lij choj.
Tus neeg muaj siab tiag tiag yeej ib txwm siv txoj hauv kev zoo, thiab kev tsom xam thiab kev sib txuas ib txwm muaj kev sib txuas. Ntawm no peb tuaj yeem nco ntsoov qhov kev txheeb xyuas thiab tib lub sijhawm sib xyaw ua ke ntawm kev xav ntawm tus kws lij choj zoo - tus kws lij choj, kws lij choj, kws txiav txim plaub, tus neeg tshawb xyuas. Kev ua haujlwm tshaj lij, piv txwv li, ntawm tus kws txiav txim plaub yuav tsum tau muab rau kev tshuaj xyuas ntawm txhua yam ntaub ntawv uas raug xa mus rau lub tsev hais plaub, thiab tom qab ntawd, raws li kev tshawb fawb ntawm qhov tau nyeem thiab mloog, nws kos cov duab ntawm lub hlwb. ntawm rooj plaub. Yog li, kev sib koom ua ke ntawm kev tsom xam thiab kev sib txuas ua ke pab qhov tseeb thiab ncaj ncees ntawm kev hais plaub.
Abstraction
Txoj kev tshawb fawb dav dav tuaj yeem ntxiv nrog abstraction (abstraction), uas yog cov txheej txheem ntawm kev puas siab puas ntsws los ntawm qee yam khoom lossis tus kheej, kev sib raug zoo, cov yam ntxwv ntawm cov kev kawm, txij li lub sijhawm no cov ntsiab lus tsis yog ntawm kev txaus siab. Aristotle - tus poj koob yawm txwv ntawm lub tswv yim no - txhais abstraction raws li ib tug txheej txheem ntawm kev sib cais txhua yam kev huam yuaj thiab theem nrab ntawm lub general thiab lub ntsiab. Tam sim no lo lus no tau siv ntau dua. Qhov no yog ib txoj kev tshawb fawb-logical hauv ob qho tib si niaj hnub thiab kev paub txog kev tshawb fawb, uas yog ob qho tib si algorithm thiab kev txiav txim rau cov txheej txheem abstraction raws li cov cai ntawm abstraction, qhov no yog kev tsim cov khoom paub daws teeb meem hauv kev paub txog science. Qhov tseem ceeb ntawm txoj kev notsis yooj yim li nws zoo li. Ua ntej ntawm tag nrho cov, nws yog ib qho tsim nyog, ib qho ntxiv, kev kawm ntxaws ntxaws ntawm cov khoom tiag tiag, qhov tshwm sim lossis cov txheej txheem, cais ntau yam zoo, cov cim qhia, cov khoom hauv nws, tom qab ntawd txhua yam theem nrab tau muab pov tseg.
txheej txheem kev kawm no kuj yog qhov tshwm sim. Ntawd yog, cov txheej txheem tshawb fawb yog nyob rau hauv kev tshawb fawb ntawm phenomena thiab cov khoom, thiab lub hom phiaj yog los txheeb xyuas cov yam ntxwv tshwj xeeb. Qhov tshwm sim yog qhov tau txais kev paub hauv pawg, cov tswv yim, cov tswv yim, kev txiav txim, kev xav, kev cai. Piv txwv li, logic tuaj yeem paub qhov txawv ntawm qhov tsis tseem ceeb ntawm tus kheej yog tias nws kawm txog txoj kev xav ntawm ib tus neeg, thiab coj mus rau hauv tus account qhov dav, muaj nyob hauv txhua yam kev kawm. Rau ib tus kws lij choj, piv txwv li, kev xav yog tswj hwm los ntawm kev cai lij choj, yog li nws yog abstracted los ntawm txhua yam kev tshwm sim ntawm kev sib raug zoo ntawm ib feem ntawm lub zej zog, thiab kev kawm feem ntau yog kev cai lij choj kev sib raug zoo, uas yog, tsuas yog dab tsi yog sanctioned thiab tswj los ntawm txoj cai.
Idealization
hom kev paub daws teeb meem no pab tsim cov khoom zoo meej. Lub tswv yim ntawm cov khoom zoo sib txawv ntawm lwm cov ntsiab lus hauv qhov ntawd, nrog rau cov yam ntxwv tiag tiag ntawm cov khoom, nws kuj qhia txog cov khoom uas nyob deb ntawm cov khoom tiag tiag, thiab hauv lawv daim ntawv ntshiab tsis muaj nyob hauv cov khoom hauv kev kawm txhua. Cov txheej txheem ntawm kev xav zoo nyob rau hauv cov kev tshawb fawb niaj hnub no tsim cov khoom siv theoretical uas pab tsim kev xav thiab kos cov lus xaus ntsig txog cov khoom ntawm lub neej tiag tiag. Lo lus no yog siv nyob rau hauv ob lub ntsiab lus - raws li ib tug txheej txheem thiab raws li ib tug tshwm sim, uas kuj zoo heev rautxoj kev tsom xam. Thawj lub ntsiab lus ntawm kev ua kom zoo yog to taub raws li lub hlwb tsim cov khoom zoo tshaj plaws thaum tsim cov kev xav tau zoo, uas yog, cov xwm txheej raws li cov khoom uas twb muaj lawm tuaj yeem piav qhia thiab piav qhia.
Raws li qhov tshwm sim ntawm cov txheej txheem no, cov tswv yim zoo tshaj plaws thiab kev cai lij choj tshwm sim, uas yog hu ua kev tsim cov laj thawj. Raws li ib qho piv txwv ntawm ib qho khoom zoo, ib tus tuaj yeem hais txog lub tswv yim ntawm kev cai lij choj. Lub tswv yim muaj, tab sis txoj cai ntawm txoj cai nyob rau hauv daim ntawv uas nws yog feem ntau to taub tsis tau muaj. Txawm li cas los xij, cov kws lij choj tuaj yeem siv lub tswv yim no, tsim kev xav thiab kos cov lus xaus txog cov haujlwm ntawm qee qhov chaw hauv lub neej tiag tiag, piv txwv li, hais, vim hais tias lub xeev kev cai lij choj muaj nyob rau hauv: tib neeg txoj cai tseem ceeb yog kev cai lij choj thiab kev cai lij choj, kev cai lij choj. dominate lub xeev thiab pej xeem lub neej, cwm pwm raug cai tiv thaiv thiab hais txog.
Kev faib tawm, induction thiab txiav tawm
Nws yog nyob rau hauv tus txheej txheem ntawm generalization uas coj hypotheses, theories thiab lub tswv yim yog tsim. Txoj kev no hauv kev paub txog kev cai lij choj tuaj yeem muaj nyob rau hauv daim ntawv ntawm kev nthuav dav raws li kev soj ntsuam ntawm cov kev paub dhau los ntawm cov xwm txheej tshwj xeeb, nyob rau hauv daim ntawv ntawm kev tsim txoj kev cai lij choj los ntawm theoretical generalization ntawm kev siv tswv yim thiab kev siv cov kev cai lij choj, hauv daim ntawv ntawm generalization ntawm sectoral empirical theories ntawm txoj cai.
Induction thiab txiav tawm yog cov txheej txheem kev paub txog kev paub siv los nrhiav cov lus xaus los ntawm cov ntaub ntawv. Ob txoj hauv kev yog ib txwm sib cuam tshuam: kev txiav tawm pab kom kos cov lus xauscov tswv yim theoretical, cov cai, cov hauv paus ntsiab lus, vim nws muaj feem xyuam nrog kev tsim cov khoom zoo, thiab induction generalizes empirical qauv. Kev paub uas tau txais los ntawm induction tsuas yog qhov yuav tsum tau ua ua ntej rau kev tshwm sim ntawm kev paub tshiab - ua qauv qhia, uas twb dhau los ua qhov tseeb rau qhov tseeb ntawm ib nrab.
Analogy, extrapolation
Analogy yog ib txoj hauv kev zoo tshaj plaws ntawm cov txheej txheem kev paub. Nrog nws kev pab, kev tshawb pom zoo hauv kev tshawb fawb tau ua. Nws cov ntsiab lus yog tias qee yam khoom thiab cov yam ntxwv raug pauv los ntawm ib qho kev tshawb fawb mus rau lwm qhov, tib txoj kev sib raug zoo thiab kev sib txuas ntawm ib qho thiab lwm yam khoom raug xa mus.
Extrapolation yog ib hom induction, generalization thiab analogy, txoj kev no yog dav siv nyob rau hauv yuav luag tag nrho cov sciences. Cov yam ntxwv zoo kis tau los ntawm ib cheeb tsam ntawm qhov kev kawm mus rau lwm qhov, los ntawm yav dhau los mus rau yav tom ntej, los ntawm tam sim no mus rau yav tom ntej, cov yam ntxwv ntau tau pauv mus rau tib txoj kev, qee qhov chaw ntawm kev paub yog sib npaug nrog lwm tus, zoo li txoj kev ntawm lej induction, piv txwv li. Feem ntau, cov txheej txheem extrapolation yog siv rau forecasting lub hom phiaj, justifying hloov kev paub mus rau lwm yam kev kawm. Rau cov kws lij choj, qhov no yog kev sib piv ntawm txoj cai thiab kev sib piv ntawm txoj cai.
qauv, kev xav
Kev ua qauv hauv kev tshawb fawb niaj hnub no yog siv zog heev los nrhiav txoj hauv kev kom tau txais cov txiaj ntsig kev tshawb fawb zaum kawg. Lub ntsiab lus ntawm txoj kev no yog nyob rau hauv kev tsim kho ntawm ib qho qauv uas tshawb nrhiavsocial los yog natural objects. Nws yog kev cai kom nkag siab ntau yam los ntawm tus qauv, nws tuaj yeem yog: analog, hom, hom, system, kev xav, duab ntawm lub ntiaj teb, kev txhais lus, algorithm, thiab ntau ntxiv. Yog tias nws tsis tuaj yeem kawm cov khoom ncaj qha, ces tus qauv ua es tsis txhob ua raws li qhov qub. Piv txwv li, kev tshawb nrhiav kev sim.
Ib qho kev xav (kev xav) raws li ib txoj hauv kev yog siv los ntawm lub ntsiab lus ntawm cov teeb meem kev paub lossis cov tswv yim uas tso cai rau koj los ua ke lub cev ntawm kev paub hauv lawv lub cev. Kev cai lij choj siv cov kev xav hauv txhua lub ntsiab lus: qhov kev xav yog tsim los ntawm cov ntaub ntawv tiag tiag ntawm ib qho kev kawm, qhov tshwm sim lossis txheej txheem, hais txog qhov ua rau muaj teeb meem thiab kwv yees yav tom ntej. Tib cov ntaub ntawv tuaj yeem dhau los ua cov khoom siv rau ntau qhov kev xav, hu ua versions. Txoj kev no kuj yog siv rau kev tshawb nrhiav forensic.
qauv-logical method
Kev paub txog kev cai lij choj ntawm kev txiav txim siab los ntawm cov pov thawj tseeb pab kom tau txais kev cai lij choj. Yav dhau los tsim qhov tseeb, uas yog lub hauv paus ntawm qhov kev txiav txim siab, tsis tas yuav thov kom rov hais dua rau kev paub hauv txhua qhov xwm txheej tshwj xeeb, txij li kev paub tau txais los ntawm kev siv cov cai thiab cov cai ntawm kev xav. Cov txheej txheem kev tshawb fawb txog kev tshawb fawb muaj xws li kev ua lej thiab lej.
Thawj tus siv kev tshuaj xyuas, kev sib txuas, induction, txiav tawm, abstraction, concretization, analogy thiab sib piv kom tau txais cov lus xaus tshiab. Thiab lej, tseem hu ua cim, logic siv ntau txoj hauv kev siv hauv kev ua lej rau cov teeb meem ntawm kev cai logic. Ib hom lus tshwj xeeb tuaj yeem ua taupiav qhia cov qauv ntawm cov pov thawj logically thiab txaus thiab tsim ib tug nruj thiab raug txoj kev xav, siv cov lus piav qhia ntawm kev txiav txim nyob rau hauv lawv extension - cov lus piav qhia ntawm inferences.
Historical method
ntau txoj kev tshawb fawb sib txawv yog siv los tsim kev paub txog kev tsim kho thiab cov khoom nyuaj uas tsis tuaj yeem tsim dua los ntawm kev paub dhau los. Piv txwv li, lub ntug. Yuav ua li cas pom nws tsim, keeb kwm ntawm hom thiab tshwm sim ntawm tus txiv neej? Cov txheej txheem keeb kwm thiab keeb kwm ntawm kev paub yuav pab tau ntawm no. Cov keeb kwm muaj peev xwm nkag mus rau keeb kwm tiag tiag nrog ntau yam ntawm nws qhov tshwj xeeb, txhawm rau txheeb xyuas qhov tseeb keeb kwm thiab lub hlwb rov tsim cov txheej txheem keeb kwm, nthuav tawm cov qauv kev tsim kho.
Logical nthuav tawm cov qauv sib txawv. Nws tsis tas yuav txiav txim siab ncaj qha txog keeb kwm ntawm keeb kwm tiag tiag, nws nthuav tawm lub hom phiaj kev muaj tiag los ntawm kev kawm cov txheej txheem keeb kwm ntawm cov theem siab tshaj plaws ntawm kev loj hlob, qhov uas nws rov tsim dua hauv cov qauv tsim thiab kev ua haujlwm ntawm keeb kwm evolution nyob rau hauv cov ntsiab lus tseem ceeb tshaj plaws. Txoj kev no yog qhov zoo hauv biology, qhov twg phylogenesis rov ua dua hauv ontogeny. Ob txoj hauv kev keeb kwm thiab cov laj thawj muaj nyob raws li txoj hauv kev los tsim kev paub theoretical nkaus xwb.
