真理是照妖镜，所有妖魔鬼怪，都不敢照它。

当众民不知道真理时，妖魔鬼怪必称霸天下。当众民知道了真理后，妖魔鬼怪的暗日已经来到。

我爱我的老师，但我更爱真理。——亚里士多德
为真理而斗争是人生最大的乐趣。——布鲁诺
尊重而不迷信权威，追求而不独占真理。——周海中
人需要真理，就像瞎子需要明快的引路人一样。——高尔基
人应该有爱好真理，一见真理就采纳它那样的心灵。——歌德
我们只崇敬真理，自由的、无限的、不分国界的真理，毫无种族歧视或偏见的真理。——罗曼·罗兰

真理，在一定条件下是真理，但只要条件情况一发生变化，就有可能成为谬误，但真理和谬误不能混淆。
真理，最纯真，最符合实际的道理，即客观事物及其规律在人的头脑中的正确反映。也是哲学名词，它指客观事物及其规律在人们意识中的正确反映，科学则是由实践检验且无限趋近于真理的方法。

真理通常被定义为与事实或实在相一致。然而，并没有任何一个真理的定义被学者普遍接受。许多不同的真理定义一直被广泛争论。许多与真理定义相关的主题同样无法获得共识。
普世價值與絕對真理是兩個不完全等同的概念，儘管它們經常性地被人們所混淆。
使用真理概念的有科學、哲學、宗教等。脫離於宗教外的真理概念，始自於西方文明的古希臘時期。

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

· 种种痛苦的经验证明，在认识真理的过程中，渊博的学识同公正和正义不是一回事。

真理与意义的主体通常认为密切相关，只有有意义的事物才能有真和假。这一关联在古代就确立了，而现代在语义学、特别是形式语义学中成为准则。另一长期令人感兴趣的关联是真理与逻辑有效性的关系。“因为逻辑最基础的概念是有效性，而它可通过真与假来定义。”

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

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

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

融贯论
一般而言融贯论认为，真理是整个信念或命题系统内各部分的一致。尽管如此，通常融贯意味着某些超出简单逻辑一致性的东西。例如，概念基本集合的完全性和广泛性是判断融贯系统效用和有效性的关键因素。融贯论贯彻的原则是以下观念，真理根本上是整个命题系统的性质，个别命题只因与整体相融贯而衍生地被赋予真理的性质。在通常被视为融贯论的各类观点中，理论家们在究竟融贯论带来许多可能为真的思想体系还是只有一个绝对体系是真的问题上并不一致。
一些融贯论的变体被认为描述了逻辑和数学形式系统的内在本质特征。而进行形式推理的人乐于思索并列的、在公理方面独立而又相互矛盾的系统，例如各种可供选择的几何学。大体上，融贯论被批评为在将它应用于真理的其他领域时缺少适当的理由，特别是涉及大部分关于自然世界、经验预料的断定以及关于心理和社会实际事件的断定，尤其当融贯论没有其他主要真理理论辅助的情况时。
融贯论可分为大陆理性主义哲学家的思想，特别是斯宾诺莎、莱布尼茨和黑格尔的思想，与英国哲学家布拉德雷的思想。在一些逻辑实证主义支持者，最著名的有纽拉特和亨佩尔中，融贯论获得复兴。

符合论
符合论主张，真信念和真陈述在于与真实事态相符合。这种理论本质上试图在思想或陈述与事物或客体间建立关系（真理关系），该关系理论上可以独立于涉及该关系的人，并独立于其他真理关系而存在。这是一个传统模式，至少可以追溯至一些古希腊哲学家。这类理论认为陈述的真或假原则上完全取决于它如何关联于客观实在，它是否准确地描述（换言之，符合于）实在。
康德以下述态度评论真理符合论：
真理被认为在于知识与客体的一致之中。按照这一纯粹的语词定义，那么，我的知识，为了是真的，必须与客体相一致。既然，我只有用这种方法，即通过认识客体的方法，比较客体与我的知识。那么，我的知识便为它自己所证实，对于真理来说这远远不够。因为正如客体外在于我一样，知识在我之中，我只能判断我对客体的知识是否与我对客体的知识相一致。这样一个解释的循环被古典作家称为Diallelos。而且逻辑学家被怀疑论者批评犯这种谬误，怀疑论者评论道这种对真理的说明就像一个上法庭的人为支持他的陈述而诉诸无人认识的证人，但该证人却通过陈述召唤他为证人的人是可敬的来为他自己的可信度辩护。
按照康德的说法，符合论的真理定义是纯粹的语词定义，这里运用了亚里士多德名义定义和真实定义间的区分，前者引入新的术语，而后者显示了事物真正的原因或本质，术语已经被先行定义了。从康德对历史的记述来看，符合论的真理定义从古典时代起已处于争论之中，怀疑论者批评逻辑学家采用循环推理的形式，虽然逻辑学家实际所认为的符合论涉及的范围被未被适当评估。
符合论传统上基于以下假设才能成立，即客观的真理关系是存在的，站到真理关系一边来只是人类的任务。然而实际上，近来更多的理论家已清晰明白地表明如不对附加因素加以分析，这一理想不可能达到。例如，在特定语言内对符合论的分析被迫承认，在理论工作的开端，正被探讨的特定语言是个附加的限制因素，只有通过精心论述不同语言间翻译的理论，才能逐渐构造语言中立的真值谓词。强有力的理论局限限制了这一工作的完成。评论家们和下面所介绍的一些理论的支持者们普遍宣称符合论忽略了真理关系中人的作用。

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