Qu'est-ce que la recherche du vrai ?

1. TROIS DEFINITIONS DE LA VERITE

O La conception la plus traditionnelle de la vérité définit celle-ci comme conformité de la chose et de l'esprit (adaequatio rei et intellectus, disaient les scolastiques médiévaux).

O Mais logique et mathématiques nous invitent à distinguer entre la vérité matérielle d'une proposition et la validité (= vérité formelle) d'un raisonnement.

• Exemple de R. Blanche, dans son Introduction à la logique. contemporaine (1957) :

Tout triangle est trilatère, donc tout trilatère est triangle. (1) Tout triangle est quadrilatère, donc quelque quadrilatère est triangle. (2) L'inférence (1) n'est pas valide, bien que les deux propositions y soient matériellement vraies ; l'inférence (2) est valide, bien que les deux propositions y soient fausses.