本书属于日月光华哲学书系，是衔接哲学思辨与数学形式化推理的通识经典著作。全书跳出传统教材重公式、轻思想的固化写法，系统梳理从莱布尼茨符号演算到哥德尔不完全性定理的数理逻辑发展脉络，完整讲解命题逻辑、谓词逻辑的形式系统与推理规则。作者兼顾技术性方法与底层思想，既拆解逻辑符号推演、形式证明的实操方法，也阐释数理逻辑的哲学内核、思维本质与认知边界，打破数学与哲学的学科壁垒，帮助读者掌握严谨的形式化思维，理解人类理性证明的限度与力量。