公理化真理论研究

　　本书的目的是为了介绍、完善和丰富公理化真理论的成果。全书内容从三个方面进行：第一个方面：以寻求能够避免说谎者悖论及其变体的“理想真理论”为线索，对以一阶逻辑和皮亚诺算术为基础理论的经典公理化真理论的基本理论和研究框架进行概述。第二个方面：减弱经典公理化真理论的基础理论，将一阶逻辑减弱为直觉主义逻辑，系统地研究基于直觉主义逻辑的公理化真理论。第三个方面：加强经典公理化真理论的基础理论，将皮亚诺算术加强为集合论，系统地研究基于集合论的公理化真理论。

　　李娜，南开大学哲学院逻辑教研室教授、博士生导师。主要研究方向为现代逻辑。专著《集合论含有原子的自然模型和布尔值模型》《反基础公理的逻辑研究》两次入选国家哲学社会科学成果文库。发表《GB 的布尔值模型》等多篇学术论文；获得教育*人文社会科学优秀成果二等奖、三等奖各一次。