邏輯、語言與意義（第2卷）

內容簡介

《邏輯、語言與意義》是國內外第一部系統全面的邏輯和語言學跨學科的邏輯語法（也叫形式語義學或語言邏輯）教材。由荷蘭五位邏輯學、語言學學者合作撰寫，並共用“哈姆特”之名出版。

全書分為兩卷，第一卷從分析自然語言的需要出發，系統地介紹了現代邏輯的基礎部分（古典命題邏輯和謂詞邏輯）、現代邏輯的變異部分（多值邏輯），以及進行形式語言學研究所需要的其他知識（語用學和形式文法等內容）。這本書主要有兩大特點。一、不同於通常偏重數理邏輯技術基礎的邏輯書籍，它以自然語言語義研究為目的，主要介紹有關的思想背景。講解深入淺出，很適宜語言學系和哲學系的教學用書。二、全書體現出數理邏輯、語言哲學與計算語言學等不同學科內容的互相滲透，精心介紹了相關的核心發展成果，加上豐富的例子，可以作為理論語言學、邏輯學、語言哲學和自然語言的計算機理解等多個領域學者的教學科研參考資料。

圖書目錄

序言

第1章內涵邏輯的起源

1.1引言

1.2意義對應理論

1.3自然主義與約定主義

1.4意義對應理論的變體

1.5作為意義指稱理論的邏輯語義學

1.6意義指稱理論存在的問題

1.7弗雷格的意義理論

1.8語境依賴

第2章內涵命題邏輯

2.1引言

2.2可能世界語義學

2.3模態命題邏輯

2.3.1歷史背景

2.3.2句法與語義

2.3.3有效性概念的句法方法

2.3.4真勢模態與認知模態

2.3.5一個套用

2.4時態命題邏輯

2.4.1句法與語義

2.4.2“現在”：一個擴展

2.4.3其他方法

2.5時態與模態的結合

第3章內涵謂詞邏輯

3.1晦暗語境：從言模態與從物模態

3.2專有名詞與限定摹狀詞：嚴格指稱

3.3模態謂詞邏輯語義學

3.3.1沒有變項的公式

3.3.2等詞

3.3.3變項與量詞

3.3.4一個論域：存在謂詞

3.4其他語境

3.5一個方法論的註解

第4章類型論與範疇語法

4.1引言

4.2類型論

4.2.1自然語言中類型的劃分

4.2.2句法

4.2.3語義

4.3範疇語法

4.3.1引言

4.3.2範疇語法的特徵

4.3.3範疇語法的描寫充分性

4.3.4範疇語法和類型論

4.4λ—抽象

4.4.1λ—運算元

4.4.2λ—轉換

邏輯、語言與意義（第2卷）

基本介紹

內容簡介

圖書目錄

相關詞條

熱門詞條