蒙太格PTQ系統(tǒng)的內涵邏輯
本文關鍵詞: 蒙太格語法 內涵邏輯 語形 語義 出處:《西南大學學報(社會科學版)》2009年01期 論文類型:期刊論文
【摘要】:蒙太格的PTQ系統(tǒng)通過三部分最終完成了對自然語言形式化的處理,它們分別是:建構一個部分英語語句系統(tǒng)的語形;給出內涵邏輯的語形和語義;通過翻譯規(guī)則,給出部分英語語句的語義。PTQ系統(tǒng)中最具創(chuàng)造性的內容之一是它的內涵邏輯思想,這對正確翻譯英語語句語義至關重要。分析探討PTQ系統(tǒng)中的內涵邏輯思想對我們深化漢語的形式化研究同樣具有重要意義。
[Abstract]:Montage's PTQ system has completed the formalization of natural language through three parts: constructing a part of English sentence system's form; giving the form and semantics of connotative logic; and adopting translation rules. One of the most creative contents in the semantic. PTQ system of some English sentences is its connotation logic thought. This is of great importance to the correct translation of the semantics of English sentences. It is also of great significance for us to deepen the formal study of Chinese by analyzing and discussing the logic of connotation in the PTQ system.
【作者單位】: 西南大學邏輯與智能研究中心;
【分類號】:B81-06
【共引文獻】
相關期刊論文 前1條
1 王柏鶴;邏輯學的語言取向探析[J];鞍山師范學院學報;2003年05期
相關碩士學位論文 前4條
1 費國萍;符號學在翻譯領域的歷史性擴展[D];南京師范大學;2003年
2 任俊英;論語言交際與語用推理[D];西南師范大學;2003年
3 范微微;動態(tài)蒙太格語法對經典驢子句處理的發(fā)展[D];西南大學;2008年
4 薛彩霞;試論話語表現(xiàn)理論與動態(tài)謂詞邏輯[D];河南大學;2008年
【二級參考文獻】
相關會議論文 前1條
1 李小五;劉壯虎;;命題型的擇類語義與主次條件句邏輯[A];2004年邏輯研究專輯[C];2004年
【相似文獻】
相關期刊論文 前10條
1 滿海霞;;形式語義學研究兩題[J];畢節(jié)學院學報;2010年02期
2 于宇;唐曉嘉;;蒙太格PTQ系統(tǒng)的內涵邏輯[J];西南大學學報(社會科學版);2009年01期
3 馬光;;鄒崇理教授[J];中國社會科學院研究生院學報;2009年04期
4 朱建平;;蒙太格語法的歷史命運[J];貴州社會科學;2009年08期
5 田忠鋒;;超越形式邏輯的內涵邏輯——康德和黑格爾的辯證法[J];社會科學戰(zhàn)線;2008年05期
6 劉甜添;;中國音樂美學中“內涵邏輯”的思索[J];樂府新聲(沈陽音樂學院學報);2008年04期
7 王瑩瑩;鞠實兒;;超內涵的條件句邏輯的哲學基礎[J];學術研究;2007年02期
8 鄒崇理;;從邏輯到語言——Barbara H.Partee訪談錄[J];當代語言學;2007年02期
9 李應洪;;篇章表述理論初探[J];湖南科技學院學報;2007年05期
10 夏年喜;;邏輯學、語言學與信息科學——論自然語言邏輯的學科性質[J];安徽大學學報(哲學社會科學版);2006年02期
相關會議論文 前10條
1 黃華新;徐慈華;;漢語隱喻邏輯表征的個案分析[A];第二屆海峽兩岸邏輯教學學術會議專輯[C];2006年
2 聶文龍;;法律邏輯中的內涵邏輯方法[A];第十四屆全國法律邏輯學術討論會論文集[C];2006年
3 宋春陽;陸汝占;方向紅;;基于類義抽象的漢語復合詞義的求解模式探索[A];語言計算與基于內容的文本處理——全國第七屆計算語言學聯(lián)合學術會議論文集[C];2003年
4 陸汝占;靳光瑾;;“是”的內涵邏輯語義解釋[A];自然語言理解與機器翻譯——全國第六屆計算語言學聯(lián)合學術會議論文集[C];2001年
5 陳玉泉;陳宣;陸汝占;;內涵時態(tài)邏輯的語義解釋系統(tǒng)[A];自然語言理解與機器翻譯——全國第六屆計算語言學聯(lián)合學術會議論文集[C];2001年
6 陸汝占;高峰;陳玉泉;靳光瑾;;漢語內涵邏輯及其應用[A];輝煌二十年——中國中文信息學會二十周年學術會議論文集[C];2001年
7 ;中國邏輯學會語言邏輯和符號學2000年學術討論會簡述[A];2001年邏輯研究專輯[C];2001年
8 周禎祥;;現(xiàn)代自然語言邏輯研究的若干路徑[A];2000年邏輯研究專輯[C];2000年
9 鄒崇理;;信息時代的自然語言邏輯研究特色[A];2000年邏輯研究專輯[C];2000年
10 朱建平;;從語形學、語義學到語用學[A];2000年邏輯研究專輯[C];2000年
相關重要報紙文章 前2條
1 蔡曙山 清華大學人文社會科學學院心理學與認知科學研究中心;人類心智探秘的哲學之路[N];中國社會科學報;2010年
2 陳波;人工智能 當代邏輯發(fā)展的動力[N];光明日報;2000年
相關博士學位論文 前6條
1 曹青春;涵義與指稱理論的邏輯哲學研究[D];南開大學;2009年
2 王為全;建構中國道德建設的理想圖景[D];吉林大學;2006年
3 方向紅;基于內涵邏輯的現(xiàn)代漢語連接詞及關聯(lián)句式語義研究[D];上海師范大學;2004年
4 宋春陽;面向信息處理的現(xiàn)代漢語“名+名”邏輯語義研究[D];上海師范大學;2003年
5 馬亮;論卡爾納普的意義理論[D];中國社會科學院研究生院;2003年
6 劉新文;系統(tǒng)Z的量化擴張及其對話語表現(xiàn)理論的處理[D];中國社會科學院研究生院;2002年
相關碩士學位論文 前4條
1 馬強強;實踐觀點與馬克思辯證法的根本精神[D];吉林大學;2007年
2 顧鋒強;蒙太格語法研究述評[D];西南大學;2006年
3 張世寧;從蒙太格語法看開來——自然語言邏輯初探[D];河南大學;2004年
4 馬和平;政治文明:社會主義政治的價值指向[D];華僑大學;2004年
,本文編號:1495864
本文鏈接:http://sikaile.net/shekelunwen/ljx/1495864.html