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

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