Тавтология

Определение "Тавтология" в Большой Советской Энциклопедии

Тавтология (греч. tautología, от tautó - то же самое и lógos - слово), 1) повторение одних и тех же или близких по смыслу слов, например «яснее ясного», «плачет, слезами заливается». В поэтической речи, особенно в устном народном творчестве, Тавтология применяется для усиления эмоционального воздействия. Например, в былине о Соловье-разбойнике: «Под Черниговом силушки черным-черно, Черным-черно, черней ворона». Поэты часто пользуются Тавтология и тавтологическими рифмами, например А. С. Пушкин: «Вот на берег вышли гости, Царь Салтан зовёт их в гости». Широко употребляются некоторые тавтологические словосочетания в разговорной речи, например «целиком и полностью», «к сегодняшнему дню», «день-деньской». Иногда ненужные повторы в речи свидетельствуют о бедности языка говорящего. Тавтология - разновидность плеоназма.
  Тавтология В. Вентцель.

2) В логике - крайний случай логической ошибки «предвосхищение основания» (лат. petitio principii), а именно: когда нечто определяется или доказывается тем же самым (лат. idem per idem). В двузначной классической логике термин «Тавтология» употребляется наравне с термином логический закон для обозначения общезначимых, всегда-истинных или тождественно-истинных, формул, инвариантных к фактическому содержанию (значениям) входящих в них переменных, то есть к действительному «положению дел» в мире. Поэтому в этой логике, следуя Г. В. Лейбницу, Тавтология называют истинами «во всех возможных мирах» или «вечными истинами», «необходимыми истинами», истинами в силу постулатов классической логики и пр. Примером такой Тавтология может служить формула, выражающая исключенного третьего принцип. В многозначной логике Тавтология называют формулы, которые при любом наборе из принятой «обобщённой» системы значений переменных сохраняют одно и то же выделенное (отмеченное) значение. Тавтология в этом смысле используются, в частности, в доказательствах независимости.
 
  Лит.: Витгенштейн Л., Логико-философский трактат, пер. с нем., М., 1958; Чёрч А., Введение в математическую логику, пер. с англ., т. 1, М., 1960.
  М. М. Новосёлов.