Vérité

thumb|Walter Seymour Allward, Veritas, 1920 thumb|Nec mergitur ou La Vérité sortant du puits, toile de Édouard Debat-Ponsan, 1898. La vérité (du latin veritas, « vérité », dérivé de verus, « vrai ») est la correspondance entre une proposition et la réalité à laquelle cette proposition réfère. Cependant cette définition correspondantiste de la vérité n'est pas la seule, il existe de nombreuses définitions du mot et des controverses classiques autour des diverses théories de la vérité. En mathématiques, une vérité première admise sans démonstration est un axiome. La vérité est un concept abstrait qui se situe à la confluence, pour l'Homme, d'une croyance en un système issu de la conscience et représentatif de réalité, et de l'emploi du langage correspondant à cette vérité à laquelle s'applique le symbolisme phonétique. Le correspondantisme, appelé aussi théorie de la vérité-correspondance, est l'ensemble des théories définissant la vérité comme une relation de correspondance entre un énoncé et une chose réelle. Un énoncé est vrai seulement s'il correspond à la chose à laquelle il réfère dans la réalité. Le cohérentisme est l'ensemble des théories définissant la vérité comme une relation de cohérence systématique d'une théorie composée de multiples énoncés. Un énoncé est vrai seulement s'il fait partie d'un système cohérent d'énoncés. Le pragmatisme est l'ensemble des théories définissant la vérité comme la propriété d'une croyance qui se révèle satisfaisante à la fin de l'étude. William James et Charles Sanders Peirce sont les deux grands représentants du pragmatisme. Le constructivisme est l'ensemble des théories selon lesquelles la vérité est le produit d'une construction sociale contingente. Le redondantisme est la théorie de la vérité selon laquelle la vérité est indéfinissable car redondante. Le redondantisme est caractérisé par la thèse d'équivalence selon laquelle énoncer une proposition (affirmation) est équivalent à affirmer que cette proposition est vraie ; autrement dit : « p est vrai" » est équivalent à l'énoncé « p est » tout seul, ce qui revient à dire que « .