Антонимия

- использование выражения (слова) в качестве своего собственного имени. Такое употребление выражения наз. Автонимным (в противоположность его употреблению в своем обычном смысле). Напр., говоря мы используем хв качестве имени для буквы - в качестве имени для выражения Говоря "12 делится на 2", мы употребляем выражение 12 неавто-нимно (как имя нек-рого упоминаемого натурального числа), а говоря "12 состоит из двух цифр", мы употребляем выражение 12 автонимно (как имя самого себя). В естественных языках контекст речи и синтаксис обычно являются достаточно надежными критериями отличения автонимного употребления выражения от не-автонимного его употребления. Однако возможны случаи, когда такое отличение затруднительно.

В этих случаях во избежание двусмысленностей приходится соблюдать осторожность. Отличать объект от его имени (обозначения), отличать употребление нек-рого языкового выражения в качестве названия от его упоминания в качестве предмета высказывания. Различение обозначаемого и обозначающего может быть достигнуто использованием имен, образованных специально для этой цели, или использованием кавычек, причем выражение, заключенное в кавычки, считается отличным от этого же выражения без кавычек. Автонимное употребление выражения означает слияние упоминания выражения с его употреблением в качестве имени. Выражение, использованное автонимно,- это и объект, и средство называния этого же объекта. Лит.:[1] Чёрч А., Введение в математическую логику, пер.

С англ., т. 1, М., 1960, §. 8. [2] Клини С. К., Введение в метаматематику, пер. С англ., М., 1957, с. 224-25. [3] Карри X., Основания математической логики, пер. С англ., М., 1969, с. 59-60. А. С. Кузичев.