本書對基本邏輯符號的應用, 都是建立在我們日常生活和學習中所經常運用到的抽象思維能力。與絕大多數邏輯書中使用的“真值樹”來教授你算法不同, 本書培養并強化我們提出論點和評估論點的先天能力。本書還引入自然演繹法, 這種方法不僅教會你如何進行證明和解決問題, 還教會你有效推理的原則是什么, 以及如何將其應用于學習和工作。本書還可以幫你順利過渡到更高級的邏輯主題, 教你一些適用于更復雜場景的一般技術, 如制定關于特定主題的理論。
【美】 漢斯.哈沃森(Hans Halvorson)
普林斯頓大學斯圖爾特哲學教授。他的主要研究方向包括科學哲學、分析哲學史等。他重點研究邏輯推理在科學和日常生活中的作用等。
譯者簡介
陳龍
倫敦大學國王學院(King's College London)哲學博士,現任北京師范大學哲學學院講師,研究方向為數學哲學、邏輯哲學。
郭佳宏
教授,北京師范大學哲學學院副院長,中國邏輯學會秘書長,北京市邏輯學會副會長兼秘書長。主要研究方向為哲學邏輯、人工智能邏輯。