La tautologie (du grec ancien ταὐτολογία, composé de ταὐτό, « la même chose », et λέγω, « dire » : le fait de redire la même chose) est une phrase ou un effet de style ainsi tourné que sa formulation ne puisse être que vraie. La tautologie est apparentée au truisme (ou lapalissade) et au pléonasme.
En logique mathématique, le mot « tautologie » désigne une proposition toujours vraie selon les règles du calcul propositionnel. On utilise aussi l'adjectif tautologique en mathématiques pour désigner des structures qui émergent naturellement de la définition de certains objets.
La tautologie (comme ses divers effets voisins), lorsqu'elle est intentionnelle, utilisée comme un slogan ou effet de rhétorique, vise à renforcer l'expression de la pensée. C'est le cas de beaucoup de celles qui sont énoncées plus loin, qu'il s'agisse de renforcer le propos (« vu, de mes yeux vu ») ou de faire rire (« Mais le mal que j'y trouve, c'est que votre père est votre père »).
C'est ainsi qu'une tautologie, parce qu'elle est vraie, peut servir à faire passer de fausses idées, en profitant de l'impression de vérité et d'évidence qu'elle dégage.
Eugène Ionesco, dans sa pièce Rhinocéros, montre ce procédé en bafouant les lois de la logique à l'aide de tautologies et syllogismes fumeux mais corrects du point de vue grammatical et « mécanique » ; : « J'ai de la force parce que j'ai de la force. »
Karl Marx, dans Le Capital, Livre ,
En fait, elle peut tout aussi bien servir de mode de manipulation qu'être utilisée au second degré, comme un clin d'œil.
En logique mathématique, le terme a pris un sens technique qui peut s'écarter du sens commun.
En calcul propositionnel, à la suite du Tractatus logico-philosophicus de Wittgenstein paru en 1921, on appelle tautologie (du calcul propositionnel) une proposition (ou énoncé) toujours vraie, c'est-à-dire vraie quelle que soit la valeur de vérité, vraie ou fausse, de ses constituants élémentaires. Dit autrement, la table de vérité de cet énoncé prend toujours la valeur vrai.