本文關(guān)鍵詞：從自然語言的真值條件到模型論語義學(xué)

  更多相關(guān)文章： 形式語義 戴維森綱領(lǐng) 蒙太格語法 真值條件

【摘要】：語義的形式化是自然語言語義計(jì)算的必要條件,其基礎(chǔ)是戴維森真值條件語義學(xué)和蒙太格的模型論語義學(xué)。戴維森的目標(biāo)是用真值條件來構(gòu)建自然語言的語義理論,這種理論曾受到過很多質(zhì)疑,但是在蒙太格語法那里,戴維森的設(shè)想得以部分地實(shí)現(xiàn)。蒙太格語法將自然語言的語義表征為模型論語義解釋,由于后者具有可判定性,也就使得自然語言的邏輯語義關(guān)系具有了可計(jì)算性。
【作者單位】： 浙江大學(xué)語言與認(rèn)知研究中心;合肥師范學(xué)院外語系;中國社會(huì)科學(xué)院研究生院;
【基金】：鄒崇理主持的國家社科基金重大招標(biāo)課題“自然語言信息處理的邏輯語義學(xué)研究”(10&ZD073) 李可勝主持的教育部人文社會(huì)科學(xué)研究青年基金項(xiàng)目“基于事件特征的連動(dòng)式語義組合機(jī)制研究”(10YJC740058)的階段性成果
【分類號(hào)】：H030
【正文快照】： 一、引言自然語言語義計(jì)算(或者說自然語言的機(jī)器理解)，至少要解決兩個(gè)問題。首先，所有句子的意義都應(yīng)該通過數(shù)量有限的初始元，在有限步驟內(nèi)通過遞歸應(yīng)用有限數(shù)量的規(guī)則獲得;其次，存在一個(gè)有限步驟的算法，，可以能行地判定不同語句之間的邏輯語義關(guān)系。在當(dāng)前的語言研究中

【參考文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前5條

1 李可勝;;形式語義模型與復(fù)合漢語NP的語義刻畫[J];重慶理工大學(xué)學(xué)報(bào)(社會(huì)科學(xué));2011年08期

2 鄒崇理;;組合原則[J];邏輯學(xué)研究;2008年01期

3 周文華;;句子的意義[J];理論月刊;2009年07期

4 李可勝;;語言學(xué)中的形式語義學(xué)[J];中國社會(huì)科學(xué)院研究生院學(xué)報(bào);2009年02期

5 李可勝;;生成語言學(xué)的公理演繹思想[J];中國社會(huì)科學(xué)院研究生院學(xué)報(bào);2011年04期

【共引文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前10條

1 彭家法;形式語義學(xué)的歷史淵源和理論框架[J];安徽大學(xué)學(xué)報(bào);2004年04期

2 李瑟;劉偉;郭海云;;漢語第三人稱代詞預(yù)指功能研究[J];北京交通大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2005年04期

3 張曉君;;為什么語言學(xué)研究離不開邏輯學(xué)——2009語言學(xué)和邏輯學(xué)交叉研究研討會(huì)側(cè)記[J];畢節(jié)學(xué)院學(xué)報(bào);2010年05期

4 喬倩;白莉;;從編輯角度談高校社科學(xué)術(shù)論文的質(zhì)量[J];長春大學(xué)學(xué)報(bào);2011年02期

5 丘曉娟;肖小芳;蔡蕾;;漢語、英語、法語現(xiàn)在時(shí)態(tài)的異同[J];重慶工學(xué)院學(xué)報(bào)(社會(huì)科學(xué)版);2007年12期

6 李可勝;;形式語義模型與復(fù)合漢語NP的語義刻畫[J];重慶理工大學(xué)學(xué)報(bào)(社會(huì)科學(xué));2011年08期

7 高東平;;基于類型論的漢語分詞系統(tǒng)TTCS[J];重慶理工大學(xué)學(xué)報(bào)(社會(huì)科學(xué));2011年08期

8 滿海霞;;函項(xiàng)分層思想及其在語言學(xué)研究中的應(yīng)用[J];重慶理工大學(xué)學(xué)報(bào)(社會(huì)科學(xué));2011年08期

9 張世寧;;自然語言邏輯的性質(zhì)及研究狀況[J];重慶科技學(xué)院學(xué)報(bào)(社會(huì)科學(xué)版);2007年01期

10 熊仲儒;;時(shí)制、時(shí)體與完成式[J];外國語言文學(xué);2005年04期

中國重要會(huì)議論文全文數(shù)據(jù)庫 前1條

1 李艷鴿;;數(shù)理邏輯對(duì)句子隱含語義的展示和分析[A];第四屆全國語言文字應(yīng)用學(xué)術(shù)研討會(huì)論文集[C];2005年

中國博士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 徐先玉;世界的語言概念化[D];首都師范大學(xué);2011年

2 佟福奇;條件關(guān)系范疇的語言表達(dá)[D];吉林大學(xué);2012年

3 馬紅妹;漢英機(jī)器翻譯中漢語上下文語境的表示與應(yīng)用研究[D];中國人民解放軍國防科學(xué)技術(shù)大學(xué);2002年

4 鄭逢斌;關(guān)于計(jì)算機(jī)理解自然查詢語言的研究[D];西南交通大學(xué);2004年

5 劉偉;現(xiàn)代漢語代詞隱現(xiàn)的動(dòng)態(tài)研究[D];北京語言大學(xué);2005年

6 韓玉國;范疇語法與漢語非連續(xù)結(jié)構(gòu)研究[D];北京語言大學(xué);2005年

7 趙章界;短語結(jié)構(gòu)制導(dǎo)的范疇表達(dá)式演算[D];中國科學(xué)院研究生院（計(jì)算技術(shù)研究所）;2006年

8 方淼;語義單元自動(dòng)獲取研究[D];大連理工大學(xué);2008年

9 關(guān)曉薇;基于語義語言的機(jī)器翻譯系統(tǒng)中若干關(guān)鍵問題研究[D];大連理工大學(xué);2009年

10 姜紅;與陳述、指稱相關(guān)的現(xiàn)代漢語語法現(xiàn)象研究[D];蘇州大學(xué);2007年

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 李雷雷;語言線性視野：言語交際中的時(shí)間因素研究[D];吉林大學(xué);2011年

2 王明璨;英語現(xiàn)在完成式難題[D];四川外語學(xué)院;2011年

3 王曉亮;周禮全自然語言邏輯思想研究[D];燕山大學(xué);2011年

4 向敇;周禮全意義理論研究[D];西南大學(xué);2011年

5 孫興智;試析英語基本時(shí)態(tài)結(jié)構(gòu)的漢語對(duì)應(yīng)形式及其對(duì)對(duì)外漢語教學(xué)的啟示[D];東北師范大學(xué);2011年

6 李林;三種認(rèn)知語言觀與外語教學(xué)研究[D];陜西師范大學(xué);2001年

7 鄒春燕;單幅漫畫作品中的敘事研究[D];華中師范大學(xué);2003年

8 任俊英;論語言交際與語用推理[D];西南師范大學(xué);2003年

9 億珍珍;面向產(chǎn)品設(shè)計(jì)的自然語言理解語義分析研究[D];西安電子科技大學(xué);2004年

10 李海波;語言游戲論與自然語言量化結(jié)構(gòu)[D];中國海洋大學(xué);2004年

【二級(jí)參考文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前7條

1 張曉君;滿海霞;;帶有受限縮并規(guī)則的蘭貝克演算中的照應(yīng)算子[J];重慶理工大學(xué)學(xué)報(bào)(社會(huì)科學(xué));2011年04期

2 賈改琴;;形容詞性謂語句的邏輯語義分析[J];重慶理工大學(xué)學(xué)報(bào)(社會(huì)科學(xué));2011年05期

3 鄒崇理;;從邏輯到語言——Barbara H.Partee訪談錄[J];當(dāng)代語言學(xué);2007年02期

4 江怡;;當(dāng)代語言哲學(xué)研究：從語形到語義再到語用[J];外語學(xué)刊;2007年03期

5 潘文國;;從哲學(xué)研究的語言轉(zhuǎn)向到語言研究的哲學(xué)轉(zhuǎn)向[J];外語學(xué)刊;2008年02期

6 寧春巖;形式語言學(xué)的純科學(xué)精神[J];現(xiàn)代外語;2000年02期

7 蔣嚴(yán);語用推理與“都”的句法/語義特征[J];現(xiàn)代外語;1998年01期

本文編號(hào)：1247033