ГЕТЕРОЛОГИЧНОСТИ ПАРАДОКС

в логике), гетерологичность (от греч. ?????? – иной, другой и ????? – слово), – формально неразрешимая ситуация особого рода; до нек-рой степени аналогична расселовскому парадоксу в расширенном исчислении предикатов. Г. п. состоит в следующем. Заметим, что существуют свойства, к-рыми не обладают обозначающие их имена. Напр., имя "мощный" не является само мощным, имя "активный" не является само активным. С др. стороны, существуют такие свойства, к-рыми обладают также обозначающие их имена. Напр., имя "коротко" – коротко, а имя "старо" – старо. Свойства этого последнего типа назовем "автологичными", в противовес им свойства первого типа назовем "гетерологичными" и обозначим их буквой G. Возникает вопрос, является ли слово "G" гетерологичным или же оно автологично? Допустим, что "G" автологично. Но тогда оно должно обладать тем свойством, к-рое оно обозначает, т.е. быть гетерологичным. Предположим теперь, что "G" гетерологично, тогда оно приложимо к самому себе. Значит, оно автологично. Итак, мы пришли к противоречию, к-рое и конструирует парадоксальную ситуацию, устраняемую по способу, аналогичному с общими методами решения парадоксов в логике. Лит.: Reichenbach ?., Elements of symbolic logic, N. Y., 1947, p. 220–23; Quine W, van O., Mathematical logic, N. Y., [1940]. H. Стяжкин. Москва.