變?cè)c指派在動(dòng)態(tài)機(jī)制與組合性中的作用
發(fā)布時(shí)間：2017-12-28 21:02
本文關(guān)鍵詞：變?cè)c指派在動(dòng)態(tài)機(jī)制與組合性中的作用 出處：《中國(guó)社會(huì)科學(xué)院研究生院學(xué)報(bào)》2015年03期 論文類(lèi)型：期刊論文
更多相關(guān)文章： 變?cè)?/b> 話(huà)語(yǔ)所指 計(jì)算機(jī)存儲(chǔ) 組合性
【摘要】：文章從塔斯基(Tarski)經(jīng)典語(yǔ)義解釋出發(fā),闡述變?cè)谶壿嬒到y(tǒng)中扮演的角色,并對(duì)比話(huà)語(yǔ)表現(xiàn)理論中話(huà)語(yǔ)所指與傳統(tǒng)變?cè)町?從中得出重要結(jié)論:傳統(tǒng)變?cè)c話(huà)語(yǔ)所指的差異體現(xiàn)出靜態(tài)與動(dòng)態(tài)之分;真值條件的遞歸性與意義理論結(jié)合,則關(guān)系到是否貫徹組合性。
[Abstract]:This article from the Tarski (Tarski) classic semantic interpretation of this variable plays in the logic system in the role, and contrastive discourse discourse representation theory referred to in element difference with traditional variable, draws the conclusion: from the difference between the traditional argument and discourse refers to reflect the static and dynamic points and recursive; the theory of meaning with the truth value of the condition, is related to whether or not to carry out the combination of.
【作者單位】： 中國(guó)社會(huì)科學(xué)院研究生院哲學(xué)系;
【基金】：國(guó)家社會(huì)科學(xué)基金重大課題“自然語(yǔ)言信息處理的邏輯語(yǔ)義學(xué)研究”(10&ZD073)的資助
【分類(lèi)號(hào)】：H030;O141
【正文快照】： _ — 給定-階語(yǔ)言L(fǎng),娜糖}r岕奴義,先給出賦值定義。 定義1:令M=〈M,I〉為一個(gè)L模型(解釋非邏輯符號(hào)個(gè)體常項(xiàng)、函數(shù)符號(hào)、}，
本文編號(hào)：1347387
本文鏈接：http://www.sikaile.net/shekelunwen/ljx/1347387.html
最近更新
教材專(zhuān)著
