逻辑学导论（第二版）

　　本书是一本新型的逻辑教科书，属“普通高等教育‘十五’国家级规划教材”，适合于大学文理科的逻辑教学。它在一个统一的框架内，讨论了数理逻辑、传统逻辑、归纳逻辑和非形式逻辑的核心内容。全书正文由六章组成，分别是：逻辑是关于推理和论证的科学、命题逻辑、词项逻辑、谓词逻辑、归纳逻辑、非形式逻辑。各章后面有思考题和练习题，书末附有“综合练习100题”、“附录：形式化方法和形式系统”，以及“推荐阅读书目”。

　　陈波，1957年生，中国人民大学哲学博士，北京大学哲学系教授，博士生导师。中山大学逻辑和认知科学研究所兼职研究员，西南师范大学兼职教授，2004年度台湾佛光大学哲学系兼任客座教授。国际哲学学院主办的杂志《哲学文献》（法国巴黎）中国编委，美国哲学联合会国际会员。先后应邀在芬兰赫尔辛基大学哲学系（1997.9—1998.9）、台湾东吴大学哲学系（2001.5—2001.7）、美国迈阿密大学哲学系（2002.2—2003.2）和台湾佛光大学哲学系（2004.10—2004.11）访学或讲学。专业领域为现代逻辑和分析哲学。主要著作有：《逻辑哲学引论》、《蒯因》、《冯•赖特》、《奎因哲学研究——从逻辑和语言的观点看》、《爱默生》、《逻辑哲学导论》、《分析哲学——回顾与反省》、《逻辑学是什么》、《逻辑学导论》、《逻辑哲学研究》等。译著有：《哲学百年》、《知识之树》等。

第一章 逻辑是关于推理和论证的科学
第一节 “逻辑”的词源和词义
第二节 命题分析和逻辑类型
第三节 推理形式及其有效性
第四节 逻辑学和理性精神
思考题
练习题
第二章 命题逻辑
第一节 日常联结词和复合命题
第二节 真值联结词 真值形式
第三节 重言式及其判定方法
第四节 重言蕴涵式 重方等值式
第五节 命题逻辑的自然推理
第六节 命题逻辑的扩充系统——广义模态逻辑
思考题
练习题
第三章 词项逻辑
第一节 直言命题
第二节 直接推理
第三节 三段论
第四节 直言命题的存在含义问题
第五节 文恩图解法
第六节 词项逻辑知识的综合应用
思考题
练习题
第四章 谓词逻辑
第一节 个体词 性质谓词 量词和公式
第二节 关系谓词 重叠量化 二元关系的性质
第三节 模型和赋值 普遍有效式
第四节 普遍有效式的判定问题
第五节 谓词逻辑的自然推理
第六节 应用特例：摹状词分析
思考题
练习题
第五章 归纳逻辑
第一节 什么是归纳原理？
第二节 简单枚举法
第三节 排除归纳法
第四节 类比推理
第五节 假说演绎法
第六节 概率、统计推理
第七节 归纳方法是合理的吗？
第八章 归纳逻辑的综合应用
思考题
练习题
第六章 非形式逻辑
第一节 定义理论
第二节 论证理论
第三节 瘳误理论
思考题
练习题
综合练习100题
参考书目
推荐阅读书目