Дескрипция

Дескрипция
(от лат. descriptio — описание)
        логико-лингвистический термин, обозначающий специальные конструкции, играющие в формальных языках (См. Формальный язык) роль дополнительных (по сравнению с исходным словарём) собственных и нарицательных имён. В естественных языках эту функцию выполняют словосочетания типа: «тот (та)..., который (-ая)...» и «такой (-ая)..., что...» или артикли — соответственно определённый (определённые Д.) и неопределённый (неопределённые Д.). В логико-математических формализованных языках операторы определённых Д. (интерпретируемые указанными выше словосочетаниями 1-го типа) применяются к формулам (Предикатам), содержащим по крайней мере одну свободную переменную (См. Переменная), которую они в таких случаях «связывают», преобразуя данное выражение в обозначение единственного объекта, являющегося значением этой переменной (см. Квантор). Например, если Р(х) есть предикат x = log35, a ι — обозначение оператора определённой Д., то ιxP(x) есть дескриптивное имя того единственного значения x, при котором Р(х) истинно. Существование и единственность этого объекта служат непременным условием применимости ι-оператора к данному выражению и осмысленности описания. Если же условие единственности не выполнено, то такую «определённую» Д. естественно рассматривать как неточную формулировку неопределённой Д., интерпретируемой словосочетанием 2-го типа. Точным образом неопределённые Д. вводятся посредством так называемого ε-оператора, который, как и ι-оператор, относит определяемый объект к некоторому свойству или отношению и с помощью которого из формул соответствующего исчисления также можно получать предметные имена («ε-термы») — с той лишь разницей, что для применения ε-оператора не требуется не только доказательства единственности определяемого объекта, но и доказательства его существования (т. е. вводимый посредством ε-оператора объект, «зависящий» от допущения о его существовании, является в некотором смысле «условным объектом»). Одновременно с присоединением к данному формализованному языку операторов Д. в него вводятся специальные Постулаты (аксиомы (См. Аксиома), а иногда и правила вывода (См. Правило вывода)), кодифицирующие правила обращения со вновь введёнными формальными объектами (символами) и имеющие вид явных определений (См. Определение). Вводимые такими расширениями исчислений объекты при некоторых естественных условиях элиминируются (устраняются) из расширенных исчислений для весьма широкого класса формальных систем, так что присоединение Д. к системе, чрезвычайно удобное для практических целей, оказывается в этом смысле несущественным. Это обстоятельство, хорошо известное по естественным языкам, где Д. служат для образования синонимичных выражений, имеет место и для формализованных языков, где потребность в Д. обусловлена, грубо говоря, наличием в них бесконечного (потенциально) числа объектов, не имеющих собственных имён: как и любые другие «сокращения речи», Д. удобны, но не являются принципиально необходимыми.
         Лит.: Клини С. К., Введение в метаматематику, пер. с англ., М., 1957, § 74; Фрейденталь Х., Язык логики, пер. с англ., М., 1969, гл. 3, п. 25.
         Ю. А. Гастев, М. М. Новосёлов.

Большая советская энциклопедия. — М.: Советская энциклопедия. 1969—1978.

Игры ⚽ Нужна курсовая?
Синонимы:

Полезное


Смотреть что такое "Дескрипция" в других словарях:

  • ДЕСКРИПЦИЯ — (от лат. describere описывать) описание, описательное высказывание, являющееся истинным или ложным; дескриптивный описательный. Противоположность прескрипция, предписание. Напр., дескриптивная этика этика, дающая чистое описание моральной жизни и …   Философская энциклопедия

  • Дескрипция — (лат. describere описывать) это описание, т.е. конструкция, по форме имеющая вид «тот …, который …». При построении логических средств она включается в язык в числе термов. Определенная дескрипция соответствует терму ιx.Φ, который… …   Википедия

  • ДЕСКРИПЦИЯ — (лат. descriptio, от descripto описываю). Описание. Словарь иностранных слов, вошедших в состав русского языка. Чудинов А.Н., 1910. дескрипция и, ж. (нем. Deskription, фр. description, англ. description …   Словарь иностранных слов русского языка

  • дескрипция — описание Словарь русских синонимов. дескрипция сущ., кол во синонимов: 1 • описание (45) Словарь синонимов ASIS. В.Н. Тришин …   Словарь синонимов

  • ДЕСКРИПЦИЯ — (от лат. descriptio описание) языковая конструкция, заменяющая собственное или нарицательное имя предмета. В естественном языке передается словосочетаниями типа тот..., который... и такой..., что …   Большой Энциклопедический словарь

  • ДЕСКРИПЦИЯ — см. ОПИСАНИЕ. Antinazi. Энциклопедия социологии, 2009 …   Энциклопедия социологии

  • дескрипция — и, ж. description f., нем. Deskription, англ. descrition <лат. describere описывать. лингв. Описание, констатирующее отношение между элементами текста (в отличие от прескрпции). Крысин 1998. Лекс. БСЭ 3: дескри/пция …   Исторический словарь галлицизмов русского языка

  • дескрипция — и; ж. Языковая конструкция, заменяющая имя предмета и служащая для выражения его содержания иными языковыми средствами. Словарная д. * * * дескрипция (от лат. descriptio  описание), языковая конструкция, заменяющая собственное или нарицательное… …   Энциклопедический словарь

  • дескрипция — ж. Описание, констатирующее отношения между элементами текста (в лингвистике). Толковый словарь Ефремовой. Т. Ф. Ефремова. 2000 …   Современный толковый словарь русского языка Ефремовой

  • дескрипция — дескр ипция, и …   Русский орфографический словарь


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»