ДЕСКРИПЦИЯ

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