![]() |
АВТОНИМИЯРасстановка ударений: АВТОНИ`МИЯ АВТОНИМИЯ - использование выражения (слова) в качестве своего собственного имени. Такое употребление выражения наз. автонимным (в противоположность его употреблению в своем обычном смысле). Напр., говоря «х входит в уравнение х + 3 = 2», мы используем х в качестве имени для буквы х, a x + 3 = 2 - в качестве имени для выражения x + 3 = 2. Говоря «12 делится на 2», мы употребляем выражение 12 неавтонимно (как имя нек-рого упоминаемого натурального числа), а говоря «12 состоит из двух цифр», мы употребляем выражение 12 автонимно (как имя самого себя). В естественных языках контекст речи и синтаксис обычно являются достаточно надежными критериями отличения автонимного употребления выражения от неавтонимного его употребления. Однако возможны случаи, когда такое отличение затруднительно. В этих случаях во избежание двусмысленностей приходится соблюдать осторожность: отличать объект от его имени (обозначения), отличать употребление нек-рого языкового выражения в качестве названия от его упоминания в качестве предмета высказывания. Различение обозначаемого и обозначающего может быть достигнуто использованием имен, образованных специально для этой цели, или использованием кавычек, причем выражение, заключенное в кавычки, считается отличным от этого же выражения без кавычек. Автонимное употребление выражения означает слияние упоминания выражения с его употреблением в качестве имени; выражение, использованное автонимно, - это и объект, и средство называния этого же объекта. Лит. : [1] Чёрч А., Введение в математическую логику, пер. с англ., т. 1, М., 1960, § 8; [2] Клини С. К., Введение в метаматематику, пер. с англ., М., 1957, с. 224-25; [3] Карри X., Основания математической логики, пер. с англ., М., 1969, с. 59-60. А. С. Кузичев. Источники:
|
![]()
|
|||
![]() |
|||||
© MATHEMLIB.RU, 2001-2021
При копировании материалов проекта обязательно ставить ссылку на страницу источник: http://mathemlib.ru/ 'Математическая библиотека' |