该书收集了蒙太古在1960-1970年间发表的一系列文章，这些文章建立了以真值条件、模型论语义学为基础的蒙太古语义学。它致力于把在数理逻辑中发展起来的技巧，应用于自然语言语义学。

This long-awaited book replaces Hughes and Cresswell's two classic studies of modal logic: An Introduction to Modal Logic and A Companion to Modal Logic. A New Introduction to Modal Logic is an entirely new work, completely re-written by the authors. They have incorporated all the new developments that have taken place since 1968 in both modal propositional logic and modal predicate logic, without sacrificing tha clarity of exposition and approachability that were essential features of their earlier works. The book takes readers from the most basic systems of modal propositional logic right up to systems of modal predicate with identity. It covers both technical developments such as completeness and incompleteness, and finite and infinite models, and their philosophical applications, especially in the area of modal predicate logic.

为什么铁路信号系统工作正常时，列车仍然会发生撞车事故？为什么所有操作人员都警觉地坚守着工作岗位，核反应堆依然会发生灾难性的熔化事故？为什么我们制定得甚好的那么多专业和个人计划，会如此频繁地出岔子？
迪特里希·德尔纳，德国最高科学将获得者，在此考虑为什么--假定具备所有的 智能、经验和信息条件--我们却仍然会犯错误，有时甚至引起灾难性的后果。令人惊讶的是，他发现问题的答案不在于疏忽或粗心，而是缘于他所谓的"失败的逻辑"：我们思维模式中的某些倾向--诸如一次只做一件事，因果关系，还有线性思维--它们适合于过去的简单世界，对于我们现在所生活的复杂世界却有着灾难性影响。当今世界，一切事物都是相互关联的。我们不能一次只做一件事情，因为每件事都有多重结果；我们不能用孤立的因果模式考虑问题，因为所有的情况都有副作用和长远影响。
德尔纳给我们找到了不少例子。为什么阿斯旺水坝的规划者们，只想到会给埃及带来廉价用电的好处，却没有意识到他们也将会中断几千年来维持尼罗河谷地肥沃富饶的一年一次的洪水漫灌？为什么第三世界健康计划的规划者们不能认识到提高平均寿命就要求增加食物供应，从而疏忽地终止对饥民的捐助？
德尔纳指出，在未了解一个复杂系统中所有连锁因素之前就采取行动，即使我们怀着善良的意愿，也难免铸成大错。面对我们力不能及的问题，小错误累积起来，最后就会酿成严重的错误结论。过于频繁地忽视问题的大局，却只在我们知道如何做的范围内寻求权宜之计--这只能是杯水车薪无济于事。
德尔纳用他自己编制的引人入胜的计算机模拟程序，揭示了我们思维中的这些缺陷。他的例子--有时是开心的，有时是吓人的--和他那"梳脑"思维实验，使我们认识到应该如何处理复杂问题。这些实例使本书成为一件矫正工具，一种明智的规划和决策指南，使商业经理、决策者以及面临由此及彼日常挑战的每一个人的思维技巧更加敏锐。本书将改变我们构思变化的方法本身，使我们对成功之路的判断能力得到提高。

序
前言（代自序）
第1章　语用学与形式语用学
1.1　语用学的定位和研究概况
1.1.1 语用学的历史发源
1.1.2　语用学的定义
1.1.3 语用学与语义学的区别
1.1.4　语用学的主要研究领域和课题
1.2　形式语用学的起源和研究对象
1.3　形式之辩
1.3.1 两种“形式”
1.3.2　形式化研究的优势
第2章　形式化研究基础
2.1 自然语言的逻辑内容
2.2　集合与函项
2.2.1 集合
2.2.2 关系
2.2.3 函项
2.3　命题逻辑
2.3.1　命题联结词
2.3.2　充分必要条件
2.3.3　命题推理规则
2.4　谓词逻辑
2.4.1 一元谓词与直言命题
2.4.2　二元谓词与关系命题
2.4.3　谓词逻辑的推理规则
2.5　非经典逻辑
2.5.1　模态逻辑
2.5.2 归纳逻辑
2.5.3　溯因逻辑
2.5.4　缺省逻辑
第3章　话语表征理论与前指
3.1　从指代现象到前指
3.1.1 “指”“代”综览
3.1.2　前指分类
3.2　话语表征理论（DRT）
3.2.1　DRT产生的背景
3.2.2　DRT的理论基础
3.2.3　DRS的建构
3.2.4　DRS的语义解释
3.2.5　DRT的典型应用
3.3　前指的DRT形式方案
3.4　评价与讨论
3.4.1 懒惰代词前指和间接前指
3.4.2　歧义现象与DRS连续蕴涵中的部分前指确认
3.4.3　双重否定和否定析取
3.4.4　比例问题
3.4.5　话语中的前指
第4章　语力逻辑理论与言语行为
4.1　言语行为与言语行为理论
4.1.1　施为句与表述句
4.1.2　适宜条件
4.1.3　言语行为三分说
4.1.4　语力行为的分类
4.1.5　间接言语行为
4.2　语力行为理论
4.2.1 语力行为的基本概念
4.2.2　语力的基本组成
4.2.3　语力行为的重新分类
4.3　言语行为的语力逻辑（ILT）形式方案
4.3.1　ILT中的基本概念和逻辑实体
4.3.2　语力七要素的形式定义
4.3.3　五类语力的形式定义
4.3.4　语力行为及其成功条件的形式定义
4.3.5　ILT中的部分规则
4.3.6　英汉语力动词的实例分析
4.4　评价与讨论
4.4.1　运算中的“语言学意义”
4.4.2　语力行为动词形式化vs语力行为形式化
4.4.3　语言分析系统vs逻辑系统
第5章　潜预设理论与预设
5.1　预设的传统认识与研究
5.1.1　从弗雷格到斯特劳森的研究传统
5.1.2　语义预设的定义与否定问题
5.1.3　预设与焦点
5.1.4　预设的触发结构
5.2　语义／语用界面上的预设
5.2.1　语义预设的难题
5.2.2　“塞子、漏洞、过滤器”
5.2.3　语用预设的定义
5.2.4　预设与会话含义和规约含义的区别
5.3　预设的潜预设理论（PPT）形式方案
5.3.1 简单肯定句中预设和蕴涵的双重性
5.3.2　潜预设的定义与公式表述
5.3.3　PPT的系统定义
5.3.4　预设投射的实例分析
5.4　评价与讨论
5.4.1 形式系统的缺陷
5.4.2　列文森对PPT的批评及重分配方案
5.4.3　盖士达的反例
第6章　缺省逻辑理论与一般会话含义
6.1　会话含义与一般会话含义
6.1.1 言语交际中的含义现象
6.1.2　格莱斯的会话含义理论
6.1.3　列文森的一般会话含义理论
6.2　缺省逻辑理论（DLT）
6.2.1　缺省逻辑的定义
6.2.2　缺省逻辑的扩展
6.2.3　缺省逻辑的细化式及意义
6.3　一般会话含义的DLT形式方案
6.3.1 Q／M／I三含义的缺省逻辑理论
6.3.2　一般会话含义推导的缺省逻辑模型（DLG）
6.4　评价与讨论
6.4.1　逐例系统的缺陷
6.4.2　理论的拓展前景
参考文献

《从逻辑的观点看》是W.V.O．蒯因的第一部哲学论著，由九篇论文结集而成。文中提出了一系列具有独创性和挑战性的观点，如关于何物存在的本体论许诺的学说，关于共相（抽象物）问题上唯名论和实在论之争的折中解决方案（概念论），关于经验论“两个教条”（分析命题和综合命题之分与还原论）的批评和整体主义的知识观，关于意义和指称的区别和对“意义”观念的否定，关于数理逻辑的新基础（NF）以及对内涵（模态）逻辑的批评等，都曾引起广泛而热烈的争论，对当代西方哲学的发展产生了重大的影响。

本书共6卷，大致按年代顺序编辑而成。但出于各卷篇幅方面的考试，有时也打破了这种顺序。
第1卷收入两部论著：《威拉德·范·奥曼·蒯因自传》和《数理逻辑》
第2卷收入两部论著：《逻辑方法》和《本体论的相对性及其他论文》
第3卷收入两部论著：《集合论及其逻辑》和《逻辑哲学》
第4卷收入三部论著：《从逻辑的观点看》、《指称之根》以及《语词和对象》
第5卷收入两部论著：《悖论的方式及其他论文》和《信念之网》
第6卷收入四部论著：《理论和事物》、《一些离奇的想法——一部不连贯的哲学辞典》、《真之追求》、《从刺激到科学》
以上6卷收入了蒯因的绝大部分逻辑论著和哲学论著，只有少数论著未收入。

弗雷格(1848-1925)是分析哲学的奠基人，整个二十世纪分析哲学传统的核心议题，在很大程度上是由弗雷格制定的。但弗雷格本人对学术界的直接影响范围很窄，而主要是通过维特根斯坦和罗素间接地确定其原创思想家的地位，真正确定弗雷格作为分析哲学奠基人地位的，是达米特。分别出版于1973年的Frege: Philosophy of Language和1993年的Frege: Philosophy of Mathematics，对弗雷格的语言哲学和数学哲学（这两部分构成了弗雷格哲学思想的全部）分别做了全面系统的阐述。这两部著作在出版后在学术界产生了巨大影响，其中的Frege: Philosophy of Language仅是1981年的剑桥版本就被引用2173次，2011年出版的关于弗雷格哲学的剑桥指南The Cambridge Companion to Frege中还开辟专章，介绍达米特对弗雷格的解读。如果说，制定了分析哲学核心议题的是弗雷格，那么制定弗雷格哲学研究的核心议题的，是达米特。
Frege: Philosophy of Language这部著作实际上有两个任务，其一，系统阐述弗雷格的语言哲学，其二，阐述语言哲学核心内容是如何通过弗雷格的工作成型的。因此，这不是一部专注于弗雷格著作文本的解释性著作，而是一部在全面消化弗雷格著作的基础上，对弗雷格思想的内在机理进行研究的著作。达米特本人作为一名经验丰富的哲学家，在哲学史研究与对哲学问题的思考间建立了一种相互激励相互推进的关系。他通过对哲学问题的思考在弗雷格观点中找到切入点，然后利用在弗雷格那里学到的东西，获得对哲学问题的洞见。这部著作是这种研究方式的典范。这种研究方式使达米特在与弗雷格的关系中找到一个恰当的位置，它既非完全同情式的，也非完全批判式的，而是一个可以在同情与批判之间灵活调整，使两个方向均相得益彰的位置。通过这种研究，达米特获得了据以建立自己哲学思想的理论高度，从而获得了一流哲学家的地位。

本卷包括三部论著：《从逻辑的观点看》（1953），《语词和对象》（1960），以及《指称之根》（1974）。第一部是蒯因最有影响的一本论文集，收入《论何物存在》、《经验论的两个教条》等9篇论文，主要探讨本体论承诺、分析性、意义、共相等问题，对分析命题和综合命题的区分以及还原论这两个传统观点做了有力批判。第二部是蒯因哲学的代表作，对前一本书中提出的论点做了重大发展，在“彻底翻译”的语境中，阐述和论证了翻译的不确定性、指称的不可测知性、本体论的相对性等重要论题。第三部详细阐述了作者的指称发生理论，是对《语词和对象》等著作中的观点的进一步发展。

在科学哲学中运用形式方法的一个根本原因是拥有一个固定的指称框架的可取性，这种指称框架可以被用来组织手头的许多学说。《科学结构的表征与不变性》考察了集合论方法是如何提供这样一种指称框架的，全书内容涵盖了公理化方法、表征、不变性、概率、力学以及语言等问题，同时还包括对关于语词和句子的脑波表征的研究。本书是帕特里克•苏佩斯教授的代表作，是苏佩斯教授数十年研究成果的结晶，是了解科学哲学当前进展的必读作品。

《逻辑、信息和互动》既有关于逻辑数学基础的探索，又有对逻辑应用领域的拓展，适合从事逻辑学研究的学生和教师阅读。也适合从事其他逻辑相关学科专业的学生和教师参阅。“逻辑之门”是当代世界著名的逻辑学家约翰，范本特姆经典著作的中文翻译。丛书收集了他的经典论文和主要专著，其涵盖的主题有：关于信息、进程和智能互动的模态逻辑，自然语言中范畴语法和量词语义的逻辑：逻辑与认识论、科学方法论和博弈论之间的相互影响，等等。丛书展现了现代逻辑作为数学、哲学、语言学、计算机科学、认知科学等学科之间媒介和催化剂的新视角。

本书是哥德尔的权威传记，全面描述了这位逻辑学家和哲学家的工作及生活细节。逻辑学家和科学史家道森对哥德尔的文献和保存下来的信件进行了深入研究。研究表明，哥德尔在数学基础方面的工作从根本上改变了我们对这个领域的看法，并在20世纪激发了许多研究方向。道森还探讨了哥德尔的个性与他的科学成就之间的关系，并阐释了哥德尔的成就对我们现代世界观的影响。

本书讨论哥德尔纲领的历史背景、对数学和哲学的影响以及数学家们为实现这一纲领的重要工作。 哥德尔纲领可以看作是为解决连续统问题而提出的一种研究方略。当数学家们知道了连续统假设的独立性之后，关于这个集合论命题的哲学地位就产生了争论。一派认为独立性就是对这个问题的优选解决，连续统假设既不是真的也不是假的，这就是很后的答案，因此，这个方向的工作已经完成。而哥德尔则认为独立性不是问题的解决，我们需要加强现有的公理系统以确定连续统假设的真值。这个方向上的工作才刚刚开始，其核心就是寻找集合论的新公理。在此之后，特别是20世纪80年代以来，集合论学家在这个方向上取得了一系列重要的成就。2010年之后，整个图景逐渐清晰起来。粗略地说，连续统问题的解决取决于我们是否能够构造一个包含超紧基数的类似于L的内模型。如果这种构造能够成功，那就在某种意义上出现了一个优选的模等。

《论证的使用（修订版）》被誉为“亚里士多德《论题篇》的复活”“非形式逻辑两部*有预见性和影响的现代作之一”。作品从“概率（可能性）”概念入手，揭示了理性和形式逻辑在面对复杂的科学、社会问题时存在的局限性，提出了一个同时基于形式逻辑和非形式逻辑基础之上的论证模型。该论证模型在法学、语言学、心理学、教育学等领域产生了广泛而深刻的影响，如今很多学术领域的年轻学者都采用这一模型来论证自己的观点。

《批判性思维教程》是在北京大学和中国青年政治学院开设“逻辑与批判性思维”课程的基础上写成的。2003年秋，“逻辑与批判性思维”作为一门通选课在北京大学首次开设，2004年纳入暑期学校课程。从2004年起，每年讲授两轮。春季的授课对象主要是“元培计划”的学生；暑期的授课对象主要是其他院系一年级的本科生。2000年秋，中国青年政治学院开始对“普通逻辑”课程进行改革，逐渐向“批判性思维”过渡，到2003年秋与北京大学同步开设“逻辑与批判性思维”课程。

悖论是逻辑学中最光彩夺目的部分，也是最能激发逻辑学家、数学家、哲学家以及普通大众兴趣的话题，它指的是与公认的信念相左的“道理”，或是让人陷入两难、无所适从的命题。它虽然看似荒谬，违反常理，但却似乎论证缜密、无从反驳。
悖论起源很早，如古希腊的“说谎者悖论”、中国的“白马非马”之说。历史上，众多的哲学家、数学家、逻辑学家对悖论进行了奇妙而艰苦的探索，带给他们成功的快乐和失败的苦痛，并且不断推进了人类智慧的进展，引发哲学和数学的革命。
本书是国内迄今最全面系统地介绍悖论问题的著作，作者将从古至今五花八门的悖论分成十二类，详细介绍每一类悖论的历史原型、各种变体、逻辑学家的解决方案、与日常生活的关系等等。作为国内著名的逻辑学家，作者展示了多年来在这一领域探索的成果，对于国内外相关领域的逻辑学的进展都将有很大的推动。
悖论之所以存在的深层原因，还在于人类思维深处的矛盾和裂隙，在对悖论漫长的探索过程中，我们不断攀升人类智慧的高度，同时也意识到其局限和不足。
悖论示例：
万能的上帝能创造一块他自己举不起来的石头吗？
如果能，则世界上至少有一块石头是上帝无法举起来的，所以他不是万能的；
如果不能，则世界上至少有一件事是上帝做不到的，所以他也不是万能的。

《疯狂的罗素：逻辑学与数学的奇幻之旅》是一部历史小说式的漫画故事书，也是一本逻辑学、数学的导引书，通俗易懂地介绍了数学和逻辑学中一些最伟大的思想。本书取材于声名显赫的哲学家伯特兰·罗素，讲述了他的早年生活以及他对真理满怀激情的追求过程。家族秘密和无法驱除的好奇心一直困扰着罗素，使他着迷于一个盗火者普罗米修斯式的目标：建立所有数学的逻辑基础。这个目标惠及人类，却令他自己痛苦、疯狂。在这种痛苦地探寻真理的过程中，罗素与很多传奇思想家相遇了，诸如阿尔弗雷德·诺夫·怀特海，戈特洛布·弗雷格和库尔特·哥德尔，以及他充满热情的学生、声名显赫的路德维希·维特根斯坦。书中用丰满的人物形象、富于表现力和感染力的漫画、扣人心弦的故事，展示了这些20世纪的思想者追求真理的历程，一个个迷人的故事让我们感受与这些思想者一起探险的美妙和疯狂。

本书是逻辑经验语义的创始人之一R.卡尔纳普科学哲学方面的代表作，讨论了现代科学哲学的基本问题，特别对科学语言的性质、科学解释的结构、测量与定量语言在科学中的地位、因果性和决定性。非欧几何的哲学意义，相对论和量子力学的哲学问题等作了深入浅出的探讨。

内容提要
本卷包括两部论著：《威拉德·范·奥曼·蒯因自传》（1986）和《数理逻辑》（1940）。前者是蒯因为“在世哲学家文库”《蒯因哲学》卷所写的简明自传；后者是蒯因的一部重要的逻辑著作，在其中，他仍然坚持逻辑主义纲领，试图从逻辑中推导出数学，把先前在《数理逻辑的新基础》（1937）一文中提出的NF系统，修改为ML系统，这是一个把命题逻辑、量化理论和集合论集为一身的系统，结构简明、特性奇异。
目录
威拉德·范·奥曼·蒯因自传
数理逻辑
导言
第一章 句子
1 合取、析取和否定
2 条件句
3 多重复合
4 使用和谈论
5 谈论句子的句子
6 准引语
7 括号与黑点
8 归约为三个初始联结词
9 归约为一个初始联结词
10 重言式
11 某些重言的形式
第二章 量化
12 量词
13 公式
14 约束、自由、闭包
15 量化的公理
16 定理
17 元定理
18 等值代换
19 存在量词
20 量词的分配
21 字母变体
第三章 项
22 类和分子
23 逻辑公式
24 抽离
25 等同
26 再论抽离
27 摹状词和名字
第四章 关于类的进一步理论
28 层次
29 更进一步的从属关系公理
30 等同可代入性
31 变元的代入
32 进一步的结果
33 逻辑积、和、补
34 包含
35 单类
第五章 关系
36 对和关系
37 关系的抽离
38 逆、象、关系积
39 祖先
40 函数
41 函数的抽离
42 作为关系的等同和从属
第六章 数
43 零、一、后继
44 自然数
45 可数集合
46 有穷的和无穷的
47 关系的幂
48 算术和、积、幂
……
第七章 句法
附录
参考文献
人名索引
主题词索引