本書用公理化方法研究哲學的核心概念“真”，即將真視為一個不通過其他概念來定義的初始概念，通過一組公理與規(guī)則研究真的演繹系統(tǒng)，及其相關的結果。全書分為四個部分，第一部分是基礎，簡述了一些數(shù)學上預備性的記號約定，并概述了研究公理化真理論的某些動機。第二、三部分分別是類型化的真理和類型自由的真理，給出了公理化真理論及與之相關的結果。第四部分是真理之路，主要評估公理化真理論形式結果的哲學含義。

更多科學出版社服務，請掃碼獲取。