真理的语义理论

✍ dations ◷ 2025-12-08 09:10:37 #真理的语义理论

真理的语义理论（Semantic theory of truth）声称对某个命题是真的的任何断言，可以只作为形式上的需要而做出来，不管表达命题自身用了什么语言。

真理的语义概念，以不同的方式同符合和紧缩的概念有关，是由波兰逻辑学家Alfred Tarski在1930年代出版的著作引发的。Tarski在《On the Concept of Truth in Formal Languages》中尝试公式化一种新的真理的理论来解决说谎者悖论。在其中他做出了很多数学发现，最著名的是塔斯基不可定义性定理，它类似于哥德尔不完全定理。粗略的说，它声称一个给定语言的句子的真理概念不能在这个语言内被一致性的定义出来。

要公式化有关语言学事情的理论，为了避免语义悖论比如说谎者悖论，区分你谈话用的所谓对象语言和你使用的所谓元语言，一般是必须的。在下面，引用起来的句子如""总是对象语言的句子。所有没有引用起来的东西都是元语言的。Tarski的实质充分条件，也叫做约定T或T-模式，声称真理的任何可行的理论必须包含它，对于一个语言的所有句子有：

(1) "P"为真，当且仅当。

（这里的简写了由目标语言的句子"P"所表达的，元语言中的命题。）

例如

(2) "雪是白的"为真当且仅当雪是白的。

（2）的前半部分关于句子"雪是白的"。后半部分是关于雪的一个事实。这些句子（1和2等）被叫做"T-句子"。它们看起来平凡的原因是，对象语言和元语言是同一种语言，在这里是汉语。而下面的也是T-句子：

(3) "Der Schnee ist weiß"（德语）为真当且仅当雪是白的。

（注意按Tarski最初的公式化，这个理论只适用于形式语言是重要的。他感觉自然语言太复杂和不正规而不适合形式处理。但是Tarski的方法被唐纳德·戴维森扩展为自然语言的意义理论的方法，这涉及到把"真理"当作原始的而不是定义的概念。(参见真理条件语义）。

Tarski发展的这个理论，给出了真理的归纳定义为如下。

对于包含~（"非"）、&（"与"）、v（"或"）和量词（"所有"和"存在"）的语言，Tarski的真理的归纳定义为如下：

它们解释了（建造自连结词和量词）复杂句子的真理条件如何被归约到它们的构件的真理条件。最简单的构件是原子句子。真理的当代语义定义原子句子的真理为如下：

Tarski自己定义原子句子的真理的方式，不使用来自语义的任何技术术语，比如上面的"所表达的"。这是因为他希望以真理的方式定义这些语义术语，所以如果在真理自身的定义中使用其中之一将是循环的。Tarski的真理的语义概念在现代逻辑和当代语言哲学中扮演了重要角色。Tarski的语义理论是否应当被算做符合论或紧缩论是有争议的。Tarski自己好像有意作为对经典符合论的精致。

相关

仁大工业区仁大工业区（Renda Industrial Park）是由相邻的仁武工业区与大社工业区所组成，位在台湾高雄市的仁武区及大社区，邻近高雄炼油厂，并与台塑仁武厂相隔于后劲溪两岸。其仁武部分完成
太平广记《太平广记》，是宋代李昉等人编著的大型类书，基本上是一部按类编纂的灵异小说总集，凡五百卷。太平兴国二年（977年）三月，李昉、扈蒙、李穆、徐铉、赵邻几、王克贞、宋白、吕文仲等1
霹雳特警猫《霹雳特警猫》（英文：SWAT Kats: The Radical Squadron，直译霹雳特警猫前峰队），是一套由1993年9月至1995年8月间，于美国播放的动画。由汉纳-巴伯拉制片公司所创作。以下剧集按照首
弗兰科·莫迪利安尼弗兰科·莫迪利安尼（意大利语：Franco Modigliani，意大利语：，1918年6月18日－2003年12月25日），生于意大利罗马，意大利裔美国籍的经济学家，属于新凯恩斯学派。为1985年诺贝尔经济学奖得主
坦桑尼亚总统列表坦桑尼亚总统（Presidents of the United Republic of Tanzania）是该国元首。1964年4月26日坦噶尼喀和桑给巴尔联合组成一个国家，同年10月29日改国名为坦桑尼亚联合共和国，朱利叶
郭万里郭万里（？－？），字云程，一字海鹏，山西太平县（今属襄汾县）南贾人，明朝政治人物。山西乡试第三十七名举人。万历八年（1580年）庚辰科三甲第一百名进士。初为山东莱州府推官，擢江西道监察御史。累
心跳回忆 (电影)《心跳回忆》（日语：ときめきメモリアル）是依据科乐美发行的恋爱养成游戏《心跳回忆》（ときめきメモリアル）改编的日本电影，富士电视台制作，1997年8月9日在日本的东映系电影院上映，19
巴盖尔哈德沙达尔乌帕齐拉巴盖尔哈德沙达尔乌帕齐拉（孟加拉语：বাগেরহাট সদর，英语：Bagerhat Sadar Upazila）是孟加拉国巴盖尔哈德县的一个乌帕齐拉，位于库尔纳专区的巴盖尔哈德县。。据1991年孟加拉国人口普查（英语：1991 Bangladesh census），巴盖尔哈德沙达尔共有户数45,527户，人口266389人。其中男性占比51.22%，女性占比48.78%；成年人口129,240人。该地7岁以上人口之平均识字率为49.9%。
扁脂鲤扁脂鲤，又称倒立九间，为辐鳍鱼纲脂鲤目脂鲤亚目上口脂鲤科的其中一个种。本鱼分布于南美洲奥里诺科河、亚马逊河、巴拉圭河及巴拉那河等流域。本鱼体侧具有数条深褐色的波状条纹，倾斜地覆盖浅灰黄色的鱼体上。一条深色条纹从吻端向后穿过眼睛。背鳍、腹鳍、脂鳍有褐色斑纹，在尾柄的基部有一黑色边缘。体长约4.5公分。本鱼栖息淡水溪流中，属草食性，休息和游动时头朝下，为其特色。可食用，但大多作为观赏鱼，饲养时宜单养，不太能容忍同类。
开普殖民地开普殖民地（英语：Cape Colony，荷兰语：Kaapkolonie），位于现今南非和纳米比亚地区，是大英帝国历史上的一个殖民地，因好望角而得名。在此之前，开普殖民地曾是荷兰殖民地，由荷兰东印度公司于1652年建立。1795年，荷兰在梅森堡战役（英语：Battle of Muizenberg）中战败，开普殖民地归为英国。1802年，《亚眠和平协议》让开普殖民地重回荷兰。1806年，布劳乌堡战役后，英国再次占领开普殖民地。1814年，《英荷条约》正式承认英国对该地的所有权。之后，开普殖民地一直属于大英帝