查看“︁Tarski 真理定义”︁的源代码

[[分类:命题逻辑]]
[[分类:谓词逻辑]]
[[分类:以 Tarski 命名]]{{DEFAULTSORT:tarski zhen1li3ding4yi4}}
{{#seo:
|keywords=塔斯基真理定义, 真理理论
|description=本文介绍塔斯基真理定义的核心思想、形式化表述及其在命题逻辑和谓词逻辑中的具体实现，包括真理定义的递归结构及其在解决语义悖论中的重要性。
|modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}}
|published_time=2025-05-05
}}
{{InfoBox
|name=真理定义
|eng_name=definition of truth
|aliases=真定义
}}
{{InfoBox
|name=基本语义定义
|eng_name=basic semantic definition
|aliases=真定义
}}
“真理定义”一词指逻辑学中、哲学上关于什么是“真”这一概念本身的讨论。<ins>塔斯基</ins>真理定义指<ins>塔斯基</ins>对形式语言中的“真”概念的递归定义。
该定义核心思想是在[[元语言]]中定义对象语言中的真理概念，避免语义悖论，是[[:分类:模型论|模型论]]的基础。

== 背景与核心思想 ==

在[[:分类:命题逻辑|命题逻辑]]及[[:分类:谓词逻辑|谓词逻辑]]中， Tarski 提出关于解决语义悖论的方案，其核心包括：
* 语言层次：区分对象语言和元语言，真理概念只能在元语言中定义。“真”是元语言中的[[谓词]]（“元谓词”），与对象命题或其他涉及元语言的成分共同构成元语言中的命题（“元命题”）。
* 避免自我指涉：真与假只能应用于对象语言的命题，以防止谓词“真”被用于包含“真”的命题中。
* 递归定义：通过对象语言中简单情况的定义逐步构建对象语言中复杂公式的真值。
* 实质适当性条件：真理定义应蕴涵所有 T-等值式(T-sentences)。

=== 说谎者悖论 ===

一个常见的自我指涉与否定共同构成自我否定的句子是说谎者悖论，即“这句话是'''假'''的”。这个语句中引用了自身“这句话”，并对其进行了判定。
在 Tarski 的这种方案下，这句话涉及“假”这一词语，是一个元命题，而元谓词“假”只能用于对象语言中的命题，因此不构成可以判断真假的语句。

== T-语句 ==

Tarski 真理定义中，作为真理定义的实质适当性条件：
<math>\phi</math> 是真的当且仅当 <math>P</math> ，其中 <math>\phi</math> 是对象语言中语句的名称， <math>P</math> 是该语句在元语言中的翻译。

一个经典的举例说法是：
<blockquote>
“雪是白的”是真的，当且仅当雪是白的。
</blockquote>
“当且仅当”前的“‘雪是白的’”是对一个命题的语言描述，对其使用了“是真的”这一元谓词，而“当且仅当”后的“雪是白的”则是现实中的事实。
这个关于事实的语句（命题）和事实本身之间也有着这句话中的形式语言（人类所说的话）和元语言（客观事实）的层次关系。

== 真理定义（命题逻辑） ==

也称为'''真理定义'''。

对[[命题公式]]（ [[命题语言|<math>L_0</math>]]-公式） <math>\phi</math> 与指派 <math>\sigma</math> ，递归地定义元谓词 “<math>\phi^\sigma</math> 是真的”，即 “<math>\sigma\vDash\phi</math>” （[[满足（命题逻辑）|满足]]）如下：
* 对原子公式（命题变元） <math>p</math> ： <math>\sigma\vDash p</math> ，当且仅当 <math>\sigma(p)=\mathrm{T}</math> ；
* 对 <math>\lnot\phi</math> ： <math>\sigma\vDash\lnot\phi</math> ，当且仅当 <math>\sigma\nvDash\phi</math> ；
* 对 <math>\phi\land\psi</math> ： <math>\sigma\vDash\phi\land\psi</math> ，当且仅当 <math>\sigma\vDash\phi</math> 且 <math>\sigma\vDash\psi</math> ；
* 对 <math>\phi\lor\psi</math> ： <math>\sigma\vDash\phi\lor\psi</math> ，当且仅当 <math>\sigma\vDash\phi</math> 或 <math>\sigma\vDash\psi</math> ；
* 对 <math>\phi\rightarrow\psi</math> ：<math>\sigma\vDash\phi\rightarrow\psi</math> ，当且仅当 <math>\sigma\nvDash\phi</math> 或 <math>\sigma\vDash\psi</math> ；
* 对 <math>\phi\leftrightarrow\psi</math> ： <math>\sigma\vDash\phi\leftrightarrow\psi</math> ，当且仅当 <math>\sigma\vDash\phi</math> 与 <math>\sigma\vDash\psi</math> 同时成立或同时不成立。

相反的情况定义为“命题 <math>\phi^\sigma</math> 是假的”，即 <math>\sigma\nvDash\phi</math> 。

== 真理定义（谓词逻辑） ==

也称为'''基本语义定义'''（'''basic semantic definition'''，缩写为'''BSD'''）。

对[[模型]] <math>\mathfrak{A}</math> ，及其上的[[赋值（谓词逻辑）|赋值]] <math>\sigma</math> ，定义：

对 [[谓词语言|<math>L^*</math>]]-项 <math>t</math> ，递归地定义其在模型 <math>\mathfrak{A}</math> 和赋值 <math>\sigma</math> 下的值如下：
* 对个体常项 <math>c</math> ，模型的解释已给定其值 <math>c^{\mathfrak{A},\sigma} = c^\mathfrak{A}</math> ；
* 对个体变项 <math>x</math> ，由赋值给定其值 <math>x^{\mathfrak{A},\sigma} = \sigma(x)</math> ；
* 对包含函项的形式 <math>f(t_1, \dots, t_n)</math> ，定义其值 <math>(f(t_1, \dots, t_n))^{\mathfrak{A},\sigma} = f^\mathfrak{A} (t_1^{\mathfrak{A},\sigma} \dots t_n^{\mathfrak{A},\sigma})</math> 。

对[[谓词公式]]（ <math>L_1</math>-公式） <math>\phi</math> ，递归地定义其在模型 <math>\mathfrak{A}</math> 和赋值 <math>\sigma</math> 下 “<math>\phi^\sigma</math> 是真的”，即 “<math>\mathfrak{A},\sigma\vDash\phi</math>”（[[满足（谓词逻辑）|满足]]）如下：
* 对等词命题 <math>s=t</math> ： <math>\mathfrak{A},\sigma\vDash s = t</math> 为真，当且仅当 <math>s^{\mathfrak{A},\sigma} = t^{\mathfrak{A},\sigma}</math> ；
* 对 <math>P(t_1, \dots, t_n)</math> ： <math>\mathfrak{A},\sigma\vDash = P(t_1, \dots, t_n)</math> 为真，当且仅当 <math>(t_1^{\mathfrak{A},\sigma}, \dots, t_n^{\mathfrak{A},\sigma}) \in P^{\mathfrak{A}}</math> ；
* 对 <math>\lnot\phi</math> ： <math>\mathfrak{A},\sigma\vDash\lnot\phi</math> ，当且仅当 <math>\mathfrak{A},\sigma\nvDash\phi</math> ；
* 对 <math>\phi\land\psi</math> ： <math>\mathfrak{A},\sigma\vDash\phi\land\psi</math> ，当且仅当 <math>\mathfrak{A},\sigma\vDash\phi</math> 且 <math>\mathfrak{A},\sigma\vDash\psi</math> ；
* 对 <math>\phi\lor\psi</math> ： <math>\mathfrak{A},\sigma\vDash\phi\lor\psi</math> ，当且仅当 <math>\mathfrak{A},\sigma\vDash\phi</math> 或 <math>\mathfrak{A},\sigma\vDash\psi</math> ；
* 对 <math>\phi\rightarrow\psi</math> ：<math>\mathfrak{A},\sigma\vDash\phi\rightarrow\psi</math> ，当且仅当 <math>\mathfrak{A},\sigma\nvDash\phi</math> 或 <math>\mathfrak{A},\sigma\vDash\psi</math> ；
* 对 <math>\phi\leftrightarrow\psi</math> ： <math>\mathfrak{A},\sigma\vDash\phi\leftrightarrow\psi</math> ，当且仅当 <math>\mathfrak{A},\sigma\vDash\phi</math> 与 <math>\mathfrak{A},\sigma\vDash\psi</math> 同时成立或同时不成立；
* 对 <math>\forall x \phi</math> ： <math>\mathfrak{A},\sigma\vDash(\forall x \phi)</math> ，当且仅当对每一个 <math>a \in A</math> ， <math>\mathfrak{A},\sigma(x/a)\vDash\phi</math> ；
* 对 <math>\exists x \phi</math> ： <math>\mathfrak{A},\sigma\vDash(\exists x \phi)</math> ，当且仅当对某个 <math>a \in A</math> ， <math>\mathfrak{A},\sigma(x/a)\vDash\phi</math> 。

称公式 <math>\phi</math> 在模型 <math>\mathfrak{A}</math> 中是真的当且仅当对模型上的所有赋值 <math>\sigma</math> 都有 <math>\mathfrak{A},\sigma(x/a)\vDash\phi</math> 。

相反的情况定义为“在模型 <math>\mathfrak{A}</math> 和赋值 <math>\sigma</math> 中命题 <math>\phi^\sigma</math> 是假的”，即 <math>\mathfrak{A},\sigma\nvDash\phi</math> 。


{{命题逻辑}}
{{谓词逻辑}}

== 参考资料 ==

[https://www.zhihu.com/question/59584093/answer/172295742 如何理解Tarski的真理论？ - LLLBK的回答 - 知乎]