Kev txiav txim nyob rau hauv logic. Yuav ua li cas yog qhov kev txiav txim, tej yam kev txiav txim

Qhov kev txiav txim yog ib tug hauv daim ntawv ntawm kev xav, pom zoo los yog tsis kam ua dab tsi txog lub hav zoov ntawm cov khoom, qhov cov kev mus nruab nrab ntawm lawv thiab lawv lub zog, raws li zoo raws li lub kev sib raug zoo ntawm cov khoom.

Piv txwv ntawm cov nqe lus: "Cov Volga ntws mus rau hauv lub Caspian hiav txwv," "AS Pushkin sau tau ib zaj paj huam "Lub Bronze Horseman", "Siberian tsov muaj npe teev nyob rau hauv lub Red Phau Ntawv," etc.

Tus qauv ntawm qhov kev txiav txim

Txiav Txim muaj xws li cov nram qab no hais: cov kev kawm, predicate, thiab ligament quantifier.

1. Subject (lat subjektum -. «Lwm») - hais tias, raws li tau teev nyob rau hauv qhov kev txiav txim, nws kawm ( «S»).
2. Lub predicate (Latin praedicatum -. «Hais Tias") - ib tug rog xav txog ntawm tus kwv lossis, yog dab tsi yog hais tias nyob rau hauv kev kawm ntawm qhov kev txiav txim ( "P").
3. Nras - tus piv ntawm cov kev kawm ( «S») thiab predicate ( "P"). Txiav txim hauv lub xub ntiag / tsis tuaj kawm ntawv ntawm cov kev kawm ntawm ib tug qhia raws li ib tug predicate. Tej zaum nws implies, thiab yog qhia los ntawm ib tug "khiav ceev" los yog cov lus "ib" ( "tsis yog"), "" muaj, "muaj", "tshuaj", thiab lwm tus neeg.
4. Quantifier (quantifier lo lus) tias cov uas muaj lub tswvyim, uas qhov kev kawm ntawm cov kev txiav txim. Nws yog sawv nyob rau hauv pem hauv ntej ntawm cov kev kawm, tab sis nws kuj yuav tsis tuaj kawm ntawv nyob rau hauv kev txiav txim. Denoted los ntawm cov lo lus xws li "tag nrho", "ntau", "ib co", "tsis muaj", "tsis muaj", thiab lwm tus neeg.

Yeej muaj tseeb thiab tsis tseeb nqe lus

Kev Txiav Txim Yog muaj tseeb nyob rau hauv lub rooj plaub uas muaj tej yam hais txog, lub zog thiab kev sib raug zoo ntawm cov khoom tau tso cai / tsis kam muab nyob rau hauv kev txiav txim, muaj tseeb tiag. Piv txwv li: "Tag nrho cov swallows - noog", "9 ntau tshaj 2" thiab thiaj li nyob ..

Hais tias cov lus yog muaj nyob rau hauv qhov kev txiav txim yog tsis muaj tseeb, peb yuav soj ntsuam nrog ib tug cuav taub Tawvv 'lub hnub revolves nyob ib ncig ntawm lub ntiaj teb, "" Ib tug kilo hlau hnyav dua ib tug kilogram ntawm paj rwb "thiab lwm yam txoj cai kev txiav txim yog lub hauv paus ntawm muaj tseeb kev xav ..

Txawm li cas los, nyob rau hauv tas li ntawd mus rau lub ob-muaj nuj nqis logic, nyob rau hauv uas txiav txim yuav tsum yog muaj tseeb los yog cuav, muaj kuj yog ib tug multi-dimensional logic. Raws li nws cov lus, qhov kev txiav txim tej zaum yuav tseem meej txog. Tshwj xeeb tshaj yog nws kev txhawj xeeb hauv lub neej yav tom ntej ntawm ib tug neeg txiav txim, "Tag kis tshwm sim / tsis tshwm sim ib tug tub rog hiav txwv sib ntaus sib tua" (Aristotle, "Nyob rau tus txhais lus los"). Yog hais tias peb hais tsis xav hais tias qhov no yog ib tug yeej muaj tseeb lub taub Tawvv, lub hiav txwv sib ntaus sib tua tag kis yuav tsis tshwm sim. Yog li ntawd, nws yog tsim nyog los kom nws tshwm sim. Los yog vice versa: thov kev pab uas qhov kev txiav txim nyob rau hauv lub tam sim no lub sij hawm ntawd yog cuav, peb li ua qhov tsim nyog impossibility ntawm tag kis tus hiav txwv sib ntaus sib tua.

Kev txiav txim rau lub hom daim ntawv

Raws li yog lub npe hu, lub hom nqe lus yog peb hom lus: declarative, ntxhov siab thiab questioning. Piv txwv li, cov kab lus "kuv nco ntsoov ib tug zoo kawg nkaus lub sij hawm ntawd" yog hais txog lub hom narrative. Nws yog ib advisable mus hais tias xws li ib tug kev txiav txim yuav tau piav. Nws muaj qhia, raws li ib tug kev tshwm sim.

Nyob rau hauv lem, tus interrogative kab lus muaj ib lo lus nug, tau ib lo lus teb rau: "Yuav ua li cas yav tom hauv ntej tuav rau kuv," Nyob rau tib lub sij hawm nws hais tias tsis muaj dab tsi thiab yeej tsis lees. Raws li, qhov hais tias xws li ib tug kev txiav txim yog ib lo lus nug incorrectly. Interrogative kab lus, nyob rau hauv tus, tsis muaj ib yam kev txiav txim vim hais tias cov nqe lus nug tsis tau txawv rau lub hauv paus ntawm qhov tseeb / falsity.

Kub siab hom kab lus yog tsim nyob rau hauv lub rooj plaub uas muaj ib co ua kom muaj siab mus ua hauj lwm, thov kom ib tug txiav npluav: "Sawv, O Yaj Saub, thiab cov vid, thiab mus koom tau." Nrog hais txog qhov kev txiav txim, nyob rau hauv lub tswv yim ntawm ib co kev soj ntsuam, lawv tsis muaj nyob rau hauv lub tswv yim ntawm no hom. Lwm tus ntseeg hais tias nws yog ib tug ntau yam ntawm modal kev txiav txim.

zoo kev txiav txim

Nyob rau hauv cov nqe lus ntawm zoo, kev txiav txim tej zaum yuav yog tib (S yog P), thiab tsis zoo (S yog tsis P). Nyob rau hauv cov ntaub ntawv ntawm lub affirmative kev txiav txim, ntawm kev kawm predicate txuas mus rau ib tug tej yam khoom ntiag tug (-wa). Piv txwv li: "Leonardo da Vinci - Italian neeg pleev kob, kws kes duab vajtse, sculptor, paub txog, naturalist thiab inventor thiab txawj sau ntawv, qhov loj tshaj plaws neeg sawv cev ntawm Renaissance kos duab."

Nyob rau hauv qhov tsis zoo kev txiav txim, rau lwm cov tes, cov cuab yeej yog noj tam sim ntawd los ntawm cov kev kawm: "Theory ntawm lub 25 num ntawm James Vicary muaj tsis muaj kev sim paub."

quantitative characterization

Kev txiav txim nyob rau hauv logic tej zaum yuav ntau (hais txog tag nrho cov khoom ntawm no hauv chav kawm ntawv), lwm (ib txhia ntawm lawv) thiab lub tsev (thaum sib tham txog cov kev kawm, muaj no tsuas muaj ib). Piv txwv li, nws muaj peev xwm yuav sib cav hais tias xws li ib lub taub Tawvv raws li "Thaum hmo ntuj tag nrho cov miv yog grey" yuav xa mus rau cov kev tsos, vim hais tias nws muaj feem xyuam rau tag nrho cov neeg ntawm cov miv (cov kev kawm ntawm qhov kev txiav txim). Pom zoo los ntawm lub "Ib txhia nab yog tsis lom" - ib qho piv txwv ntawm private kev txiav txim. Nyob rau hauv lem, qhov kev txiav txim "Zoo kawg nkaus Dnieper nyob rau hauv twj ywm huab cua" yog ib chav tsev, txij li thaum peb tham txog ib tug dej, uas twb muaj lawm nyob rau hauv ib daim ntawv.

Tej yam yooj yim thiab complex kev txiav txim

Nyob rau cov qauv, kev txiav txim tej zaum yuav ib yam ntawm tej yam yooj yim los yog txoj. Qauv yooj yim kev txiav txim muaj ob interconnected tswv yim (SP): «Phau Ntawv - ib qhov chaw ntawm kev txawj ntse". Tseem muaj kev txiav txim nrog ib tug tswvyim - thaum twg ob tsuas meant: "Nws twb tau tsaus ntuj nti» (P).

Nyuab daim ntawv no yog tsim los ntawm koom ob peb yam yooj yim kev txiav txim.

Ib suam ntawm tej yam yooj yim kev txiav txim

Tej yam yooj yim kev txiav txim nyob rau hauv logic tej zaum yuav raws li nram no cov ntaub ntawv: attributive, txiav txim rau kev sib raug zoo, existential, modal.

Tus Cwj Pwm (vaj tse-txiav txim) xa mus rau kev pom zoo / tsis kam muab cov kev kawm ntawm tej yam zog (cwj pwm) kev ua ub no. Cov kev txiav txim yog categorical daim ntawv thiab tsis hais lus, "lub mammalian lub paj hlwb muaj lub hlwb ntawm lub paj hlwb, cov leeg nrob qaum thiab ntsaws paj txoj."

Nyob rau hauv kev txiav txim nrog rau kev hwm ntawm cov kev sib raug zoo ntawm cov khoom. Tej zaum lawv yuav muaj ib tug spatio-sab nqaij daim tawv lub ntsiab lus teb, causal, thiab lwm yam piv txwv li no :. "Laus phooj ywg zoo tshaj ob tug tshiab", "Hydrogen lighter carbon dioxide los ntawm 22 lub sij hawm."

Existential kev txiav txim - qhov no assertion ntawm lub hav zoov / nonexistence ntawm cov kev kawm (ob cov ntaub ntawv thiab zoo tagnrho): "Yog tsis muaj yaj saub nyob rau hauv nws tus kheej lub teb chaws", "Lub hli yog ib tug satellite ntawm lub ntiaj teb."

Modal taub Tawvv - ib daim ntawv ntawm kev pom zoo, uas muaj lub xub ntiag ntawm tej yam modal neeg teb xov tooj (yuav tsum tau zoo / phem, muaj pov thawj lub npe hu / tsis paub hais tias, nws yog txwv tsis pub, kuv ntseeg hais tias, thiab lwm tus neeg.). Piv txwv li:

• "Russia xav tau kev pab rau kev kawm kho kom zoo" (alethic modality - tau, yuav tsum muaj cov ib yam dab tsi).
• "Txhua leej txhua tus muaj txoj cai rau kev ruaj ntseg ntawm tus neeg" (deontic modality - tus cuj pwm kev cai ntawm kev sib raug coj).
• "Tsis Saib Xyuas ntawm lub xeev tej khoom vaj tse ua rau nws poob" (axiologic modality - feem xyuam rau cov khoom thiab kev coj tsis ncaj qhov tseem ceeb).
• "Peb ntseeg tias nyob rau hauv koj innocence" (epistemic modality - lub ntseeg ntawm kev txawj ntse).

Complex kev txiav txim thiab lub hom ntawm cov zajlus kom connectives

Raws li twb tau hais, lub complex kev txiav txim muaj ib tug ob peb yam yooj yim. Raws li cov zajlus kom sib txuas ntawm lawv muaj xws li txoj kev raws li:

• Tau (a ʌ b - txuas kev txiav txim). Kev txiav txim-conjuncts muaj ib Rev ntawm "thiab", "ua raws li cov cai thiab kev ywj siab ntawm tus txiv neej thiab kev ua neeg yuav tsum tsis txhob ua txhaum txoj cai thiab kev ywj siab ntawm lwm tus neeg."
• Disjunction (avb - faib kev txiav txim). Raws li cov constituent ntsiab ntawm qhov kev txiav txim-clauses yog siv raws li ib tug phau ntawv - tau "los yog". Piv txwv li: "Lub foob muaj txoj cai mus nce los yog yuav txo tau qhov luaj li cas hauv daim ntawv foob."
• Lub implication (a → b - txiav txim nyhuv). Yog hais tias tso tseg nyob rau hauv cov qauv nyuab kev txiav txim thiab thiaj li, nws yuav tsum sib cav hais tias xws li ib tug kev txiav txim hais txog implicative. Raws li cov phau ntawv siv nyob rau hauv daim ntawv ntawm cov koom haum ua teb xws li "yog hais tias ... ces". Piv txwv li: "Yog hais tias los ntawm tus neeg xyuas pib nco lub fais tam sim no, cov hlau heats li," "Koj puas xav muaj kev zoo siab - muaj kev zoo siab."
• Equivalence (a ≡ b - zoo tib yam kev txiav txim). Nws yuav siv sij hawm qhov chaw nyob rau hauv lub rooj plaub uas lub qhov tseem ceeb ntawm ib tug thiab b yog cov tib yam (los yog ob qho tib si muaj tseeb los yog ob qho tib si muaj tseeb): "Tus txiv neej yog tsim kev zoo siab, zoo li ib tug noog ya."
• Negation (¬a, ib tug - txiav txim inversion). Txhua qhov chaw yog txuam nrog rau cov nqe lus compound daim ntawv uas tsis tseem cia nrog. Los ntawm kev siv "tsis" Rev. Raws li, yog hais tias tus thawj nqe lus raws li nram no: "Tus heev nyuj reacts mus rau ib tug lub teeb liab," (a) - tsis kam yuav sound xws li: "Lub nyuj tsis teb rau lub teeb liab" (¬A).