Yuav ua li cas yog ib tug predicate? Txhais lub tswvyim

Nws yog ib qhov nyuaj txaus los mus piav qhia li cas rau predicate, raws li hais tias lub sij hawm yog siv nyob rau hauv lub feem ntau opposite qhov chaw ntawm kev txawj ntse - los ntawm kev kawm txog zauv rau logic thiab linguistics. Lo lus no muab los ntawm lub Latin praedicatum thiab translates li "hais", uas yog, nws qhia tau hais tias qhov kev kawm thaum lub caij, lawv hais tias - nws tsis nrog cov tsis kam muab los yog pom zoo. Nws yog dav siv raws li ib tug predicate lub sij hawm nyob rau hauv lug, tshwj xeeb tshaj yog nyob rau hauv lub terminological systems ntawm Western teb chaws Europe. Lavxias teb sab lus yog tseem paub hais tias xws li ib tug predicate, tab sis peb tau hloov lub sij hawm "predicate", Txawm tias qhov no yog tsis heev lub qub tshaj plaws.

notion

Far ntawm tej ntaub ntawv rau cov kawm tej zaum yuav raug xa mus rau los ntawm no lub sij hawm. Yuav kom to taub li cas predicate yuav yav tas los to taub, uas yog hais thereto semantic yuav tsum. Yog hais tias koj qhia kom meej ib yam twj paj nruas attribute, thiab cov xwm txheej ntawm nws, nrog rau tus cwj pwm rau lwm yam, ces peb yuav tau siv tias lub sij hawm. Needless rau muab khi lub hav zoov los yog nyob rau hauv lub zoo tib yam kev txiav txim zoo ntawm cov lo lus tsis teb cov lus nug ntawm yog dab tsi lub predicate, vim yog tsis muaj kev txiav txim nyob rau hauv nws. Piv txwv li: unicorns tsis muaj nyob; Qhov no lws suav; almonds - tsis yog ib tug txiv. Nyob rau hauv tag nrho cov ntawm cov lus qhia no rau cov khoom yog tsis muaj predicate.

Niaj hnub nimno logic kev taw qhia yog feem ntau hloov los ntawm lub tswvyim ntawm tus predicate lwm, hu ua ib tug propositional muaj nuj nqi, qhov twg lub ntsiab lus sib cav yog cov actants - tus kwv thiab cov kev kawm. Terminological tsis meej pem yuav tsis tau zam rau cov grammatical thiab cov zajlus kom pawg, tab sis hom lus ntau parlance, lub sij hawm yog ib txwm siv ua ntej peb. Piv txwv li, cov ntsiab lus xws li predicates predicate txuas mus rau lub formal nam ntawm cov kab lus. Lawv yuav ua tau me me, hais lus, thiab hais txog. Thaum lub ntsiab txhais ntawm lub predicate yog qhia nyob rau hauv nws cov methodological sib nrauj.

hom predicates

Ntawm cov hom ntawm semantic taxonomic raug rho tawm, paub kev kwv yees characterizing. Taxonomic taw tes rau ib tug kwv cov chav kawm ntawv. Piv txwv li: nyiam khau - khau khiab; zus ntoo - cedar; tus tshiab zaj duab xis - fantasy. Paub predicate - hais tus nqi rau lub sijhawm nyob rau hauv uas ib yam khoom muaj feem mus rau lwm lub. Piv txwv li: nyob rau hauv lub bast bast mus; cedar - los ntawm ntoo thuv tsev neeg; fantasy - ib hom ntawv nyeem ntawv tseeb. Characterizing predicates qhia tus cwj pwm ntawm cov khoom zoo li qub los yog dynamic, nraum los yog tas mus li. Piv txwv li: khau khiab hnav; cedar hlob; fantasy thim.

Kev mloog yuav tsum tau them mus rau lub hom, uas yog hu ua tus predicate kev ntsuam xyuas. Piv txwv li: bast - khau eco-friendly; Ntoo ntshaub coj yog zoo nkauj heev; fantasy raus tus tuav nyob rau hauv ib tug fairy taleas. Muaj lus, predicates ntawm lub hom spatial thiab sab nqaij daim tawv localization. Piv txwv li: nyob rau hauv bast tub rau khoom; ntoo thuv cones yuav nyob rau hauv lub Cuaj Hli Ntuj; fantasy nyeem ntawv tom tsev. Nws yuav tsum tau nco ntsoov tias twb txiav txim seb lub hom predicate yog tsis yog li ntawd ib qho yooj yim yog vim hais tias sib txawv ntawm cov lus uas lawv hais feem ntau syncretic. Hais tias yog, ib tug qhia txog kev ua yuav tsum qhia tias tsis tsuas yog ib kev sib raug zoo ntawm cov khoom rau txhua tus lwm yam, tab sis nyob rau tib lub sij hawm thiab nta, thiab localization.

lwm kev faib

Nws yog ua tau cais cov lus thiab nyob rau lwm thaj chaw. Ntaus cov kev kawm ua ib tug decisive luag hauj lwm: qis-thiaj predicates yog cov ntaub ntawv uas cov chaw, thiab ntau dua - yog yus muaj los ntawm ntau hom ntawm intangible. Ntawm no sharply piv ob hom: cov neeg muaj feem xyuam rau cov kev tshwm sim thiab piav txog lub taub Tawvv invariant. Piv txwv li: cia li nag hmo Ripped khau khiab - khau khiab twb nraus, tab sis nag hmo - nws yog heev doubtful.

Ntxiv mus, raws li qhov no faib tawm, nws yog tsim nyog los faib los ntawm tus xov tooj ntawm predicates actants. Tib: bast - yooj yim; cedar - haib; ob: l Apti teeb nyob rau hauv nws ob txhais taw; cedar them lub hnub; triple: khau khiab yog ib qho yooj yim nyob rau hauv lub taw thaum taug kev; cedar them lub hnub rau undergrowth. Lwm txoj kev muaj peev xwm yuav muab faib nyob rau hauv thawj txiav txim predicates (derivative - cedar sawv); thib ob kev txiav txim (derived los ntawm tus thawj - resistant cedar); peb thiaj (thib ob derivatives), thiab hais txog.

txhais

Nyob rau hauv logic thiab linguistics predicate - nws yog ib tug predicate ntawm kev txiav txim, uas yog ib yam dab tsi uas hais txog cov tsis kam los yog tso cai los ntawm cov kev kawm. Cov lus qhia hauv lub xub ntiag los yog tsis tuaj kawm ntawv nyob rau hauv cov kev kawm ntawm ib tug kev zoo losis phem. Ntawm tus taw tes ntawm view lug, nws yog hais txog mus rau lub semantic thiab syntactic predicates. Xeem - ib tug keeb ntawm tus nto qauv, piv txwv li, lub predicate, thiab cov thawj yog cov tub ntxhais ntawm ib tug semantic configuration, kuas qhov teeb meem no yog cov lus, uas yog, nws nuclear semantics.

Nyob rau hauv tib txoj kev ib tug semantic predicate yog sawv cev nyob rau hauv ntau txoj kev sib txawv thiab nyob rau theem ntawm qhov chaw qauv. Ib tug xov xwm ntawm ob hom ntawm predicates yog tsis vim hais tias tej yam uas lawv yuav muaj kev cuam tshuam rau tib lub teeb meem no. Piv txwv li: Kuv muab tso rau qhov khau khiab rau hauv ib lub ces kaum; Kuv muab tso rau qhov khau khiab rau hauv ib lub ces kaum; nyiag ua nyob rau hauv lub bast. Feeb ntau, qhov teeb meem twb tsis muaj tshuaj linguistics hais txog lub ntsiab txhais ntawm lub tswvyim ntawm tus predicate. Ib tug zoo lus teb yuav tau qhov tseem ceeb rau txoj kev loj hlob ntawm lub tswvyim - tus semantic thiab syntactic, tab sis lub predicate twb tsis tau tau txais ib tug ntshiab txhais.

tswvyim

Nyob rau hauv lub terminology ntawm lub sij hawm "predicate" hauv paus nws tsis yog, thiab yog li ntawd nws yog tsim nyog los mus txiav txim, xa mus rau lub syntactic sawv cev configuration. Predicate tivthaiv yog feem ntau ib tug uas muaj ib tug qhia txog kev ua pab pawg neeg. Ntawv hais lus, txhua yam yog hais txog mus rau lub qhia txog kev ua ntaub ntawv thiab tus kheej ua nrog nws ib zaug xwb syntax pab pawg neeg yog ib tug predicate tivthaiv.

Nyob rau hauv kev, nws muaj xws li thiab koom haum pab hais (tivthaiv koom haum pab qhia txog kev ua). Predicate ua ke nrog cov kev kawm nyob rau hauv ib tug kab lus kiag li exhausts nws syntactic qauv. Thiab ces txhua tus ntawm cov Cheebtsam yuav segmented rau hauv ntau dua yooj yim. Cov tswvyim no distinguishes ntau ntau - tus thawj nto, whereas lub xub ntiag ntawm teeb meem yuav tsum nyoog.

qauv

Yog li, predicate qauv yuav ua tau ces dag thiab qhov chaw. Txawm li cas los, muaj pes tsawg leeg ntawm syntactic pawg tsis muaj kev cuam tshuam qhov kev txiav txim ntawm cov lo lus, tsis muaj collateral - passive los yog kom nquag plias. Piv txwv li: ntoo qhib loj hlob rau ib txhiab xyoo; ib txhiab xyoo yog loj hlob ntoo qhib; loj hlob ntoo qhib txhiab xyoo. Tag nrho cov proposals muaj zoo tib yam Cheebtsam ntawm lub predicate nyob rau hauv tus thawj qauv.

Txawm li cas los, cov thawj qauv nrog tag nrho lawv cov sib thooj yeej tsis txuam nrog nto lug ntawm semantic equivalence. predicate logic, tsis yog txhua tus lub sij hawm yuav raug txo mus rau ib txhais, txawm yog hais tias tus Cheebtsam yog hais txog los ntawm collateral. Piv txwv li:

• Tshiab ntoo yog zus nyob rau hauv lub qub vaj.
• Nyob rau hauv lub qub vaj tau zus tshiab ntoo.

Tsis yog nws nyob rau hauv tib lo lus rau saum los ze zog kev soj ntsuam, nyiaj ua lag luam ntau ntau yam lub ntsiab?

semantic txhais

Ntxiv txoj kev loj hlob ntawm cov qauv no los nyob rau hauv ib tug txo nyob rau hauv cov kis ntawm tus nto thiab tus thawj tswv yim nyob rau hauv ib tug kab lus. Thaum sib txawv thawj zaug lug ntawm ob active thiab passive variants yuav muab txhais txawv, txawm hais tias tseem tau thiab semantically sib npaug officers. Qauv sau ntawv yog ua li ntawd tej yam proposals raug tsa tag nrho cov syntactic lug thiab cov transformation tsis cuam tshuam rau zaum kawg tshwm sim yog tau thaum lub passive version nrog ib tug saum npoo qauv ntawm cov kab lus.

Cia li tshwm sim hais tias lub syntactic cov sawv cev los ntawm grammatical kev cai yog txhais mus rau hauv qhov kev nthuav qhia semantics, tsim kom muaj intimacy los yog txawm sib npaug, ntsig txog, ntawm qhov chaw lug. Ntxiv mus, tib kab lus tej zaum yuav muaj semantic txhais ntawm ob peb hom predicate.

predicate logic

Predicate - ib daim ntawv qhia uas yog ntxiv cov nqe lus. Yog hais tias-populate ib zaug xwb cav - predicate yuav qhia nws tej khoom vaj tse, thiab yog hais tias ntau - ces nws yuav kos ib kev sib raug zoo ntawm tag nrho cov nqe lus. Piv txwv li: ntoo qhib - ntoo; fir - tsob ntoo. Ntawm no qhia vaj tse - yuav ib tsob ntoo. Yog li ntawd, qhov no yog sawv cev los ntawm ib tug predicate thiab ib tug ntoo qhib, thiab spruce. Cov piv txwv nram qab: Bast khau woven los ntawm cov tawv ntoo. Predicate no yog lo lus "bast" thiab cov nqe lus - lwm yam lus, vim hais tias lawv txheeb nws thiab nyob rau hauv lawv tus kheej tsis muaj txaus autonomy. Woven - khau khiab. Bast - khau khiab.

Propositional logic yog ib yam nkaus thiab nqaim ib tug tej yam lus thiab yog li ntawd tsis zoo suited rau tib neeg txoj kev xav, kom cov neeg siv cov lus ntawm predicate logic, uas yog - speculation. Raws li ib qho piv txwv, cov kev sib cav hais tias nws yog tsis yooj yim sua qhia qhov logic ntawm cov nqe lus: Tag nrho cov txiv neej yog cov hauv ntiaj teb no. Kuv - ib tug txiv neej. Kuv, dhau lawm, yog tus txawj tuag. Cov lus ntawm propositional logic tau muab nws sau cia nyob rau hauv peb cais tawg tsam tsis muaj kev sib txuas lus nrog txhua lwm yam. Ib tug predicate lus tam sim ntawd qhia ob lub ntsiab "yuav tsum tau hauv ntiaj teb no" thiab "yog ib tug txiv neej". Tom qab ntawd, thawj kab lus ntawm tuab dluab txuam nrog lawv.

Cheebtsam

Lub semantic qauv ntawm cov kab lus nws muaj nws tus kheej qeb. Nws predicates uas qhia rau hauv lub xeev los yog kev txiav txim, actants - yaam kws ntawm cov kev ua los yog tej khoom ntawm yam txawv (direct, indirect, rezultativen thiab thiaj li nyob), sirkonstanty - sib txawv tshwm sim raws li lub tshav pob ntawm kev ua tau zoo ua.

Piv txwv li: Thaum lub sij hawm hmo ntuj lub qhov rais khob qhov rooj tsob ntoo ceg. Laum no, peb yuav hais lub siab tshaj plaws. Predicate active txiav txim yuav tsum lo lus "ntaus". Tom ntej no tuaj rau actants: lub kawm - "tsob ntoo", muaj ib tug kwv - "qhov rais", instrumentativ - "ceg". Sirkonstantoy (los yog temporativom los yog teeb meem ntawm lub sij hawm) hais lus lo lus "hmo ntuj". Tab sis tej zaum yuav tau txais ib tug thib ob, locative - "txoj kev", piv txwv li.

povntawv ntawm

Predicates yog muaj li ntawm semantic hauv paus ntsiab lus li no: lub sij predicates (e.g. - lub xeev) thiab actants (kev tshwm sim neeg koom). Semantically Actants kuj muaj ib tug faib mus rau hauv hom:

• Cov kev kawm (txwv tsis pub - Agens) - qhov no hom ntawm kev kawm actant los yog active protagonist. Piv txwv li: tsob ntoo loj hlob.
• Nruas - yog lub hom phiaj ntawm ncaj qha los yog xu, yog los yog tsis muaj feem. Piv txwv li: cov miv catches tus nas.
• Instumentativ - kwv, tsis muaj uas cov teeb meem no yuav tsis tau pom tau hais. Piv txwv li: lawv noj kua zaub.
• Tshwm - ib tug los tshwm sim ntawm kev ua cog lus. Piv txwv li: nyob rau hauv lub caij nplooj ntoos hlav nyom tau zus.

Tsis tas li ntawd, tsis txhob dispense nrog sirkonstant - qhov kev tshwm sim ntawm qhov kev txiav txim. Lawv kuj muab faib ua tej pawg neeg. Ob tug ntawm cov feem ntau heev thiab yooj yim - temporates thiab locative. Piv txwv li: lub caij nplooj ntoos hlav yuav sov. Lo lus "caij nplooj ntoos hlav" - temporates. Lilac blooms qhov txhia chaw. Lo lus "qhov txhia chaw" - locative.

xaus

Yuav kom kawm tau li cas los yog muab qhov kev kawm thiab predicate nyob rau hauv ib tug txiav txim, thiab nws tseem ceeb heev rau lawv tus kheej hais lus zoo, thiab rau feem ntau muaj tseeb kev nkag siab ntawm lwm tus kev xav - yuav tsum tau kom meej meej heev to taub hais tias qhov kev kawm ntawm no daim ntawv qhia, thiab hais tias hais txog nws zoo.