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

实用主义理论
一般而言，在实用主义思想中意义并不仅仅在语词中表达，还在行为中表达。没有任何陈述不被直接限定也能成立，必须首先定义它的术语，然后详述不同作者赋予每个术语的不同意义。这一做法使实用主义对意义和真理的理解产生分歧，关于这一做法的问题甚至导致了古典实用主义者的第一次分裂，而原本皮尔士、詹姆斯、杜威在他们共同的哲学的出色观点上有一致意见。最关键的分歧来自于唯理论和实在论在实用主义中所扮演的角色。
皮尔士将真理定义如下：“真理是抽象陈述与理想极限的一致，无尽的探究将带着科学信念趋于真理，抽象陈述通过承认它的不准确和片面性而拥有与理想极限的一致，这种承认是真理的本质要素。”这一陈述强调了皮尔士的观点，即有限的探究所获结论是不完全的、有偏见的，但探究活动会使信念逼近真理，在别处他表述为可误论并指向未来，这两者构成了恰当的真理概念的本质内容。尽管皮尔士使用一致这样的词语描述符号间关系的一个方面，他同样颇为直率地说仅仅基于符合论的真理定义不过是个名义定义，他认为名义定义次于真实定义。
詹姆斯版本的实用主义理论，通常经由他自己的陈述概括为：“真的”不过是有关我们的思想的一种方便方法，正如“对的”不过是有关我们的行为的一种方便方法一样。通过这句话，詹姆斯意味着真理是一种性质，其价值由在实际实践中运用概念所得的效用来确认（因而，称为实用主义）。杜威对真理的定义比皮尔士广，但狭于詹姆斯，他认为为了澄清、证明、改进并且/或者反驳已提出的真理而将它提交到探究者共同体公开检验，如果这样做，探究无论是科学的、技术的、社会学的、哲学的还是文化的，都会随时间而自我更正。

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

如果我自己能发现什么真理，那就是：现在我不可能发现真理。
现在我只能感知宇宙的极小部分，故我对真理的一切追逐皆为虚妄。

我多么幼稚的渴望在永过不到的明天里，去寻找那永找不到的真理！

通过实践发现真理，又通过实践而证实真理和发展真理。-毛泽东

有怀疑就有真理，因为真理是怀疑的影子。-莎士比亚

偏见比无知离真理更远。-列宁

逆境是到达真理的一条道路。——拜伦

诡计需要伪装，真理喜欢阳光——莎士比亚

真理就是在经验面前站得住脚的东西。——爱因斯坦