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

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

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