Дескрипция

ДЕСКРИПЦИЯ (от лат. descriptio — описание), описательное определение (характеристика) единичных объектов посредством общих понятий (имён, свойств и отношений), выполняющее ту же функцию, что и называние собств. именем. Употребление дескрипции в логике аналогично употреблению артиклей или заменяющих артикли выражений типа «тот, который» (например, «тот, который словом скор, тот в работе редко спор») в естественных языках. Однако логическая дескрипция отличается от описательных форм выражений естественного языка определённостью экстенсионального (см. Экстенсиональность) контекста: объект логической дескрипции обязательно существует и всегда единствен. Именно это и составляет, как правило, достаточное условие для введения дескрипции в язык той или иной формальной системы или исчисления, что обогащает их выразительные возможности. Возникающее при этом расширение систем (классических или интуиционистских) несущественно в силу того, что всегда возможно устранение дескрипции (дескриптивных выражений), введённых при этом условии.

Философский энциклопедический словарь. — М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983.

Литература:

Карнап Р., Значение и необходимость, пер. с англ., М., 1959, §7, 8;

Гильберт Д., Беpнаис П., Основания математики, пер. с нем., т. 1, М., 1979, гл. 8.