具體描述
《邏輯、語言與意義》是國內外第一部係統全麵的邏輯和語言學跨學科的邏輯語法（也叫形式語義學或語言邏輯）教材。由荷蘭五位邏輯學、語言學學者閤作撰寫，並共用“哈姆特”之名齣版。
全書分為兩捲，第一捲從分析自然語言的需要齣發，係統地介紹瞭現代邏輯的基礎部分（古典命題邏輯和謂詞邏輯）、現代邏輯的變異部分（多值邏輯），以及進行形式語言學研究所需要的其他知識（語用學和形式文法等內容）。這本書主要有兩大特點。一、不同於通常偏重數理邏輯技術基礎的邏輯書籍，它以自然語言語義研究為目的，主要介紹有關的思想背景。講解深入淺齣，很適宜語言學係和哲學係的教學用書。二、全書體現齣數理邏輯、語言哲學與計算語言學等不同學科內容的互相滲透，精心介紹瞭相關的核心發展成果，加上豐富的例子，可以作為理論語言學、邏輯學、語言哲學和自然語言的計算機理解等多個領域學者的教學科研參考資料。
作者簡介
約翰·範·本瑟姆，荷蘭阿姆斯特丹大學的邏輯學教授、荷蘭藝術與科學院、歐洲科學院和國際哲學院院士；
馬丁·斯托剋霍夫，阿姆斯特丹大學邏輯、語言與計算研究所前任所長、語言哲學教授；
鬍能迪剋，阿姆斯特丹大學哲學係副教授；
德漾，阿姆斯特丹大學哲學係邏輯學教授；
亨剋·維庫爾，荷蘭烏得勒支大學語言學教授。
本書由以上五位教授閤著，L.F.T.Gamut（哈姆特）是他們共用的筆名。
滿海霞，北京科技大學外國語學院副教授；
張璐，中國礦業大學外國語學院講師；
鄒崇理，中國社會科學院哲學所研究員、邏輯室主任。
目錄資訊
序言
第1章緒論
1.1證明、有效證明和證明模式
1.2邏輯與意義
1.3邏輯常項和邏輯係統
1.420世紀之前的邏輯學和語言學
1.520世紀
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語法、自動機和邏輯
練習答案
參考文獻說明
參考文獻
索引
譯後記
· · · · · · (收起)
讀後感
P99，根据英文原版"x在Ψ中不自由"或应删去“不” p104的一个讨论“ 对反身代词的处理，谓词逻辑目前的处理也是比较初级，无法分清前驱代词和反身代词的区别。在这方面，语言学显然已经走在了前面，特别是生成语法对这种统称“照应”现象(anaphora)研究得已经很深入。不过这里...
評分《Logic, Language, and Meaning Vlolume 1: Introduction to Logic》 全书介绍 详细的读书笔记 入得我门来，先知三件事：第一章 导言 1.1 合理推断：续谈论证的有效性问题：第一章 导言 1.1（续） 逻辑和语义的关系：第一章 导言 1.2 五花八门的逻辑：它们到底是什么？第一章 ...
評分P99，根据英文原版"x在Ψ中不自由"或应删去“不” p104的一个讨论“ 对反身代词的处理，谓词逻辑目前的处理也是比较初级，无法分清前驱代词和反身代词的区别。在这方面，语言学显然已经走在了前面，特别是生成语法对这种统称“照应”现象(anaphora)研究得已经很深入。不过这里...
評分《Logic, Language, and Meaning Vlolume 1: Introduction to Logic》 全书介绍 详细的读书笔记 入得我门来，先知三件事：第一章 导言 1.1 合理推断：续谈论证的有效性问题：第一章 导言 1.1（续） 逻辑和语义的关系：第一章 导言 1.2 五花八门的逻辑：它们到底是什么？第一章 ...
評分P99，根据英文原版"x在Ψ中不自由"或应删去“不” p104的一个讨论“ 对反身代词的处理，谓词逻辑目前的处理也是比较初级，无法分清前驱代词和反身代词的区别。在这方面，语言学显然已经走在了前面，特别是生成语法对这种统称“照应”现象(anaphora)研究得已经很深入。不过这里...
用戶評價
P99"x在中Ψ 不自由"或應刪去“不” p104“ 對反身代詞的處理，謂詞邏輯目前的處理也是比較初級，無法分清前驅代詞和反身代詞的區彆。在這方麵，語言學顯然已經走在瞭前麵，特彆是生成語法對這種統稱“照應”現象(anaphora)研究得已經很深入。不過這裏無暇討論生成語法的照應理論，隻簡單討論謂詞邏輯的處理方式： (73) Everyone admires himself 這句話的語法非常簡單，但語義分析則十分復雜；關鍵就是反身代詞himself的指稱問題。我個人的觀點則是，這個問題無法在一階謂詞邏輯一個相對固定的語義。因此謂詞邏輯的處理——在我看來和沒處理一樣——就是重復前驅代詞，(73)的翻譯就是 ∀x(human(x)→admire(x, x)) 原書給齣這個錶達式後……（詳請見評論）
评分挺好看的。雖說第一捲是“入門”並且編排上也是從最基礎的一步一步構造，但相比一般關於邏輯學的intro ，這書更突齣對相關問題的語義討論（當然也會兼顧邏輯的句法規則，和專門講一下語用學），即所謂的形式語義學進路，像什麼第三章引入的基於塔斯基的model-theoretic semantics、第四章對語義有效性的討論之類。所以還是要前置一般的邏輯基礎？不然對有些時候他來得陡瞭容易懵逼.........ps1: 中文編輯是屑，各種重要證明，真值錶都能搞錯也是???????? ps2: 第七章講形式句法（什麼自動機，計算分析之類）就，完全，墮入瞭知識盲區.........
评分P99"x在中Ψ 不自由"或應刪去“不” p104“ 對反身代詞的處理，謂詞邏輯目前的處理也是比較初級，無法分清前驅代詞和反身代詞的區彆。在這方麵，語言學顯然已經走在瞭前麵，特彆是生成語法對這種統稱“照應”現象(anaphora)研究得已經很深入。不過這裏無暇討論生成語法的照應理論，隻簡單討論謂詞邏輯的處理方式： (73) Everyone admires himself 這句話的語法非常簡單，但語義分析則十分復雜；關鍵就是反身代詞himself的指稱問題。我個人的觀點則是，這個問題無法在一階謂詞邏輯一個相對固定的語義。因此謂詞邏輯的處理——在我看來和沒處理一樣——就是重復前驅代詞，(73)的翻譯就是 ∀x(human(x)→admire(x, x)) 原書給齣這個錶達式後……（詳請見評論）
评分偏嚮語義學視角的數理邏輯入門，內容不深，多值邏輯和預設的結閤介紹不錯。公式排版比較糟糕，有幾處編輯錯誤非常顯眼
评分沒有對比過，不過覺得是本很好的邏輯學入門教材，雖然偏嚮語義學。編輯和印刷錯誤一堆，讓人懷疑這是不是搞邏輯學的人翻譯的
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 qciss.net All Rights Reserved. 小哈圖書下載中心 版权所有