<<
>>

ТАВТОЛОГИЯ

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

• Витгенштейн Л., Логико-филос. трактат, пер. с нем., М., 1958; Чёрч А., Введение в математич. логику, пер. с англ., т. 1, М., 1960.

<< | >>
Источник: Федосеев, Ильичев. Философский энциклопедический словарь. 1986

Еще по теме ТАВТОЛОГИЯ: