内容简介 · · · · · ·

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