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