邏輯、語言與意義（第一捲） 下載 mobi epub pdf 電子書 2024

☆☆☆☆☆
簡體網頁||繁體網頁



點擊這裡下載

類似圖書 點擊查看全場最低價

---

內容簡介

　　

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

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

　　

作者簡介

約翰·範·本瑟姆，荷蘭阿姆斯特丹大學的邏輯學教授、荷蘭藝術與科學院、歐洲科學院和國際哲學院院士；

馬丁·斯托剋霍夫，阿姆斯特丹大學邏輯、語言與計算研究所前任所長、語言哲學教授；

鬍能迪剋，阿姆斯特丹大學哲學係副教授；

德漾，阿姆斯特丹大學哲學係邏輯學教授；

亨剋·維庫爾，荷蘭烏得勒支大學語言學教授。

本書由以上五位教授閤著，L.F.T.Gamut（哈姆特）是他們共用的筆名。

滿海霞，北京科技大學外國語學院副教授；

張璐，中國礦業大學外國語學院講師；

鄒崇理，中國社會科學院哲學所研究員、邏輯室主任。

目錄

前言
序言

第1章 緒論
1.1 證明、有效證明和證明模式
1.2 邏輯與意義
1.3 邏輯常項和邏輯係統
1.4 20世紀之前的邏輯學和語言學
1.5 20世紀
1.5.1 邏輯形式vs.語法形式
1.5.2 日常語言哲學
1.5.3 語言學與哲學
1.6 形式語言

第2章 命題邏輯
2.1 真值函項聯結詞
2.2 聯結詞與真值錶
2.3 公式
2.4 函項
2.5 命題邏輯的語義
2.6 真值函項
2.7 並列聯結詞和從屬聯結詞

第3章 謂詞邏輯
3.1 原子句
3.2 量化錶達式：量詞
3.3 公式
3.4 更多量化錶達式及其翻譯
3.5 集閤
3.6 謂詞邏輯的語義
3.6.1 解釋函項
3.6.2 替換解釋法
3.6.3 指派解釋法
3.6.4 普遍有效性
3.6.5 規則
3.7 等同
3.8 關係的一些性質
3.9 函項符號

第4章 證明和推理
4.1 證明和證明模式
4.2 語義推理關係
4.2.1 語義有效性
4.2.2 外延性原則
4.3 自然演繹：推理的句法方法
4.3.1 引入規則與消去規則
4.3.2 閤取
4.3.3 蘊涵
4.3.4 析取
4.3.5 否定
4.3.6 量詞
4.3.7 規則
4.4 可靠性和完全性

第5章 非經典邏輯
5.1 引言
5.2 限定摹狀詞
5.3 受限量化：多體謂詞邏輯
5.4 二階邏輯
5.5 多值邏輯
5.5.1 引言
5.5.2 三值邏輯係統
5.5.3 三值邏輯及預設的語義概念
5.5.4 多於三值的邏輯係統
5.5.5 四值邏輯與預設的語義概念
5.5.6 多值邏輯在分析預設時的局限性
5.6 變項消去

第6章 語用學：意義與使用
6.1 非真值條件語義
6.2 邏輯上的閤取式和詞序
6.3 使用與閤作原則
6.4 相容析取和不相容析取
6.5 析取和信息充足適量性
6.6 會話準則和會話隱涵
6.7 析取式的會話隱涵
6.8 蘊涵和信息充足適量性
6.9 預設和會話隱涵
6.10 規約隱含、預設和蘊涵式

第7章 形式句法
7.1 重寫規則的層級
7.2 語法和自動機
7.3 關於形式語言的理論
7.4 自然語言的語法復雜性
7.5 語法、自動機和邏輯
練習答案
參考文獻說明
參考文獻
索引
譯後記
邏輯、語言與意義（第一捲） 下載 mobi epub pdf txt 電子書 格式

評分☆☆☆☆☆

書籍不錯。。。

評分☆☆☆☆☆

雖然不是最低價，但還能勉強接受，買買買

評分☆☆☆☆☆

雖然不是最低價，但還能勉強接受，買買買

評分☆☆☆☆☆

雖然不是最低價，但還能勉強接受，買買買

評分☆☆☆☆☆

不錯不錯不錯不錯不錯不錯

評分☆☆☆☆☆

很好，多謝！

評分☆☆☆☆☆

此用戶未填寫評價內容

評分☆☆☆☆☆

促銷屯書中，質量還不錯。

評分☆☆☆☆☆

書籍不錯。。。

類似圖書 點擊查看全場最低價