ДЕСКРИПЦИЯ

Большая советская энциклопедия (БЭС)

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

Орфографический словарь Лопатина

дескр`ипция, дескр`ипция, -и

Социологический Энциклопедичечкий Словарь

ДЕСКРИПЦИЯ. см. ОПИСАНИЕ.

Философский словарь

(лат. descriptio — описание) — логическая (языковая) конструкция, представляющая собой описание единичного предмета с помощью общих понятий (выражений) и заменяющая его собственное или нарицательное имя. Используется в формальных системах (Формализация), разного рода исчислениях.

Философский энциклопедический словарь

ДЕСКРИПЦИЯ (от лат. descriptio) описание, изображение с помощью языка содержания переживания; дескриптивны и – описательный. Соответственно этому говорят о дескриптивном методе в науке.

Философский энциклопедический словарь 2

(от лат. descriptio — описание), описательное определение (характеристика) единичных объектов посредством общих понятий (имён, свойств и отношений), выполняющее ту же функцию, что и называние собств. именем. Употребление Д. в логике аналогично употреблению артиклей или заменяющих артикли выражений типа «тот, который» (напр., «тот, который словом скор, тот в работе редко спор») в естеств. языках. Однако логич. Д. отличается от описат. форм выражений естеств. языка определённостью экстенсионального (см. Экстенсиональность) контекста: объект логич. Д. обязательно существует и всегда единствен. Именно это и составляет, как правило, достаточное условие для введения Д. в язык той или иной формальной системы или исчисления, что обогащает их выразит, возможности. Возникающее при этом расширение систем (классических или интуиционистских) несущественно в силу того, что всегда возможно устранение Д. (дескриптивных выражений), введённых при этом условии.
Карнап Р., Значение и необходимость, пер. с англ., М., 1959, §7, 8; Гильберт Д., Б е p н а и с П., Основания математики, пер. с нем., т. 1, М., 1979, гл. 8.

Если вы желаете блеснуть знаниями в беседе или привести аргумент в споре, то можете использовать ссылку:

будет выглядеть так: ДЕСКРИПЦИЯ

будет выглядеть так: Что такое ДЕСКРИПЦИЯ