公理化

真之公理化理论.pdf

本书用公理化方法研究哲学的核心概念“真”,即将真视为一个不通过其他概念来定义的初始概念,通过一组公理与规则研究真的演绎系统,及其相关的结果。全书分为四个部分,第一部分是基础,简述了一些数学上预备性的记号约定,并概述了研究公理化真理论的某些动机。第二、三部分分别是类型化的真理和类型