真理

　　知识能与真实情况相符合，或不悖于逻辑法则，都可以称为真理。在佛教显教中，对于有为的事相而称无为的真如（万法之体）为“真理”。密教以有为的事相各摄持其体而不乱不杂谓之“理”，其法之本不生谓之“真”，也就是胎藏界的十界曼荼罗。唐·方干《游竹林寺》诗云：“闻僧说真理，烦恼自然轻。”后来，真理一词得到了普遍的应用。如：真理面前人人平等。在我国藏族地区有“阳光之下阴影藏不住身；真理面前谬误站不住脚”的谚语。蒙族有“盐是咸的，但对菜肴不可少；真理是苦的，但对未来有益处”的俗谚。

三种真理观

　　不仅什么堪称真理众说纷纭，而且对真理的内涵本身也颇有分歧，大致有以下三种真理观：

　　符合论，真理是符合“客观”事实的命题，任一命题是否是真理与它和其他命题的关系无关。符合论通常被指责为根本没有外在于意识、可供作为真理标准的“纯客观”的事实存在，所谓“事实”是强势话语的拟构。

　　融贯论，真理是能够自圆其说、没有自相矛盾的命题体系，任一命题是否是真理由它和其他命题的关系决定。符合这个定义的命题体系不是唯一的，因而融贯论通常被指责为真理的无政府主义和相对主义。

　　冗馀论，“断定‘A真’”与“断定A”、“断定‘A假’”与“断定-A”语义完全相同，因而“真”或“假”是冗馀概念。

融贯论

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

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

　　融贯论可分为大陆理性主义哲学家的思想，特别是斯宾诺莎、莱布尼茨和黑格尔的思想，与英国哲学家布拉德雷的思想。在一些逻辑实证主义支持者，最著名的有纽拉特和亨佩尔中，融贯论获得复兴。

符合论

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

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

　　真理被认为在于知识与客体的一致之中。按照这一纯粹的语词定义，那么，我的知识，为了是真的，必须与客体相一致。既然，我只有用这种方法，即通过认识客体的方法，比较客体与我的知识。那么，我的知识便为它自己所证实，对于真理来说这远远不够。因为正如客体外在于我一样，知识在我之中，我只能判断我对客体的知识是否与我对客体的知识相一致。这样一个解释的循环被古典作家称为Diallelos。而且逻辑学家被怀疑论者批评犯这种谬误，怀疑论者评论道这种对真理的说明就像一个上法庭的人为支持他的陈述而诉诸无人认识的证人，但该证人却通过陈述召唤他为证人的人是可敬的来为他自己的可信度辩护。（康德，45）按照康德的说法，符合论的真理定义是纯粹的语词定义，这里运用了亚里士多德名义定义和真实定义间的区分，前者引入新的术语，而后者显示了事物真正的原因或本质，术语已经被先行定义了。从康德对历史的记述来看，符合论的真理定义从古典时代起已处于争论之中，怀疑论者批评逻辑学家采用循环推理的形式，虽然逻辑学家实际所认为的符合论涉及的范围被未被适当评估。

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

冗余论及相关理论

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

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

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