逻辑——从三段论到不完全性定理

本书以公理化思想为主导，从亚里士多德的三段论到哥德尔的不完全性定理，阐述传统逻辑与现代逻辑的基本理论。全书以有效推理的形式化作为轴线，分别展开三段沦的自然演绎系统、命题逻辑和一阶逻辑的解析树以及自然演绎系统等公理化的系统，并介绍了哥德尔完伞性定理与不完全性定理及相关的重要成果。本书力求在不失严谨的条件下尽可能直观地呈现理论的内容，在阐述抽象深奥的理论时，注重强调思想性，并力争通俗易懂，深入浅出。

熊明，1973年生于云南昭通，华南师范大学教授、博士生导师。北京大学哲学学士、硕士，中山大学理学博士学位。1998年起，任教于广州华南师范大学。2011—2012年，在麻省理工学院语言学与哲学系访问研究。主要研究方向为符号逻辑，出版专著1部，在国内外学术期刊上发表论文20余篇。成果曾获金岳霖学术奖、洪谦很好哲学论文奖、广东省哲学社会科学奖、中国逻辑学会科研奖等奖项。