La réalité, critère de vérité
La réalité est une catégorie ontologique (qui concerne l'être); la vérité est une catégorie logique et gnoséologique (qui concerne le langage et la connaissance). Les choses sont réelles ou non; ce que l'on en dit est vrai ou faux.
Le lien entre la réalité et la vérité est que ce que l’on dit de la réalité est vrai ou faux en fonction de ce qui existe ou n’existe pas. Autrement dit, la réalité est un critère de vérité. On tiendra pour vraie la pensée ou la proposition dans laquelle les choses et leurs relations sont représentées telles qu'elles sont dans la réalité. D'où la définition de Saint Thomas d'Aquin: "veritas est adæquatio intellectus et rei", la vérité est l'adéquation de la pensée et des choses . C'est ce que l'on appelle la théorie de la vérité-correspondance.
Mais qu'est-ce que cette correspondance?
Le réalisme naïf
Pour le réalisme naïf, la réalité est donnée et la proposition est une représentation ou une copie de la réalité. Cette représentation est vraie si elle est fidèle à son modèle.
Cette conception de la vérité-correspondance soulève deux difficultés.
La première, soulignée par Kant, est que l'un des termes de cette relation semble inaccessible: pour que la réalité nous soit "donnée", il faut qu'elle nous apparaisse. Mais si elle nous apparaît, alors nous avons affaire non pas à la réalité directement, mais à unereprésentation de la réalité. Il s'ensuit que nous ne pouvons jamais comparer nos représentations de la réalité à la réalité elle-même, mais seulement à d'autres représentations de la réalité. La réalité, dit Kant, est comme un témoin supposé très fiable auquel on ferait appel devant un tribunal, sans que personne n'ai jamais vu le témoin en question, et sans que ledit témoin puisse venir en personne à la barre pour donner son témoignage.
La seconde a été formulée par Frege, philosophe et logicien du début du XXe siècle. On ne peut comparer que ce qui est comparable, dit Frege. Ainsi, prenons deux