SCNU Center for Logic and Analytic Philosophy

摘要：

  “真”一直以来是哲学中的一个重要概念，是哲学家、逻辑学家在探究学术时无法绕过的一个问题。传统的真理论主要有：符合论、融贯论、冗余论、实用论等。上世纪80年代末和90年代初，才由弗里德曼、希尔德等人正式提出了公理化真理论。公理化真理论的研究方法是将真作为一个原始谓词，并且用一组公理和规则来规定它。本讲座按照基础理论不同，主要从三个方面：经典的公理化真理论、直觉主义的公理化真理论和集合论上的公理化真理论展现我们团队关于公理化真理论研究的一些结果。与此同时，还将介绍报告人对公理化集合论ZFC（＝ZFC－FA）＋AFA系统中非良基公理研究的一些工作。

---