Dab tsi yog kev xav? Qhov no yog ib hom kev xav thiab tsuas yog qhov tseeb. Cov lus qhia tshwj xeeb yog raws li hauv qab no: nyob rau hauv tus txheej txheem ntawm kev paub, nws paub meej tias cov lus qhia los ntawm cov pov thawj tsis yog txhua yam tseeb, tab sis tsuas yog qee qhov ntawm lawv.
txhawm rau tsim kom muaj qhov tseeb tag nrho, kev tshawb xyuas meej feem ntau yog ua tiav: qhia meej cov lus nug, sib txheeb qhov tseeb uas twb muaj lawm nrog rau ib leeg, sau qhov tseeb tsim nyog, ua kev sim, tshawb xyuas txhua qhov kev xav uas tshwm sim hauv txoj kev thiab muab cov ntaub ntawv tsim nyog. qhov kawg tshwm sim. Ntawm no nws yuav yog - qhov xaus.
Nyob rau hauv logic, daim ntawv ntawm kev xav zoo li tsis txawv: los ntawm qhov tseeb kev txiav txim - ib los yog ob peb - raws li tej kev cai rau deriving qhov tshwm sim, cov nram qab no, tshiab txiav txim raws ncaj qha los ntawm yav dhau los sawv daws yuav.
qauv
Yog li, qhov kev xav yog dab tsi thiab nws muaj dab tsi? Los ntawm kev txiav txim (chaw nyob), qhov xaus (kev txiav txim tshiab) thiab kev sib txuas ntawm kev txiav txim siab thiab xaus. Cov kev cai logical uas qhov xaus tshwm,qhia txog kev sib txuas lus. Hauv lwm lo lus, inference (ib yam) muaj cov kev txiav txim siab yooj yim lossis nyuaj uas ua rau lub siab nrog kev paub tshiab. Tib qhov kev txiav txim, yog pom tau tias muaj tseeb thiab muaj peev xwm yug tau ib tug tshiab, generalizing ib, yog hu ua thaj chaw ntawm inference.
Qhov kev txiav txim tau los ntawm kev ua tiav qhov chaw, qhov twg cov txheej txheem ntawm kev xav tau ua haujlwm, yog hu ua qhov xaus (thiab tseem yog qhov xaus lossis qhov laj thawj tshwm sim). Cia peb saib seb qhov kev txiav txim thiab qhov kev xav muaj feem cuam tshuam li cas. Kev cai logic tsim cov cai uas ua kom muaj qhov tseeb. Qhov kev txiav txim siab li cas? Peb yuav muab piv txwv rau ntau qhov chaw.
- Cov tub ntxhais kawm ntawm lub chaw saib xyuas Natalia ua si piano zoo kawg.
- Elizaveta tau koom nrog kev sib tw ntaus piano rau xyoo thib ob hauv kev sib tw nrog Natalia.
- Xaus: Elizabeth yog ib tus tub ntxhais kawm tiav ntawm kev saib xyuas.
Ua raws li qhov piv txwv, koj tuaj yeem kawm tau yooj yim tias qhov xaus yog dab tsi, thiab nws qhov kev sib txuas nrog qhov chaw nyob (kev txiav txim). Qhov tseem ceeb tshaj plaws yog qhov chaw yuav tsum muaj tseeb, txwv tsis pub qhov kev txiav txim yuav tsis tseeb. Ib qho ntxiv: kev sib txuas ntawm cov lus txiav txim yuav tsum ua kom raug tsim kom raug txhawm rau txhawm rau maj mam txhim kho txoj hauv kev ntxiv - los ntawm thaj chaw mus rau qhov xaus.
Peb pawg ntawm kev xav
Kev faib ua pab pawg yog ua tom qab kuaj xyuas qhov ntsuas dav dav ntawm kev txiav txim.
- Kev txiav txim siab, qhov kev xav txav ntawm qhov dav mus rau qhov tshwj xeeb, ntawm qhov loj mus rau qhov me.
- Inductive, qhov kev xav mus ntawm ib qho kev paub mus rau lwm qhov, nce qib ntawm kev dav dav.
- Lus xaus rauanalogy, qhov twg ob qho chaw thiab qhov xaus muaj kev paub txog tib qib ntawm generality.
thawj pab pawg ntawm cov kev xav tau tsim rau qhov tshwj xeeb thiab los ntawm cov lus, yog tias nws sib npaug rau cov dav dav. Ntawd yog, nyob rau hauv txhua rooj plaub, tsuas muaj ib txoj hauv kev: los ntawm cov dav dav mus rau qhov tshwj xeeb. Deductive reasoning yog hu ua deductio - "inference" (los ntawm cov kev cai dav dav, qhov kev tshawb nrhiav txav mus rau ib rooj plaub). Cov kev txiav txim siab ntawm txhua lub koomhaum ua haujlwm rau kev txiav tawm: categorical inference, faib-categorical thiab conditionally faib. Tag nrho cov no raug txiav tawm.
Kev txiav tawm pib los ntawm kev kawm los ntawm cov ntaub ntawv feem ntau, thiab qhov kev txiav txim siab categorical no yog cov lus piav qhia, uas txhais tau tias "suav" hauv Greek. Ntawm no pib qhov kev tsom xam ntawm kev xav, uas muaj cov lus txiav txim thiab cov ntsiab lus.
Kev tshuaj xyuas ntawm cov qauv yooj yim
Kev kawm ntawm cov qauv kev puas siab puas ntsws ib txwm pib nrog cov ntsiab lus yooj yim tshaj plaws. Txhua tus tib neeg txoj kev xav hauv lub neej niaj hnub lossis hauv ib puag ncig kev tshaj lij kuj yog qhov kev xav, txawm tias qhov kev txiav txim siab ntev ntev ntawm kev xav - txhua tus muab cov kev paub tshiab los ntawm cov uas twb muaj lawm.
Ib puag ncig - xwm txheej - muab tib neeg me ntsis ntau dua li tsiaj, tab sis ntawm lub hauv paus no muaj lub tsev loj loj loj tau loj hlob, qhov chaw uas tus neeg paub txog lub cosmos, thiab cov ntsiab lus, thiab alpine tsim, thiab qhov tob ntawm dej hiav txwv kev nyuaj siab., thiab cov lus ploj lawm, thiab kev vam meej thaum ub. Tsis muaj ib qho kev paub txog yuav tau txais yog tias noob neej tsis tau muab lub peev xwmkos ib qhov xaus.
Piv txwv ntawm kev rho tawm cov zis
Kev txiav txim siab los ntawm cov ntaub ntawv tuaj tsis yog lub siab tag nrho, tab sis yog tsis muaj tus neeg no tsis tuaj yeem nyob ib hnub. Qhov tseem ceeb tshaj plaws ntawm tib neeg lub siab yog qhov muaj peev xwm nkag siab tias qhov xaus yog dab tsi thiab muaj peev xwm los tsim nws. Txawm tias qhov yooj yim tshaj plaws tshwm sim thiab cov khoom yuav tsum tau daim ntawv thov ntawm lub siab: thaum sawv ntxov, saib tus pas ntsuas kub sab nraum lub qhov rais, thiab yog hais tias lub mercury kem ntawm nws poob rau -30, hnav khaub ncaws raws li. Nws yuav zoo li peb ua tsis tau xav. Txawm li cas los xij, tsuas yog cov ntaub ntawv uas tau tshwm sim yog huab cua kub. Yog li qhov xaus: nws txias sab nraud, txawm hais tias qhov no tsis tau lees paub los ntawm lwm yam tshaj li tus ntsuas kub. Tej zaum peb yuav tsis txias rau lub caij ntuj sov sarafan? Qhov kev paub los ntawm qhov twg? Lawm, xws li ib tug saw ntawm kev siv zog ntawm lub siab tsis xav tau. Thiab ntxiv parcels thiab. Cov no yog cov ntsiab lus ncaj qha. Ib tus neeg ntse tuaj yeem muaj qhov siab tshaj plaws ntawm cov ntaub ntawv los ntawm qhov tsawg kawg nkaus ntawm kev paub thiab pom qhov xwm txheej nrog txhua qhov tshwm sim ntawm nws qhov kev ua. Ib qho piv txwv zoo yog Sherlock Holmes nrog nws tus neeg ncaj ncees Watson. Syllogisms yog tsim los ntawm ob lossis ntau qhov chaw thiab tseem raug faib raws li qhov xwm txheej ntawm qhov kev txiav txim siab. Muaj qhov yooj yim thiab nyuaj, luv luv thiab sib xyaw ua ke abbreviated syllogisms.
Kev xav tam sim
Raws li qhia saum toj no, cov kev xav tam sim ntawd yog cov lus xaus uas tuaj yeem kos los ntawm ib qho chaw. Los ntawm kev hloov pauv, hloov dua siab tshiab, kev tawm tsam, kev txiav txim siab yog tsim. Kev hloov pauv - hloov qhov zoo ntawm lub pob tsis hloovqhov ntau. Cov kev txiav txim nyob rau hauv lub nras hloov mus rau qhov opposite, thiab cov nqe lus (predicate) - mus rau lub tswvyim uas tag nrho contradicts lub xaus. Piv txwv:
- Txhua tus hma yog cov tsiaj nyeg (feem ntau lees paub). Tsis muaj ib tug hma tsis yog ib tug predator (general negative proposition).
- Tsis muaj ib qho ntawm polyhedra yog tiaj tus (feem ntau qhov kev txiav txim tsis zoo). Tag nrho cov polyhedra yog non-planar (feem ntau affirmative).
- Qee cov nceb noj tau (tshwj xeeb lees paub). Qee cov nceb yog inedible (ib nrab tsis zoo).
- Ib feem ntawm kev ua txhaum cai tsis txhob txwm ua (kev txiav txim siab tsis zoo). Kev ua txhaum cai ib nrab (kev txiav txim siab ntiag tug).
Hauv kev thov rov hais dua, cov ncauj lus thiab cov lus qhia tau thim rov qab nrog kev mloog lus tag nrho rau txoj cai ntawm kev faib cov lus txiav txim. Kev hloov pauv yog ntshiab (yooj yim) thiab txwv.
Kev tsis sib haum xeeb - cov kev xav ncaj qha, qhov twg qhov kev kawm dhau los ua qhov tseeb, thiab nws qhov chaw raug coj los ntawm lub tswv yim uas cuam tshuam tag nrho cov kev txiav txim thawj zaug. Yog li, qhov txuas yog thim rov qab. Ib tug tuaj yeem xav txog qhov kev tawm tsam tom qab hloov dua siab tshiab thiab hloov pauv.
Inference los ntawm logic kuj yog ib hom kev ncaj qha inference, qhov kev txiav txim siab raws li lub logic square.
Categorical syllogism
Ib qho kev txiav txim siab categorical yog ib qhov kev txiav txim siab los ntawm ob qhov kev txiav txim tseeb. Cov ntsiab lus uas yog ib feem ntawm lub syllogism yog denoted los ntawm cov nqe lus. Ib qho yooj yim categorical syllogism muaj peb lo lus:
- xaus lus predicate (P) - lub sij hawm loj dua;
- subject of confinement (S) - tsawg lub sij hawm;
- pob ntawm thaj chaw P thiab S ploj ntawm qhov xaus (M) - lub sijhawm nruab nrab.
Syllogism cov ntaub ntawv uas txawv nyob rau hauv nruab nrab lub sij hawm (M) nyob rau hauv lub tsev yog hu ua cov nuj nqis nyob rau hauv ib tug categorical syllogism. Muaj plaub tus lej ntawd, txhua tus muaj nws txoj cai.
- 1 daim duab: ntau qhov chaw loj, lees paub qhov chaw me me;
- 2 daim duab: ntau qhov chaw loj, qhov tsis zoo me me;
- 3 daim duab: lees paub qhov chaw me me, kev txiav txim siab ntiag tug;
- 4 daim duab: qhov xaus tsis yog kev txiav txim siab thoob ntiaj teb.
Txhua daim duab tuaj yeem muaj ntau hom (cov no yog cov lus sib txawv raws li cov yam ntxwv zoo thiab ntau yam ntawm thaj chaw thiab cov lus xaus). Raws li qhov tshwm sim, cov duab ntawm syllogism muaj kaum cuaj hom kev raug, txhua tus tau muab nws lub npe Latin.
Ib qho yooj yim categorical syllogism: cov cai dav dav
Txhawm rau ua kom qhov kev txiav txim siab hauv cov lus qhia tseeb, koj yuav tsum siv qhov chaw tseeb, hwm cov cai ntawm cov duab thiab cov lus qhia yooj yim categorical. Cov txheej txheem kev xav xav tau cov cai hauv qab no:
- Tsis txhob quadruple lus, yuav tsum muaj tsuas yog peb. Piv txwv li, txav (M) - mus ib txhis (P); mus kawm ntawv qib siab (S) - txav (M); qhov xaus yog cuav: mus kawm ntawv qib siab yog nyob mus ib txhis. Lub sij hawm nruab nrab yog siv nyob rau hauv qhov sib txawv: ib qho yog philosophical, lwm qhov yog txhua hnub.
- Lub sijhawm nruab nrabyuav tsum tau faib nyob rau hauv tsawg kawg yog ib qho ntawm parcels. Piv txwv li, tag nrho cov ntses (P) tuaj yeem ua luam dej (M); kuv tus muam (S) ua luam dej (M); kuv tus muam yog ntses. Qhov xaus yog cuav.
- Lub sijhawm xaus yog muab faib tsuas yog tom qab faib rau hauv pob. Piv txwv li, nyob rau hauv txhua lub nroog polar - hmo dawb; St. Petersburg tsis yog lub nroog polar; tsis muaj hmo dawb nyob rau hauv St. Qhov xaus yog cuav. Lub sij hawm xaus muaj ntau tshaj qhov chaw, lub sij hawm loj tau nthuav.
Muaj cov cai rau kev siv cov pob khoom uas daim ntawv xav tau, lawv yuav tsum tau ua raws.
- Ob qhov chaw tsis zoo tsis muaj qhov tso tawm. Piv txwv li, whales tsis yog ntses; pike tsis yog whales. Yog li cas?
- Nrog ib qhov tsis zoo, qhov xaus tsis zoo yog qhov yuav tsum tau ua.
- Tsis muaj qhov xaus tau los ntawm ob qho khoom ntiag tug.
- Nrog ib lub pob khoom ntiag tug, yuav tsum muaj kev txiav txim siab ntiag tug.
Txhob Cia Siab
Thaum ob qhov chaw yog cov lus pom zoo, tau txais cov lus hais ua raws cai nkaus xwb. Piv txwv li, yog A, ces B; yog B, ces C; Yog tias A, ces B. Kom meej meej: yog tias koj ntxiv ob tus lej khib, ces tus lej yuav sib npaug; yog tias cov lej sib npaug, ces koj tuaj yeem faib los ntawm ob yam tsis muaj qhov seem; Yog li ntawd, yog tias koj ntxiv ob tus lej khib, ces koj tuaj yeem faib cov lej tsis muaj qhov seem. Muaj ib tug qauv rau tej kev sib raug zoo ntawm kev txiav txim: qhov tshwm sim ntawm lub txim yog lub txim ntawm lub hauv paus.
xov xwm categorical syllogism
Dab tsi yog qhov kev txiav txim siab categorical? Muaj cov lus pom zoo nyob hauv thawj qhov chaw, thiab cov lus pom zoo hauv qhov chaw thib ob thiab qhov xaus. modus ntawm notuaj yeem ua pov thawj lossis tsis zoo. Hauv hom kev lees paub, yog tias qhov chaw thib ob lees paub qhov tshwm sim ntawm thawj zaug, qhov kev txiav txim siab tsuas yog tshwm sim xwb. Nyob rau hauv hom tsis zoo, yog tias lub hauv paus ntawm qhov xwm txheej tsis lees paub, qhov kev txiav txim siab kuj tsuas yog tshwm sim. Cov no yog cov kev xav tsis raug cai.
Examples:
- Yog koj tsis paub, kaw. Silent - tej zaum tsis paub (yog A, ces B; yog B, ces tej zaum A).
- Yog tias nws daus, nws yog lub caij ntuj no. Lub caij ntuj no los txog - tej zaum yuav daus.
- Thaum tshav ntuj, cov ntoo muab ntxoov ntxoo. Ntoo muab tsis ntxoov ntxoo - tsis tshav ntuj.
Divisive syllogism
Ib qho kev xav yog hu ua kev sib cais tsis sib haum yog tias nws muaj cov chaw sib cais, thiab qhov kev txiav txim siab kuj tau txais los ua kev txiav txim siab sib faib. Qhov no ua rau muaj kev hloov pauv ntau ntxiv.
Txawm qhov tseem ceeb tshaj yog qhov kev faib-categorical inference, qhov twg ib qho chaw yog kev txiav txim siab sib cais, thiab qhov thib ob yog qhov yooj yim categorical ib qho. Muaj ob hom ntawm no: affirmative-negative thiab negative-affirmative.
- Mob yog ciaj los tuag (abc); tus neeg mob tseem muaj sia nyob (ab); tus neeg mob tsis tuag (ac). Hauv qhov no, qhov kev txiav txim categorical tsis lees paub lwm txoj hauv kev.
- Ib qho yuam kev yog kev ua txhaum cai lossis ua txhaum cai; hauv qhov no - tsis yog kev ua txhaum cai; txhais tau tias kev coj tsis ncaj.
Txoj kev sib cais
Lub tswv yim ntawm kev xav kuj suav nrog cov ntawv faib cov cai, nyob rau hauv uas ib qho chaw yog ob lossis ntau qhov kev xav tau, thiab qhov thib ob- kev sib cav disjunctive. Txwv tsis pub hu ua lemma. Txoj hauj lwm ntawm lub lemma yog xaiv los ntawm ob peb txoj kev daws teeb meem.
Tus lej ntawm kev hloov pauv faib cov ntsiab lus sib cais rau hauv cov xwm txheej, trilemmas thiab polylemmas. Tus naj npawb ntawm cov kev xaiv (kev sib cais - kev siv "los yog") kev txiav txim siab yog qhov tsim nyog. Yog hais tias lub disjunction ntawm negations yog ib tug destructive lemma. Yog hais tias qhov xwm txheej ua ntej muab ib qho tshwm sim, qhov lemma yog qhov yooj yim; yog tias qhov tshwm sim txawv, qhov lemma yog complex. Qhov no tuaj yeem taug qab los ntawm kev tsim cov kev xav tau raws li lub tswv yim.
Piv txwv yuav yog qee yam zoo li no:
- A yooj yim constructive lemma: ab+cb+db=b; a+c+d=b. Yog tus tub mus xyuas (a), nws yuav ua nws cov homework tom qab (b); yog tus tub mus rau xinesmas (c), ua ntej nws yuav ua nws cov homework (b); yog tus tub nyob hauv tsev (d), nws yuav ua nws cov homework (b). Tus tub yuav mus xyuas lossis mus ua yeeb yaj kiab, lossis nyob hauv tsev. Txawm li cas los nws yuav ua nws homework.
- Complex constructive: a+b; c+d. Yog lub hwj chim yog caj ces (a), ces lub xeev yog monarchical (b); yog tsoom fwv raug xaiv (c), lub xeev yog ib lub koom pheej (d). Lub hwj chim tau txais los yog raug xaiv. Xeev - monarchy los yog republic.
Vim li cas peb thiaj xav tau qhov xaus, kev txiav txim, tswvyim
Inferences tsis nyob ntawm lawv tus kheej. Kev sim tsis yog qhov muag tsis pom. Lawv tsuas ua rau kev txiav txim siab thaum ua ke. Ntxiv rau, kev sib txuas nrog theoretical tsom xam, qhov twg los ntawm kev sib piv, kev sib piv thiab kev nthuav dav, cov lus xaus tuaj yeem kos. Tsis tas li ntawd, nws muaj peev xwm kos cov lus xaus los ntawm kev sib piv tsis yog tsuas yog hais txog qhov pom ncaj qha, tab sis kuj hais txog qhov tsis tuaj yeem "xav". Yuav ua li cas ib tug ncaj qha perceive xws licov txheej txheem, zoo li kev tsim cov hnub qub lossis kev loj hlob ntawm lub neej hauv ntiaj teb? Ntawm no yog qhov kev ua si ntawm lub siab raws li kev xav paub daws teeb meem.
Txoj kev xav
Kev xav tsis meej muaj peb yam tseem ceeb: lub tswv yim, kev txiav txim siab thiab kev xav. Lub tswv yim qhia txog qhov feem ntau, qhov tseem ceeb, tsim nyog thiab kev txiav txim siab. Nws muaj tag nrho cov cim qhia ntawm kev muaj tiag, txawm tias qee zaum qhov tseeb tsis muaj qhov pom.
Thaum ib lub tswv yim tsim, lub siab tsis coj feem ntau ntawm cov tib neeg lossis cov xwm txheej tsis tseem ceeb hauv cov paib, nws nthuav dav txhua qhov kev nkag siab thiab sawv cev ntawm ntau yam khoom zoo sib xws raws li qhov ua tau raws li qhov sib xws thiab sib sau los ntawm qhov no hauv lub hauv paus thiab tshwj xeeb.
Cov ntsiab lus yog cov txiaj ntsig ntawm kev sau cov ntaub ntawv ntawm qhov no lossis qhov kev paub dhau los. Hauv kev tshawb fawb tshawb fawb, lawv ua ib lub luag haujlwm tseem ceeb. Txoj kev ntawm kev kawm ib qho kev kawm yog ntev: los ntawm yooj yim thiab superficial mus complex thiab tob. Nrog rau kev sib sau ntawm kev paub txog tus kheej cov khoom thiab cov yam ntxwv ntawm cov ncauj lus, kev txiav txim siab txog nws kuj tshwm sim.
Kev txiav txim
Nrog rau kev paub tob tob, cov ntsiab lus tau txhim kho, thiab kev txiav txim siab txog cov khoom ntawm lub ntiaj teb lub hom phiaj tshwm sim. Qhov no yog ib lub ntsiab ntawm kev xav. Cov lus txiav txim qhia txog lub hom phiaj kev sib txuas ntawm cov khoom thiab qhov tshwm sim, lawv cov ntsiab lus sab hauv thiab tag nrho cov qauv ntawm kev loj hlob. Txhua txoj cai thiab txhua txoj haujlwm hauv lub ntiaj teb lub hom phiaj tuaj yeem qhia tau los ntawm qhov tseeb. Inference plays lub luag haujlwm tshwj xeeb hauv cov laj thawj ntawm cov txheej txheem no.
Qhov tshwm sim ntawm kev xav
Ib txoj kev puas siab puas ntsws tshwj xeeb, qhov twg los ntawm thaj chaw koj tuaj yeem ua taukos ib qho kev txiav txim tshiab txog cov xwm txheej thiab cov khoom - lub peev xwm los kos cov lus xaus ntawm noob neej. Yog tsis muaj peev xwm no nws yuav tsis yooj yim sua kom paub lub ntiaj teb no. Tau ntev los nws tsis tuaj yeem pom lub ntiaj teb los ntawm sab, tab sis txawm tias tom qab ntawd tib neeg tuaj yeem tuaj yeem txiav txim siab tias peb lub ntiaj teb yog puag ncig. Kev sib txuas kom raug ntawm cov lus txiav txim tseeb tau pab: cov khoom kheej kheej tau muab cov duab ntxoov ntxoo rau hauv daim ntawv ntawm lub voj voog; Lub ntiaj teb nrum ib puag ncig duab ntxoov ntxoo ntawm lub hli thaum eclipses; Lub ntiaj teb yog spherical. Inference los ntawm analogy!
Qhov tseeb ntawm cov lus xaus yog nyob ntawm ob yam xwm txheej: thaj chaw los ntawm qhov kev txiav txim siab tsim yuav tsum ua raws li qhov tseeb; kev sib txuas ntawm thaj chaw yuav tsum ua raws li kev xav, uas kawm tag nrho cov kev cai lij choj thiab cov qauv kev txiav txim hauv tsev hauv qhov xaus.
Yog li, lub tswv yim, kev txiav txim siab thiab kev xav raws li lub ntsiab lus ntawm kev xav paub daws teeb meem tso cai rau tus neeg kom paub txog lub hom phiaj lub ntiaj teb, nthuav tawm qhov tseem ceeb tshaj plaws, qhov tseem ceeb tshaj plaws, cov qauv thiab kev sib txuas ntawm qhov chaw ib puag ncig.
