真理承载者与真理制造者

何种事物是真或假，以及世间何物使其如此？真理承载者理论和真理制造者理论探讨了真理关系的两端。

Definition

真理承载者是能够为真或为假的实体（典型地是命题）；真理制造者是世间的一个实体，其存在必然导致给定真理承载者的真。

Scope

本主题涵盖了真理形而上学中两个相邻的问题。真理承载者问题探究哪些实体——语句、陈述、信念或命题——是真值的主要承载者。真理制造者问题则探究现实中是否存在任何事物能作为真理的基础：事态、事实、殊相（tropes）或客体。它涉及真理制造者原则（每个真理都有一个真理制造者）、真理制造者最大主义及其问题（否定存在句、共相），以及真理制造与符合论之间的关系。

Core questions

• 真值的主要承载者是什么？
• 每个真理都需要一个真理制造者吗？需要哪种真理制造者？
• 否定真理和普遍真理如何拥有真理制造者？
• 真理制造仅仅是符合论的另一个名称，还是一个独特的关联？

Key concepts

• 真理承载者（命题、语句、信念）
• 真理制造者（事实、事态、殊相）
• 真理制造者原则与最大主义
• 必然化
• 否定存在句
• 真理对存在的基础依存（supervenience of truth on being）

Key theories

真理制造者理论

Armstrong捍卫真理制造者最大主义——每个真理都有一个真理制造者——并认为真理制造者是事态，其存在必然导致相关真理，从而为真理提供了本体论基础。

作为必然化与作为相关性的真理制造

Lewis质疑严格的必然化解释，提出真理制造通过差异制造（difference-making）或对应物理论（counterpart-theoretic）资源来理解可能更好，以避免必然真理的琐碎化问题。

History

真理制造者理论源于罗素的逻辑原子论和胡塞尔的工作，于1984年由Mulligan、Simons和Smith命名并系统化，并于2004年由Armstrong进行了持续的辩护。关于否定存在句和必然真理的争论，以及Lewis的差异制造（difference-making）提议，完善了真理制造者关系。

Debates

真理制造者最大主义与否定真理

包括“没有独角兽”之类的否定存在句在内的每个真理是否都需要一个真理制造者，如果需要，什么能使否定真理为真，而无需假设可疑的否定事实或总体事态。

Key figures

• D. M. Armstrong
• Kevin Mulligan
• Peter Simons
• Barry Smith
• David Lewis

Seminal works

• mulligan1984
• armstrong2004

Frequently asked questions

真理承载者是语句还是命题？

许多哲学家认为命题——由语句表达的抽象内容——是主要的真理承载者，因为同一个命题可以用不同语言的不同语句表达。语句和信念则被认为是派生性地为真，这取决于它们所表达或相信的命题。