Термин «тавтология» стал использоваться в логике после того, как философ Людвиг Витгенштейн в 1921 году позаимствовал его из риторики и применил к избыточности логики высказываний. 1

В логике тавтология — это выражение, остающееся истинным независимо от того, о какой области объектов идёт речь, или «всегда истинное выражение». 23

Таким образом, став логическим термином, «тавтология» получил строгие определения применительно к отдельным разделам логики. 2