Тавтология (Конт-Спонвиль, 2012)

ТАВТОЛОГИЯ (TAUTOLOGIE). Суждение, которое всегда истинно — либо потому, что предикат лишь повторяет субъект («Бог есть Бог»), либо потому, что оно остается справедливым независимо от своего содержания и даже независимо от истинного значения составляющих его элементов. Формальная логика вся состоит из тавтологических высказываний. «Если р содержит в себе q, то если не-q, тогда не-р» (такой тип суждения называется modus tollens). Оно всегда справедливо, независимо от содержания и истинного значения р и q. Нетрудно заметить, что слово «тавтология» в указанном значении не имеет уничижительного оттенка. Но даже в тех случаях, когда тавтология принимает форму простого повторения, она не обязательно предосудительна. Когда Парменид говорит, что «бытие есть», он использует тавтологию. Но это не только не служит основанием для опровержения это мысли, это делает ее неопровержимой.

Конт-Спонвиль Андре. Философский словарь / Пер. с фр. Е.В. Головиной. – М., 2012, с. 610.