逻辑学导论

第一章 逻辑是关于推理和论证的科学 第一节 “逻辑”的词源和词义 第二节 命题分析和逻辑类型 第三节 推理形式及其有效性 第四节 逻辑学和理性精神 思考题 练习题第二章 命题逻辑 第一节 日常联结词和复合命题 第二节 真值联结词 真值形式 第三节 重言式及其判定方法 第四节 重言蕴涵式 重方等值式 第五节 命题逻辑的自然推理 第六节 命题逻辑的扩充系统——广义模态逻辑 思考题

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

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