Txiav Txim - yog ib tug ntawm lub ntsiab ntaub ntawv ntawm kev xav tus txiv neej, uas yog ib qho tseem ceeb heev ib feem ntawm tag nrho cov kev txawj ntse. Tshwj xeeb tshaj yog yog hais tias tus txheej txheem yog txuam nrog reflections, cov lus xaus thiab pov thawj lub tsev. Nyob rau hauv lub logic ntawm qhov kev txiav txim thiab txhais tau lo lus "daim ntawv".

Txiav Txim raws li ib tug lub tswv yim

Nrog tsuas yog ib co tswv yim thiab tswv yim tsis tau kev twb kev txuas los yog kev sib txuas lus, cov neeg yuav tuaj mus rau paub dab tsi? Cov lus teb yog yooj yim: tsis muaj. Paub yog tau xwb nyob rau hauv tus neeg mob thaum nws muaj ua li cas nrog qhov tseeb los yog falsity. Ib lo lus nug ntawm qhov tseeb thiab falsehood tshwm sim yog hais tias muaj tej yam kev twb kev txuas ntawm lub tswv yim. Lub union nruab nrab ntawm lawv yog tsim tsuas yog nyob rau lub sij hawm ntawm kev txiav txim nyob rau hauv dab tsi. Piv txwv li, hais tias lo lus "miv", uas tsis muaj ib qho tseeb los yog falsity, peb yog referring tsuas mus rau lub tswvyim. Cov ntaub ntawv "tus miv muaj plaub ceg" - qhov no yog ib daim ntawv qhia uas yog tog twg los muaj tseeb los yog tsis thiab muaj affirmative los yog tsis zoo kev ntsuam xyuas. Piv txwv li: "Tag nrho cov ntoo yog ntsuab"; "Ib txhia noog tsis ya"; "Tsis muaj ib tug ntses taub ntswg ntev - tsis yog ib tug ntses"; "Ib txhia nroj tsuag yog tsis siav."

Lub tsev txiav txim tsim ib tug lub moj khaum uas yog suav tias yog siv tau. Qhov no tso cai rau koj tsiv mus nyob contemplation ntawm qhov tseeb. Txiav Txim tso cai muaj kev cuam tshuam cov kev sib raug zoo ntawm cov txheej xwm thiab tej khoom lossis cov ntawm zog thiab cov yam ntxwv. Piv txwv li: "Dej expands thaum nws freezes," - ib tug kab lus qhia lub kev sib raug zoo ntawm teeb meem thiab kub ntim. Qhov no ua rau nws tau mus nrhiav kom tau tus piv ntawm txawv tswv yim. Kev txiav txim muaj xws li kev pom zoo los yog tsis kam muab cov kev twb kev txuas ntawm cov txheej xwm, tej khoom, phenomena. Piv txwv li, thaum lawv hais tias: "Lub tsheb mus raws lub tsev" - lawv txhais li cas ib tug tej yam ntsig txog kev sib raug zoo ntawm ob yam khoom (tsheb thiab lub tsev).

Txiav Txim - nws yog xav-daim ntawv muaj ib tug pom zoo los yog tsis kam muab cov hav zoov ntawm cov khoom (tswv yim), raws li zoo raws li lub kev sib raug zoo ntawm cov khoom los yog cov tswv yim, tej khoom thiab lawv tej cwj pwm.

Kwm daim ntawv txiav txim

Raws li zoo raws li lub tswvyim tsis muaj nyob sab nraum ntawm cov lo lus los yog tej nqe lus, los yog cov nqe lus yog tsis tau proposals. Nyob rau tib lub sij hawm, tsis yog txhua kab lus yog ib tug txiav txim. Tej daim ntawv qhia nyob rau hauv cov lus raws li qhia nyob rau hauv narrative daim ntawv no, kev coj tus kheej ib cov lus hais txog dab tsi. Thov uas tsis muaj lub tsis kam muab los yog pom zoo (lo lus nug thiab ua kom muaj siab), uas yog, cov neeg uas tsis tau piav raws li muaj tseeb los yog cuav, yog tsis txiav txim. Nqe lus piav txog yav tom ntej cov txheej xwm, thiab tsis tau soj ntsuam raws li nqa ib cov lus dag los yog qhov tseeb.

Thiab tsis tau muaj proposals uas tus duab zoo li ib lo lus nug los yog exclamation. Tab sis lawv hais los yog tsis muab lub ntsiab lus. Lawv hu ua nws cov. Piv txwv li: "Yuav ua li cas Lavxias teb sab tsis nyiam tsav tsheb ceev?" - ib tug rhetorical interrogative kab lus, uas yog raws li nyob rau hauv ib lub tswv yim. Qhov kev txiav txim nyob rau hauv cov ntaub ntawv no muaj ib daim ntawv qhia tias tej yam Lavxias teb sab hlub tsav ceev ceev. Tib yam siv rau lub exclamatory kab lus: "Sim nrhiav daus nyob rau hauv Lub rau hli ntuj" Nyob rau hauv cov ntaub ntawv no, pom zoo los ntawm lub tswv yim ntawm cov impossibility ntawm cov kev npaj kev txiav txim. Qhov no tsim yog tseem hais tias. Ib yam li ntawd proposals kev txiav txim yuav ua tau yooj yim los yog txoj.

Tus qauv ntawm qhov kev txiav txim

Ib tug yooj yim daim ntawv qhia tsis muaj ib yam ib feem, uas yuav tsum tau cais. Nws yog ib feem ntawm ib tug txawm ntau yooj yim ntxwv Cheebtsam hu ua lub tswv yim. Ntawm tus taw tes ntawm view ntawm lub semantic units ntawm tej yam yooj yim kev txiav txim yog ib tug nyias muaj nyias ib lub caij muaj tus nqi ntawm qhov tseeb.

Hais tias txuas tus kwv thiab nws cov kos npe rau, nws muaj ib tug thawj thiab ib tug thib ob lub sij hawm. Tswv yim ntawm no hom xws li:

• Cov lo lus uas qhia cov kev kawm ntawm kev txiav txim - yog qhov kev kawm ntawm denoting lub Latin tsab ntawv S.
• Predicate - reflecting khoom feature yog denoted los ntawm tsab ntawv P.
• Rev - lo lus, tsim los muab cov ob lub tswv yim ua ke ( "yog", "yog", "yog tsis" tsis yog "). Nyob rau hauv Lavxias teb sab, koj yuav tau siv tus khiav ceev.

  "Cov tsiaj - txhom" - ib tug yooj yim lub taub Tawvv.

hom ntawm kev txiav txim

Tej yam yooj yim cov nqe lus yog txwv kom muab zais raws li:

• zoo;
• npaum li cas (los ntawm lub ntim ntawm cov kev kawm);
• cov ntsiab lus ntawm cov predicate;
• modality.

Txiav txim rau lub zoo

Ib tug ntawm lub ntsiab tseem ceeb cov yam ntxwv yog qhov zoo tshaj logic. Lub essence ntawm cov ntaub ntawv no yog manifested nyob rau hauv lub peev xwm mus nrhiav tau tus tsis tuaj kawm ntawv los yog muaj cov kev sib raug zoo ntawm cov ntsiab lus.

Nyob ntawm seb qhov zoo tshaj ntawm xws ligaments ob hom ntawm kev txiav txim:

• Affirmative. Nws qhia lub hav zoov ntawm ib co kev twb kev txuas ntawm kev kawm thiab predicate. Cov kev mis ntawm xws li ib tug daim ntawv muaj rau hauv daim: «S yog P". Piv txwv li: "Tshav yog ib lub hnub qub."
• Tsis zoo. Raws li, nws qhia hauv lub qhaj ntawv ntawm tej kev twb kev txuas ntawm cov tswv yim (S thiab P). Formula tsis zoo kev txiav txim - nws yog «S yog tsis P". Piv txwv li: "Cov noog no yog tsis tsiaj."

Xws li ib tug faib theej arbitrary, txij li thaum tej nqe lus nyob rau hauv thaum daim ntawv muaj cov tsis kam muab. Thiab vice versa. Piv txwv li, cov kab lus "ib lub hiav txwv" txhais tau tias cov kev kawm - tsis yog ib tug dej, tsis yog ib tug pas dej, thiab hais txog. Thiab yog hais tias "nws tsis yog lub hiav txwv," hais tias, raws li, ib yam dab tsi lwm tus tej zaum yuav muaj dej hiav txwv los yog bay. Yog vim li cas ib tug daim ntawv qhia yuav qhia nyob rau hauv daim ntawv ntawm ib tug, thiab raws li ib tug muab ob npaug rau negative daim ntawv qhia.

Hom affirmative kev txiav txim

Yog hais tias lub particle "tsis muaj" yuav tsum tsis txhob nyob rau hauv pem hauv ntej ntawm ib tug Rev, thiab yog ib feem ntawm lub predicate, xws nqe lus xa mus rau nyob rau hauv lub affirmative: "Qhov kev txiav txim yog tsis ncaj ncees lawm." Ob tug ntau ntau yam:

• zoo zog thaum "lub S yog P", "aub tsev."
• tsis zoo tus cwj pwm thaum «S yog tsis-R", "Kua zaub stale."

Hom tsis zoo kev txiav txim

Ib yam li ntawd, ntawm cov tsis zoo nqe lus yog distinguished:

• zoo predicate mis «S yog tsis R" 'Olga noj ib Kua ";
• tsis zoo predicate mis «S tsis yog ib tug tsis-R" 'Olga yuav tsis mus. "

Qhov tseem ceeb ntawm tsis zoo kev txiav txim cov lus dag nyob rau hauv lawv cov kev koom tes mus cuag qhov tseeb. Lawv muaj kev cuam tshuam lub hom phiaj tsis tuaj kawm ntawv ntawm ib yam dab tsi los ntawm ib yam dab tsi. Tsis muaj zem lawv hais tias ib tug tsis zoo tshwm sim kuj yog ib tug tshwm sim. Lub tsev lag luam ntawm dab tsi yog tsis yog ib tug tshaj plaws, thiab yog dab tsi zoo tsis muaj, tseem ceeb heev nyob rau hauv tus txheej txheem ntawm thiaj.

Txiav Txim rau tus xov tooj ntawm

Lwm cov yam ntxwv raws li nyob rau hauv txoj kev paub ntawm cov zajlus kom volume ntawm cov kev kawm yog cov nyiaj. Cov nram qab no:

• Ib zaug xwb, muaj cov lus qhia txog ib zaug xwb kev kawm. Formula: «S yog (yog tsis) R '.
• Private - cov neeg uas muaj ib tug txiav txim nyob rau ib feem ntawm cov kev kawm ntawm ib tug nyias muaj nyias ib chav kawm ntawv. Nyob ntawm seb qhov tseeb ntawm qhov no yog distinguished: tej yam ( "Tsuas yog ib co S yog (yog tsis) P") thiab indefinite ( "Ib txhia S yog (yog tsis) P").
• General muaj lus sib liam los yog tsis kam muab ntawm txhua daim ntawm no hauv chav kawm ntawv ( "Tag nrho S yog P" los yog "Tsis muaj S yog tsis P").

United kev txiav txim

Muaj ntau nqe lus muaj ob qhov zoo thiab ntau yam ntxwv. Rau lawv, thov unified cais. Qhov no yuav qhia plaub hom kev txiav txim:

• Universal affirmative: "Tag nrho cov S yog P".
• Universal tsis zoo: "Tsis muaj S yog tsis P".
• Mus rau feem ntau "Ib txhia S yog P".
• Chastnootritsatelnoe "Ib txhia S yog tsis P".

Hom kev txiav txim nyob rau hauv cov ntsiab lus ntawm cov predicate

Nyob rau hauv lub semantic nqi ntawm cov predicate yog raug rho tawm lus hais:

• vaj tse, los yog attribute;
• cwj pwm, los yog-tus txheeb ze;
• hav zoov los yog existential.

Tej yam yooj yim kev txiav txim pom ib tug ncaj qha kev txuas ntawm cov khoom uas yog kev xav, tsis hais nws cov ntsiab lus, hu ua attributive, los yog categorical. Piv txwv li: "Tsis muaj leej twg muaj cai mus noj lub neej ntawm lwm tus." Lub logic Circuit Court attributive qhia: «S yog (los yog tsis) R" (kev kawm, ligament, predicate, ntsig txog).

Relativity ntawm kev txiav txim - ib daim ntawv qhia nyob rau hauv uas lub predicate qhia hauv lub xub ntiag los yog tsis tuaj kawm ntawv ntawm kev mus (kev sib raug zoo) ntawm ob tug los yog ntau yam khoom nyob rau hauv ntau pawg (lub sij hawm, qhov chaw, causal kev sib raug zoo). Piv txwv li: "Peter tuaj ua ntej Vasya."

Yog hais tias lub predicate qhia hauv lub qhaj ntawv los yog muaj cov kev sib raug ntawm cov khoom, los yog tus kwv uas yog kev xav, xws li ib tug daim ntawv no yog hu ua existential. Ntawm no, cov predicate qhia los ntawm cov lus: "Yes / No", "yog / tsis yog" "nyob ua ib ke / tsis muaj", thiab hais txog. Piv txwv li: "Tsis muaj pa luam yeeb tsis muaj hluav taws."

Lub modality ntawm kev txiav txim

Nyob rau hauv tas li ntawd rau tag nrho cov, cov nqe lus tej zaum yuav muaj ntxiv lub ntsiab lus. Nrog rau cov lus "tej zaum yuav", "negligible", "tseem ceeb heev" thiab lwm tus, raws li zoo raws li cov coj negatives "yog tsis tau tso cai", "tsis yooj yim sua", thiab lwm yam nqe lus qhia los ntawm modality.

Muaj ib co hom modalities:

• Alethic (tseeb) modality. Nws qhia txoj kev sib raug ntawm cov khoom ntawm kev xav. Modal lus "tau", "ntawd", "tsim nyog" thiab lawv txhais.
• Deontic (normative) modality. Nws yog hais txog mus rau lub kev cai coj. Lo lus "txwv tsis pub", "yuav tsum", "pub", "pub", thiab hais txog.
• Epistemic (kev txawj ntse) modality qhia txog cov degree ntawm kev ntseeg ( "muaj pov thawj", "refuted", "doubtful" thiab lawv analogues).
• Axiological (ntawm qhov tseem ceeb) modality. Nws qhia tus cwj pwm ntawm ib tug neeg mus rau ib qhov tseem ceeb. Modal lus "phem", "tsis muaj ab tsi", "Tsis tshua muaj", "zoo."

Qhia nrog cov ntsiab lus ntawm cov nqe lus los ntawm kev pom zoo los modality yog feem ntau yog txuam nrog lub siab lub ntsws lub xeev yog txhais raws li ib tug nqi txiav txim. Piv txwv li: "Tu siab, lub nag." Nyob rau hauv cov ntaub ntawv no nws qhia cov subjective cwj pwm ntawm cov neeg hais lus rau lub fact tias cov nag.

Tus qauv ntawm lub complex cov nqe lus

Complex kev txiav txim muaj tej yam yooj yim, sib thooj, los ntawm cov zajlus kom conjunctions. Cov bundles yog siv raws li ib tug txuas uas yuav muab nrog txhua lwm yam muaj. Nyob rau hauv tas li ntawd mus rau lub zajlus kom thauj tog rau nkoj, uas nyob rau hauv Lavxias teb sab lus yuav siv sij hawm rau hauv daim ntawv ntawm alliances, tseem nyob rau hauv kev siv quantifiers. Lawv tuaj nyob rau hauv ob hom:

• Quantifier - nws yog ib lo lus "tag nrho", "txhua txhua", "tsis muaj", "txhua txhua" thiab thiaj on. Thov nyob rau hauv cov ntaub ntawv no raws li nram no: "Tag nrho cov khoom muaj ib tug tej yam khoom ntiag tug".
• Existential quantifier - nws yog ib lo lus "ib co", "ntau", "ib me ntsis", "feem ntau", thiab hais txog. Cov mis ntawm ib tug complex kab lus nyob rau hauv cov ntaub ntawv no: "Muaj ob peb yam khoom uas muaj tej yam khoom."

Piv txwv ntawm complex kev txiav txim: "Thaum ub nyob rau hauv lub yav sawv ntxov ib tug lau qaib txawm qua, nws woke kuv li, ces kuv ho pw tsis tsaug zog zoo."

Muaj peev xwm txiav txim;

Lub peev xwm los tsim kom tau sayings los txog rau ib tug txiv neej nrog lub hnub nyoog, maj. Thaum txog peb lub xyoos ntawm ib tug me nyuam tej zaum yuav tau hais tej yam yooj yim ua ke uas teev cov dab tsi. To taub cov zajlus kom mus, grammatical cov tsev koom nyiaj, yog ib tug tsim nyog thiab txaus mob rau ib tug muaj tseeb kev txiav txim nyob rau hauv ib qho kev caij nyoog. Nyob rau hauv txoj kev loj hlob ntawm ib tug neeg paub los ua ke ntxiv. Qhov no tso cai rau nws, raws li nyob rau hauv tej yam yooj yim lub taub Tawvv, tsim txoj.