塔斯基定理与真理论悖论

　　关于说谎者及其相关真理论悖论的研究始于古希腊时代，之后相关理论层出不穷，但至今仍无定论，相关研究仍是当今逻辑研究的一大热点。本书梳理了塔斯基、克里普克、赫兹伯格.吉普塔等人的真理论的基本内容，并通过分析其理论对真谓词的处理概括出真谓词在可能世界上的一种模式，进而给出了塔斯基定理的一系列的推广。主要探讨在对真谓词进行定义时所可能产生的悖论问题，基本目标是应用符号逻辑理论对这些悖论进行刻画，从而明确定义真谓词所需的条件。

　　关于说谎者及其相关真理论悖论的研究始于古希腊时代，之后相关理论层出不穷，但至今仍无定论，相关研究仍是当今逻辑研究的一大热点。本书梳理了塔斯基、克里普克、赫兹伯格.吉普塔等人的真理论的基本内容，并通过分析其理论对真谓词的处理概括出真谓词在可能世界上的一种模式，进而给出了塔斯基定理的一系列的推广。主要探讨在对真谓词进行定义时所可能产生的悖论问题，基本目标是应用符号逻辑理论对这些悖论进行刻画，从而明确定义真谓词所需的条件。