跳转到内容

真理:修订间差异

维基百科,自由的百科全书
删除的内容 添加的内容
Elsdrm留言 | 贡献
 
(未显示66个用户的191个中间版本)
第1行: 第1行:
{{认识论侧栏}}
[[File:Jupitermoon.jpg|thumbnail|[[伽利略衛星]],[[伽利略]][[1610年]]觀測到的環繞木星公轉的四個衛星,证明並非所有天體均環繞[[地球]]旋轉。这是人类认识真理的过程的一个代表。]]
[[File:Jupiter and the Galilean Satellites.jpg|thumbnail|[[伽利略衛星]],[[伽利略]]1610年觀測到的環繞木星公轉的四個衛星,证明並非所有天體均環繞[[地球]]旋轉。这是人类认识真理的过程的一个代表。]]


'''真理'''通常被定义为符合[[事实]]或[[实在]]的属性。<ref name = Merriam-Webster-def>Merriam-Webster's Online Dictionary, [http://m-w.com/dictionary/truth truth] {{Webarchive|url=https://web.archive.org/web/20091229155658/http://m-w.com/dictionary/truth |date=2009-12-29 }}, 2005</ref>在日常语言中,真理通常被归因于旨在代表现实或与之相对应的事物,例如信念、命题和陈述句。<ref name="SEP Truth">{{cite web |title=Truth |url=https://plato.stanford.edu/entries/truth/ |website=Stanford Encyclopedia of Philosophy |access-date=29 June 2020 |archive-date=20 January 2022 |archive-url=https://web.archive.org/web/20220120210351/https://plato.stanford.edu/entries/truth/ |url-status=live }}</ref> 真理通常被认为是错误陈述的反面。
'''真理'''是我们所认知的集合范围内可以预测现象的最高[[自然规律]],是客观存在的,[[形式系統]]理论自身的[[逻辑]]无法证明。不可证性使人产生了对真理的自然绝对性规律的信仰(信念),成为指导行动的最高准则。认知超越原集合时会产生新的指导行动的真理,原来的不可证规律在新集合中得到证明而成为原集合的定理。使用真理概念的有科學、哲學、宗教等。真理通常被定义为与[[事实]]或[[实在]]相一致<ref>[http://db1x.sinica.edu.tw/caat/caat_rptcaatc.php?_op=?SUBJECT_ID:300068765 藝術與建築索引典—真理] 於2011 年3 月14 日查閱</ref>。然而,并没有任何一个真理的[[定义]]被学者普遍接受。许多不同的真理定义一直被广泛争论。许多与真理定义相关的主题同样无法获得共识。[[普世價值]]與絕對真理是兩個不完全等同的概念,儘管它們經常性地被人們所混淆。


在不同的文化、哲学和宗教背景下可能有不同的解释。然而,并没有任何一个真理的[[定义]]被学者普遍接受。许多不同的真理定义一直被广泛争论, 许多与真理定义相关的主题同样无法获得共识。<ref name="SEP Truth"/><ref name=PUP32014>{{cite book|author1=Alexis G. Burgess and John P. Burgess|title=Truth|year=2011|publisher=Princeton University Press|isbn=978-0-691-14401-6|edition=1st|url=http://press.princeton.edu/titles/9460.html|access-date=October 4, 2014|format=hardcover|quote=a concise introduction to current philosophical debates about truth|archive-date=October 6, 2014|archive-url=https://web.archive.org/web/20141006131358/http://press.princeton.edu/titles/9460.html|url-status=live}}</ref> 一些哲学家认为真理概念是基本概念,无法用任何比真理概念本身更容易理解的术语来解释。<ref name="SEP Truth"/> 最常见的是,真理被视为语言或思想的对应到一个独立于思想的世界, 这称为[[真理符应论]]。
{{cleanup-section|time=2013-08-14}}
== 引言 ==
[[File:Truth.jpg|thumbnail|''La Vérité'' (「真理」) ,由法國[[學院藝術]]畫家Jules Joseph Lefebvre所繪]]
回顾关于真理这一课题的[[思想史]],并关注那些早就研究时至今日仍是该课题前沿问题的[[思想家]]们是一个接近如真理这样复杂[[哲学]]问题的有效途经。本引言即采用该方法,聚焦于真理问题中的几个重要主题。


使用真理概念的有[[科學]]、[[哲學]]、[[宗教]]等。智人终于脫離於宗教迷信外的真理概念,始自於西方文明中科学与人文并重的[[古希臘]]時期。<ref name="SEP Truth"/>
真理与[[意义]]的[[主体]]通常认为密切相关,只有有意义的事物才能有真和假。这一关联在古代就确立了,而现代在[[语义学]]、特别是形式语义学中成为准则。另一长期令人感兴趣的关联是真理与[[逻辑]][[有效性]]的关系。“因为逻辑最基础的概念是有效性,而它可通过真与假来定义。”([[涅尔]]夫妇,16)。尽管意义与有效性并非本文的主题,但鉴于它们与真理的关联,附带探讨一下有利于明确真理的[[性质]]。


== 引言 ==
在古代残篇Dissoi Logoi中,作者显然试图证明一致地谈论真与假是不可能的。他所提出的使读者困惑的谜题之一引用了以下情形,“我是入会者”这样一种语词形式,A说可能是真的,但B说可能就是假的了。如果一个人观察到[[谓词]]真或假并不应用于语词表达式或语句,而是语句所表达或陈述的命题的话,远离这样的困惑显得十分容易(涅尔夫妇,16)。这个例子阐明了两个令当代人感兴趣的主题。其一,从抽象命题到具体语句的变化。其二,特殊种类的[[符号]]的性质,如例子中的[[代词]]“我”,它通常被称为指示的或[[索引]]的。
[[File:Truth.jpg|thumbnail|《La Vérité》(真理),由法國[[學院藝術]]畫家Jules Joseph Lefebvre所繪]]

回顾关于真理这一课题的思想史,并关注那些早就研究时至今日仍是该课题前沿问题的[[思想家]]们是一个接近如真理这样复杂[[哲学]]问题的有效途径{{Clarify}}。本引言即采用该方法,聚焦于真理问题中的几个重要主题。
什么是真理?出现在百度百科里面的笑话是,“真理,就是最纯真的道理。”这话比较可笑。是不是?什么是道理?什么是纯真?什么是最纯真?可以百度一下吗?可以。百度一下只是“道理”有解。我在这里讲一下我对真理的定义及认识。供大家整理出自己的真理。

什么是真理?真理是什么?这两句话问的是一个意思,真理的定义。真理需要定义,定义让人认识,信以为真跟着走,前面就是光明顶。是不是呢?

是的,请往下看。不是的,可以掉头。

什么是定义?请先百度百科里看一下,定义,看完以后再回头看我的解释。

命名和定义是理论的前提。命名和定义是建立理论阵地展开理论斗争的前提。中国文化里面的理论,反过来读就是论理。“你论理不论理啦?”的话更是经常出现在中国的大街小巷的街头纷争中,论理的文斗,不论理的武斗。什么是真理,真理的定义是一定要明确的。

望文生义的说,文之一字与义之一字之间写出来有所差别。那个差别就是一个字里有一一个字里无一。抽取了一,文就是义,插入了一,义就是文。何以如此?如此何意?自己揣摩。

这个成语在中国文化里流传流传再流传,流传至今,自然是有一定的道理。什么道理?何以如此?如此何意?自己揣摩。

(意在言外意有指示,言在意中言无法随。意与言的关系就是主观能动性与客观存在性的关系。意有取舍,言无定向。(何以如此说?如此说何意?自己揣摩方意会,理解万万岁。)。)

望文生义的说,定义定义,就是赋予某个符号名字以一定的意义或形象。

望文生义的说,真理真理,就是某个理论,得真,咋个真?真理是客观世界的法则在主观世界里的准确反映真实反映。注意,这里用的准确而不是正确,正确代表了倾向,准确代表了度量。客观世界是运动着的客观存在,表现为物质能量的相互转换,表现为实体空间的相互转移,表现为无序有序,表现为有意无意,表现为有机无机,表现为有生无生。世界之大,无奇不有。

人作为生物之一,生物是什么呢?生物是有意识的客观存在,生物是主观客观的纠结统一。

世界是大天地,真理是小蝌蚪,自成自立于小天地。(这话说的有点突兀,要准确的理解这句话需要的是联象。世界与人,小蝌蚪与青蛙,大天地与小天地。小蝌蚪到青蛙的生长是变态发育,可以用来形象的说明真理的成长变化。)

限之以空间,限之以时间,真理只是一小段,吻合了客观。

那么,什么是真理?让那么多人前赴后继,信以为真?

真理就是阶段性的准确的符合了客观存在的主观存在,表现为生物的趋利避害趋光性逐臭性。

望文生义的说,真理,一个是真,一个是理。理论界分真伪,靠的不是绳锯木凿水滴石穿坐食山空,靠的是意会。什么是意会?自己百度一下。

意会就是想象到某种程度。要想象到某种程度是不可能凭空想像到的。一切想象缘于生物的个体经验缘于生物种群的群体经验缘于天意(有些东西暂且说不清道不明的,暂且归解为天意。),一切想象缘于文化人的个人经验阅历缘于党的成长历史。只不过,

(只不过什么,这里的只不过什么我不再明说。断头话就摆在这里。如果你真的懂得独立思考的话,你会信以为真书接上回的,不需要我多费口舌枉费心机。)

概括为一个字,错。(说来说去,归结为一个字,错,难以接受是吧?)

什么是真理?

真理就是法则。

法则是客观世界的法则,是运动的法则,表现为相生相克或别的什么,比如局部地区有雨夹雪,可以被认知,可以之来预报。

法则在主观世界里的神话或化身, 我们人类定义它为真理。

同样的,在人类的文化世界里,我们人类从无名到有名,从乡音到京腔的定义了许多的东西,它们是不是真理呢,它们是真理的作用对象,是真。

道生一,一生二,二生三,三生万物,人法地,地法天,天法道,道法自然。

这句中国文化里的名言咋解?放在中国文化里去解,碎碎念。人法地什么?地法天什么?天法道什么?道法自然什么?人,地,天,道,自然,从各自的定义意会。法是什么?是效法吗怎么样效法?是法则吗?百度一下 道法自然,这里不再解释。

【约14:6】耶稣说:“我就是道路、真理、生命;

——耶稣想说什么?我的解释就是:道路无始无终,真理曲曲折折,亦实亦虚相辉映,贯穿生命旅程。

【约16:13】只等真理的圣灵来了,他要引导你们明白(原文作“进入”)一切的真理,并要把将来的事告诉你们。


真理与意义的主题通常认为密切相关,只有有意义的事物才能有真和假。这一关联在古代就确立了,而现代在[[语义学]]、特别是形式语义学中成为准则。另一长期令人感兴趣的关联是真理与[[逻辑]][[有效性]]的关系。“因为逻辑最基础的概念是有效性,而它可通过真与假来定义。”([[涅尔]]夫妇,16)。尽管意义与有效性并非本文的主题,但鉴于它们与真理的关联,附带探讨一下有利于明确真理的[[性质 (哲学)|性质]]。
——什么是真理的圣灵?实事求是的思想者。因为实事求是,也只有实事求是的思想者,才或多或少的明白了,一切的真理,都是主观客观的纠结统一。真知过去,眼望将来,改造现在。


在古代残篇Dissoi Logo<ref>{{cite web |author1=理查德諾德奎斯特 |title=什麼是“Dissoi Logoi”? |url=https://zhtw.eferrit.com/%E4%BB%80%E9%BA%BC%E6%98%AFdissoi-logoi%EF%BC%9F/ |website=Eferrit |accessdate=2021-11-02 |archive-date=2021-11-21 |archive-url=https://web.archive.org/web/20211121052749/https://zhtw.eferrit.com/%E4%BB%80%E9%BA%BC%E6%98%AFdissoi-logoi%EF%BC%9F/ |dead-url=no }}</ref>i中,作者显然试图证明一致地谈论真与假是不可能的{{Clarify}}。他所提出的使读者困惑的谜题之一引用了以下情形,“我是入会者”这样一种语词形式,A说可能是真的,但B说可能就是假的了。如果一个人观察到[[谓词 (数理逻辑)|谓词]]真或假并不应用于语词表达式或语句,而是语句所表达或陈述的[[命题]]的话,远离这样的困惑显得十分容易(涅尔夫妇,16)。这个例子阐明了两个令当代人感兴趣的主题。其一,从抽象命题到具体语句的变化。其二,特殊种类的[[符号]]的性质,如例子中的[[代词]]“我”,它通常被称为指示的或[[索引]]的。
老子说道生一,大道的儿子是一,一是至高无上的,是大道的用。能够体现大道的用是唯一,独一无二的思想。——大道的儿子是一?瞎扯。道生一,一生二,二生三,三生万物,这是认识论的半截。还有半截是人法地,地法天,天法道,道法自然。


== 对于真理的哲学探讨 ==
== 对于真理的哲学探讨 ==
真理是[[哲学家]]面对人生的意義、存在問題的時候无法绕过的概念。许多哲学家都自诩代表真理,然而彼此之间可能毫无共同之处,甚至针锋相对。日常生活中,不少人也自称自己的观点是真理。探求真理可能是[[人性|人类的本性]]之一,然而有意识地区别真理与谬误,始自[[巴门尼德]]关于“真理之路”与“意见之路”的区别:“真理被认为是永恒的、不变的”,这也是对真理最通俗的描述。第一次对真理进行哲学思考的是[[亚里士多德]],近世几乎所有[[真理理论]]都可以追溯到他。《[[形而上学]]》中记述了他的名言:“是什么说不是什么,不是什么说是什么,这是假的;是什么说是什么,不是什么则说不是什么,这是真的。”
真理是[[哲学家]]面对人生的意義、存在問題的時候无法绕过的概念{{Clarify}}。许多哲学家都自诩代表真理,然而彼此之间可能毫无共同之处,甚至针锋相对。日常生活中,不少人也自称自己的观点是真理。探求真理可能是[[人性|人类的本性]]之一,然而有意识地区别真理与谬误,始自[[巴门尼德]]关于“真理之路”与“意见之路”的区别:“真理被认为是永恒的、不变的”,这也是对真理最通俗的描述。


=== 主要的真理理论 ===
== 主要的真理理论 ==
[[真值承担者]]问题,即关于究竟并且在何种程度上[[语句]]、[[陈述]]、[[命题]]、判断或信念能被称为真的问题,以及关于真值承担者究竟对于[[个人]]还是整个[[共同体]]或[[社会]]为真的问题,包含于下面介绍的理论所提出的许多重要问题之中。
[[真值承担者]]问题,即关于究竟并且在何种程度上[[语句]]、{{WikidataLink|Q2684591}}、[[命题]]、[[判断]][[信念]]能被称为真的问题,以及关于真值承担者究竟对于[[个人]]还是整个[[共同体]]或[[社会]]为真的问题,包含于下面介绍的理论所提出的许多重要问题之中。


所有主要的实质理论或强理论将真理视为具有本性的某种东西、[[现象]]、事物或者一种人类[[经验]],该理论认为关于真理有重要内容值得谈论。这些理论提出的观点被哲学家普遍认为能在某些方面应用于由人类交互作用中观察到的[[事件]]组成的广泛集合,或者为与人类经验中的真理观念相关的议题提供重要而可靠的解释(因此称为强理论)。<ref>Blackburn, Simon, and Simmons, Keith (eds., 1999),''Truth'', Oxford University Press, Oxford, UK. Includes papers by James, Ramsey, Russell, Tarski, and more recent work.</ref>近来出现了所谓紧缩论或最小理论,它们基于以下观念,[[术语]]“真”应用于陈述并没有断定关于陈述的任何重要的东西,例如陈述的本性。“真”不过是个标签、谈话工具用以表达赞同、强调主张或构成某种概括。<ref>Horwich, Paul, ''Truth'', (2nd edition, 1988),</ref><ref>Field, Hartry, ''Truth and the Absence of Fact'' (2001).</ref>
所有主要的实质理论或强理论将真理视为具有本性的某种东西、[[现象]]、事物或者一种人类[[经验]],该理论认为关于真理有重要内容值得谈论。这些理论提出的观点被哲学家普遍认为能在某些方面应用于由人类交互作用中观察到的[[事件 (哲学)|事件]]组成的广泛[[集合 (数学)|集合]],或者为与人类经验中的真理观念相关的议题提供重要而可靠的解释(因此称为强理论)。<ref>Blackburn, Simon, and Simmons, Keith (eds., 1999),''Truth'', Oxford University Press, Oxford, UK. Includes papers by James, Ramsey, Russell, Tarski, and more recent work.</ref>近来出现了所谓[[紧缩论]]或最小理论,它们基于以下观念,[[术语]]“真”应用于陈述并没有断定关于陈述的任何重要的东西,例如陈述的本性。“真”不过是个标签、谈话工具用以表达赞同、强调主张或构成某种概括。<ref>Horwich, Paul, ''Truth'', (2nd edition, 1988),</ref><ref>Field, Hartry, ''Truth and the Absence of Fact'' (2001).</ref>


==== 实质(强)理论 ====
=== 实质理论 ===
===== 融贯=====
==== 符合论 ====
{{main| 真理符合论}}
一般而言融贯论认为,真理是整个信念或命题系统内各部分的一致。尽管如此,通常融贯意味着某些超出简单逻辑[[一致性]]的东西。例如,概念基本[[集合]]的[[完全性]]和[[广泛性]]是判断融贯系统效用和有效性的关键因素。<ref>Immanuel Kant, for instance, assembled a controversial but quite coherent system in the early 19th Century, whose utility and validity continues to be debated even today. Similarly, the systems of Leibniz and Spinoza are characteristic systems that are internally coherent but controversial in terms of their utility and validity.</ref>融贯论贯彻的原则是以下观念,真理根本上是整个命题系统的性质,个别命题只因与整体相融贯而衍生地被赋予真理的性质。在通常被视为融贯论的各类观点中,理论家们在究竟融贯论带来许多可能为真的思想体系还是只有一个绝对体系是真的问题上并不一致。
符合论主张,真信念和真陈述在于与真实[[事态]]相符合。<ref>Encyclopedia of Philosophy, Vol.2, "Correspondence Theory of Truth", auth:Arthur N. Prior, p223 Macmillan, 1969)</ref>这种理论本质上试图在思想或陈述与事物或[[客体]]间建立关系(真理关系),该关系理论上可以独立于涉及该关系的人,并独立于其他真理关系而存在。这是一个传统模式,至少可以追溯至一些[[古希腊]]哲学家。<ref>Encyclopedia of Philosophy, Vol.2, "Correspondence Theory of Truth", auth:Arthur N. Prior, p223-224 Macmillan, 1969)</ref>这类理论认为陈述的真或假原则上完全取决于它如何关联于客观[[实在]],它是否准确地描述(换言之,符合于)实在。

一些融贯论的变体被认为描述了逻辑和[[数学]]形式系统的内在本质特征。<ref>Encyclopedia of Philosophy, Vol.2, "Coherence Theory of Truth", auth:Alan R. White, p130-131 (Macmillan, 1969)</ref> 而进行形式推理的人乐于思索并列的、在[[公理]]方面独立而又相互[[矛盾]]的系统,例如各种可供选择的[[几何学]]。大体上,融贯论被批评为在将它应用于真理的其他领域时缺少适当的理由,特别是涉及大部分关于自然世界、经验[[予料]]的断定以及关于[[心理]]和社会实际事件的断定,尤其当融贯论没有其他主要真理理论辅助的情况时。<ref>Encyclopedia of Philosophy, Vol.2, "Coherence Theory of Truth", auth:Alan R. White, p131-133, ''see'' esp., section on "Epistemological assumptions" (Macmillan, 1969)</ref>

融贯论可分为大陆[[理性主义]]哲学家的思想,特别是[[斯宾诺莎]]、[[莱布尼茨]]和[[黑格尔]]的思想,与[[英国]]哲学家[[布拉德雷]]的思想。<ref>Encyclopedia of Philosophy, Vol.2, "Coherence Theory of Truth", auth:Alan R. White, p130</ref> 在一些[[逻辑实证主义]]支持者,最著名的有[[纽拉特]]和[[亨佩尔]]中,融贯论获得复兴。

===== 符合论 =====
符合论主张,真信念和真陈述在于与真实[[事态]]相符合。<ref>Encyclopedia of Philosophy, Vol.2, "Correspondence Theory of Truth", auth:Arthur N. Prior, p223 Macmillan, 1969)</ref> 这种理论本质上试图在思想或陈述与事物或[[客体]]间建立关系(真理关系),该关系理论上可以独立于涉及该关系的人,并独立于其他真理关系而存在。这是一个传统模式,至少可以追溯至一些[[古希腊]]哲学家。<ref>Encyclopedia of Philosophy, Vol.2, "Correspondence Theory of Truth", auth:Arthur N. Prior, p223-224 Macmillan, 1969)</ref>这类理论认为陈述的真或假原则上完全取决于它如何关联于客观实在,它是否准确地描述(换言之,符合于)实在。


[[伊曼努尔·康德|康德]]以下述态度评论真理符合论:
[[伊曼努尔·康德|康德]]以下述态度评论真理符合论:


<blockquote>
<blockquote>
真理被认为在于[[知识]]与客体的一致之中。按照这一纯粹的语词定义,那么,我的知识,为了是真的,必须与客体相一致。既然,我只有用这种方法,即通过认识客体的方法,比较客体与我的知识。那么,我的知识便为它自己所证实,对于真理来说这远远不够。因为正如客体外在于我一样,知识在我之中,我只能判断我对客体的知识是否与我对客体的知识相一致。这样一个解释的循环被古典作家称为Diallelos。而且逻辑学家被[[怀疑论]]者批评犯这种谬误,怀疑论者评论道这种对真理的说明就像一个上法庭的人为支持他的陈述而诉诸无人认识的证人,但该证人却通过陈述召唤他为证人的人是可敬的来为他自己的可信度辩护。(康德,45)
真理被认为在于[[知识]]与客体的一致之中。按照这一纯粹的语词定义,那么,我的知识,为了是真的,必须与客体相一致。既然,我只有用这种方法,即通过认识客体的方法,比较客体与我的知识。那么,我的知识便为它自己所证实,对于真理来说这远远不够。因为正如客体外在于我一样,知识在我之中,我只能判断我对客体的知识是否与我对客体的知识相一致。这样一个解释的循环被古典作家称为Diallelos。而且逻辑学家被[[怀疑论]]者批评犯这种[[谬误]],怀疑论者评论道这种对真理的说明就像一个上[[法庭]]的人为支持他的陈述而诉诸无人认识的证人,但该证人却通过陈述召唤他为证人的人是可敬的来为他自己的可信度辩护。(康德,45)
</blockquote>
</blockquote>


按照康德的说法,符合论的真理定义是纯粹的语词定义,这里运用了亚里士多德[[名义定义]]和[[真实定义]]间的区分,前者引入新的[[术语]],而后者显示了事物真正的[[原因]]或[[本质]],术语已经被先行定义了。从康德对历史的记述来看,符合论的真理定义从古典时代起已处于争论之中,怀疑论者批评[[逻辑学家]]采用循环推理的形式,虽然逻辑学家实际所认为的符合论涉及的范围未被适当评估。
按照康德的说法,符合论的真理定义是纯粹的语词定义,这里运用了亚里士多德[[名义定义]]和[[真实定义]]间的区分,前者引入新的[[术语]],而后者显示了事物真正的[[原因]]或[[本质]],术语已经被先行定义了。从康德对历史的记述来看,符合论的真理定义从[[古典时代]]起已处于争论之中,怀疑论者批评逻辑学家采用[[循环推理]]的形式,虽然逻辑学家实际所认为的符合论涉及的范围未被适当评估。

符合论传统上基于以下假设才能成立,即客观的真理关系是存在的,站到真理关系一边来只是人类的任务。<ref>''See, e.g.,'' Bradley, F.H., "On Truth and Copying", in Blackburn, ''et al'' (eds., 1999),''Truth'', 31-45.</ref>然而实际上,近来更多的理论家已清晰明白地表明如不对附加因素加以分析,这一理想不可能达到。例如,在特定[[语言]]内对符合论的分析被迫承认,在理论工作的开端,正被探讨的特定语言是个附加的限制因素,只有通过精心论述不同语言间[[翻译]]的理论,才能逐渐构造语言中立的[[真值谓词]]。强有力的理论局限限制了这一工作的完成。评论家们和下面所介绍的一些理论的支持者们普遍宣称符合论忽略了真理关系中人的作用。


==== 融贯论 ====
符合论传统上基于以下假设才能成立,即客观的真理关系是存在的,站到真理关系一边来只是人类的任务。<ref>''See, e.g.,'' Bradley, F.H., "On Truth and Copying", in Blackburn, ''et al'' (eds., 1999),''Truth'', 31-45.</ref> 然而实际上,近来更多的理论家已清晰明白地表明如不对附加因素加以分析,这一理想不可能达到。例如,在特定[[语言]]内对符合论的分析被迫承认,在理论工作的开端,正被探讨的特定语言是个附加的限制因素,只有通过精心论述不同语言间[[翻译]]的理论,才能逐渐构造语言中立的[[真值谓词]]。强有力的理论局限限制了这一工作的完成。评论家们和下面所介绍的一些理论的支持者们普遍宣称符合论忽略了真理关系中人的作用。
{{see also|{{link-en|Coherence theory of truth}}}}
一般而言融贯论认为,真理是整个信念或命题系统内各部分的一致。尽管如此,通常融贯意味着某些超出简单逻辑[[一致性 (邏輯)|一致性]]的东西。例如,概念基本[[集合 (数学)|集合]]的[[完全性]]和广泛性是判断融贯系统效用和有效性的关键因素{{NoteTag|Immanuel Kant, for instance, assembled a controversial but quite coherent system in the early 19th Century, whose utility and validity continues to be debated even today. Similarly, the systems of Leibniz and Spinoza are characteristic systems that are internally coherent but controversial in terms of their utility and validity.}}。融贯论贯彻的原则是以下观念,真理根本上是整个命题系统的性质,个别命题只因与整体相融贯而衍生地被赋予真理的性质。在通常被视为融贯论的各类观点中,理论家们在究竟融贯论带来许多可能为真的思想体系还是只有一个绝对体系是真的问题上并不一致。


一些融贯论的变体被认为描述了[[逻辑]]和[[数学]]中一些形式系统的内在本质特征<ref>Encyclopedia of Philosophy, Vol.2, "Coherence Theory of Truth", auth:Alan R. White, pp.&nbsp;130-131. (Macmillan, 1969)</ref>。而进行形式推理的人乐于思索并列的、在[[公理]]方面独立而又相互[[矛盾]]的系统,例如各种可供选择的[[几何学]]。大体上,融贯论被批评为在将它应用于真理的其他领域时缺少适当的理由,特别是涉及大部分关于[[自然]]世界、经验[[预料]]的断定以及关于[[心理]]和社会实际事件的断定,尤其当融贯论没有其他主要真理理论辅助的情况时。<ref>Encyclopedia of Philosophy, Vol.2, "Coherence Theory of Truth", auth:Alan R. White, pp.&nbsp;131-133, ''see'' esp., section on "Epistemological assumptions" (Macmillan, 1969)</ref>
===== 构造论 =====
社会构造论认为真理由社会过程所构造,带有[[历史]]和[[文化]]特质,并认为真理某种程度上体现于共同体中的[[权力]]斗争中。构造论将我们的知识视之为“被构造的”,因为它并不反映任何[[外在]]的超越的实在(纯粹的符合论会抱有此观点)。真理观念更应被看作随[[习俗]]、人类的感受和社会经验而定。构造论者相信对人类体质和生物学事实的表述,包括对[[种族]]和[[性别]]的表述,是由社会构造的。[[维柯]]、[[黑格尔]]、Garns和[[马克思]]是这一雄心勃勃地扩展社会[[决定论]]的先驱。


===== 共识=====
==== 构造论 ====
{{see also|{{link-en|Constructivism (philosophy of science)}}}}
共识论认为真理是任何被某特定群体一致同意的东西,或者在其他[[版本]]中,是特定群体可能就此达到一致同意的东西。共识论的标签以不同的名称被贴在许多在其他方面非常不同的哲学观点上。某些[[实用主义]]理论的变体被包括在共识论中,虽然实用主义理论范围十分广泛而应有它自己的分类。共识论作为一种有益的对真理概念的说明,[[哈贝马斯]]是它的当代倡导者。哲学家[[雷谢尔]]则是当代强有力的批评者。
社会构造论认为真理由社会过程所构造,带有[[历史]]和[[文化]]特质,并认为真理某种程度上体现于[[共同体]]中的[[权力]]斗争中。构造论将我们的知识视之为“被构造的”,因为它并不反映任何外在的[[超越]]的实在(纯粹的符合论会抱有此观点)。真理观念更应被看作随[[习俗]]、人类的感受和社会经验而定。构造论者相信对人类体质和[[生物学]]事实的表述,包括对[[种族]]和[[性别]]的表述,是由社会构造的。[[维柯]]、[[黑格尔]]、Garns和[[卡尔·马克思|马克思]]是这一雄心勃勃地扩展社会[[决定论]]的先驱。


===== 实用主义理=====
==== 共识论 ====
{{see also|真理共识论}}
共识论认为真理是任何被某特定群体一致同意的东西,或者在其他版本中,是特定群体可能就此达到一致同意的东西{{来源请求}}。共识论的标签以不同的名称被贴在许多在其他方面非常不同的哲学观点上。某些[[实用主义]]理论的变体被包括在共识论中,虽然实用主义理论范围十分广泛而应有它自己的分类。共识论作为一种有益的对真理概念的说明,[[哈贝马斯]]是它的当代倡导者。哲学家{{link-en|尼古拉斯·雷谢尔|Nicholas Rescher|雷谢尔}}则是当代强有力的批评者。

==== 实用主义理论 ====
{{see also|{{link-en|Pragmatic theory of truth}}}}
一般而言,在实用主义思想中意义并不仅仅在[[语词]]中表达,还在[[行为]]中表达。没有任何陈述不被直接限定也能成立,必须首先定义它的术语,然后详述不同作者赋予每个术语的不同意义。这一做法使实用主义对意义和真理的理解产生分歧,关于这一做法的问题甚至导致了古典实用主义者的第一次分裂,而原本[[查尔斯·桑德斯·皮尔士|皮尔士]]、[[威廉·詹姆士|詹姆斯]]、[[约翰·杜威|杜威]]在他们共同的哲学的出色观点上有一致意见。最关键的分歧来自于[[唯理论]]和[[实在论]]在实用主义中所扮演的角色。
一般而言,在实用主义思想中意义并不仅仅在[[语词]]中表达,还在[[行为]]中表达。没有任何陈述不被直接限定也能成立,必须首先定义它的术语,然后详述不同作者赋予每个术语的不同意义。这一做法使实用主义对意义和真理的理解产生分歧,关于这一做法的问题甚至导致了古典实用主义者的第一次分裂,而原本[[查尔斯·桑德斯·皮尔士|皮尔士]]、[[威廉·詹姆士|詹姆斯]]、[[约翰·杜威|杜威]]在他们共同的哲学的出色观点上有一致意见。最关键的分歧来自于[[唯理论]]和[[实在论]]在实用主义中所扮演的角色。


皮尔士将真理定义如下:“真理是抽象陈述与理想极限的一致,无尽的探究将带着[[科学]]信念趋于真理,抽象陈述通过承认它的不准确和片面性而拥有与理想极限的一致,这种承认是真理的本质要素。”<ref>Peirce, C.S. (1901), "Truth and Falsity and Error" (in part), pp. 718–720 in J.M. Baldwin (ed.), Dictionary of Philosophy and Psychology, vol. 2. Reprinted, CP 5.565–573.</ref> 这一陈述强调了皮尔士的观点,即有限的探究所获结论是不完全的、有偏见的,但探究活动会使信念逼近真理,在别处他表述为[[可误论]]并指向未来,这两者构成了恰当的真理概念的本质内容。尽管皮尔士使用一致这样的词语描述[[符号]]间关系的一个方面,他同样颇为直率地说仅仅基于符合论的真理定义不过是个名义定义,他认为名义定义次于真实定义。
皮尔士将真理定义如下:“真理是抽象陈述与理想极限的一致,无尽的探究将带着[[科学]]信念趋于真理,抽象陈述通过承认它的不准确和片面性而拥有与理想极限的一致,这种承认是真理的本质要素。”<ref>Peirce, C.S. (1901), "Truth and Falsity and Error" (in part), pp. 718–720 in J.M. Baldwin (ed.), Dictionary of Philosophy and Psychology, vol. 2. Reprinted, CP 5.565–573.</ref>这一陈述强调了皮尔士的观点,即有限的探究所获结论是不完全的、有偏见的,但探究活动会使信念逼近真理,在别处他表述为[[可误论]]并指向未来,这两者构成了恰当的真理概念的本质内容。尽管皮尔士使用一致这样的词语描述[[符号]]间关系的一个方面,他同样颇为直率地说仅仅基于符合论的真理定义不过是个名义定义,他认为名义定义次于真实定义。


詹姆斯版本的实用主义理论,通常经由他自己的陈述概括为:“真的”不过是有关我们的思想的一种方便方法,正如“对的”不过是有关我们的行为的一种方便方法一样。<ref name=WJP>James, William, ''The Meaning of Truth, A Sequel to 'Pragmatism','' (1909).</ref> 通过这句话,詹姆斯意味着真理是一种性质,其[[价值]]由在实际[[实践]]中运用概念所得的效用来确认(因而,称为实用主义)。杜威对真理的定义比皮尔士广,但狭于詹姆斯,他认为为了澄清、证明、改进并且/或者反驳已提出的真理而将它提交到探究者共同体公开检验,如果这样做,探究无论是科学的、[[技术]]的、[[社会学]]的、哲学的还是文化的,都会随时间而自我更正。<ref> Encyclopedia of Philosophy, Vol.2, "Dewey, John", auth Richard J. Bernstein, p383 (Macmillan, 1969) </ref>
詹姆斯版本的实用主义理论,通常经由他自己的陈述概括为:“真的”不过是有关我们的思想的一种方便方法,正如“对的”不过是有关我们的行为的一种方便方法一样。<ref name=WJP>James, William, ''The Meaning of Truth, A Sequel to 'Pragmatism','' (1909).</ref>通过这句话,詹姆斯意味着真理是一种性质,其[[价值]]由在实际[[实践]]中运用[[概念]]所得的效用来确认(因而,称为实用主义)。杜威对真理的定义比皮尔士广,但狭于詹姆斯,他认为为了澄清、[[证明]]、改进并且/或者反驳已提出的真理而将它提交到探究者共同体公开检验,如果这样做,探究无论是科学的、[[技术]]的、[[社会学]]的、哲学的还是文化的,都会随时间而自我更正。<ref> Encyclopedia of Philosophy, Vol.2, "Dewey, John", auth Richard J. Bernstein, p383 (Macmillan, 1969) </ref>


==== 最小(紧缩)理论 ====
===最小理论===
====紧缩理论 ====
{{see also|真理紧缩理论}}
将真这个概念或术语归之于语句或命题的实在性质,这个议题被许多哲学家所拒斥。这些哲学家对真值谓词的通常使用(“…是真的”,或其等价表达),至少在其主要方面,作出回答,该回答在20世纪上半叶对于真理的哲学探讨中显著流行起来。按这一观点,断定命题“‘2+2=4’是真的”逻辑上等价于断定命题“2+2=4”,而且短语“是真的”在这一[[语境]]和在其他语境中一样完全是不必要的。这一观点被普遍表述为:
将真这个概念或术语归之于语句或命题的实在性质,这个议题被许多哲学家所拒斥。这些哲学家对真值谓词的通常使用(“…是真的”,或其等价表达),至少在其主要方面,作出回答,该回答在20世纪上半叶对于真理的哲学探讨中显著流行起来。按这一观点,断定命题“‘2+2=4’是真的”逻辑上等价于断定命题“2+2=4”,而且短语“是真的”在这一[[语境]]和在其他语境中一样完全是不必要的。这一观点被普遍表述为:


* 真理紧缩理论,因为们旨在缩小概念“真”被假定具有的重要性。
* [[真理紧缩理论]],因为们旨在缩小概念“真”被假定具有的重要性。
* 消除引号论,关注于如上述例子的情形中消去引号。
* 消除引号论,关注于如上述例子的情形中消去引号。
* 真理最小理论。<ref>Blackburn, Simon, and Simmons, Keith (eds., 1999), ''Truth'' in the Introductory section of the book.</ref><ref name=EPT>Encyclopedia of Philosophy, Supp., "Truth", auth:Michael Williams, p572-573 (Macmillan, 1996)</ref>
* 真理最小理论。<ref>Blackburn, Simon, and Simmons, Keith (eds., 1999), ''Truth'' in the Introductory section of the book.</ref><ref name=EPT>Encyclopedia of Philosophy, Supp., "Truth", auth:Michael Williams, p572-573 (Macmillan, 1996)</ref>


无论使用何种术语,紧缩理论被认为共同相信真值谓词是为了表达的方便,而非一种需要深入分析的性质的名称。<ref name=EPT/>
无论使用何种术语,紧缩理论被认为共同相信真值谓词是为了表达的方便,而非一种需要深入分析的性质的名称。<ref name=EPT/>
第134行: 第81行:


一旦我们识别出真值谓词的形式特征和功用,紧缩论者主张,我们所说的一切就是关于“真”我们能说的全部。该观点的主要理论关注点是消除[[悖论]],悖论发生时概念“真”具有奇特而令人感兴趣的性质。
一旦我们识别出真值谓词的形式特征和功用,紧缩论者主张,我们所说的一切就是关于“真”我们能说的全部。该观点的主要理论关注点是消除[[悖论]],悖论发生时概念“真”具有奇特而令人感兴趣的性质。
{{seealso|语义悖论}}


===== 履行论 =====
==== 履行论 ====
履行论是由英国哲学家[[斯特劳森]]提出的一种哲学观点。履行理论认为,说一个陈述是真的不仅仅是在描述这个陈述,而是在对其进行某种操作,比如同意它、支持它或接受它。
履行论被归功于[[斯特劳森]],该观点认为说“‘雪是白的’是真的”即履行一种言语[[行为]],发出同意雪是白的这一断定的信号(与点头表达赞同十分相似)。某些陈述履行超出言语交流以外行为的思想并不像表面看上去那么古怪。试考虑,例如,当新娘在婚礼的适当时候说“我愿意”,她在履行接受身边的男人为合法丈夫的行为。她并不是在描述自己接受他为合法丈夫。以同样方式,斯特劳森认为:“说一个陈述为真,并不是就该陈述作一个陈述,而是履行了同意、接受或赞成该陈述的行为。当一个人说‘正在下雨,这是真的’,他断定的只是‘正在下雨’。而陈述‘……,这是真的’的功能是同意、接受或赞成陈述‘正在下雨’。”<ref> Encyclopedia of Philosophy, Vol.6: ''Performative Theory of Truth'', auth:Gertrude Ezorsky, p88 (Macmillan, 1969) </ref>


该观点认为说“‘雪是白的’是真的”即履行一种[[言语行为]],发出同意雪是白的这一断定的信号(与点头表达赞同十分相似)。某些陈述履行超出言语交流以外行为的思想并不像表面看上去那么古怪。试考虑,例如,当新娘在婚礼的适当时候说“我愿意”,她在履行接受身边的男人为合法丈夫的行为。她并不是在描述自己接受他为合法丈夫。以同样方式,斯特劳森认为:“说一个陈述为真,并不是就该陈述作一个陈述,而是履行了同意、接受或赞成该陈述的行为。当一个人说‘正在下雨,这是真的’,他断定的只是‘正在下雨’。而陈述‘……,这是真的’的功能是同意、接受或赞成陈述‘正在下雨’。”<ref> Encyclopedia of Philosophy, Vol.6: ''Performative Theory of Truth'', auth:Gertrude Ezorsky, p88 (Macmillan, 1969) </ref>
===== 冗余论及相关理论 =====
按照真理的冗余论,断定一陈述为真完全等价于断定该陈述本身。例如,断定语句“‘雪是白的’是真的”等价于断定语句“雪是白的”。冗余论者从下述[[前提]]中推断出他们的观点,即真理是个冗余的概念,换言之,它只是在某些谈话语境中方便使用的语词,并不指向任何实在。该理论通常归功于[[兰姆赛]]。他认为使用语词“[[事实]]”和“真理”不过是断定一命题的迂回方式,将这些语词视为隔离于判断之外的单独问题来处理不过是语言混乱。<ref>Encyclopedia of Philosophy, Supp., "Truth", auth:Michael Williams, p572-573 (Macmillan, 1996)</ref><ref>Ramsey, F.P. (1927), "Facts and Propositions", Aristotelian Society Supplementary Volume 7, 153–170. Reprinted, pp. 34–51 in F.P. Ramsey, Philosophical Papers, David Hugh Mellor (ed.), Cambridge University Press, Cambridge, UK, 1990</ref>


==== 冗余论及相关理论 ====
冗余论的一个变体是消除引号论,它运用[[塔斯基]]模式的修正形式:说“P”是真的,就是说P。而紧缩论的另一个版本是真理的代语句论,由[[格罗芙]]、[[坎普]]、[[贝尔纳普]]首先提出,更详细地阐明了兰姆赛的主张。他们认为当语句“这是真的”作为对“正在下雨”的响应时,它就成为一[[代语句]](参见[[替代形式]]),亦即一复述其他表达式内容的表达式。在语句“我的狗饿了,所以我喂它”中,“它”与“我的狗”意义相同,同样地,“这是真的”被认为与“正在下雨”意义相同——如果你说后者,而我说前者的话。这些变体并不必然遵循兰姆赛而断言,真不是性质,相反它们会主张,比如,断定“P”可能涉及实质真理,既便如此理论家们会尽可能最小化,使只有冗余或代语句与语句“这是真的”相关。
按照真理的冗余论,断定一陈述为真完全等价于断定该陈述本身。例如,断定语句“‘雪是白的’是真的”等价于断定语句“雪是白的”。冗余论者从下述[[前提]]中推断出他们的观点,即真理是个冗余的概念,换言之,它只是在某些谈话语境中方便使用的语词,并不指向任何实在。该理论通常归功于[[弗兰克·普伦普顿·拉姆齐|兰姆赛]]。他认为使用语词“[[事实]]”和“真理”不过是断定一命题的迂回方式,将这些语词视为隔离于判断之外的单独问题来处理不过是语言混乱。<ref>Encyclopedia of Philosophy, Supp., "Truth", auth:Michael Williams, p572-573 (Macmillan, 1996)</ref><ref>Ramsey, F.P. (1927), "Facts and Propositions", Aristotelian Society Supplementary Volume 7, 153–170. Reprinted, pp. 34–51 in F.P. Ramsey, Philosophical Papers, David Hugh Mellor (ed.), Cambridge University Press, Cambridge, UK, 1990</ref>


冗余论的一个变体是消除引号论,它运用[[塔斯基]]模式的修正形式:说“P”是真的,就是说P。而紧缩论的另一个版本是真理的代语句论,由[[格罗芙]]、[[坎普]]、[[贝尔纳普]]首先提出,更详细地阐明了兰姆赛的主张。他们认为当语句“这是真的”作为对“正在下雨”的响应时,它就成为一[[代语句]](参见[[替代形式]]),亦即一复述其他表达式内容的表达式。在语句“我的狗饿了,所以我喂牠”中,“牠”与“我的狗”意义相同,同样地,“这是真的”被认为与“正在下雨”意义相同——如果你说后者,而我说前者的话。这些变体并不必然遵循兰姆赛而断言,真不是性质,相反它们会主张,比如,断定“P”可能涉及实质真理,既便如此理论家们会尽可能最小化,使只有冗余或代语句与语句“这是真的”相关。
紧缩原则并不适用于与常见语句不相似的表述,也不适用于许多其他一般被判断为真或假的事物。试考虑,语句“雪是白的”与人名Snow White间的类比,在某种意义上两者都能是true。对最小论者来说,说“‘雪是白的’是真的”(“‘Snow is white’is true”)与说“雪是白的”等价,但说“Snow White是忠诚的”(“Snow White is true”)与说“Snow White”并不等价。


紧缩原则并不适用于与常见语句不相似的表述,也不适用于许多其他一般被判断为真或假的事物。试考虑,语句“雪是白的”(‘Snow is white’)与人名[[白雪公主]](Snow White)间的类比,在某种意义上两者都能是true。对最小论者来说,说“‘雪是白的’是真的”(“‘Snow is white’is true”)与说“雪是白的”等价,但说“[[白雪公主]]是真的”(“Snow White is true”)与说“白雪公主”并不等价。
==== 其他关于真值谓词的理论 ====
===== 克里普克真理理=====
==== 哲学怀疑论 ====
{{see also|哲学怀疑论|确定性}}
[[哲学怀疑论]]通常是对一项或多项知识或信仰的任何质疑态度或怀疑,这些[[知识]]或[[信仰]]将其[[断言]]和[[命题]]视为真理。<ref>{{cite book |first=R. H. |last=Popkin |title=The History of Skepticism from Erasmus to Descartes (rev. ed. 1968); C. L. Stough, Greek Skepticism (1969); M. Burnyeat, ed., The Skeptical Tradition (1983); B. Stroud, The Significance of Philosophical Skepticism (1984) |url=http://encyclopedia2.thefreedictionary.com/Skeptikoi |work=Encyclopedia2.thefreedictionary.com |access-date=2018-06-04 |archive-date=2012-07-13 |archive-url=https://archive.today/20120713170158/http://encyclopedia2.thefreedictionary.com/Skeptikoi |url-status=live }}</ref><ref>"Philosophical views are typically classed as skeptical when they involve advancing some degree of doubt regarding claims that are elsewhere taken for granted." [http://www.utm.edu/research/iep/s/skepcont.htm utm.edu] {{Webarchive|url=https://web.archive.org/web/20090113210019/http://www.utm.edu/research/iep/s/skepcont.htm |date=2009-01-13 }}</ref> 哲学怀疑论的主要目标是[[认识论]],但它可以应用于任何领域,例如[[超自然]]、[[道德]]([[道德怀疑论]])和[[宗教]](对上帝存在的怀疑)。<ref>{{Cite book|title = The Oxford Handbook of Skepticism|url = https://books.google.com/books?id=Ozv0lftrUeEC|publisher = Oxford University Press, US|year = 2008|isbn = 978-0-19-518321-4|language = en|first = John|last = Greco|author-link=John Greco (philosopher)}}</ref>
===多元论 ===
{{see also|{{link-en|Pluralist theories of truth}}}}
一些主要的真理理论认为,存在一种特定的属性,拥有这种属性使得信念或命题成为真实。真理的多元论理论则断言,可能有多个属性使命题成为真实:道德命题可能因为一致性而成为真实。关于物理世界的命题可能因为与它们所涉及的对象和属性相符而成为真实。

== 形式理论 ==
=== 数学 ===
{{see also|模型论|证明论}}
数学中求真有两种主要方法。它们是[[模型论|真理模型论]]和[[证明论|真理证明论]]。<ref>Penelope Maddy; ''Realism in Mathematics''; Series: Clarendon Paperbacks; Paperback: 216 pages; Publisher: Oxford University Press, US (1992); 978-0-19-824035-8.</ref>

=== 塔斯基的真理语义 ===
{{main|真理的语义理论}}

[[阿尔弗雷德·塔斯基]]的[[真理的语义理论]]是为形式语言(如形式逻辑)开发的<ref>Hodges, Wilfrid, "Tarski’s Truth Definitions", The Stanford Encyclopedia of Philosophy (Winter 2022 Edition), Edward N. Zalta & Uri Nodelman (eds.), URL = https://plato.stanford.edu/archives/win2022/entries/tarski-truth/</ref>,其一般情况为给定语言:
:“P”是真的,当且仅当P
当“P”是语句的[[指称]](语句的名字)时,P正是语句本身。

逻辑学家和哲学家[[阿尔弗雷德·塔斯基]]发展了对于[[形式语言]](比如[[形式逻辑]])的理论。这里,他以如下方式约束该理论:语言不能包含对自身的真值谓词,换言之,表达式“是真的”只能被应用于其他语言中的语句。后一种被谈论的语言他称之为[[对象语言]](继而,对象语言可能包含应用于其他语言中的语句的真值谓词)。这种约束的原因在于,包含对自身真值谓词的语言会包含[[悖论]]。因此,塔斯基认为语义学理论不能被应用于任何自然语言,如英语,因为它们包含对自身的真值谓词。[[戴维森]]将该理论作为他的[[真值条件]]语义学的基础,并以[[融合主义]]的形式将其与彻底解释相联系。

注意到这些悖论甚至存在于最符号化[[形式化]]的数学之中,要归功于[[伯特兰·罗素|罗素]]在他年轻时期的工作,特别是由他名字命名的[[罗素悖论]]。罗素和[[阿爾弗雷德·諾思·懷特黑德|怀特海]]试图在《[[数学原理]]》中通过将陈述分为不同类型层次来解决这个难题,在[[类型论]]中陈述不能指称自身,只能指称层次较低的陈述。这继而导致新的困难,如关于类型的准确性质,关于概念上可能的类型体系结构,时至今日它们仍有待解决。
=== 克里普克真理理论 ===
[[克里普克]]主张事实上[[自然语言]]能包含对自身的真值谓词而不引起[[矛盾]]。下面显示了他是如何构造的:
[[克里普克]]主张事实上[[自然语言]]能包含对自身的真值谓词而不引起[[矛盾]]。下面显示了他是如何构造的:


第157行: 第125行:
注意对于语句“这句话是假的”,“真”从未得到定义,因为它不在最初的子集中,也不断定最初或所有后继集合中的任何语句的真值。在克里普克的术语中,这称为“[[无根]]”。即便定义真的过程无限进行,这些语句也决不能指派为真或假,克里普克的理论意味着某些语句既非真也非假。这与[[二值]]原则相抵触,该原则认为所有语句或者为真或者为假。由于这一原则是推出[[说谎者悖论]]的关键前提,因此该悖论被解决了。
注意对于语句“这句话是假的”,“真”从未得到定义,因为它不在最初的子集中,也不断定最初或所有后继集合中的任何语句的真值。在克里普克的术语中,这称为“[[无根]]”。即便定义真的过程无限进行,这些语句也决不能指派为真或假,克里普克的理论意味着某些语句既非真也非假。这与[[二值]]原则相抵触,该原则认为所有语句或者为真或者为假。由于这一原则是推出[[说谎者悖论]]的关键前提,因此该悖论被解决了。


==其他著名观点 ==
===== 真理语义学理论 =====
===古希腊哲学 ===
[[真理的语义理论]]主张,对于给定[[语言]],任何可接受的真理定义应该以下述模式的全部实例作为[[后承]]:
根据记载第一次对真理进行哲学思考的是[[亚里士多德]],近世几乎所有真理理论都可以追溯到他。《[[形而上学]]》中记述了他的名言:“是什么说不是什么,不是什么说是什么,这是假的;是什么说是什么,不是什么则说不是什么,这是真的。”
===现代哲学 ===
{{see also|{{link-en|Truth#Modern_philosophy}}}}
康德、 黑格尔、 叔本华、 尼采、 海德格尔、 萨特等著名哲学家对真理都有研究和探讨。


=== 科學的真理 ===
:“P”是真的,当且仅当P
{{see also|#实用主义理论|科學}}


科學的真理是對猜想假設,經過或利用[[邏輯]]的[[科學方法]]驗證,並用[[公理系统|公理化方法]]形成的原理。近代的科學旨在理性、客觀的前提下,用[[知識]]或[[理論]]與完整[[實驗]]證明出真理。在將知識的研究歸納和系統化後,便成為科學中的真理。
当“P”是语句的[[指称]](语句的名字)时,P正是语句本身。


=== 宗教对真理的主张 ===
逻辑学家和哲学家塔斯基发展了对于[[形式语言]](比如[[形式逻辑]])的理论。这里,他以如下方式约束该理论:语言不能包含对自身的真值谓词,换言之,表达式“是真的”只能被应用于其他语言中的语句。后一种被谈论的语言他称之为[[对象语言]](继而,对象语言可能包含应用于其他语言中的语句的真值谓词)。这种约束的原因在于,包含对自身真值谓词的语言会包含悖论。因此,塔斯基认为语义学理论不能被应用于任何自然语言,如英语,因为它们包含对自身的真值谓词。[[戴维森]]将该理论作为他的[[真值条件]]语义学的基础,并以[[融合主义]]的形式将其与彻底解释相联系。
{{see also|宗教|{{link-en|Religious views on truth}}}}
某些宗教,也声称自己在追求“真理”,或者宣称自己掌握了“真理”<ref>例如在[[基督教]]中,聖經[[约翰福音]]14章6節,耶穌說:“我就是道路、真理、生命”。在聖經約翰福音8章45節提到,我(耶穌)將真理告訴你們。</ref>


==== 佛教====
注意到这些悖论甚至存在于最符号化[[形式化]]的数学之中,要归功于[[罗素]]在他年轻时期的工作,特别是由他名字命名的[[罗素悖论]]。罗素和[[怀特海]]试图在《[[数学原理]]》中通过将陈述分为不同类型层次来解决这个难题,在[[类型论]]中陈述不能指称自身,只能指称层次较低的陈述。这继而导致新的困难,如关于类型的准确性质,关于概念上可能的类型体系结构,时至今日它们仍有待解决。
{{see also|{{link-en|Truth#Buddhism}}}}
世間的事物也是虛幻而變化的。人須要「不執著」於兩邊對立的定理,反而要超越兩邊固常的認知,才能找到「真知」及「真理」{{Clarify}}。<ref>《金剛般若波羅蜜經》</ref>


認為人人本身皆具有(觀照)看清萬物「真實相」而不偏差的能力,但是都被世間的「不淨」(色蕴) 不同程度地蒙蔽了雙眼及內心。因此提倡目標是減去人本身的各種陋習,勤於領悟世間的真理,就能達至「清淨燭明」而且「能看破化解 無盡人世間煩勞」的理想境界,並能以平常心自在地走在「正道」上。
===== 马克思主义真理理论 =====
[[马克思主义]]的真理理论認為,真理即客观事物及其规律在人的意识中的正确反映。


==== 基督教 ====
在总的[[宇宙]]发展过程中,人们对于在各个发展阶段上的具体过程的正确认识,他是对客观世界近似的、不完全的反应。'''相对真理'''和'''绝对真理'''是辩证统一的,绝对真理寓于相对真理之中,在相对真理中包含有绝对真理的成分,无数相对真理的总合就是绝对真理。
[[基督教]]对真理有救世论的观点。根据《[[圣经]]》[[约翰福音]]14章6节,[[耶稣]]被引用说:“我就是道路、真理、生命:若不借着我,没有人能到父那里去”。


=== 中國哲學系統的真理 ===
{{seealso|本原}}
{{see also|中国哲学|中国哲学的合法性}}
根据中国著名哲学家[[冯友兰]]教授《[[中国哲学简史]]》<ref>[[冯友兰]], 《[[中国哲学简史]]》(翻译:赵复三), https://www.99csw.com/book/1180/index.htm {{Wayback|url=https://www.99csw.com/book/1180/index.htm |date=20231126040051 }}</ref>的相关内容,在[[中国哲學]]系統中关于“真理”的几点主要论述如下:
*儒家强调“诚”的道德实践,认为真理体现为一个人内心道德情感的自由流露和外在行为的一致。
*道家追求对自然道理的深刻体会,认为言语理性难以达到真理,需要通过直觉体认参悟。
*墨子提出“兼爱、非攻”的理念,认为真理应关涉和调整人与人的关系。
*汉代理学讲求“致中和”、掌握“物极必反”的规律,认为真理应当同客观存在的理法相一致。
*清代实学家提倡“经世致用”,认为真理最终要服务于社会实践。
*近代实用主义认为,真理导源于人的需求,是否真理要看其是否对人生有用。
总的来说,中国古典哲学对真理有独特的理解,既有理论性又十分实用主义,同时兼顾了认识论和方法论等方面。但是哲学的方法与风格方面, 传统的中国哲学注重直观的智慧、实用的指导和道德修养,不强调严格的定义、形式化的论证或系统性的理论,并没有出现类似于西方哲学中对真理的严格的定义、形式化的论证或系统性的理论。<ref name=SEP_ChineseAndWestern>Wong, David, "Comparative Philosophy: Chinese and Western", The Stanford Encyclopedia of Philosophy (Fall 2020 Edition), Edward N. Zalta (ed.), URL = <https://plato.stanford.edu/archives/fall2020/entries/comparphil-chiwes/></ref><ref name=邓晓芒_西方哲学的总体特点>邓晓芒:西方哲学的总体特点 https://www.aisixiang.com/data/123985.html {{Wayback|url=https://www.aisixiang.com/data/123985.html |date=20240120130612 }}</ref>


台灣大學哲學系李賢中教授指出,『中國哲學具有很強的人文精神,指出了人生的意義與價值,呈現生命整體的終極關懷,也體現了人類文化創造的價值和理想。中國哲學人文精神的內涵與其特徵包括:基礎性、普遍性、導向性、實踐性與整體性。』。<ref>{{Cite web |url=http://blog.sina.com.cn/s/blog_a6eb92f00101mgcx.html |title=李賢中:中國哲學人文精神的直覺方法 |access-date=2017-09-30 |archive-date=2017-09-30 |archive-url=https://archive.today/20170930041359/http://blog.sina.com.cn/s/blog_a6eb92f00101mgcx.html }}</ref>
===== 其它 =====
某些宗教,也声称自己在追求“真理”,或者宣称自己掌握了“真理”。
{{seealso|宗教}}


== 科學的真理 ==
== 相关概念 ==
* [[半真理]]
  ''请参看:[[科學|科學定理]]''(不包括[[偽科學]]與[[假說]])
* [[谬误]]
* [[虚假信息]]


== 注释 ==
科學的真理是利用[[邏輯]]的[[科學方法]]獲得或經過驗證而來。近代的科學旨在理性、客觀的前提下,用[[知識]]([[理論]])與完整[[實驗]]證明出真理。在將知識的研究歸納和系統化後,便成為科學中的真理。
{{NoteFoot}}


==資料==
==文献 ==
{{Reflist|30em}}
<references />


== 注釋 ==
== 外部链接 ==
* [https://tr.kingdomsalvation.org/gospel-truth-66.html 什麼是真理?什麼是聖經知識道理?”] {{Wayback|url=https://tr.kingdomsalvation.org/gospel-truth-66.html |date=20210308100355 }}
{{reflist}}


{{邏輯}}
==参见==
{{认识论}}
* [[半真理]]
{{Authority control}}


[[Category:哲学基本问题]]
[[Category:哲学基本问题]]
第197行: 第185行:
[[Category:科学哲学]]
[[Category:科学哲学]]
[[Category:宗教學]]
[[Category:宗教學]]
[[Category:真理| ]]

[[Category:真理理論]]
{{Link FA|is}}

2024年10月25日 (五) 06:24的最新版本

伽利略衛星伽利略1610年觀測到的環繞木星公轉的四個衛星,证明並非所有天體均環繞地球旋轉。这是人类认识真理的过程的一个代表。

真理通常被定义为符合事实实在的属性。[1]在日常语言中,真理通常被归因于旨在代表现实或与之相对应的事物,例如信念、命题和陈述句。[2] 真理通常被认为是错误陈述的反面。

在不同的文化、哲学和宗教背景下可能有不同的解释。然而,并没有任何一个真理的定义被学者普遍接受。许多不同的真理定义一直被广泛争论, 许多与真理定义相关的主题同样无法获得共识。[2][3] 一些哲学家认为真理概念是基本概念,无法用任何比真理概念本身更容易理解的术语来解释。[2] 最常见的是,真理被视为语言或思想的对应到一个独立于思想的世界, 这称为真理符应论

使用真理概念的有科學哲學宗教等。智人终于脫離於宗教迷信外的真理概念,始自於西方文明中科学与人文并重的古希臘時期。[2]

引言

[编辑]
《La Vérité》(真理),由法國學院藝術畫家Jules Joseph Lefebvre所繪

回顾关于真理这一课题的思想史,并关注那些早就研究时至今日仍是该课题前沿问题的思想家们是一个接近如真理这样复杂哲学问题的有效途径[需要解释]。本引言即采用该方法,聚焦于真理问题中的几个重要主题。

真理与意义的主题通常认为密切相关,只有有意义的事物才能有真和假。这一关联在古代就确立了,而现代在语义学、特别是形式语义学中成为准则。另一长期令人感兴趣的关联是真理与逻辑有效性的关系。“因为逻辑最基础的概念是有效性,而它可通过真与假来定义。”(涅尔夫妇,16)。尽管意义与有效性并非本文的主题,但鉴于它们与真理的关联,附带探讨一下有利于明确真理的性质

在古代残篇Dissoi Logo[4]i中,作者显然试图证明一致地谈论真与假是不可能的[需要解释]。他所提出的使读者困惑的谜题之一引用了以下情形,“我是入会者”这样一种语词形式,A说可能是真的,但B说可能就是假的了。如果一个人观察到谓词真或假并不应用于语词表达式或语句,而是语句所表达或陈述的命题的话,远离这样的困惑显得十分容易(涅尔夫妇,16)。这个例子阐明了两个令当代人感兴趣的主题。其一,从抽象命题到具体语句的变化。其二,特殊种类的符号的性质,如例子中的代词“我”,它通常被称为指示的或索引的。

对于真理的哲学探讨

[编辑]

真理是哲学家面对人生的意義、存在問題的時候无法绕过的概念[需要解释]。许多哲学家都自诩代表真理,然而彼此之间可能毫无共同之处,甚至针锋相对。日常生活中,不少人也自称自己的观点是真理。探求真理可能是人类的本性之一,然而有意识地区别真理与谬误,始自巴门尼德关于“真理之路”与“意见之路”的区别:“真理被认为是永恒的、不变的”,这也是对真理最通俗的描述。

主要的真理理论

[编辑]

真值承担者问题,即关于究竟并且在何种程度上语句陈述命题判断信念能被称为真的问题,以及关于真值承担者究竟对于个人还是整个共同体社会为真的问题,包含于下面介绍的理论所提出的许多重要问题之中。

所有主要的实质理论或强理论将真理视为具有本性的某种东西、现象、事物或者一种人类经验,该理论认为关于真理有重要内容值得谈论。这些理论提出的观点被哲学家普遍认为能在某些方面应用于由人类交互作用中观察到的事件组成的广泛集合,或者为与人类经验中的真理观念相关的议题提供重要而可靠的解释(因此称为强理论)。[5]近来出现了所谓紧缩论或最小理论,它们基于以下观念,术语“真”应用于陈述并没有断定关于陈述的任何重要的东西,例如陈述的本性。“真”不过是个标签、谈话工具用以表达赞同、强调主张或构成某种概括。[6][7]

实质理论

[编辑]

符合论

[编辑]

符合论主张,真信念和真陈述在于与真实事态相符合。[8]这种理论本质上试图在思想或陈述与事物或客体间建立关系(真理关系),该关系理论上可以独立于涉及该关系的人,并独立于其他真理关系而存在。这是一个传统模式,至少可以追溯至一些古希腊哲学家。[9]这类理论认为陈述的真或假原则上完全取决于它如何关联于客观实在,它是否准确地描述(换言之,符合于)实在。

康德以下述态度评论真理符合论:

真理被认为在于知识与客体的一致之中。按照这一纯粹的语词定义,那么,我的知识,为了是真的,必须与客体相一致。既然,我只有用这种方法,即通过认识客体的方法,比较客体与我的知识。那么,我的知识便为它自己所证实,对于真理来说这远远不够。因为正如客体外在于我一样,知识在我之中,我只能判断我对客体的知识是否与我对客体的知识相一致。这样一个解释的循环被古典作家称为Diallelos。而且逻辑学家被怀疑论者批评犯这种谬误,怀疑论者评论道这种对真理的说明就像一个上法庭的人为支持他的陈述而诉诸无人认识的证人,但该证人却通过陈述召唤他为证人的人是可敬的来为他自己的可信度辩护。(康德,45)

按照康德的说法,符合论的真理定义是纯粹的语词定义,这里运用了亚里士多德名义定义真实定义间的区分,前者引入新的术语,而后者显示了事物真正的原因本质,术语已经被先行定义了。从康德对历史的记述来看,符合论的真理定义从古典时代起已处于争论之中,怀疑论者批评逻辑学家采用循环推理的形式,虽然逻辑学家实际所认为的符合论涉及的范围并未被适当评估。

符合论传统上基于以下假设才能成立,即客观的真理关系是存在的,站到真理关系一边来只是人类的任务。[10]然而实际上,近来更多的理论家已清晰明白地表明如不对附加因素加以分析,这一理想不可能达到。例如,在特定语言内对符合论的分析被迫承认,在理论工作的开端,正被探讨的特定语言是个附加的限制因素,只有通过精心论述不同语言间翻译的理论,才能逐渐构造语言中立的真值谓词。强有力的理论局限限制了这一工作的完成。评论家们和下面所介绍的一些理论的支持者们普遍宣称符合论忽略了真理关系中人的作用。

融贯论

[编辑]

一般而言融贯论认为,真理是整个信念或命题系统内各部分的一致。尽管如此,通常融贯意味着某些超出简单逻辑一致性的东西。例如,概念基本集合完全性和广泛性是判断融贯系统效用和有效性的关键因素[註 1]。融贯论贯彻的原则是以下观念,真理根本上是整个命题系统的性质,个别命题只因与整体相融贯而衍生地被赋予真理的性质。在通常被视为融贯论的各类观点中,理论家们在究竟融贯论带来许多可能为真的思想体系还是只有一个绝对体系是真的问题上并不一致。

一些融贯论的变体被认为描述了逻辑数学中一些形式系统的内在本质特征[11]。而进行形式推理的人乐于思索并列的、在公理方面独立而又相互矛盾的系统,例如各种可供选择的几何学。大体上,融贯论被批评为在将它应用于真理的其他领域时缺少适当的理由,特别是涉及大部分关于自然世界、经验预料的断定以及关于心理和社会实际事件的断定,尤其当融贯论没有其他主要真理理论辅助的情况时。[12]

构造论

[编辑]

社会构造论认为真理由社会过程所构造,带有历史文化特质,并认为真理某种程度上体现于共同体中的权力斗争中。构造论将我们的知识视之为“被构造的”,因为它并不反映任何外在的超越的实在(纯粹的符合论会抱有此观点)。真理观念更应被看作随习俗、人类的感受和社会经验而定。构造论者相信对人类体质和生物学事实的表述,包括对种族性别的表述,是由社会构造的。维柯黑格尔、Garns和马克思是这一雄心勃勃地扩展社会决定论的先驱。

共识论

[编辑]

共识论认为真理是任何被某特定群体一致同意的东西,或者在其他版本中,是特定群体可能就此达到一致同意的东西[來源請求]。共识论的标签以不同的名称被贴在许多在其他方面非常不同的哲学观点上。某些实用主义理论的变体被包括在共识论中,虽然实用主义理论范围十分广泛而应有它自己的分类。共识论作为一种有益的对真理概念的说明,哈贝马斯是它的当代倡导者。哲学家雷谢尔英语Nicholas Rescher则是当代强有力的批评者。

实用主义理论

[编辑]

一般而言,在实用主义思想中意义并不仅仅在语词中表达,还在行为中表达。没有任何陈述不被直接限定也能成立,必须首先定义它的术语,然后详述不同作者赋予每个术语的不同意义。这一做法使实用主义对意义和真理的理解产生分歧,关于这一做法的问题甚至导致了古典实用主义者的第一次分裂,而原本皮尔士詹姆斯杜威在他们共同的哲学的出色观点上有一致意见。最关键的分歧来自于唯理论实在论在实用主义中所扮演的角色。

皮尔士将真理定义如下:“真理是抽象陈述与理想极限的一致,无尽的探究将带着科学信念趋于真理,抽象陈述通过承认它的不准确和片面性而拥有与理想极限的一致,这种承认是真理的本质要素。”[13]这一陈述强调了皮尔士的观点,即有限的探究所获结论是不完全的、有偏见的,但探究活动会使信念逼近真理,在别处他表述为可误论并指向未来,这两者构成了恰当的真理概念的本质内容。尽管皮尔士使用一致这样的词语描述符号间关系的一个方面,他同样颇为直率地说仅仅基于符合论的真理定义不过是个名义定义,他认为名义定义次于真实定义。

詹姆斯版本的实用主义理论,通常经由他自己的陈述概括为:“真的”不过是有关我们的思想的一种方便方法,正如“对的”不过是有关我们的行为的一种方便方法一样。[14]通过这句话,詹姆斯意味着真理是一种性质,其价值由在实际实践中运用概念所得的效用来确认(因而,称为实用主义)。杜威对真理的定义比皮尔士广,但狭于詹姆斯,他认为为了澄清、证明、改进并且/或者反驳已提出的真理而将它提交到探究者共同体公开检验,如果这样做,探究无论是科学的、技术的、社会学的、哲学的还是文化的,都会随时间而自我更正。[15]

最小化理论

[编辑]

紧缩理论

[编辑]

将真这个概念或术语归之于语句或命题的实在性质,这个议题被许多哲学家所拒斥。这些哲学家对真值谓词的通常使用(“…是真的”,或其等价表达),至少在其主要方面,作出回答,该回答在20世纪上半叶对于真理的哲学探讨中显著流行起来。按这一观点,断定命题“‘2+2=4’是真的”逻辑上等价于断定命题“2+2=4”,而且短语“是真的”在这一语境和在其他语境中一样完全是不必要的。这一观点被普遍表述为:

  • 真理紧缩理论,因为它们旨在缩小概念“真”被假定具有的重要性。
  • 消除引号论,关注于如上述例子的情形中消去引号。
  • 真理最小理论。[16][17]

无论使用何种术语,紧缩理论被认为共同相信真值谓词是为了表达的方便,而非一种需要深入分析的性质的名称。[17]

除了强调谓词“是真的”的形式特征外,某些紧缩论者指出概念使我们能以简略的方式表达事物,否则将需要无限长的语句。例如,一个人无法表达相信迈克尔所言正确,通过断定如下无尽的语句:

迈克尔说,“雪是白的”,且雪是白的;或者他说,“玫瑰是红的”,且玫瑰是红的;或者他说……

但它能被简洁地表达,通过说:

无论迈克尔说什么都是真的。

一旦我们识别出真值谓词的形式特征和功用,紧缩论者主张,我们所说的一切就是关于“真”我们能说的全部。该观点的主要理论关注点是消除悖论,悖论发生时概念“真”具有奇特而令人感兴趣的性质。

履行论

[编辑]

履行论是由英国哲学家斯特劳森提出的一种哲学观点。履行理论认为,说一个陈述是真的不仅仅是在描述这个陈述,而是在对其进行某种操作,比如同意它、支持它或接受它。

该观点认为说“‘雪是白的’是真的”即履行一种言语行为,发出同意雪是白的这一断定的信号(与点头表达赞同十分相似)。某些陈述履行超出言语交流以外行为的思想并不像表面看上去那么古怪。试考虑,例如,当新娘在婚礼的适当时候说“我愿意”,她在履行接受身边的男人为合法丈夫的行为。她并不是在描述自己接受他为合法丈夫。以同样方式,斯特劳森认为:“说一个陈述为真,并不是就该陈述作一个陈述,而是履行了同意、接受或赞成该陈述的行为。当一个人说‘正在下雨,这是真的’,他断定的只是‘正在下雨’。而陈述‘……,这是真的’的功能是同意、接受或赞成陈述‘正在下雨’。”[18]

冗余论及相关理论

[编辑]

按照真理的冗余论,断定一陈述为真完全等价于断定该陈述本身。例如,断定语句“‘雪是白的’是真的”等价于断定语句“雪是白的”。冗余论者从下述前提中推断出他们的观点,即真理是个冗余的概念,换言之,它只是在某些谈话语境中方便使用的语词,并不指向任何实在。该理论通常归功于兰姆赛。他认为使用语词“事实”和“真理”不过是断定一命题的迂回方式,将这些语词视为隔离于判断之外的单独问题来处理不过是语言混乱。[19][20]

冗余论的一个变体是消除引号论,它运用塔斯基模式的修正形式:说“P”是真的,就是说P。而紧缩论的另一个版本是真理的代语句论,由格罗芙坎普贝尔纳普首先提出,更详细地阐明了兰姆赛的主张。他们认为当语句“这是真的”作为对“正在下雨”的响应时,它就成为一代语句(参见替代形式),亦即一复述其他表达式内容的表达式。在语句“我的狗饿了,所以我喂牠”中,“牠”与“我的狗”意义相同,同样地,“这是真的”被认为与“正在下雨”意义相同——如果你说后者,而我说前者的话。这些变体并不必然遵循兰姆赛而断言,真不是性质,相反它们会主张,比如,断定“P”可能涉及实质真理,既便如此理论家们会尽可能最小化,使只有冗余或代语句与语句“这是真的”相关。

紧缩原则并不适用于与常见语句不相似的表述,也不适用于许多其他一般被判断为真或假的事物。试考虑,语句“雪是白的”(‘Snow is white’)与人名白雪公主(Snow White)间的类比,在某种意义上两者都能是true。对最小论者来说,说“‘雪是白的’是真的”(“‘Snow is white’is true”)与说“雪是白的”等价,但说“白雪公主是真的”(“Snow White is true”)与说“白雪公主”并不等价。

哲学怀疑论

[编辑]

哲学怀疑论通常是对一项或多项知识或信仰的任何质疑态度或怀疑,这些知识信仰将其断言命题视为真理。[21][22] 哲学怀疑论的主要目标是认识论,但它可以应用于任何领域,例如超自然道德道德怀疑论)和宗教(对上帝存在的怀疑)。[23]

多元论

[编辑]

一些主要的真理理论认为,存在一种特定的属性,拥有这种属性使得信念或命题成为真实。真理的多元论理论则断言,可能有多个属性使命题成为真实:道德命题可能因为一致性而成为真实。关于物理世界的命题可能因为与它们所涉及的对象和属性相符而成为真实。

形式理论

[编辑]

数学

[编辑]

数学中求真有两种主要方法。它们是真理模型论真理证明论[24]

塔斯基的真理语义

[编辑]

阿尔弗雷德·塔斯基真理的语义理论是为形式语言(如形式逻辑)开发的[25],其一般情况为给定语言:

“P”是真的,当且仅当P

当“P”是语句的指称(语句的名字)时,P正是语句本身。

逻辑学家和哲学家阿尔弗雷德·塔斯基发展了对于形式语言(比如形式逻辑)的理论。这里,他以如下方式约束该理论:语言不能包含对自身的真值谓词,换言之,表达式“是真的”只能被应用于其他语言中的语句。后一种被谈论的语言他称之为对象语言(继而,对象语言可能包含应用于其他语言中的语句的真值谓词)。这种约束的原因在于,包含对自身真值谓词的语言会包含悖论。因此,塔斯基认为语义学理论不能被应用于任何自然语言,如英语,因为它们包含对自身的真值谓词。戴维森将该理论作为他的真值条件语义学的基础,并以融合主义的形式将其与彻底解释相联系。

注意到这些悖论甚至存在于最符号化形式化的数学之中,要归功于罗素在他年轻时期的工作,特别是由他名字命名的罗素悖论。罗素和怀特海试图在《数学原理》中通过将陈述分为不同类型层次来解决这个难题,在类型论中陈述不能指称自身,只能指称层次较低的陈述。这继而导致新的困难,如关于类型的准确性质,关于概念上可能的类型体系结构,时至今日它们仍有待解决。

克里普克真理理论

[编辑]

克里普克主张事实上自然语言能包含对自身的真值谓词而不引起矛盾。下面显示了他是如何构造的:

  • 从一个自然语言语句的子集开始着手,它不含有任何表达式“是真的”(或“是假的”)存在。所以,“谷仓是大的”包含于该子集中,但“谷仓是大的是真的”被排除在外,使人困惑的语句如“这句话是假的”同样如此。
  • 仅对该子集中的语句定义真。
  • 其次,扩展对真的定义以包含新的语句,它们断定原初子集中语句的真或假。于是,“谷仓是大的是真的”被包含了进来,但不包括“这句话是假的”和“‘谷仓是大的是真的’是真的”。
  • 然后,对断定第二个集合所包含句子真或假的所有语句定义真。设想这一过程无限次重复,那么对于“谷仓是大的”定义真,而后对于“谷仓是大的是真的”定义真,再对于“‘谷仓是大的是真的’是真的”……

注意对于语句“这句话是假的”,“真”从未得到定义,因为它不在最初的子集中,也不断定最初或所有后继集合中的任何语句的真值。在克里普克的术语中,这称为“无根”。即便定义真的过程无限进行,这些语句也决不能指派为真或假,克里普克的理论意味着某些语句既非真也非假。这与二值原则相抵触,该原则认为所有语句或者为真或者为假。由于这一原则是推出说谎者悖论的关键前提,因此该悖论被解决了。

其他著名观点

[编辑]

古希腊哲学

[编辑]

根据记载第一次对真理进行哲学思考的是亚里士多德,近世几乎所有真理理论都可以追溯到他。《形而上学》中记述了他的名言:“是什么说不是什么,不是什么说是什么,这是假的;是什么说是什么,不是什么则说不是什么,这是真的。”

现代哲学

[编辑]

康德、 黑格尔、 叔本华、 尼采、 海德格尔、 萨特等著名哲学家对真理都有研究和探讨。

科學的真理

[编辑]

科學的真理是對猜想假設,經過或利用邏輯科學方法驗證,並用公理化方法形成的原理。近代的科學旨在理性、客觀的前提下,用知識理論與完整實驗證明出真理。在將知識的研究歸納和系統化後,便成為科學中的真理。

宗教对真理的主张

[编辑]

某些宗教,也声称自己在追求“真理”,或者宣称自己掌握了“真理”[26]

佛教

[编辑]

世間的事物也是虛幻而變化的。人須要「不執著」於兩邊對立的定理,反而要超越兩邊固常的認知,才能找到「真知」及「真理」[需要解释][27]

認為人人本身皆具有(觀照)看清萬物「真實相」而不偏差的能力,但是都被世間的「不淨」(色蕴) 不同程度地蒙蔽了雙眼及內心。因此提倡目標是減去人本身的各種陋習,勤於領悟世間的真理,就能達至「清淨燭明」而且「能看破化解 無盡人世間煩勞」的理想境界,並能以平常心自在地走在「正道」上。

基督教

[编辑]

基督教对真理有救世论的观点。根据《圣经约翰福音14章6节,耶稣被引用说:“我就是道路、真理、生命:若不借着我,没有人能到父那里去”。

中國哲學系統的真理

[编辑]

根据中国著名哲学家冯友兰教授《中国哲学简史[28]的相关内容,在中国哲學系統中关于“真理”的几点主要论述如下:

  • 儒家强调“诚”的道德实践,认为真理体现为一个人内心道德情感的自由流露和外在行为的一致。
  • 道家追求对自然道理的深刻体会,认为言语理性难以达到真理,需要通过直觉体认参悟。
  • 墨子提出“兼爱、非攻”的理念,认为真理应关涉和调整人与人的关系。
  • 汉代理学讲求“致中和”、掌握“物极必反”的规律,认为真理应当同客观存在的理法相一致。
  • 清代实学家提倡“经世致用”,认为真理最终要服务于社会实践。
  • 近代实用主义认为,真理导源于人的需求,是否真理要看其是否对人生有用。

总的来说,中国古典哲学对真理有独特的理解,既有理论性又十分实用主义,同时兼顾了认识论和方法论等方面。但是哲学的方法与风格方面, 传统的中国哲学注重直观的智慧、实用的指导和道德修养,不强调严格的定义、形式化的论证或系统性的理论,并没有出现类似于西方哲学中对真理的严格的定义、形式化的论证或系统性的理论。[29][30]

台灣大學哲學系李賢中教授指出,『中國哲學具有很強的人文精神,指出了人生的意義與價值,呈現生命整體的終極關懷,也體現了人類文化創造的價值和理想。中國哲學人文精神的內涵與其特徵包括:基礎性、普遍性、導向性、實踐性與整體性。』。[31]

相关概念

[编辑]

注释

[编辑]
  1. ^ Immanuel Kant, for instance, assembled a controversial but quite coherent system in the early 19th Century, whose utility and validity continues to be debated even today. Similarly, the systems of Leibniz and Spinoza are characteristic systems that are internally coherent but controversial in terms of their utility and validity.

参考文献

[编辑]
  1. ^ Merriam-Webster's Online Dictionary, truth 互联网档案馆存檔,存档日期2009-12-29., 2005
  2. ^ 2.0 2.1 2.2 2.3 Truth. Stanford Encyclopedia of Philosophy. [29 June 2020]. (原始内容存档于20 January 2022). 
  3. ^ Alexis G. Burgess and John P. Burgess. Truth (hardcover) 1st. Princeton University Press. 2011 [October 4, 2014]. ISBN 978-0-691-14401-6. (原始内容存档于October 6, 2014). a concise introduction to current philosophical debates about truth 
  4. ^ 理查德諾德奎斯特. 什麼是“Dissoi Logoi”?. Eferrit. [2021-11-02]. (原始内容存档于2021-11-21). 
  5. ^ Blackburn, Simon, and Simmons, Keith (eds., 1999),Truth, Oxford University Press, Oxford, UK. Includes papers by James, Ramsey, Russell, Tarski, and more recent work.
  6. ^ Horwich, Paul, Truth, (2nd edition, 1988),
  7. ^ Field, Hartry, Truth and the Absence of Fact (2001).
  8. ^ Encyclopedia of Philosophy, Vol.2, "Correspondence Theory of Truth", auth:Arthur N. Prior, p223 Macmillan, 1969)
  9. ^ Encyclopedia of Philosophy, Vol.2, "Correspondence Theory of Truth", auth:Arthur N. Prior, p223-224 Macmillan, 1969)
  10. ^ See, e.g., Bradley, F.H., "On Truth and Copying", in Blackburn, et al (eds., 1999),Truth, 31-45.
  11. ^ Encyclopedia of Philosophy, Vol.2, "Coherence Theory of Truth", auth:Alan R. White, pp. 130-131. (Macmillan, 1969)
  12. ^ Encyclopedia of Philosophy, Vol.2, "Coherence Theory of Truth", auth:Alan R. White, pp. 131-133, see esp., section on "Epistemological assumptions" (Macmillan, 1969)
  13. ^ Peirce, C.S. (1901), "Truth and Falsity and Error" (in part), pp. 718–720 in J.M. Baldwin (ed.), Dictionary of Philosophy and Psychology, vol. 2. Reprinted, CP 5.565–573.
  14. ^ James, William, The Meaning of Truth, A Sequel to 'Pragmatism', (1909).
  15. ^ Encyclopedia of Philosophy, Vol.2, "Dewey, John", auth Richard J. Bernstein, p383 (Macmillan, 1969)
  16. ^ Blackburn, Simon, and Simmons, Keith (eds., 1999), Truth in the Introductory section of the book.
  17. ^ 17.0 17.1 Encyclopedia of Philosophy, Supp., "Truth", auth:Michael Williams, p572-573 (Macmillan, 1996)
  18. ^ Encyclopedia of Philosophy, Vol.6: Performative Theory of Truth, auth:Gertrude Ezorsky, p88 (Macmillan, 1969)
  19. ^ Encyclopedia of Philosophy, Supp., "Truth", auth:Michael Williams, p572-573 (Macmillan, 1996)
  20. ^ Ramsey, F.P. (1927), "Facts and Propositions", Aristotelian Society Supplementary Volume 7, 153–170. Reprinted, pp. 34–51 in F.P. Ramsey, Philosophical Papers, David Hugh Mellor (ed.), Cambridge University Press, Cambridge, UK, 1990
  21. ^ Popkin, R. H. The History of Skepticism from Erasmus to Descartes (rev. ed. 1968); C. L. Stough, Greek Skepticism (1969); M. Burnyeat, ed., The Skeptical Tradition (1983); B. Stroud, The Significance of Philosophical Skepticism (1984). Encyclopedia2.thefreedictionary.com. [2018-06-04]. (原始内容存档于2012-07-13). 
  22. ^ "Philosophical views are typically classed as skeptical when they involve advancing some degree of doubt regarding claims that are elsewhere taken for granted." utm.edu 互联网档案馆存檔,存档日期2009-01-13.
  23. ^ Greco, John. The Oxford Handbook of Skepticism. Oxford University Press, US. 2008. ISBN 978-0-19-518321-4 (英语). 
  24. ^ Penelope Maddy; Realism in Mathematics; Series: Clarendon Paperbacks; Paperback: 216 pages; Publisher: Oxford University Press, US (1992); 978-0-19-824035-8.
  25. ^ Hodges, Wilfrid, "Tarski’s Truth Definitions", The Stanford Encyclopedia of Philosophy (Winter 2022 Edition), Edward N. Zalta & Uri Nodelman (eds.), URL = https://plato.stanford.edu/archives/win2022/entries/tarski-truth/
  26. ^ 例如在基督教中,聖經约翰福音14章6節,耶穌說:“我就是道路、真理、生命”。在聖經約翰福音8章45節提到,我(耶穌)將真理告訴你們。
  27. ^ 《金剛般若波羅蜜經》
  28. ^ 冯友兰, 《中国哲学简史》(翻译:赵复三), https://www.99csw.com/book/1180/index.htm页面存档备份,存于互联网档案馆
  29. ^ Wong, David, "Comparative Philosophy: Chinese and Western", The Stanford Encyclopedia of Philosophy (Fall 2020 Edition), Edward N. Zalta (ed.), URL = <https://plato.stanford.edu/archives/fall2020/entries/comparphil-chiwes/>
  30. ^ 邓晓芒:西方哲学的总体特点 https://www.aisixiang.com/data/123985.html页面存档备份,存于互联网档案馆
  31. ^ 李賢中:中國哲學人文精神的直覺方法. [2017-09-30]. (原始内容存档于2017-09-30). 

外部链接

[编辑]