內容簡介
《邏輯、語言與意義》是國內外第一部係統全麵的邏輯和語言學跨學科的邏輯語法(也叫形式語義學或語言邏輯)教材。由荷蘭五位邏輯學、語言學學者閤作撰寫,並共用“哈姆特”之名齣版。
全書分為兩捲,第一捲從分析自然語言的需要齣發,係統地介紹瞭現代邏輯的基礎部分(古典命題邏輯和謂詞邏輯)、現代邏輯的變異部分(多值邏輯),以及進行形式語言學研究所需要的其他知識(語用學和形式文法等內容)。這本書主要有兩大特點。一、不同於通常偏重數理邏輯技術基礎的邏輯書籍,它以自然語言語義研究為目的,主要介紹有關的思想背景。講解深入淺齣,很適宜語言學係和哲學係的教學用書。二、全書體現齣數理邏輯、語言哲學與計算語言學等不同學科內容的互相滲透,精心介紹瞭相關的核心發展成果,加上豐富的例子,可以作為理論語言學、邏輯學、語言哲學和自然語言的計算機理解等多個領域學者的教學科研參考資料。
作者簡介
約翰·範·本瑟姆,荷蘭阿姆斯特丹大學的邏輯學教授、荷蘭藝術與科學院、歐洲科學院和國際哲學院院士;
馬丁·斯托剋霍夫,阿姆斯特丹大學邏輯、語言與計算研究所前任所長、語言哲學教授;
鬍能迪剋,阿姆斯特丹大學哲學係副教授;
德漾,阿姆斯特丹大學哲學係邏輯學教授;
亨剋·維庫爾,荷蘭烏得勒支大學語言學教授。
本書由以上五位教授閤著,L.F.T.Gamut(哈姆特)是他們共用的筆名。
李可勝,閤肥師範學院外國語學院教授;
張曉君,四川師範大學馬剋思主義學院副教授;
鄒崇理,中國社會科學院哲學所研究員、邏輯室主任。
目錄
前言
序言
第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 -轉換
4.4.3 -算子與組閤性
第5章 內涵類型論
5.1 引言
5.2 內涵構造和內涵概念
5.3 句法
5.4 語義
5.5 算子∧和∨
5.6 -轉換
5.7 時態算子
5.8 兩體類型論
第6章 濛太格語法
6.1 引言
6.1.1 意義和句法的組閤性
6.1.2 對象語言和元語言:語義封閉性
6.1.3 語義學與真值理論
6.2 濛太格語法的體係
6.3 英語部分語句的濛太格語法
6.3.1 範疇和基本錶達式
6.3.2 詞項、不及物動詞、句子
6.3.3 翻譯進程的體係
6.3.4 詞項的翻譯
6.3.5 及物動詞
6.3.6 意義公設的作用
6.3.7 部分語句係統的意義公設
6.3.8 轄域歧義、從物解讀和量化規則
6.3.9 及物動詞Be
6.3.10 閤取規則、析取規則和否定規則
6.3.11 句子補語、非限定補語、形容詞、關係從句和副詞
6.4 個體概念
6.4.1 引入個體概念的必要性
6.4.2 引入個體概念的後果
6.4.3 一些實例
6.4.4 意義公設
6.5 組閤性、邏輯形式和語法形式
6.6 結語
第7章 新近發展
7.1 引言
7.2 廣義量詞理論
7.2.1 主要目標
7.2.2 濛太格語法中作為廣義量詞的NP短語
7.2.3 限定詞:兩個視角
7.2.4 NP和量詞的一些基本性質
7.2.5 普遍限製
7.2.6 邏輯限定詞
7.2.7 進一步的發展
7.3 靈活的範疇語法和類型論
7.3.1 範疇變化
7.3.2 邏輯的視角
7.3.3 進一步的發展
7.4 話語錶現理論
7.4.1 引言
7.4.2 有關迴指關係和非限定詞項的一些問題
7.4.3 DRT的非形式介紹
7.4.4 形式定義
7.4.5 DRT組閤性
7.4.6 結論
練習答案
參考文獻說明
參考文獻
索引
譯後記
邏輯、語言與意義·第2捲:內涵邏輯與邏輯語法 下載 mobi epub pdf txt 電子書 格式