Frege daim duab peb sab: lub tswv yim, cov qauv kev xav, semiotics thiab logic

Cov txheej txheem:

Frege daim duab peb sab: lub tswv yim, cov qauv kev xav, semiotics thiab logic
Frege daim duab peb sab: lub tswv yim, cov qauv kev xav, semiotics thiab logic

Video: Frege daim duab peb sab: lub tswv yim, cov qauv kev xav, semiotics thiab logic

Video: Frege daim duab peb sab: lub tswv yim, cov qauv kev xav, semiotics thiab logic
Video: Saib Mis paub Poj niam (hluas nkauj) tus yam ntxwv lub siab 2024, Hlis ntuj nqeg
Anonim

Semiotics yog dab tsi? Frege's Daim duab peb sab yog dab tsi? Lub ntsiab lus, kos npe thiab lub ntsiab lus yuav raug txiav txim siab nyob rau hauv lub moj khaum ntawm tsab xov xwm. Kom nkag siab txog lub tswv yim, nws tsis txaus los nyeem lub ntsiab lus ntawm lo lus. Koj yuav tsum nkag siab tias tus tsim lub tswv yim tau ua dab tsi.

Leej twg yog tus tswv sau ntawv?

Gottlob Frege
Gottlob Frege

Lub tswv yim hu ua Frege's daim duab peb sab belongs rau tus kws lej German uas tau kawm txog kev xav thiab kev xav. Nws lub npe yog Friedrich Ludwig Gottlob Frege. Tus txiv neej no nyob thiab ua haujlwm ntawm 19th thiab 20th centuries.

Ib tug kws tshawb fawb yug hauv tsev neeg ntawm tus kws qhia ntawv. Frege tau kawm hauv University of Jena, thiab tiv thaiv nws txoj kev kawm hauv Göttingen. Tom qab nws tiv thaiv, nws rov qab mus rau Jena, qhov chaw uas nws sai sai tau txais txoj hauj lwm ntawm Privatdozent ntawm ib lub department ntawm lub tsev kawm ntawv hauv zos.

Qhov tseem ceeb ntawm tus kws tshawb fawb txoj haujlwm no yog dab tsi?

Frege daim duab peb sab yog deb ntawm tib lub tswv yim ntawm German logician thiab lej uas yog qhov tseem ceeb rau kev txhim kho kev xav ntawm kev xav. Txawm li cas los xij, kev lees paubtau txais los ntawm kev txhim kho thiab nrov ntawm lawv cov tub ntxhais kawm thiab cov neeg ua raws. Ib tug ntawm lawv yog Rudolf Karnal, uas tau ua ntau yam los txhim kho lub tswv yim thiab cov tswv yim ntawm kev xav zoo.

Qhov tseem ceeb ntawm Frege cov haujlwm yog tias hauv lawv cov kws tshawb fawb tau hloov kho ntau txoj cai lej, nce lawv los ntawm txoj haujlwm tshiab. Nws txoj hauj lwm Begriffsschrift, uas txhais tau hais tias "calculus ntawm lub tswv yim" nyob rau hauv Lavxias teb sab, uas tau luam tawm nyob rau hauv 1879, xyaum tau los ua qhov pib ntawm ib tug tshiab era nyob rau hauv lub keeb kwm ntawm kev loj hlob ntawm logic.

Tsis tas li ntawd, nws yog tus kws tshawb fawb thawj zaug tau muab cov ntsiab lus txhais xws li "lub ntsiab lus", "lub ntsiab lus" thiab piav qhia qhov txawv ntawm lawv. Qhov no yog qhov paub hauv lub ntiaj teb niaj hnub no li Frege's semantic daim duab peb sab.

Qhov no yog dab tsi?

Hlub daim duab peb sab
Hlub daim duab peb sab

Nws hu ua txawv - tswvyim, kev xav, tswv yim, lub sij hawm. Frege daim duab peb sab yog ib lub tswv yim, lub cim duab, lub ntsiab lus, kev taw qhia, thiab txawm yog ib tug scientific qauv tib lub sij hawm.

Qhov no yog qhov kev tsim kho uas piav qhia qhov sib txawv ntawm lub ntsiab lus thiab lub ntsiab lus ntawm txhua lub tswv yim. Nrog kev pab los ntawm "daim duab" no koj tuaj yeem xav txog txhua yam kev kawm. Cov qauv no kuj siv tau rau kev kos duab, kev tshawb fawb, cov ntaub ntawv qhia, hom lus thiab lwm yam.

Lub ntsiab lus ntawm lub tswv yim thiab nws cov duab kos duab

Logic ntawm daim duab peb sab Frege - nyob rau hauv kev sib nrig sib txuas ntawm peb lub ntsiab Cheebtsam, hu ua:

  • value;
  • meaning;
  • sign.

Peb lub ntsiab lus no yog cov vertices ntawm daim duab, thiab cov kab txuas lawv qhia kev sib nrig sib cuam tshuam ntawm ib qho ntawmlwm yam.

lub npe vertex txhais li cas?

nyiaj daim duab peb sab
nyiaj daim duab peb sab

Daim duab peb sab Frege, nws cov semiotics yog inextricably txuas nrog nws cov ntsiab lus tseem ceeb, yog cov qauv thoob ntiaj teb ntawm qhov tsis tu ncua siv tau rau txhua qhov chaw. Tau kawg, nyob ntawm seb qhov twg, qhov tseem ceeb ntawm qhov txhais tau li cas los ntawm cov npe ntawm cov vertices ntawm cov duab kos duab hloov pauv.

Lub ntsiab lus yog ib cheeb tsam tshwj xeeb cuam tshuam nrog lub npe ntawm cov ntsiab lus. Cov khoom hauv nqe lus nug nws tus kheej yog kos npe lossis lub npe. Lo lus "lub npe" feem ntau siv rau hauv kev tsom xam ntawm "Frege daim duab peb sab" ntawm tib neeg cov dej num hauv kev tshawb fawb, kos duab lossis lwm qhov chaw. Nws kuj yog siv los xav txog qhov hu ua "animate phenomena".

Lub ntsiab lus yog ib qho tshwj xeeb, tshwj xeeb, cais tawm hauv cheeb tsam raws li kev txiav txim siab, cuam tshuam ncaj qha rau qhov kev tshuaj xyuas.

Dab tsi yog qhov tseem ceeb ntawm kev tshawb fawb ntawm cov qauv no?

Daim duab peb sab nrog voj voog vertices
Daim duab peb sab nrog voj voog vertices

Frege's Logical Triangle yog qhov kev tshawb pom kev hloov pauv uas tseem tsis tau muaj txiaj ntsig zoo thiab muaj peev xwm tsis muaj kev txwv.

Qhov kev muab los ntawm qhov tsis tu ncua no ua rau nws ua tau los sib txuas cov kev cai lej, kev xav thiab kev tsim kom muaj kev sib cav thiab ua rau lawv txoj kev siv tau zoo hauv txhua qhov chaw ntawm lub neej.

Ntxiv mus, qhov kev tshawb pom no tau tsim los ntawm ntau cov ntaub ntawv tshawb fawb, cov npe nrov tshaj plaws yog:

  • tsis tiav theorems los ntawm Kurt Friedrich Gödel;
  • theoryCov lus piav qhia ntawm Bertrand Arthur William Russell.

Incompleteness theorems ua rau nkag siab txog lej logic, thaum suav Russell txoj haujlwm cuam tshuam nrog cov lus nug txog kev xav.

Semiotics yog dab tsi?

lo lus no feem ntau siv rau hauv cov ntsiab lus dav dav thaum nws los txog rau Frege daim duab peb sab. Luv luv, lub tswv yim ntawm "semiotics" yog qhov nyuaj rau nthuav tawm, vim nws yog qhov muaj txiaj ntsig thiab muaj txiaj ntsig ntau.

Raws li tib neeg hais, nyob rau hauv lub ntsiab lus, lub sij hawm yuav piav raws li nram no. Semiotics yog qhov kev xav dav dav ntawm kev sib raug zoo ntawm cov ntsiab lus tseem ceeb hauv kev kos npe. Nws yog nrog nws cov kev pab uas Frege daim duab peb sab ua ib tug universal formula siv tau rau txhua qhov chaw ntawm tib neeg lub neej los yog lwm qhov chaw.

Kev sib raug zoo ntawm lub ntsiab yog dab tsi?

Daim duab peb sab sau nyob rau hauv ib puag ncig
Daim duab peb sab sau nyob rau hauv ib puag ncig

Raws li txoj cai, kev sib raug zoo ntawm cov vertices ntawm daim duab peb sab los yog lub ntsiab ntawm cov qauv no yog raws li nram no:

  • kev sib txheeb ntawm qhov kos npe rau thaj chaw raws li kev txiav txim siab, kev xaiv ntawm lub moj khaum ntawm kev tsom xam;
  • kev cuam tshuam ntawm tib lub cim ntawm lub tswvyim ntawm nws, lub ntsiab lus.

Qhov ntawd yog, txhua qhov kev sib raug zoo yog raws li kos npe lossis lub npe. Qhov vertex ntawm daim duab peb sab no yog qhov pib, qhov pib rau tag nrho lwm cov kev cai, kev txiav txim siab, cov laj thawj circuits thiab ntau dua.

Hauv lwm lo lus, qhov muaj nyob ntawm tus qauv nws tus kheej yog ua tsis tau yam tsis muaj lub cim, lub cim no yog thawj. Txawm li cas los xij, qhov seem ntawm cov vertices muaj lawv tus kheej cuam tshuam rau nws.

Qhov no, qhia txog kev sib cuam tshuam ntawm txhua tuspeb lub ntsiab tseem ceeb, tuaj yeem pom nyob rau hauv kev siv cov npe pseudonym los ntawm tib neeg. Wb hais tias lub npe Mark Twain raug coj los ua ib qho kos npe hauv cov qauv. Ntawm chav kawm, cov ntaub ntawv yuav ua raws li lub ntsiab lus, uas yog, thaj chaw cuam tshuam lossis cuam tshuam nrog lub cim. Lub ntsiab lus yuav txhais tau tias ib yam dab tsi cuam tshuam nrog tus kws sau ntawv txoj kev pab rau nws, lub ntsiab lus ntawm nws tej hauj lwm. Txawm li cas los xij, yog tias lub npe Samuel Langhorne Clemens raug coj los ua ib qho kos npe, ces yuav tsis muaj kev nkag siab nrog kev sau ntawv. Yog li ntawd, lub ntsiab lus ntawm "lub ntsiab lus" thiab "lub ntsiab lus" yuav txawv. Txawm hais tias Clemens thiab Twain yog tib tus neeg.

Qhov no feem ntau hu ua "cov ntaub ntawv tshwj xeeb". Semiotics yog siv los tshem tawm qhov yuam kev hauv daim ntawv thov ntawm Frege's formula vim qhov xwm txheej zoo li no.

Kev sib raug zoo ntawm cov ntsiab lus tseem ceeb yog dab tsi?

Daim duab peb sab highlighted xiav
Daim duab peb sab highlighted xiav

Txhua ntawm peb lub ntsiab, cov ntsiab lus tseem ceeb lossis vertices hauv daim duab peb sab no yog ob qho tib si lub tswv yim ywj pheej uas cuam tshuam rau lwm yam, thiab tuaj yeem ua tus neeg nruab nrab ntawm nws cov neeg nyob ze.

Qhov no txhais tau hais tias txhua lub ntsiab lus tseem ceeb kom ntseeg tau tias tsis yog lawv tus kheej xwb, tab sis kuj rau lwm tus. Hauv lwm lo lus, tsis muaj qhov tshwm sim raug txiav txim siab yam tsis muaj ntsiab lus, thiab nws, dhau los, cuam tshuam rau kev nkag siab ntawm qhov ua rau nws tshwm sim.

Ib qho piv txwv ntawm qhov no yuav yog hnub ntshiab, ib qho tshwm sim los ntawm lub hnub ua haujlwm. Txawm li cas los xij, nws yuav tsis tuaj yeem nyob hauv ib thaj chaw ntawm lub ntiaj teb yam tsis muajKev sib hloov ntawm lub ntiaj teb nyob ib ncig ntawm nws axis.

Ntau kom meej meej thiab yooj yim, cov kev sib raug zoo ntawm cov ntsiab lus tseem ceeb, cov vertices ntawm daim duab peb sab, saib hauv lub neej zoo tib yam. Piv txwv li, kev lag luam. Rau txhua tus, kev sib raug zoo thiab kev sib koom ua ke ntawm cov ntsiab lus xws li "xav tau", "siv", "lub cib fim" yog qhov pom tseeb. Thiab lawv kuj ua raws li cov kev cai lij choj uas tau lees paub los ntawm German logistician, kws tshawb fawb thiab lej.

Daim duab peb sab qhia txog lub hom phiaj muaj tseeb lossis tsis?

Kev siv tswv yim ntawm Frege daim duab peb sab
Kev siv tswv yim ntawm Frege daim duab peb sab

Cov lus nug no tau muaj kev sib cav sib ceg hauv kev tshawb fawb ntau tshaj kaum xyoo. Tseeb tiag, ntawm ib sab, Frege daim duab peb sab yog ib qho qauv lej raws li cov cai yooj yim, muaj laj thawj thiab tag nrho cov hom phiaj txoj cai. Ntawm qhov tod tes, nws muaj ntau yam sib txawv, nuances uas cuam tshuam rau cov txiaj ntsig thiab cov ntsiab lus nws tus kheej. Thiab tag nrho cov logical chains uas tsim kev sib raug zoo tsis yog ib yam dab tsi uas yuav ntsuas los yog kov. Lawv tsim nyob rau hauv kev nco qab, uas yog, lawv yog cov txiv hmab txiv ntoo ntawm kev ua hauj lwm ntawm lub hlwb, kev puas siab puas ntsws kev ua si. Yog li ntawd, cov qauv no tsis muaj dab tsi ua nrog lub hom phiaj kev muaj tiag.

Txawm li cas los xij, txhua yam tsis yooj yim li nws zoo li thaum xub thawj siab ib muag. Yam khoom, tshwm sim, yam khoom lossis lwm yam raug txiav txim siab, txheeb xyuas raws li daim duab peb sab, yog qhov sib txawv ntawm lub hom phiaj uas muaj nyob hauv qhov tseeb. Tab sis ib tug neeg to taub qhov tseeb. Ntawd yog, nws tshuaj xyuas thiab tshuaj xyuas ib yam khoom los ntawm nws tus kheej lub tswv yim ntawm nws, kev xaav. Qhov no, nyob rau hauv lem, yog raws li kev paub uas twb muaj lawm. Logical inferences tsis tsimtsuas yog los ntawm cov ntaub ntawv hais txog qhov tshwm sim uas tau txheeb xyuas, tab sis kuj suav nrog kev paub txog lub neej, kev coj noj coj ua thiab txawm tias lub hlwb.

Qhov no txhais tau hais tias hais txog tib yam tshwm sim, piv txwv li, cua daj cua dub, cov neeg sib txawv yuav txiav txim siab sib txawv, muaj cov ntaub ntawv pib zoo sib xws. Lawv yuav tsim ntau yam kev xav hauv lub siab. Qhov ntawd yog, kev nkag siab ntawm lub ntsiab lus ntawm tej yam tshwm sim xws li cua daj cua dub yuav txawv rau ib tug neeg nyob rau hauv lub Hnub Nyoog Pob Zeb, nyob rau hauv biblical times thiab niaj hnub no.

Qhov no yog qhov tsis sib xws ntawm Frege daim duab peb sab. Qhov kev siv ntawm cov qauv no hauv ntau yam xwm txheej invariably ua rau cov txiaj ntsig tshwj xeeb. Ntxiv mus, lawv yeej ib txwm muaj tseeb rau cov xwm txheej raws li cov qauv siv.

Qhov no yog tus nqi tseem ceeb, uas yog qhov tsis tu ncua hu ua Frege daim duab peb sab. Nws tuaj yeem siv tau rau hauv kev xyaum hauv txhua qhov xwm txheej, tsis hais tus yam ntxwv ntawm kev sib raug zoo lossis theem kev loj hlob ntawm tib neeg.

Pom zoo: