逻辑学导论（第4版）

本书是一本新型的逻辑教科书，适合于大学文理科的逻辑教学，力图贯彻一个核心理念：逻辑学是对于理性精神的培养和训练。本书在一个统一的框架内讨论了数理逻辑、传统逻辑、归纳逻辑和非形式逻辑的核心内容。全书由六章组成，分别是：逻辑是关于推理和论证的科学、命题逻辑、词项逻辑、谓词逻辑、归纳逻辑和非形式逻辑。本书各章后面有概要、思考题和练习题，为了帮助读者延伸阅读，书末附有“推荐阅读书目”。2018年，本书第3版被评为“北京大学优秀教材”。

陈波，1957年生，中国人民大学哲学博士，北京大学哲学系教授，博士生导师，专业领域为逻辑学和分析哲学。先后赴芬兰赫尔辛基大学（1997—1998）、美国迈阿密大学（2002—2003）、英国牛津大学（2007—2008）、日本日本大学（2014）做访问学者或合作研究，多次应邀到德国、芬兰、日本、韩国和
港澳台地区的学术机构讲学或开会。承担国家社科基金项目（5项）、教育部（4项）和北京市哲学社会科学研究项目（1项），多次结项被评为“优秀”。目前为国家社科基金重大项目“当代逻辑哲学重大前沿问题研究”（批准号17ZDA024）首席专家。其主要著作有：《分析哲学——批评与建构》（2018）
、《悖论研究》（2017）
、《理性的执著：对语言、
逻辑
、
意义和真理的追问》（2014）、
《逻辑哲学研究》（2013）

、
《与大师一起思考》（2012）、

《逻辑学十五讲》（2008）、《逻辑哲学》（2005）、《逻辑学导论》（2003）、《逻辑学是什么》（2002）、《奎因哲学研究——从逻辑和语言的观点看》（1998）
等。在国内外重要期刊发表学术论文200多篇，其中在国际AHCI期刊发表英文论文20多篇，参看其英文网址：https://pku.academia.edu/ChenBo。其学术成果先后获得教育部（2项）、北京市（4项）和金岳霖学术奖（3项）等省部级学术奖励。
2018年，当选为国际哲学学院（Institut International de Philosophie，缩写为IIP）院士。

目录
章逻辑是关于推理和论证的科学
节“逻辑”的词源和词义
一、“逻辑”的古希腊词源
二、逻辑学的历史与现状
三、逻辑学的对象:推理和论证
第二节命题分析和逻辑类型
一、语句、命题、陈述、判断与真值
二、复合命题和命题逻辑
三、直言命题和词项逻辑
四、个体词、谓词和量化逻辑
五、变异逻辑、扩充逻辑和元逻辑
第三节推理形式及其有效性
一、推理的形式结构
二、推理形式的有效性
三、日常思维中的推理和论证
第四节逻辑基本规律
一、同一律

二、矛盾律
三、排中律
四、充足理由律
本章概要
思考题
练习题

第二章命题逻辑
节日常联结词和复合命题
一、简单命题和复合命题
二、联言命题
三、选言命题
四、假言命题
五、负命题
第二节真值联结词真值形式
一、从日常联结词到真值联结词
二、真值形式指派与赋值
三、否定
四、合取
五、析取
六、蕴涵
七、等值
八、自然语言中复合命题的符号化
第三节重言式及其判定方法
一、重言式
二、真值表方法
三、归谬赋值法
四、树形图方法
第四节重言蕴涵式重言等值式
一、推理的形式结构重言蕴涵式
二、重言等值式置换规则
第五节命题逻辑的自然推理
一、PN推演规则
二、PN定理及其证明
三、PN有前提推演
第六节命题逻辑的扩充系统?D?D广义模态逻辑
一、 模态词的种类
二、模态命题的真值条件
三、 模态逻辑系统TN
第七节命题逻辑知识的综合应用
本章概要
思考题
练习题

第三章词项逻辑
节直言命题
一、直言命题的结构和类型
二、直言命题中主谓项的关系
三、直言命题间的对当关系
四、直言命题中词项的周延性
第二节直接推理
一、换质法
二、换位法
三、换质位法
四、对当关系推理
第三节三段论
一、三段论的定义格与式
二、三段论的一般规则和特殊规则
三、三段论的还原与公理化
四、三段论的非标准形式
第四节直言命题的存在含义问题
第五节三段论有效性的图解判定
一、欧拉图判定法
二、文恩图判定法
本章概要
思考题
练习题
第四章谓词逻辑
节个体词性质谓词量词和公式
一、个体词
二、一元谓词和性质原子公式
三、量词和量化公式
四、自然语言中性质命题的符号化
第二节关系谓词重叠量化二元关系的性质
一、关系谓词量词的重叠重叠量化式
二、自然语言中关系命题的符号化
三、二元关系的逻辑性质排序问题
第三节模型和赋值普遍有效式
一、模型和赋值
二、普遍有效式
第四节普遍有效式的判定问题
一、树形图方法
二、证明非普遍有效性的方法
第五节谓词逻辑的自然推理
一、QN推理规则
二、QN定理及其证明
三、QN有前提推演
第六节等词理论和摹状词分析
一、等词理论
二、摹状词分析
本章概要
思考题
练习题

第五章归纳逻辑
节什么是归纳推理?
第二节简单枚举法
一、什么是简单枚举法?
二、变化形式:科学归纳法
三、极限形式:完全归纳法
第三节排除归纳法
一、因果关系的特点
二、求同法
三、求异法
四、求同求异并用法
五、共变法
六、剩余法
第四节类比推理
一、类比推理
二、模拟方法
三、比较方法
第五节假说演绎法
一、起点:问题和困境
二、形成假说:溯因推理
三、从假说推出观察结论
四、验证假说:证实和证伪
五、科学假说的评价标准
第六节概率、统计推理
一、基本概念
二、概率的三种解释
三、概率演算
四、统计推理
五、警惕“精确”数字陷阱
第七节归纳方法是合理的吗?
一、老归纳之谜:休谟问题及其回答
二、新归纳之谜:三个归纳悖论
第八节归纳逻辑的综合应用
本章概要
思考题
练习题
第六章非形式逻辑
节定义理论
一、词项的内涵和外延
二、定义的结构
三、定义的种类
四、定义的规则
五、定义的作

2018年，北京大学评选出69种优秀教材，我的《逻辑学导论》（第3版）名列其中。根据规定，以后新版或新印时，封面上要印上“北京大学优秀教材”的字样。
尽管《逻辑学导论》获评优秀教材，但不意味着它没有缺点，相反要不断修订，使其更趋完善。我以极其认真的态度着手此次修订，主要集中在下面两点：
，依据使用本教材的北大学生的反馈，也依据使用本教材的外校老师和同行的反馈，改正排印错误、表述错误，甚至是小的内容差错。这种改动在第二章“命题逻辑”和第四章“谓词逻辑”中比在其他各章中明显多得多。希望通过此次修订，有差错或有争议的地方显著减少，好是完全没有了，但我知道做到后一点几无可能。
第二，各章末尾加上了练习题。出本书第2版时，除了各章练习题外，还有“综合练习一百题”，而本书属于“新编21世纪哲学系列教材”，中国人民大学出版社对该套教材的篇幅大小有统一要求，若加上所有练习题，本书的篇幅太大了，经我同意，出本书第3版时，就不把练习题放在书内，而是放到网上供读者自由下载。不过，使用此教材的不少老师和学生向我反映，教材中不放练习题，使用起来不太方便。考虑到读者的这种感受，经与出版社商议，这次修订时我还是依循惯例，把练习题置于各章末尾，并重新设计了部分练习题，但为了压缩篇幅，去掉了“综合练习一百题”。
我要对很多人表示谢意。选修我的“逻辑导论”课程（先为通选课、后为核心通识课）的各届北大学生，累计起来达四五千人。他们中有很多人帮助我查找书中的讹误和疏漏，用电子邮件、打印稿或当面逐一告知我。山西榆次的田茂老师先后为《逻辑学导论》的多个版本制作勘误表，用电子邮件发给我。此次修订时，北大博士生郑植以认真负责的态度提供了实质性帮助，把全书通读一遍，提出修改建议，帮助设计部分练习题。本书责任编辑吴冰华女士一如既往地高质量地编辑了此书。在此，我谨对所有提供帮助的人士表示衷心的感谢！
欢迎各位读者暨学界同人继续批评指正！

陈波
2019年8月16日
于博雅西园寓所