真实是什麼

真理通常被定义为与事实或实在相一致。然而，并没有任何一个真理的定义被学者普遍接受。许多不同的真理定义一直被广泛争论。许多与真理定义相关的主题同样无法获得共识。什么能被适当地称为真或假？什么检验能够确立真理？我们如何认识真理？真理，如果存在的话，是主观的还是客观的，相对的还是绝对的？真理，作为一个概念，有严格的定义吗，抑或其定义的模糊无可避免？

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

对于真理的哲学探讨
真值承担者问题，即关于究竟并且在何种程度上语句、陈述、命题、判断或信念能被称为真的问题，以及关于真值承担者究竟对于个人还是整个共同体或社会为真的问题，包含于下面介绍的理论所提出的许多重要问题之中。
所有主要的实质理论或强理论将真理视为具有本性的某种东西、现象、事物或者一种人类经验，该理论认为关于真理有重要内容值得谈论。这些理论提出的观点被哲学家普遍认为能在某些方面应用于由人类交互作用中观察到的事件组成的广泛集合，或者为与人类经验中的真理观念相关的议题提供重要而可靠的解释（因此称为强理论）。

实质（强）理论
一般而言融贯论认为，真理是整个信念或命题系统内各部分的一致。尽管如此，通常融贯意味着某些超出简单逻辑一致性的东西。例如，概念基本集合的完全性和广泛性是判断融贯系统效用和有效性的关键因素。 在一些逻辑实证主义支持者，最著名的有纽拉特和亨佩尔中，融贯论获得复兴。

融贯论
符合论主张，真信念和真陈述在于与真实事态相符合。 然而实际上，近来更多的理论家已清晰明白地表明如不对附加因素加以分析，这一理想不可能达到。例如，在特定语言内对符合论的分析被迫承认，在理论工作的开端，正被探讨的特定语言是个附加的限制因素，只有通过精心论述不同语言间翻译的理论，才能逐渐构造语言中立的真值谓词。强有力的理论局限限制了这一工作的完成。评论家们和下面所介绍的一些理论的支持者们普遍宣称符合论忽略了真理关系中人的作用。

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

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

共识论
一般而言，在实用主义思想中意义并不仅仅在语词中表达，还在行为中表达。没有任何陈述不被直接限定也能成立，必须首先定义它的术语，然后详述不同作者赋予每个术语的不同意义。这一做法使实用主义对意义和真理的理解产生分歧，关于这一做法的问题甚至导致了古典实用主义者的第一次分裂，而原本皮尔士、詹姆斯、杜威在他们共同的哲学的出色观点上有一致意见。最关键的分歧来自于唯理论和实在论在实用主义中所扮演的角色。
皮尔士将真理定义如下：“真理是抽象陈述与理想极限的一致，无尽的探究将带着科学信念趋于真理，抽象陈述通过承认它的不准确和片面性而拥有与理想极限的一致，这种承认是真理的本质要素。”

实用主义理论
将真这个概念或术语归之于语句或命题的实在性质，这个议题被许多哲学家所拒斥。这些哲学家对真值谓词的通常使用（“…是真的”，或其等价表达），至少在其主要方面，作出回答，该回答在20世纪上半叶对于真理的哲学探讨中显著流行起来。按这一观点，断定命题“‘2+2=4’是真的”逻辑上等价于断定命题“2+2=4”，而且短语“是真的”在这一语境和在其他语境中一样完全是不必要的。这一观点被普遍表述为：
无论使用何种术语，紧缩理论被认为共同相信真值谓词是为了表达的方便，而非一种需要深入分析的性质的名称。

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

履行论
按照真理的冗余论，断定一陈述为真完全等价于断定该陈述本身。例如，断定语句“‘雪是白的’是真的”等价于断定语句“雪是白的”。冗余论者从下述前提中推断出他们的观点，即真理是个冗余的概念，换言之，它只是在某些谈话语境中方便使用的语词，并不指向任何实在。该理论通常归功于兰姆赛。他认为使用语词“事实”和“真理”不过是断定一命题的迂回方式，将这些语词视为隔离于判断之外的单独问题来处理不过是语言混乱。
冗余论的一个变体是消除引号论，它运用塔斯基模式的修正形式：说“P”是真的，就是说P。而紧缩论的另一个版本是真理的代语句论，由格罗芙、坎普、贝尔纳普首先提出，更详细地阐明了兰姆赛的主张。他们认为当语句“这是真的”作为对“正在下雨”的响应时，它就成为一代语句（参见替代形式），亦即一复述其他表达式内容的表达式。在语句“我的狗饿了，所以我喂它”中，“它”与“我的狗”意义相同，同样地，“这是真的”被认为与“正在下雨”意义相同——如果你说后者，而我说前者的话。这些变体并不必然遵循兰姆赛而断言，真不是性质，相反它们会主张，比如，断定“P”可能涉及实质真理，既便如此理论家们会尽可能最小化，使只有冗余或代语句与语句“这是真的”相关。
紧缩原则并不适用于与常见语句不相似的表述，也不适用于许多其他一般被判断为真或假的事物。试考虑，语句“雪是白的”与人名Snow White间的类比，在某种意义上两者都能是true。对最小论者来说，说“‘雪是白的’是真的”（“‘Snow is white’is true”）与说“雪是白的”等价，但说“Snow White是忠诚的”（“Snow White is true”）与说“Snow White”并不等价。

其他关于真值谓词的理论
克里普克主张事实上自然语言能包含对自身的真值谓词而不引起矛盾。下面显示了他是如何构造的：
注意对于语句“这句话是假的”，“真”从未得到定义，因为它不在最初的子集中，也不断定最初或所有后继集合中的任何语句的真值。在克里普克的术语中，这称为“无根”。即便定义真的过程无限进行，这些语句也决不能指派为真或假，克里普克的理论意味着某些语句既非真也非假。这与二值原则相抵触，该原则认为所有语句或者为真或者为假。由于这一原则是推出说谎者悖论的关键前提，因此该悖论被解决了。

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

克里普克真理理论
真理的语义理论主张，对于给定语言，任何可接受的真理定义应该以下述模式的全部实例作为后承：
“P”是真的，当且仅当P
当“P”是语句的指称（语句的名字）时，P正是语句本身。
逻辑学家和哲学家塔斯基发展了对于形式语言（比如形式逻辑）的理论。这里，他以如下方式约束该理论：语言不能包含对自身的真值谓词，换言之，表达式“是真的”只能被应用于其他语言中的语句。后一种被谈论的语言他称之为对象语言（继而，对象语言可能包含应用于其他语言中的语句的真值谓词）。这种约束的原因在于，包含对自身真值谓词的语言会包含悖论。因此，塔斯基认为语义学理论不能被应用于任何自然语言，如英语，因为它们包含对自身的真值谓词。戴维森将该理论作为他的真值条件语义学的基础，并以融合主义的形式将其与彻底解释相联系。
注意到这些悖论甚至存在于最符号化形式化的数学之中，要归功于罗素在他年轻时期的工作，特别是由他名字命名的罗素悖论。罗素和怀特海试图在《数学原理》中通过将陈述分为不同类型层次来解决这个难题，在类型论中陈述不能指称自身，只能指称层次较低的陈述。这继而导致新的困难，如关于类型的准确性质，关于概念上可能的类型体系结构，时至今日它们仍有待解决。

真理语义学理论
马克思主义的真理理论認為，真理即客观事物及其规律在人的意识中的正确反映。
在总的宇宙发展过程中，人们对于在各个发展阶段上的具体过程的正确认识，他是对客观世界近似的、不完全的反应。相对真理和绝对真理是辩证统一的，绝对真理寓于相对真理之中，在相对真理中包含有绝对真理的成分，无数相对真理的总合就是绝对真理。

马克思主义真理理论
某些宗教，也声称自己在追求“真理”，或者宣称自己掌握了“真理”。 请参看：宗教

其它
请参看：科學定理（不包括偽科學與假說）
科學的真理是利用邏輯的科學方法獲得或經過驗證而來。近代的科學旨在理性、客觀的前提下，用知識（理論）與完整實驗證明出真理。在將知識的研究歸納和系統化後，便成為科學中的真理。