Математический словарь
" 0 C F G H K L N P S T W Z А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Э Ю Я

АНТОНИМИЯ

Значение АНТОНИМИЯ в математической энциклопедии:

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

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

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