tautologie

Cet article est extrait de l'ouvrage Larousse « Dictionnaire de la philosophie ».

Logique

Se dit de toute proposition qui répète la même chose, tel un truisme du type A est A.

Le sens technique contemporain fut introduit par Wittgenstein pour qualifier les lois logiques⁽¹⁾. Est tautologique une proposition valide par sa seule forme, indépendamment des valeurs de vérité des propositions élémentaires qu'elle contient. Inconditionnellement vraies, ces tautologies sont vides de contenu [sinnlos] : « Je ne sais rien du temps qu'il fait, par exemple, lorsque je sais : ou il pleut ou il ne pleut pas ». D'où la loi du tiers exclu A v ¬A. La négation d'une tautologie est une antilogie : fausse dans tous les cas.

Depuis Descartes au moins, il était de bon ton de dénoncer la « stérilité » de la logique formelle au nom du caractère « tautologique » (non informatif) de ses propositions. Or les tautologies dont se compose la logique ne sont en rien triviales et fournissent au contraire les règles d'inférence du discours rationnel. Par exemple, la tautologie [A → (B . ¬B)] → A énonce la structure du raisonnement par l'absurde. Le fait que les tautologies ne disent rien du monde ne veut en rien dire qu'elles soient inutiles.

Denis Vernant

→ loi, validité