變?cè)c指派在動(dòng)態(tài)機(jī)制與組合性中的作用
發(fā)布時(shí)間：2017-12-28 21:02
本文關(guān)鍵詞：變?cè)c指派在動(dòng)態(tài)機(jī)制與組合性中的作用 出處：《中國社會(huì)科學(xué)院研究生院學(xué)報(bào)》2015年03期 論文類型：期刊論文
更多相關(guān)文章： 變?cè)?/b> 話語所指 計(jì)算機(jī)存儲(chǔ) 組合性
【摘要】：文章從塔斯基(Tarski)經(jīng)典語義解釋出發(fā),闡述變?cè)谶壿嬒到y(tǒng)中扮演的角色,并對(duì)比話語表現(xiàn)理論中話語所指與傳統(tǒng)變?cè)町?從中得出重要結(jié)論:傳統(tǒng)變?cè)c話語所指的差異體現(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.
【作者單位】： 中國社會(huì)科學(xué)院研究生院哲學(xué)系;
【基金】：國家社會(huì)科學(xué)基金重大課題“自然語言信息處理的邏輯語義學(xué)研究”(10&ZD073)的資助
【分類號(hào)】：H030;O141
【正文快照】： _ — 給定-階語言L,娜糖}r岕奴義,先給出賦值定義。 定義1:令M=〈M,I〉為一個(gè)L模型(解釋非邏輯符號(hào)個(gè)體常項(xiàng)、函數(shù)符號(hào)、}，
本文編號(hào)：1347387
本文鏈接：http://sikaile.net/shekelunwen/ljx/1347387.html
最近更新
教材專著
