Logic yog ib qho ntawm cov kev kawm qub tshaj plaws, sawv ntawm lub tswv yim thiab kev coj noj coj ua thiab ua ib qho tseem ceeb ntawm kev coj noj coj ua los ntawm qhov pib ntawm qhov tshwm sim. Lub luag haujlwm ntawm txoj kev tshawb fawb no hauv lub ntiaj teb niaj hnub no tseem ceeb thiab muaj ntau yam. Cov uas muaj kev txawj ntse hauv cheeb tsam no tuaj yeem kov yeej tag nrho lub ntiaj teb. Nws tau ntseeg tias qhov no yog tib txoj kev tshawb fawb uas muaj peev xwm nrhiav kev daws teeb meem hauv txhua qhov xwm txheej. Ntau tus kws tshawb fawb ntaus nqi kev qhuab qhia rau ib ceg ntawm kev xav, thaum lwm tus, tig mus, tsis lees paub qhov ua tau.
Nws yog ib qho uas dhau sij hawm qhov kev taw qhia ntawm kev tshawb fawb txog kev hloov pauv, txoj hauv kev txhim kho thiab cov qauv tshiab tshwm sim uas ua tau raws li kev tshawb fawb thiab kev xav tau. Qhov no yog qhov tsim nyog vim tias txhua xyoo tib neeg ntsib teeb meem tshiab uas tsis tuaj yeem daws tau los ntawm cov txheej txheem qub. Lub ntsiab lus ntawm kev tshawb fawb txog kev xav ntawm ib tug neeg los ntawm sab ntawm cov qauv uas nws siv nyob rau hauv tus txheej txheem ntawm kev paub qhov tseeb. Qhov tseeb, txij li kev qhuab qhia peb tab tom txiav txim siab yog ntau yam, nws tau kawm siv ntau txoj hauv kev. Wb mus saib lawv.
Etymology ntawm logic
Etymology yog ib ceg ntawm kev hais lus, lub hom phiaj tseem ceeb ntawm cov ntsiab lus uas yog lub hauv paus ntawm lo lus, nws txoj kev kawm los ntawm qhov kev xav ntawm semantics (lub ntsiab lus). "Logos" hauv Greek txhais tau tias "lo lus", "xav", "kev paub". Yog li, peb tuaj yeem hais tias logic yog ib qho kev kawm uas kawm txog kev xav (kev xav). Txawm li cas los xij, kev puas siab puas ntsws, kev xav thiab lub cev ntawm lub paj hlwb, ib txoj hauv kev los yog lwm qhov, kuj kawm txog kev xav, tab sis nws puas tuaj yeem hais tias cov kev tshawb fawb no kawm tib yam? Ntawm qhov tsis sib xws, nyob rau hauv ib qho kev nkag siab lawv yog opposites. Qhov txawv ntawm cov kev tshawb fawb no nyob rau hauv txoj kev xav. Ancient philosophers ntseeg hais tias tib neeg txoj kev xav yog ntau haiv neeg, vim hais tias nws muaj peev xwm txheeb xyuas cov xwm txheej thiab tsim ib tug algorithm rau ua tej yam dej num kom ua tiav ib lub hom phiaj. Piv txwv li, lub tswv yim raws li ib qho kev kawm tsuas yog kev xav txog lub neej, hais txog lub ntsiab lus ntawm kev ua, thaum logic, ntxiv rau kev xav tsis muaj zog, ua rau muaj qhov tshwm sim.
Reference method
Cia peb sim siv phau ntawv txhais lus. Ntawm no lub ntsiab lus ntawm lo lus no txawv me ntsis. Los ntawm qhov kev xav ntawm cov kws sau ntawv ntawm encyclopedias, logic yog ib qho kev kawm uas kawm txog cov cai thiab cov qauv ntawm tib neeg txoj kev xav kom nkag siab txog qhov tseeb ntawm ib puag ncig. Qhov kev tshawb fawb no xav paub txog "ua neej nyob" kev paub tseeb li cas, thiab hauv kev tshawb nrhiav cov lus teb rau lawv cov lus nug, cov kws tshawb fawb tsis tig mus rau txhua qhov tshwj xeeb, tab sis raug coj los ntawm cov cai tshwj xeeb thiab cov cai ntawm kev xav. Lub luag haujlwm tseem ceeb ntawm logic raws li kev tshawb fawb ntawm kev xav yog coj mus rau hauv tus accounttsuas yog ib txoj hauv kev kom tau txais kev paub tshiab yam tsis tau txuas nws daim ntawv nrog cov ntsiab lus tshwj xeeb.
Logic hauv paus ntsiab lus
Lub ntsiab lus thiab lub ntsiab lus ntawm kev xav yog qhov zoo tshaj plaws los ntawm qhov piv txwv. Coj ob nqe lus los ntawm ntau qhov kev tshawb fawb.
- "Txhua lub hnub qub muaj lawv tus kheej hluav taws xob. Lub hnub yog lub hnub qub. Nws muaj nws tus kheej hluav taws xob."
- Tus tim khawv yuav tsum qhia qhov tseeb. Kuv tus phooj ywg yog tim khawv. Kuv tus phooj ywg yuav tsum hais qhov tseeb.
Yog tias peb txheeb xyuas cov lus txiav txim no, peb tuaj yeem pom tias hauv ib qho ntawm lawv qhov thib peb tau piav qhia los ntawm ob qhov kev sib cav. Txawm hais tias txhua tus piv txwv belongs rau cov kev paub sib txawv, txoj kev ntawm cov ntsiab lus sib txuas hauv lawv txhua tus yog tib yam. Namely: yog tias ib yam khoom muaj qee yam khoom, ces txhua yam uas cuam tshuam txog qhov zoo no muaj lwm yam khoom. Qhov tshwm sim: Cov khoom hauv nqe lus nug kuj muaj qhov khoom thib ob no. Cov kev sib raug zoo uas ua rau thiab cuam tshuam yog hu ua logic. Txoj kev sib raug zoo no tuaj yeem pom hauv ntau lub neej.
Cia peb tig mus rau keeb kwm
Yuav kom nkag siab lub ntsiab lus tseeb ntawm kev tshawb fawb no, koj yuav tsum paub tias nws tshwm sim li cas thiab nyob rau hauv qhov xwm txheej twg. Nws hloov tawm hais tias cov ntsiab lus ntawm logic raws li kev tshawb fawb tau tshwm sim nyob rau hauv ntau lub teb chaws yuav luag ib txhij: nyob rau hauv ancient Is Nrias teb, nyob rau hauv ancient Tuam Tshoj thiab nyob rau hauv ancient Greece. Yog hais tias peb tham txog tim Nkij teb chaws, qhov kev tshawb fawb no tau tshwm sim thaum lub sij hawm lub sij hawm ntawm decomposition ntawm pab pawg neeg system thiab tsim ntawm xws li strata ntawm cov pejxeem raws li tub lag luam, tswv av thiab artisans. Cov uas kav tebchaws tim Nkij teb chaws ua txhaum txoj kev txaus siab ntawm yuav luag txhua ntu ntawm cov pej xeem, thiab cov Greeks nquag.pib qhia lawv txoj haujlwm. Txhawm rau daws qhov teeb meem tsis sib haum xeeb, txhua tus ntawm ob tog siv lawv cov lus sib cav thiab sib cav. Qhov no muab impetus rau txoj kev loj hlob ntawm xws li ib tug science li logic. Cov ntsiab lus tau siv zog heev, vim nws tseem ceeb heev kom yeej kev sib tham thiaj li muaj feem cuam tshuam rau kev txiav txim siab.
Nyob rau hauv Tuam Tshoj thaum ub, logic tshwm sim thaum lub sij hawm kub ntawm Suav lub tswv yim, los yog, raws li nws kuj hu ua, lub sij hawm ntawm "sib ntaus sib tua xeev". Zoo ib yam li cov xwm txheej hauv tebchaws Greece thaum ub, kev tawm tsam ntawm cov neeg nplua nuj thiab cov tub ceev xwm kuj tau tawm ntawm no. Thawj zaug xav hloov cov qauv ntawm lub xeev thiab tshem tawm cov kev hloov ntawm lub hwj chim nyob rau hauv ib tug hereditary txoj kev. Thaum muaj kev tawm tsam zoo li no, txhawm rau kom yeej, nws yog qhov yuav tsum tau sib sau ua ke nyob ib puag ncig nws kom ntau li ntau tau. Txawm li cas los xij, yog tias nyob rau hauv ancient Greece qhov no tau txais kev txhawb zog ntxiv rau txoj kev loj hlob ntawm logic, ces nyob rau hauv ancient Tuam Tshoj nws yog qhov opposite. Tom qab lub nceeg vaj ntawm Qin txawm li cas los xij los ua tus thawj, thiab lub npe hu ua kev hloov pauv kev coj noj coj ua, kev loj hlob ntawm kev xav ntawm theem no
nws nres.
Muab hais tias nyob rau hauv ntau lub teb chaws qhov kev tshawb fawb no tau tshwm sim meej thaum lub sij hawm ntawm kev tawm tsam, cov ntsiab lus thiab lub ntsiab lus ntawm logic tuaj yeem ua tau raws li hauv qab no: nws yog kev tshawb fawb ntawm cov kab ke ntawm tib neeg kev xav, uas tuaj yeem cuam tshuam zoo rau kev daws teeb meem. xwm txheej thiab kev tsis sib haum xeeb.
Lub ntsiab lus ntawm kev xav
Nws yog ib qho nyuaj rau ib lub ntsiab lus tshwj xeeb uas feem ntau tuaj yeem ua tus yam ntxwv xws li kev tshawb fawb thaum ub. Piv txwv li,lub ntsiab lus ntawm logic yog kev kawm txog cov cai ntawm kev muab cov lus txiav txim thiab cov lus tseeb los ntawm qee qhov xwm txheej. Qhov no yog li cas Friedrich Ludwig Gottlob Frege qhia txog qhov kev tshawb fawb thaum ub. Lub tswv yim thiab cov ntsiab lus ntawm logic kuj tau kawm los ntawm Andrey Nikolayevich Shuman, tus paub logician ntawm peb lub sijhawm. Nws suav hais tias yog kev tshawb fawb ntawm kev xav, uas tshawb txog ntau txoj kev xav thiab ua qauv rau lawv. Tsis tas li ntawd, cov khoom thiab cov ntsiab lus ntawm cov ntsiab lus yog, ntawm chav kawm, hais lus, vim hais tias logic yog nqa tawm tsuas yog nrog kev sib tham los yog kev sib tham, thiab nws tsis muaj teeb meem kiag li, nrov nrov lossis "rau tus kheej."
Cov lus hais saum toj no qhia tias cov ntsiab lus ntawm kev tshawb fawb ntawm kev xav yog cov qauv ntawm kev xav thiab nws cov khoom sib txawv uas cais qhov sib txawv ntawm kev paub daws teeb meem, kev xav txog kev xav - hom kev xav, kev cai lij choj, kev sib raug zoo ntawm cov qauv thiab qhov tseeb ntawm kev xav kom ua tiav qhov tseeb.
txoj kev nrhiav qhov tseeb
Hauv cov ntsiab lus yooj yim, kev xav yog txheej txheem kev xav ntawm kev tshawb nrhiav qhov tseeb, vim tias raws li nws cov hauv paus ntsiab lus cov txheej txheem ntawm kev tshawb nrhiav kev paub txog kev tshawb fawb tau tsim. Muaj ntau hom ntawv thiab cov txheej txheem ntawm kev siv logic, thiab tag nrho cov ntawm lawv tau ua ke rau hauv txoj kev xav ntawm kev paub inference nyob rau hauv ntau yam kev tshawb fawb. Qhov no yog lub npe hu ua ib txwm muaj logic, nyob rau hauv uas muaj ntau tshaj 10 txoj kev sib txawv, tab sis Descartes 'deductive logic thiab Bacon's inductive logic tseem suav hais tias yog cov tseem ceeb.
Deductive logic
Peb txhua tus paub txoj kev txiav tawm. Nws siv lawmtxuam nrog kev tshawb fawb ntawm logic. Lub ntsiab lus ntawm Descartes 'logic yog ib txoj hauv kev ntawm kev paub txog kev tshawb fawb, lub ntsiab lus ntawm cov lus dag nyob rau hauv qhov nruj derivation ntawm cov tshiab los ntawm qee cov kev cai uas tau kawm yav dhau los thiab ua pov thawj. Nws muaj peev xwm piav tau tias yog vim li cas, txij li thawj nqe lus muaj tseeb, ces cov derived kuj muaj tseeb.
Rau qhov kev txiav txim siab, nws tseem ceeb heev uas tsis muaj qhov tsis sib haum xeeb hauv cov lus pib, txij li yav tom ntej lawv tuaj yeem ua rau cov lus xaus tsis raug. Deductive logic yog qhov tseeb heev thiab tsis zam qhov kev xav. Tag nrho cov postulates uas siv, raws li txoj cai, yog raws li cov ntaub ntawv pov thawj. Txoj kev xav no muaj lub zog ntawm kev yaum thiab siv, raws li txoj cai, hauv kev tshawb fawb tseeb, xws li lej. Ntxiv mus, txoj kev txiav tawm tsis raug nug, tab sis txoj kev tshawb nrhiav qhov tseeb yog kawm. Piv txwv li, qhov zoo-paub Pythagorean theorem. Puas muaj peev xwm tsis ntseeg nws qhov tseeb? Hloov chaw, ntawm qhov tsis sib xws - nws yog qhov yuav tsum tau kawm theorem thiab kawm yuav ua li cas los ua pov thawj. Cov ntsiab lus "Logic" kawm raws nraim qhov kev taw qhia no. Nrog nws txoj kev pab, nrog rau kev paub txog qee cov cai thiab cov khoom ntawm cov kev kawm, nws tuaj yeem ua tau los ua cov tshiab.
Inductive logic
Nws tuaj yeem hais tau tias Bacon lub npe hu ua inductive logic xyaum tawm tsam cov hauv paus ntsiab lus ntawm kev txiav txim siab. Yog hais tias yav dhau los txoj kev yog siv rau lub caij nyoog sciences, ces qhov no yog rau lub ntuj sciences, nyob rau hauv uas logic yog xav tau. Lub ntsiab lus ntawm logic hauv xws li kev tshawb fawb: kev paub tau los ntawm kev soj ntsuam thiab kev sim. Tsis muaj qhov chaw rau cov ntaub ntawv tseeb thiab suav. Txhua qhov kev suavyog tsim los tsuas yog theoretically, nrog rau lub hom phiaj ntawm kev kawm ib yam khoom los yog phenomenon. Lub ntsiab ntawm inductive logic yog raws li nram no:
- Txhawm rau ua qhov kev soj ntsuam tas li ntawm cov khoom raug kawm thiab tsim qhov xwm txheej uas tuaj yeem tshwm sim theoretical. Qhov no yog qhov tsim nyog los kawm txog cov khoom ntawm qee yam kev kawm uas tsis tuaj yeem kawm hauv cov xwm txheej ntuj. Qhov no yog qhov yuav tsum tau ua ua ntej rau kev kawm inductive logic.
- Raws li kev soj ntsuam, sau ntau qhov tseeb raws li qhov ua tau txog cov khoom hauv kev kawm. Nws yog ib qho tseem ceeb heev uas yuav tsum nco ntsoov tias txij li cov xwm txheej tau tsim tawm, qhov tseeb yuav raug cuam tshuam, tab sis qhov no tsis txhais hais tias lawv yog cuav.
- Summarize thiab systematize cov ntaub ntawv tau txais thaum lub sij hawm sim. Qhov no yog qhov tsim nyog los ntsuas qhov xwm txheej. Yog tias tsis muaj cov ntaub ntawv txaus, ces qhov tshwm sim lossis khoom yuav tsum muab tso rau hauv lwm qhov xwm txheej.
- Tsim ib txoj kev xav los piav qhia qhov kev tshawb pom thiab kwv yees lawv txoj kev loj hlob yav tom ntej. Qhov no yog qhov kawg theem, uas ua hauj lwm rau sum up. Txoj kev xav tuaj yeem kos tau yam tsis xav txog qhov tseeb cov ntaub ntawv tau, txawm li cas los xij, nws yuav yog qhov tseeb.
Piv txwv li, raws li kev tshawb fawb txog qhov tshwm sim ntawm ntuj tsim, kev vibrations ntawm lub suab, lub teeb, nthwv dej, thiab lwm yam, physicists tau tsim txoj haujlwm uas txhua qhov xwm txheej ntawm lub sijhawm tuaj yeem ntsuas tau. Tau kawg, cais cov xwm txheej tau tsim rau txhua qhov tshwm sim thiab qee qhov kev suav tau ua tiav. Nyob ntawm qhov nyuaj ntawm qhov teeb meem dag,nyeem ntawv sib txawv heev. Qhov no yog qhov ua rau nws muaj peev xwm ua pov thawj tias lub sijhawm ntawm oscillations tuaj yeem ntsuas tau. Bacon piav qhia txog kev induction raws li ib txoj hauv kev ntawm kev paub txog kev sib raug zoo ntawm kev sib raug zoo thiab ib txoj hauv kev tshawb pom kev tshawb fawb.
Causality
Txij thaum pib ntawm txoj kev loj hlob ntawm kev tshawb fawb ntawm logic, ntau qhov kev saib xyuas tau them rau qhov no, uas cuam tshuam rau tag nrho cov txheej txheem ntawm kev tshawb fawb. Causality yog ib qho tseem ceeb heev nyob rau hauv tus txheej txheem ntawm kev kawm logic. Yog vim li cas yog tej yam tshwm sim los yog khoom (1), uas ib txwm muaj feem xyuam rau qhov tshwm sim ntawm lwm yam khoom los yog tshwm sim (2). Lub ntsiab lus ntawm kev tshawb fawb ntawm logic, hais lus raug cai, yog nrhiav kom paub cov laj thawj ntawm qhov ua ntu zus. Tom qab tag nrho, los ntawm saum toj no, nws hloov tawm tias (1) yog qhov ua rau (2).
Ib tug tuaj yeem ua piv txwv: cov kws tshawb fawb uas kawm sab nrauv thiab cov khoom uas nyob ntawd tau pom qhov tshwm sim ntawm "qhov dub". Qhov no yog ib hom cosmic lub cev, lub gravitational teb uas loj heev uas nws muaj peev xwm nqus tau lwm yam khoom nyob rau hauv qhov chaw. Tam sim no cia saib seb qhov kev sib raug zoo ntawm qhov tshwm sim no: yog tias qhov gravitational ntawm ib lub cev cosmic loj heev: (1), ces nws muaj peev xwm nqus tau lwm yam (2).
Basic Methods of Logic
Lub ntsiab lus ntawm cov laj thawj luv luv tshawb txog ntau thaj chaw ntawm lub neej, txawm li cas los xij, feem ntau, cov ntaub ntawv tau txais nyob ntawm txoj kev xav tau. Piv txwv li, kev tsom xam yog qhov kev faib ua piv txwv ntawm cov khoom nyob rau hauv kev kawm rau hauv qee qhov chaw, txhawm rau kawm nws cov khoom. Kev tsom xam, raws li txoj cai, yuav tsum txuas nrog kev sib txuas. Yog tias thawj txoj kev cais qhov tshwm sim, ces qhov thib ob, ntawm qhov tsis sib xws, txuas cov khoom tau txais los tsim kev sib raug zoo ntawm lawv.
Lwm qhov kev nthuav dav ntawm kev xav yog txoj kev paub daws teeb meem. Qhov no yog cov txheej txheem ntawm kev puas siab puas ntsws sib cais ntawm tej yam khoom ntawm ib yam khoom los yog tshwm sim nyob rau hauv thiaj li yuav kawm tau lawv. Tag nrho cov txheej txheem no tuaj yeem raug cais raws li cov txheej txheem kev paub.
Tseem kuj muaj ib txoj kev txhais, uas muaj nyob rau hauv kev paub lub kos npe rau ntawm tej yam khoom. Yog li, cov khoom thiab qhov tshwm sim tuaj yeem muab lub ntsiab lus piv txwv, uas yuav pab kom nkag siab txog lub ntsiab lus ntawm cov khoom nws tus kheej.
modern logic
Noj kev xav niaj hnub tsis yog lus qhuab qhia, tab sis yog kev xav ntawm lub ntiaj teb. Raws li txoj cai, qhov kev tshawb fawb no muaj ob lub sijhawm ntawm kev tsim. Thawj qhov pib hauv Ancient World (Ancient Greece, Ancient India, Ancient Tuam Tshoj) thiab xaus rau xyoo pua 19th. Lub sijhawm thib ob pib nyob rau hauv ib nrab ntawm lub xyoo pua 19th thiab txuas ntxiv mus rau hnub no. Cov kws tshawb fawb thiab cov kws tshawb fawb ntawm peb lub sijhawm tsis tso tseg txoj kev tshawb fawb no thaum ub. Nws yuav zoo li tias tag nrho nws txoj hauv kev thiab cov ntsiab lus tau kawm ntev los ntawm Aristotle thiab nws cov thwjtim, tab sis txhua xyoo logic raws li kev tshawb fawb, cov ntsiab lus ntawm kev xav, nrog rau nws cov yam ntxwv txuas ntxiv mus tshawb.
Ib qho ntawm cov yam ntxwv ntawm kev xav niaj hnub no yog kev nthuav dav ntawm kev tshawb fawb, uas yog vim muaj hom tshiab thiab txoj kev xav. Qhov no tau coj mus rau qhov tshwm sim ntawm cov hom tshiab ntawm modal logic raws li lub logic ntawm kev hloov thiab causal logic. Nws tau raug pov thawj tias xws licov qauv txawv txawv ntawm cov uas twb kawm lawm.
Niaj hnub nimno logic raws li kev tshawb fawb yog siv nyob rau hauv ntau yam ntawm lub neej, xws li engineering thiab ntaub ntawv technology. Piv txwv li, yog tias koj xav txog yuav ua li cas lub khoos phis tawj tau teeb tsa thiab ua haujlwm, koj tuaj yeem pom tias txhua qhov kev pab cuam ntawm nws raug tua siv lub algorithm, qhov twg logic koom nrog ib txoj hauv kev los yog lwm qhov. Hauv lwm lo lus, peb tuaj yeem hais tias cov txheej txheem kev tshawb fawb tau mus txog theem ntawm kev txhim kho qhov twg cov khoom siv thiab cov txheej txheem ua haujlwm ntawm cov ntsiab lus tsim nyog tau ua tiav thiab muab tso rau hauv kev ua haujlwm.
Ib qho piv txwv ntawm kev siv cov logic hauv kev tshawb fawb niaj hnub no yog cov kev tswj xyuas hauv CNC tshuab thiab kev teeb tsa. Ntawm no, ib yam nkaus, nws yuav zoo li tias tus neeg hlau hlau ua qhov kev tsim ua kom muaj txiaj ntsig. Txawm li cas los xij, cov piv txwv no tsuas yog qhia peb txoj kev loj hlob ntawm kev xav niaj hnub no, vim tias tsuas yog ib tus neeg muaj sia nyob, xws li tib neeg, tuaj yeem muaj txoj kev xav zoo li no. Ntxiv mus, ntau tus kws tshawb fawb tseem tab tom sib cav seb cov tsiaj puas tuaj yeem muaj kev txawj ntse. Tag nrho cov kev tshawb fawb nyob rau hauv cheeb tsam no boils mus rau qhov tseeb hais tias lub hauv paus ntsiab lus ntawm kev txiav txim ntawm cov tsiaj tsuas yog nyob ntawm lawv instincts. Tsuas yog ib tus neeg tuaj yeem tau txais cov ntaub ntawv, txheej txheem thiab muab cov txiaj ntsig.
Kev tshawb fawb txog kev tshawb fawb xws li kev xav tau tseem tuaj yeem txuas ntxiv mus rau ntau txhiab xyoo, vim tias tib neeg lub hlwb tsis tau kawm tiav. Txhua xyoo tib neeg yug los ntau thiab tsim kho, uas qhia txog kev hloov pauv ntawm tib neeg mus tas li.
