真理理论追问「一个命题为真」这一事实的本性：真命题与世界处在符合关系中，还是在信念系统内彼此融贯，或是探究的最终成效，抑或「真」根本不是实质属性而只是可消去的逻辑装置——四大经典方案分别给出回答。

真理理论

为什么需要真理理论

日常语言把「真」用作谓词——「这句话是真的」。这立刻引出两个问题：

• 真理承担者（truthbearers）是什么：候选有命题（proposition，语句表达的抽象内容）、语句（sentence）、陈述（statement）。主流取命题：同一命题可由中英文不同语句表达，而其真值不随语言改变；「柏拉图写过《理想国》」是语句的历史属性，它所表达命题的真却是必然的。
• 「为真」表达何种属性或关系：符合、融贯、探究成效、逻辑装置——即下文四论。

前提性区分：真是非认知的属性，属于命题而不属于认知状态。人可以证成地相信假命题（系统性错觉），也可以未证成地相信真命题（瞎猜对）。因此本篇与认识论 Epistemology分工明确：后者分析知识之为证成的真信念（JTB），本篇只问其中「真」这一项本身是什么。

符合论

亚里士多德的经典表述

亚里士多德《形而上学》Gamma 卷给出源头表述：说是者为非、说非者为是，是假的；说是者为是、说非者为非，是真的。真是命题与事实的符合（correspondence）：命题结构（主词—谓词）镜像事实结构（对象—属性），「雪是白的」符合雪是白的这一事实。符合论契合实在论直觉——世界独立于心灵，真假由世界裁决。

困难集中在「符合」与「事实」：二者都不是普通经验概念。否定命题「雪不是绿的」符合什么，一个负事实？全称命题、模态命题、数学命题各自对应何种事实实体？弹弓论证（slingshot argument，弗雷格—哥德尔—戴维森一系）更釜底抽薪：若真语句与其对应事实一一平行，由逻辑等值替换可推出所有真语句对应同一个事实——事实本体论随之坍缩为冗余，这正是形而上学中抽象实体争议的一角。

塔斯基 T-语句与对符合论的冲击

1933 年塔斯基《形式化语言中的真概念》为经典谓词语言递归定义真谓词，其实质充分性条件要求所有 T-语句实例可证：

$\mathrm{True}(┌\phi ┐)\leftrightarrow \phi$

即「“雪是白的”为真，当且仅当雪是白的」。左端谈论语言（给语句命名），右端直接使用该语句——去引号即得真。

冲击有两层。其一，塔斯基表明真概念可以纯语义地刻画，全程无需「命题符合事实」这一神秘关系——戴维森据此主张 T-模式穷尽真理概念，符合论是画蛇添足。其二，塔斯基证明含自身真谓词的语言中可导出说谎者悖论，一致性要求真谓词分层于元语言——「真」的悖论性暗示它并非普通的符合性谓词。符合论者（如 Field）回应：塔斯基定义在元语言中预设了初始谓词的满足（satisfaction）关系，这一预设恰恰可做物理主义式重述，T-语句本身并不否定符合。

塔斯基的形式化奠定了逻辑学模型论语义与语言哲学戴维森意义纲领的共同基础——真定义如何充当意义理论，见语言哲学篇。

融贯论

布拉德雷（F. H. Bradley）《现象与实在》：孤立判断皆有缺陷，唯有绝对整体真实；一个命题为真，在于它融贯地嵌入整个经验系统。融贯论以融贯（coherence）取代符合：一个信念集合融贯，当且仅当逻辑一致且成员间有解释性支持；真命题属于最大融贯系统。

融贯论植根整体主义知识观：任何信念只能对照其他信念来检验，不存在中立的经验审判所。纽拉特之船是经典意象——水手在海上修船，无法驶入干坞把船放到干燥地基上逐板更换；一切修改只能在既有信念之网内进行。此意象后为蒯因整体论继承，与分析哲学传统中的迪昂—蒯因命题一脉相承（另见科学哲学）。

融贯论对数学与逻辑真理有天然解释力：逻辑真理之为真在于对任何系统皆融贯，无需事实对应。最强反例是多重融贯体系：一部内部严密的自洽小说、一套体系化的占星学可以高度融贯却整体为假；两个互斥的融贯系统至多一个真，而「融贯度」无法裁决。标准回应是要求与全部知觉经验融贯——但一旦知觉信念获得固定权重，世界已从后门进来，融贯悄悄变回对经验世界的符合。

实用主义真理观

古典实用主义（pragmatism）把真绑定于探究（inquiry）而非命题—世界关系，三人重心各异：

• 皮尔士：真是「注定最终被所有研究者同意的意见」——探究在理想极限收敛的最终共识。真不在当下投票，而在方法上被担保的终点，与其「实在即最终共识所指向者」的实在论定义互为表里。
• 詹姆斯：真理是「在我们思维方式中行之有效者」（the expedient in the way of thinking），有兑现价值（cash value）：真信念在经验过程中自我证实、与其他信念顺利拼接。「真即有用」常被漫画化——詹姆斯指长期、整体的整合效用，非一时私利。
• 杜威：干脆以有保证的可断定性（warranted assertibility）取代真理概念——真是探究在具体情境中的工具性成就，有保证可断定即足，无需形而上学追加。

反例直击「有用」：有用的假信念存在——迷信安顿心灵、虚假宣传维系权力、安慰性谎言维系关系；无用的真理亦比比皆是。若把「有用」弱化为「长期终将有效」，则趋同于皮尔士的探究终点，而该终点预设了独立实在约束探究——实用主义最终仍需符合论式的实在论地基，这正是科学哲学中科学实在论对工具主义的同一质疑。

紧缩论

紧缩论（deflationism）否认三家共享的前提：「真」根本不是实质属性，不存在「真理本性」问题。内部三个版本：

• 冗余论（redundancy theory，Ramsey、Ayer）：断言「P 为真」在内容上等同断言 P——「『地球绕日』为真」即「地球绕日」，「为真」可系统性消去，「为假」则还原为否定词。
• 去引号论（disquotationalism，蒯因）：真谓词的功能是去引号，其不可消去性恰在于表达盲目概括——「教皇的一切断言皆真」无法改写为无穷合取，只能借真谓词先指称语句、再去引号使用。真是语句的属性，是概括装置。
• 极小主义（minimalism，Horwich）：关于真的全部事实由无穷多 T-实例穷尽，无更高层本性可言——「真」是一个逻辑上透明的概念。

紧缩论的挑战：其一，语义悖论（说谎者、「本语句不真」）表明真谓词有实质结构，朴素 T-模式全体实例不自洽，催生 Kripke 不动点、Gupta–Belnap 修订论等实质理论；其二，「真」的规范作用——求真、真理比单纯可断定性更值得追求——难以由纯逻辑装置解释；其三，「真的就是事情实际如何」这一共享直觉在紧缩论里只剩重言式，许多人认为它丢失了某种东西。

四大理论对照

理论	核心主张	代表	最强反例
符合论	真即命题与事实符合	亚里士多德、罗素、早期维特根斯坦	事实本体论不明；负事实与数学事实难定位；弹弓论证使事实坍缩
融贯论	真即最大融贯系统的成员	布拉德雷、布兰夏德、纽拉特（局部）	互斥的多个融贯体系至多一真；自洽虚构整体为假
实用主义	真即探究的理想终点或长期有效	皮尔士、詹姆斯、杜威	有用的假信念；探究收敛预设实在，隐含符合
紧缩论	「真」仅是去引号与概括的逻辑装置	拉姆齐、艾耶尔、蒯因、霍维奇	语义悖论需实质真理论；真理的规范价值无处安放

没有一种理论无反例。流行的折中立场：紧缩论对「真」的逻辑功能正确，而符合论刻画的是真的根源（truthmaking）——「真」概念本身透明，什么使语句为真则是形而上学的实质问题。