ТАВТОЛОГИЯ

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