内容简介  · · · · · ·

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