《邏輯語義學的組合原則研究》是2022年科學出版社出版的圖書,作者是石運寶。
基本介紹
- 中文名:邏輯語義學的組合原則研究
- 作者:石運寶
- 出版時間:2022年11月
- 出版社:科學出版社
- ISBN:9787030728555
《邏輯語義學的組合原則研究》是2022年科學出版社出版的圖書,作者是石運寶。
《邏輯語義學的組合原則研究》是2022年科學出版社出版的圖書,作者是石運寶。內容簡介《邏輯語義學的組合原則研究》首先將範疇語法和話語表現理論兩大框架合併在一起,詮釋了邏輯語義學的組合原則,然後梳理了具有動態特徵、遵循...
因為它未加任何語義解釋,所以我們可以說形式系統沒有任何意義,充其量只有前面所說的排列組合方面的聯繫和規律。我們考慮一個關於L的語義解釋I。因為S完全是用L表述的,而且S的內定理(包括公理)都是L的良構串,所以I也就是S的語義解釋。令I是S的語義解釋。如果I的論域是一個用數學對象、物理對象、化學對象或...
一個邏輯系統通常由三個部分組成,即辭彙部分、句法部分和基於模型論的語義部分。所謂的辭彙部分就是列舉出一個形式系統所使用的所有符號,句法部分是這些符號的組合規則,規定什麼樣的符號序列可以是這個系統的句子,語義部分是對合格句子的解釋,這樣的解釋通常是:在一個模型中進行的對真值條件推導。邏輯學的語義學...
第一節語義預設與語用預設 1.1預設理論的提出 1.2預設的語義解釋 1.3預設的語用解釋 第二節預設投射問題的解決途徑 2.1組合原則與累積假設 2.2PHF模式 2.3基於PTQ的解決模式 2.4潛在預設說 2.5心裡空間說 第三節預設的多值邏輯解釋 3.1預設的語義性質在三值邏輯中的體現 3.2為語義預設的辯護 3.3...
邏輯語義學,是一門新興的學科,為分析哲學的一大支派。邏輯觀的進步是邏輯語義學發展的內在動力。古典邏輯觀向現代數理邏輯觀的轉化促成了塔斯基邏輯語義學的產生,但對形式系統的過分注重使它局限於外延層面。隨著邏輯觀的進一步發展,對由自然語言所承栽的日常推理的刻畫成為邏輯研究的重心,這種趨勢使語義學研究由...
《自然語言信息處理的邏輯語義學研究》是2018年09月01日科學出版社出版的圖書,作者是鄒崇理。內容簡介 自然語言的邏輯語義學(簡稱邏輯語義學)是依據現代邏輯的思想或採用現代邏輯的工具研究自然語言的句法生成尤其是語義組合規律的學科,是實現自然語言計算機信息處理的先期工作。 本書以漢語信息處理為導向,以現代漢語中...
還能把簡單的邏輯元件組成各種邏輯網路,這樣任何複雜的邏輯關係都可以有邏輯元件經過適當的組合來實現,從而使電子元件具有邏輯判斷的功能。因此,在自動控制方面有重要的套用。謂詞演算也叫做命題涵項演算。在謂詞演算里,把命題的內部結構分析成具有主詞和謂詞的邏輯形式,由命題涵項、邏輯連線詞和量詞構成命題,然後研...
《類型—邏輯語法研究》是2007年中國人民大學出版社出版的圖書,作者是張秋成。內容簡介 類型-邏輯語法,以其表述的簡潔性、理論的邏輯化和辭彙化傾向以及更好地符合意義組合原則等鮮明特色,受到了形式語義學、語言學、語言哲學和自然語言理解和處理等領域的廣泛關注,並繼續保持迅猛的發展勢頭。 《類型 邏輯語法研究》...
數理邏輯語義學 數理邏輯語義學(logical and mathematical semantics)是2011年全國科學技術名詞審定委員會公布的語言學名詞,出自《語言學名詞》第一版。定義 運用數理邏輯方法來描述和分析語義現象的理論。出處 《語言學名詞》第一版
《現代漢語語句系統的邏輯語義學研究》是2021年人民出版社出版的圖書,作者是劉海燕。內容簡介 本書共十三章,約350萬字,在考察語言事實的基礎上,探索了漢語語句系統中所有句式的句法、語義特點,並從邏輯語義的角度對漢語各種句式所蘊含的豐富的語義內涵進行形式化的處理,旨在探索漢語所有句式的句法、語義特點和規律...
從語法理論視角看,CCG是一種辭彙形式化的方法;從計算語言學視角看,CCG屬於一類適度上下文相關文法;從邏輯語義學視角看,CCG在句法與語義的接口方面非常融洽。無論是CCG語言的、計算的,還是邏輯的特徵,都使得 CCG非常適用於自然語言信息處理,對於計算語言學具有很好的理論和實際價值。介紹 組合範疇語法CCG應該算作...
從這個意義上講,語用學並不關心接受者如何對記號使用者使用某某記號作出什麼反應——這個問題屬於語言功能的研究範圍。我認為語用學研究對象的確定應該放在語言學的研究範圍之內,只有揭示它與句法學和語義學的關係以及揭示三者共同形成的語言學的研究對象才能夠真正清晰地給出語用學定義。示例 假設L為某一自然語言,W...
第一部分是對20世紀70年代以來自然語言邏輯一些重要理論的介紹,包括蒙塔古語法、範疇類型邏輯、話語表現理論、情境理論、管轄和約束理論、博弈論語義學六個理論。第二部分選擇了影響較大的專題研究,包括組合原則、特徵邏輯、類型論、動態語義學、偏序、數理語言學和證明論、形式學習理論、語言學巾的非對稱性八個專題...
第一編自然語言邏輯的基礎——形式語義學 第一章自然語方形式語義學的研究方法 第1節自然語方形式語義學的研究方法 1.1自然語言的邏輯結構層次 1.2λ-表達式的運用 1.3遞歸定義方法 1.4樹形圖方法 1.5部分語句系統方法 第2節關於自然語言語義的模型理論方法 2.1代數結構與語義模型 2.2意義的組合原則 2.3...
3.邏輯等價與條件句 4.用真值表檢驗有效性 5.用真值表檢驗相容性 6.有效性和相容性 7.用簡化真值表方法檢驗無效性 8.用簡化真值表方法檢驗相容性 9.代入特例 10.真值表與語句形式 本章引入的關鍵術語 第4章證明 1.論證形式 2.肯定前件式和否定後件式 3.析取三段論和假言三段論 4.簡化式和組合式 5...
論組合術乃一門關於形式的科學———致契爾恩豪斯……… 208 論斯賓諾莎《倫理學》的邏輯破綻……… 221 達致普遍字元……… 250 發現符合事物本性的邏輯原則……… 274 論普遍綜合與分析,或論發現術與判斷……… 283 對邏輯演算的兩個研究……… 303 邏輯演算原則……… 334 邏輯綜合片段……… 338 位置幾...
言辭之道研究是一本2021年出版的圖書,由商務印書館出版 內容簡介 全書分為“邏輯與會話”和“語義學與形上學探究”兩大部分。第一部分是格萊斯1967年在哈佛大學所做講座的整理稿,包括七篇文章。該部分評述了眾多哲學家研究語詞的意義及使用的情況,然後在此基礎上提出了以合作原則及其準則為核心的會話隱含理論,...
《言辭之道研究》是2024年商務印書館出版的圖書。內容簡介 全書分為“邏輯與會話”和“語義學與形上學探究”兩大部分。第一部分是格萊斯1967年在哈佛大學所做講座的整理稿,包括七篇文章。該部分評述了眾多哲學家研究語詞的意義及使用的情況,然後在此基礎上提出了以合作原則及其準則為核心的會話隱含理論,並從...
但在現代邏輯出現以前,不論邏輯、語法和修辭,也不論語形、語義或語用的研究,都還處於一個較低的水平,因而傳統邏輯的三結合只能是一個較低水平的三結合。本書試圖在現代的邏輯、語法和修辭的基礎上,在現代的語形學、語義學和語用學的基礎上,實現一個新的三結合,即套用現代邏輯來研究自然語言中的邏輯問題...
在中國的語言研究領域,學術發展的成就是顯著的,迄今已經從傳統語言學發展到了現代語言學。傳統語言學側重於語言要素的研究,相應地形成了語音學、文字學、辭彙(訓詁)學、語法(句法)學等研究領域。現代語言學側重於語言符號的關係,相應地形成了語形學、語義學和語用學等新的研究領域。從研究方法(手段、思路)...
三、含義與語義理論的關聯 第二節 達米特語義學理論的構成原則 一、反二值原則 二、徹底性 三、顯示性 四、反整體論 五、組合性 第四章 達米特語義學思想的邏輯基礎 第一節 直覺主義的達米特個案 一、直覺主義及其對達米特的影響 二、達米特的方案 第二節 達米特語義學的直覺主義論證 一、直覺主義邏輯 二、...
1. 組合範疇語法CCG的邏輯語義研究,全國哲學社會科學規劃辦公室,14.06~至今,負責人;2. 面向自然語言信息處理的組合範疇語法研究,教育部社科司,12.02~至今,負責人;3. 面向自然語言信息處理的組合範疇語法基礎理論研究,北京科技大學,12.01~至今,負責人;4. 基於形式語義學經典理論的漢語本體論研究,北京...
國家社科基金重大項目“自然語言信息處理的邏輯語義學研究”(10&ZD073,主持人:鄒崇理),已結項。國家社科基金一般項目“超集、雙仿以及在模態邏輯、計算機科學中的作用研究”(08BZX049,主持人:李娜),已結項。國家社科基金一般項目“面向中文信息處理的組合範疇語法研究”(16BZX082,主持人:姚從軍),在研。...
中國社會科學院研究生院哲學博士。現任中國社會科學院創新工程首席研究員,哲學所邏輯室主任,所學術委員會委員和職稱評審委員會委員,國務院政府特殊津貼專家,國家社科基金評審專家,教育部戰略規劃課題專家組成員,國家社科基金重大招標課題“自然語言信息處理的邏輯語義學研究”(2011—2015)首席專家,中國邏輯學會第九屆...
6.“從認知角度看邏輯處理自然語言的局限性”,第二作者,《中國社會科學》英文版,2004年9月出版 7.“語言邏輯的學科性質和研究對象”,獨立作者,載《邏輯 素質 創新》,北京市邏輯學會編,海洋出版社2001年11月 8.“意義組合原則在自然語言邏輯中的適用性”,獨立作者,《自然辯證法研究》增刊, 2002年9月...
第七節 組合性原則 第五章 先設 第一節 先設的有關問題 1.1 先設的確定 1.2 先設的語義和語用研究 1.3 對投射問題的理論探討 第二節 先設的動態理論研究 2.1 約束理論 2.2 語境滿足理論(The satisfaction Theory)2.3 約束理論和語境滿足理論的比較 第六章 焦點 第一節 焦點意義解釋...
領域之二是現代漢語語法,特別是形容詞與名詞的組合、短語的分布規律、話語標記、句末助詞、副詞、介詞、港式中文、方言語法、語氣情態等;領域之三是對外漢語教學,特別是偏誤分析、中介語研究、遷移理論、信息轉換教學法等;領域之四是哲學,特別是西方古典哲學中的康德哲學,此外還研究語言哲學、邏輯學、邏輯語義學等...
哲學和邏輯學是我國開展認知科學研究的一支重要力量,有4位學者做了大會發言。北京大學哲學系周北海教授的報告分為兩部分。首先,他以邏輯、語言與認知的視角對認知語義學與邏輯語義學及兩者的關係進行了研究。隨後,他分析了哲學、心理學、人工智慧和神經科學等相關學科與認知科學的關係,指出它們在研究方法和內容上的...
語形學亦譯“句法學”。指號學分支之一。關於符號或語言符號(語詞、句子等表達式)之間結構關係的學科。美國莫里斯在《指號理論的基礎》中首次提出語形學、語義學和語用學三門學科的區分。認為語形學是對指號之間的形式關係的研究,即研究指號的組合方式。在莫里斯之前,卡爾納普在《語言的邏輯句法》中已開始對...
主要著作:《世界的邏輯構造》(1928)、《語言的邏輯句法》(1934)、《語義學導論》(1942)、《可檢驗性與意義》、《邏輯的形式化》(1943)、《意義與必然性》(1947)、《機率的邏輯基礎》(1950)、《歸納方法的連續統》(1952)、《物理學的哲學基礎:科學哲學導論》(1966)等邏輯句法 維根斯坦宣稱,...