# 真理的符合论

> 【EN】Narrowly speaking, the correspondence theory of truth is the view that truth is correspondence to, or with, a fact—a view that was advocated by Russell and Moore early in the 20th century. But the label is usually applied much more broadly to any view explicitly embracing the idea that truth consists in a relation to reality, i.e., that truth is a relational property involving a characteristic relation (to be specified) to some portion of reality (to be specified). This basic idea has been expressed in many ways, giving rise to an extended family of theories and, more often, theory sketches. … 【中】词条指出，符合论的基本观念已被以多种方式表述，由此产生了一个庞大的理论家族，其中更多是理论纲要而非成型理论。内容涉及以对象为基础与以事实为基础的两个版本、真值承担者与使真者、符合论的简明版本、支持与反对它的论证，以及把符合理解为同构的尝试。

- ID: m13330
- 分类: culture
- 领域: 认识论

## 定义

狭义上，符合论认为真就是与事实相符合，这是罗素与摩尔在二十世纪初所持的观点；广义上，该标签泛指任何明确主张真在于与实在之关系的看法，即真是一种涉及特定关系与实在部分的关系性质。 脚手架作用：- 使真者追问：为每句断言找出对应事态，找不到对应即为假。 - 循环检查：检验所谓事实是否只是断言的改写，避免同义反复。 - 事实切分：明确事实如何计数与划界，防止含糊事实充当证据。

## 机制

符合论把真处理为关系性质：一个真值承担者为真，当且仅当存在相应的使真者（事实或事态），且二者之间具有符合关系。困难在于如何非循环地说明这一关系：若把符合解释为同构，需要说明结构对应的依据；若诉诸事实，又需要澄清事实的个体化条件。

## 练习

1) 确定真的承担者与被对应项，是对象还是事实；2) 说明符合关系的具体内容，避免用对应来同义反复；3) 检验能否为每个真理找到使真者；4) 用否定真理、道德与数学真理等困难案例检验理论。

## 脚手架用法

- 使真者追问：为每句断言找出对应事态，找不到对应即为假。 - 循环检查：检验所谓事实是否只是断言的改写，避免同义反复。 - 事实切分：明确事实如何计数与划界，防止含糊事实充当证据。

[阅读网页](https://thinkingmodels.site/entries/detail/m13330)