Logic: kev kawm. Lub logic: tswvyim, tus nqi, kwv thiab kawm ntawm logic raws li ib tug science

Lub logic - qhov no yog ib qho ntawm feem ancient khoom, sawv tom ntej no mus rau lub philosophy thiab Sociology thiab yog ib qho tseem ceeb kev lis kev cai phenomenon los ntawm heev thaum pib ntawm nws tshwm sim. Lub luag hauj lwm ntawm kev kawm nyob rau hauv lub niaj hnub ntiaj teb no yog ib qho tseem ceeb thiab multifaceted. Cov neeg uas muaj kev txawj ntse nyob rau hauv cov cheeb tsam no, yuav tsum yeej xwb lub ntiaj teb no. Nws twb ntseeg tau tias tsuas yog science yog muaj peev xwm nrhiav tau ib tug hais nruab nrab daws nyob rau hauv tej teeb meem no. Muaj ntau zaum xa mus rau cov kev qhuab qhia seem ntawm philosophy, thaum lwm tus neeg, nyob rau hauv lawv tig, refute no tau.

Ntawm cov hoob kawm, uas tej zaum yuav hloov nrog lub sij hawm orientation zajlus kom cov kev tshawb fawb yog zoo txoj kev thiab tshiab tiam sis mam li uas hais tias tau scientific thiab cov kev uas yuav tsum tau. Qhov no yog vim ib haiv neeg txhua txhua xyoo yog txojkev tshiab txoj kev sib tw uas yuav tsis tau daws tau los ntawm outdated txoj kev. Subject logic kev tshawb fawb ntawm tib neeg kev xav nyob rau ib feem ntawm cov kev cai, uas nws siv nyob rau hauv tus txheej txheem ntawm kev paub txog qhov tseeb. Nyob rau hauv qhov tseeb, txij li thaum peb xav qhuab qhia yog heev ntau yam, kawm siv ob peb txoj kev. Cia saib lawv.

etymology logic

Etymology - ib tug ceg lug, uas nws lub ntsiab lub hom phiaj yog lub hauv paus chiv keeb ntawm cov lo lus, kawm nws los ntawm tus taw tes ntawm view ntawm semantics (lub ntsiab lus). "Logos" nyob rau hauv Greek txhais hais tias "Lo lus", "xav", "txawj ntse". Yog li, peb yuav hais tias logic - ib tug kawm uas kawm cov kev xav (kev xav). Txawm li cas los, psychology, philosophy thiab physiology ntawm lub paj hlwb kev ua si, ib txoj kev los sis lwm, yog tseem kawm xav, tab sis yuav ua li cas koj yuav hais tias cov sciences yog ib tug thiab tib yam? Heev qhov tsis tooj - nyob rau hauv ib tug tej yam kev txiav txim zoo, lawv yog opposites. Qhov txawv ntawm cov sciences yog txoj kev xav. Cov ancient philosophers ntseeg hais tias cov tib neeg lub siab nyob rau hauv ntau txoj kev, vim hais tias nws yog muaj peev xwm rau kev tsom xam cov teeb meem thiab tsim ib qho algorithm ua tau tej yam kev pab raws qib mus cuag ib lub hom phiaj. Piv txwv li, raws li ib tug kawm ntawm philosophy - nws yog ib tug es discourse txog lub neej, txog lub ntsiab lus ntawm lub neej, thaum ntawm kaw xav logic ua rau ib tug tej yam tshwm sim.

siv txoj kev

Wb sim tig los rau tus phau ntawv txhais lus. Ntawm no, lub sij hawm tus nqi yog sib txawv dog dig. Ntawm tus taw tes ntawm view ntawm tus sau phau ntawv ntawm encyclopedias, logic - ib tug kawm uas kawm cov kev cai thiab cov ntaub ntawv ntawm tib neeg kev xav nrog tus aim ntawm cognition ntawm kev muaj tiag. Qhov no science xav nyob rau hauv yuav ua li cas lub "nyob" paub txog qhov tseeb, thiab nyob rau hauv kev tshawb fawb ntawm cov lus teb rau lawv cov lus nug, kws tshawb fawb tsis siv rau txhua tus neeg cov ntaub ntawv, thiab yog ua los ntawm tshwj xeeb cov kev cai thiab kev cai lij choj ntawm kev xav. Lub ntsiab hauj lwm ntawm logic raws li qhov kev kawm ntawm kev xav yog tias tus txheej txheem ntawm kev txawj ntse ntawm lub ntiaj teb no coj mus rau hauv tus account xwb ib txoj kev muab kev paub tshiab, tsis khi nws mus rau ib tug daim ntawv ntawm cov ntsiab lus.

lub logic ntawm lub hauv paus ntsiab lus ntawm

Subject ntawm lub logic nqi thiab yog qhov zoo tshaj plaws pom los ntawm txoj kev ntawm Piv txwv li. Siv ob nqe lus los ntawm ntau yam teb ntawm science.

1. "Tag nrho cov hnub qub muaj lawv tus kheej tawg. Tshav - yog ib lub hnub qub. Nws muaj nws tus kheej lub teeb. "
2. Tej tim khawv qhia qhov tseeb. Kuv tus phooj ywg yog ib tug tim khawv. Kuv tus phooj ywg yog yuam ua hauj lwm kom qhia qhov tseeb.

Yog hais tias peb tsom xam cov kev txiav txim, koj yuav pom tias nyob rau hauv txhua tus ntawm cov ob nqe lus yog vim peb. Txawm tias txhua tus ntawm cov piv txwv thiab belongs rau lub cheeb tsam sib txawv ntawm kev txawj ntse, cov qauv ntawm cov kev sib txuas lus yam ntsiab lus nyob rau hauv txhua yam uas lawv tau tib yam. Namely, yog tus kwv muaj ib tug tej yam khoom ntiag tug, ces txhua yam hais txog qhov no zoo, muaj ib tug txawv cov cuab yeej. Tshwm: tus kwv nyob rau hauv lo lus nug, nws kuj muaj ib tug thib ob cov cuab yeej. Cov causal kev sib raug zoo thiab yog hu ua logic. Qhov no kev sib raug zoo muaj peev xwm yuav pom nyob rau hauv ntau yam teeb meem.

Cia peb tig mus rau keeb kwm

Yuav kom to taub lub ntsiab tseeb ntawm no science, koj yuav tsum paub yuav ua li cas thiab nyob rau hauv dab tsi tshwm sim nws tshwm sim. Nws hloov tawm hais tias qhov kev kawm teeb meem ntawm logic raws li ib tug science sawv nyob rau hauv ob peb lub teb chaws yuav luag ib txhij: nyob rau hauv Ancient Is Nrias teb, Ancient Tuam Tshoj thiab Ancient tim Nkij teb chaws. Yog hais tias peb tham txog tim Nkij teb chaws, ces qhov no science originated nyob rau hauv lub sij hawm ntawm decomposition pab pawg neeg system thiab tsim los ntawm xws seem ntawm cov pejxeem, raws li tub txawj tub ntse, cov tswv av thiab artisans. Cov neeg uas txiav txim rau tim Nkij teb chaws infringe raws li qhov kev txaus siab ntawm txhua theem ntawm cov pejxeem, thiab Greeks pib los mus qhia lawv txoj hauj lwm. Nyob rau hauv thiaj li yuav daws tau qhov teeb meem peacefully, txhua sab tau siv nws yog vim li cas thiab cov lus sib cav. Qhov no muab impetus mus rau lub kev loj hlob ntawm tej sciences li logic. Subject siv heev nquag, vim hais tias nws yog ib qho tseem ceeb heev los yeej nyob rau hauv kev sib tham los txhawb kev txiav txim siab.

Nyob rau hauv ancient Tuam Tshoj, muaj logic nyob rau hauv lub Golden muaj hnub nyoog ntawm Suav philosophy los yog, raws li nws yog hu ua thaum lub sij hawm "sib xeem lub xeev". Zoo ib yam li qhov teeb meem no nyob rau hauv ancient Greece, muaj kuj yog ib tug nriaj ntawm tus nplua nuj feem ntawm cov pej xeem thiab cov tub ceev xwm. Tus thawj xav hloov lub xeev Npaj thiab tshem raws roj ntsha los hloov ntawm lub hwj chim txhais tau tias. Thaum lub sij hawm no sib ntaus, los yeej, nws yog tsim nyog los sib sau ua ke nyob ib ncig ntawm nws raws li muaj ntau yam los ntawm UFW li sai tau. Txawm li cas los, Yog hais tias nyob rau hauv ancient Greece, nws yog ib tug ntxiv ua dej siab rau txoj kev loj hlob ntawm logic nyob rau hauv ancient Tuam Tshoj - heev qhov tsis tooj. Tom qab lub nceeg vaj ntawm Qin yog tseem tseem ceeb, thiab muaj ib tug thiaj li hu ua kev cai kiv puag ncig, txoj kev loj hlob ntawm logic nyob rau theem no

e nres.

Xav tias nyob rau hauv ntau lub teb chaws no science tshwm sim precisely thaum lub sij hawm lub nriaj, cov kev kawm thiab tus nqi ntawm cov logic yuav piav raws li nram no: yog txoj kev tshawb no ntawm tib neeg kev xav ib theem zuj zus, uas yuav pab daws ntawm tsis sib haum thiab tsis sib haum.

Lub ntsiab kev kawm teeb meem ntawm logic

Nws yog ib qhov nyuaj rau single tawm ib tug nqi uas yuav ua tau ib tug tag nrho yuav tuab no ancient science. Piv txwv li, cov kev kawm ntawm logic, suav hais tias yog kev kawm txog cov kev cai ntawm yog kev tshem tawm ntawm tej yam kev txiav txim thiab cov nqe lus ntawm ib co ntawm qhov tseeb tshwm sim. Li ntawd, kuv yus no ancient science ntawm Gottlob Frege. Lub tswvyim thiab cov kev kawm kawm logic thiab Shuman Andrey Nikolaevich - paub logic ntawm tiam no. Nws ntseeg hais tias cov kev kawm ntawm cov meditation uas explores txawv txoj kev xav thiab lawv cov qauv. Nyob rau hauv tas li ntawd, tus kwv thiab cov kev kawm teeb meem ntawm logic - qhov no, ntawm chav kawm, peb yog, vim hais tias logic yog nqa tawm tsuas yog txhais tau tias ntawm ib tug kev sib tham los yog kev sib tham, thiab kiag li tsis muaj nqi, los yog nrov nrov los yog "kuv tus kheej."

Qhov saum toj no kab zauv qhia tau tias qhov kev kawm yog qhov kev kawm ntawm logic qauv kev xav thiab nws cov ntau zog yog ib cheeb cais paub daws teeb zajlus kom thiab muaj kuab xav - ntaub ntawv ntawm kev xav kev cai tsim nyog kev sib raug zoo ntawm cov yam ntxwv hais thiab lub correctness ntawm kev xav rau txog ntawm qhov tseeb.

Tus txheej txheem ntawm kev nrhiav qhov tseeb

Nyob rau hauv tej yam yooj yim cov ntsiab lus, cov logic - yog xav txheej txheem ntawm searching rau qhov tseeb, vim hais tias nyob rau hauv lub hauv paus ntawm nws cov hauv paus ntsiab lus zoo li tus txheej txheem ntawm kev nrhiav kev paub. Muaj ntau yam ntaub ntawv thiab cov hau kev ntawm kev siv logic thiab lawv muaj tag nrho cov koom nyob rau hauv txoj kev paub ntawm cov kev tshawb xav ntawm tshem tawm nyob rau hauv lub ntau yam teb ntawm science. Qhov no thiaj li hu ua tshuaj logic, nyob rau hauv uas muaj ntau tshaj li 10 txawv txoj kev, tab sis qhov yooj yim yog tseem tau hais tias yuav deductive logic ntawm Descartes thiab Bacon lub inductive logic.

deductive logic

Peb yeej paub tias cov qauv ntawm cov txiav. Nws siv nyob rau hauv ib txoj kev los sis lwm txuas nrog rau lub science li logic. Descartes teeb meem ntawm logic - yog ib txoj kev ntawm kev txawj ntse, lub essence ntawm cov uas dag nyob rau hauv cov nruj yug me nyuam ntawm tej kev cai uas tau yav tas los kawm thiab cov pov thawj tshiab. Nws muaj peev xwm los mus piav qhia yog vim li cas, ib zaug rau thawj lub nqe lus no muaj tseeb, ces rho, ib yam nkaus thiab yeej muaj tseeb.

Rau deductive logic, nws yog ib qho tseem ceeb heev uas muaj muaj tsis muaj contradictions nyob rau hauv lub qhov chaw nqe lus, vim hais tias lawv muaj peev xwm ntxiv ua rau tsis yog kev xaus lus. Deductive logic yog leej heev thiab tsis ua siab ntev cov kev xav. Tag nrho postulates uas yog siv raws li txoj cai, yog raws li nyob rau hauv qhia tau tseeb cov ntaub ntawv. Qhov no zajlus kom txoj kev muaj lub hwj chim kev ntseeg thiab siv feem ntau nyob rau hauv lub caij nyoog sciences xws li kev kawm txog zauv. Ntxiv mus, lub deductive txoj kev yog tsis hais lus, thiab kawm txog lub heev tus qauv ntawm cov kev nrhiav qhov tseeb. Piv txwv li, tag nrho cov paub Pythagorean theorem. Yog nws tau hu mus rau hauv nqe lus nug nws tiag? Es cov lus rov - koj yuav tsum tau kawm cov kev tshawb xav thiab kawm tau li cas los ua pov thawj nws. Cov kev kawm ntawm "Logic" tshuaj xyuas no. Nrog nws cov kev pab, nrog rau cov kev txawj ntse ntawm tej yam kev cai thiab thaj chaw ntawm ib tug kwv, nws tseem tau mus deduce tshiab sawv daws yuav.

inductive logic

Peb yuav hais tias qhov thiaj li hu ua nqaij npuas kib lub inductive logic zoo tsis thooj li tej ntsiab cai ntawm deductive. Yog hais tias lub yav dhau los txoj kev yog siv rau lub caij nyoog sciences, ib yam dab tsi uas - rau tej yam ntuj tso, uas yuav tsum tau logic. Lub homphiaj ntawm logic nyob rau hauv sciences: kev txawj ntse yog muab rho tawm los ntawm soj thiab kws. Yog tsis muaj caij nyoog cov ntaub ntawv thiab suav. Tag nrho cov suav yog ua tau tsuas yog raws, mus kawm ib yam khoom los phenomenon. Lub essence ntawm inductive logic yog raws li nram no:

1. Nqa tawm tas mus li xyuas ntawm tus kwv raug soj ntsuam, thiab tsim ib co teeb meem, uas yuav raws yuav tshwm sim. Nws yog tsim nyog los kawm txog cov thaj chaw ntawm tej yam khoom uas yuav kawm tsis tau nyob rau hauv ib tug tej yam ntuj tso chaw. Qhov no yog ib tug yuavtsum tau kawm uantej rau txoj kev tshawb no ntawm inductive logic.
2. Raws li pom los sau raws li ntau yam tseeb hais txog tus kwv nyob rau hauv txoj kev tshawb no. Nws yog ib qho tseem ceeb yuav tau nco ntsoov tias txij li thaum lub tej yam kev mob tau tsim artificially, qhov tseeb yuav tsum distorted, tab sis qhov no tsis txhais hais tias lawv yog cuav.
3. Yuav kom generalize thiab systematize cov ntaub ntawv tau thaum lub sij hawm lub thwmsim. Nws yog tsim nyog rau kev ntsuam xyuas qhov teeb meem no. Yog hais tias cov ntaub ntawv no tsis txaus, lub phenomenon ntawm ib tug kwv yuav tsum rov muab tso nyob rau hauv lwm cov khoom cua teeb meem no.
4. Yuav kom tsim ib tug kev tshawb xav los piav cov uas nrhiav tau thiab twv seb lawv loj hlob ntxiv. Qhov no yog zaum kawg rau theem, uas ua hauj lwm pab rau lub ntsab lug. Qhov kev tshawb xav yuav ua tsis tau noj mus rau hauv tus account cov ntaub ntawv tau txais, tab sis, cuaj kaum, nws yuav tsum tau zoo.

Piv txwv li, raws li nyob rau hauv empirical tshawb fawb nyob rau hauv tej yam ntuj tso phenomena suab deeg, lub teeb tsis, thiab hais txog. D. Physics formulated txoj hauj lwm uas tej phenomenon nrog ib tug periodic xwm, yuav ntsuas. Ntawm cov hoob kawm, txhua tus neeg tej yam kev mob ntawm lub phenomenon thiab ua ib co lus teb twb tau. Nyob rau hauv lub complexity ntawm cov khoom cua teeb meem, nyeem tau ho txawv. Nws yog tau tso cai los ua pov thawj hais tias lub zaus ntawm lub oscillations yuav ntsuas. Kev induction Bacon piav raws li ib tug txoj kev ntawm kev txawj ntse ntawm ua-sib raug zoo nyhuv thiab cov qauv ntawm cov kev foundations.

causal kev sib raug zoo

Los ntawm cov outset, txoj kev loj hlob ntawm qhov kev kawm ntawm logic npaum li cas mloog yog them rau qhov no zoo tshaj muaj feem xyuam rau tag nrho cov kev tshawb fawb cov txheej txheem. Causal txuas - qhov no yog ib qho tseem ceeb heev nam nyob rau hauv txoj kev tshawb no ntawm logic. Yog vim li cas - nws yog ib tug txog kev tshwm sim los yog kwv (1), uas yog lawm muaj feem xyuam rau cov tsos ntawm lwm yam khoom los yog ib tug tshwm sim (2). Cov kev kawm ntawm lub logic ntawm science, kev lig kev cai hais lus, yog mus nrhiav tau tawm yog vim li cas rau qhov no ib theem zuj zus. Tom qab lub foregoing nws zoo nkaus li tias (1) lub ua (2).

Koj muaj peev xwm muab ib qho piv txwv: tus zaum uas tshawb qhov chaw thiab cov khoom pom muaj, sab phenomenon ntawm "dub qhov." Nws yog ib tug cosmic lub cev, lub gravitational teb yog li ntawd loj hais tias nws yuav nqus lwm yam nyob rau hauv qhov chaw. Tam sim no peb paub qhov ua rau thiab cov nyhuv ntawm no phenomenon: yog hais tias lub gravitational teb ntawm tej vaj xilethi-aus lub cev yog heev loj (1), nws yog muaj peev xwm mus nqus tej yam ntau (2).

Lub ntsiab txoj kev logic

Subject logic luv luv tshuaj xyuas ntau qhov chaw ntawm lub neej, tab sis nyob rau hauv feem ntau tus neeg mob cov ntaub ntawv tau nyob rau cov zajlus kom txoj kev. Piv txwv li, sib cais tsom xam xa zoo li tus xeem yam khoom rau tej qhov chaw uas muaj ib tug saib kom kawm nws cov khoom. Analysis feem ntau tas txuam nrog rau synthesis. Yog hais tias tus thawj txoj kev faib phenomenon, lub thib ob, on qhov tsis tooj, nws txuas lub txais feem yuav tsim kom muaj txoj kev sib raug ntawm lawv.

Lwm nthuav kev kawm ntawm logic yog ib txoj kev ntawm abstraction. Nws yog ib tug txheej txheem ntawm kev puas hlwb sib cais ntawm tej thaj chaw ntawm yam khoom los sis tshwm sim nrog ib tug saib kom kawm lawv. Tag nrho cov hom kev kawm yuav categorized li txoj kev cognition.

Muaj kuj yog ib txoj kev txhais lus, uas yog txoj kev paub ntawm tus kos npe rau system ntawm tej yam khoom. Yog li, tej khoom thiab phenomena yuav muab ib lub cim lub ntsiab lus, uas yuav pab txhawb qhov kev nkag siab ntawm lub essence ntawm tus kwv nws tus kheej.

niaj hnub logic

Niaj hnub nimno logic - nws tsis yog ib tug qhuab qhia, thiab hauv daim ntawv qhia ntawm lub ntiaj teb no. Feem ntau, qhov no science muaj ob txoj kev ua lub sij hawm. Tus thawj pib nyob rau hauv lub Ancient ntiaj teb (Ancient tim Nkij teb chaws, Ancient Is Nrias teb, Ancient Tuam Tshoj) thiab xaus rau hauv lub xyoo pua puv 19. Qhov thib ob lub sij hawm pib nyob rau hauv lub thib ob ib nrab ntawm cov 19th caug xyoo thiab yog tseem mus tsis tu ncua. Philosophers thiab zaum ntawm peb lub sij hawm tsis txhob kawm no ancient science. Nws yuav zoo li uas tag nrho cov ntawm nws txoj kev thiab tej ntsiab cai tau ntev tau kawm los ntawm Aristotle thiab nws cov thwjtim, tab sis txhua txhua xyoo lub logic ntawm science, ib tug teeb meem ntawm logic, raws li zoo raws li nws cov nta ntxiv kom tau explored.

Ib tug ntawm cov yam ntxwv uas niaj hnub logic yog qhov nthuav ntawm cov kev tshawb fawb kawm, uas yog vim tshiab yeej thiab txoj kev xav. Qhov no coj mus rau lub rov tshwm sim ntawm tshiab hom modal logic, raws li logic hloov thiab causal logic. Nws tau raug qhov tseeb hais tias xws qauv no ho sib txawv los ntawm cov neeg twb kawm.

Niaj hnub nimno logic raws li ib tug science yog siv nyob rau hauv ntau qhov chaw ntawm lub neej, xws li engineering thiab cov ntaub ntawv siv tshuab. Piv txwv li, yog hais tias peb xav txog yuav ua li cas lub computer ua hauj lwm thiab koj yuav nrhiav tau tawm yog dab tsi tag nrho cov kev pab cuam rau nws yog nqa tawm los ntawm lub algorithm, uas cas enabled logic. Nyob rau hauv lwm yam lus, peb yuav hais tias ib tug tshawb fawb tau mus txog rau tib theem ntawm txoj kev loj hlob, nyob qhov twg nws ntse tsim thiab nkag tau mus rau lub chaw ua hauj lwm ntawm pab kiag li lawm thiab mechanisms ua hauj lwm rau cov zajlus kom tej ntsiab cai.

Lwm cov piv txwv yog siv logic nyob rau hauv niaj hnub science yog tswj ib qho kev pab nyob rau hauv CNC cov cav tov thiab sib. Muaj kuj nkawd mus yuav ib tug hlau neeg hlau ua ib tug txawj-lub tsev txiav txim. Txawm li cas los, cov piv txwv xwb thawm xyoo qhia peb txoj kev loj hlob ntawm cov niaj hnub logic, vim hais tias qhov no txoj kev xav yuav tsuas muaj ib tug nyob ua, xws li ib tug tib neeg. Ntxiv mus, muaj ntau zaum tseem sib cav txog seb tus tsiaj muaj cov zajlus kom txawj. Tag nrho cov kev tshawb fawb nyob rau hauv cov cheeb tsam no yog txo mus rau lub fact tias cov kev ua ntawm cov tsiaj hauv paus ntsiab lus yog raws li tsuas yog nyob rau lawv instincts. Muab cov ntaub ntawv, cov txheej txheem nws thiab muab ib tug neeg muaj peev xwm ua.

Kev tshawb fawb nyob rau hauv lub teb ntawm science xws li logic, tej zaum yuav tseem mus txuas ntxiv rau ntau txhiab xyoo, vim hais tias cov tib neeg lub hlwb tsis tau kom huv si kawm. Txhua txhua xyoo cov neeg yug los ntau thiab ntau tsim, reflecting ntxiv evolution ntawm tus txiv neej.