逻辑学入门

这是一本会'劝退'读者的逻辑学教材，而正是这种劝退构成了它真正的价值。豆瓣上最真实的反馈几乎一致：前两章读来顺畅，从第三章起开始'蒙圈'，涉及模型论后难度陡增，不少人'勉强强行看完'。与市面上把逻辑讲成生活技巧、谬误清单的'科普'不同，这本书毫不掩饰地带你进入形式化证明的内核——自然演绎、量化规则、完全性与可靠性、可判定性与紧致性。它不适合想要'轻松读懂'的读者，而适合愿意被符号和推导'较真'的人。需要提醒的是，全书习题不提供答案，这意味着它更适合作为教材在老师带领下使用，而非独自啃读。若你追求的是'成为更好的思考者'那种泛化的思维提升，它可能让你失望；但若你想真正触摸逻辑学的骨架，它会给你一份不妥协的诚实。

【美】 汉斯·哈沃森（Hans Halvorson） 普林斯顿大学斯图尔特哲学教授。他的主要研究方向包括科学哲学、分析哲学史等。他重点研究逻辑推理在科学和日常生活中的作用等。 译者简介 陈龙 伦敦大学国王学院（King's College London）哲学博士，现任北京师范大学哲学学院讲师，研究方向为数学哲学、逻辑哲学。 郭佳宏 教授，北京师范大学哲学学院副院长，中国逻辑学会秘书长，北京市逻辑学会副会长兼秘书长。主要研究方向为哲学逻辑、人工智能逻辑。