ДЕСКРИПЦИЯ

Description

A stage of scientific study which consists in recording the data of an experiment or observation with the help of a definite system of designations accepted in science. Description is made both by means of the usual language and figures and by special means comprising the language of science (symbols, matrices, diagrams, etc.). Description is a preparatory stage of transition to a theoretical study of an object (see Explanation) in science. Description and explanation are closely connected and dialectically pass one into the other. Without a Description of facts it is impossible to explain them; on the other hand, Description without an explanation is not enough for science.

Interpreting the nature of scientific study from positions of extreme phenomenalism, the positivists (see Comte, Mach, Pearson, and others) declared the only task of science to be "pure description of facts". In contemporary positivism this theory has assumed quite a veiled form.

Дескрипция

(От лат. descriptio - описание) логико-лингвистический термин, обозначающий специальные конструкции, играющие в формальных языках роль дополнительных (по сравнению с исходным словарём) собственных и нарицательных имён. В естественных языках эту функцию выполняют словосочетания типа: «тот (та)..., который (-ая)...» и «такой (-ая)..., что...» или артикли - соответственно определённый (определённые Д.) и неопределённый (неопределённые Д.). В логико-математических формализованных языках операторы определённых Д. (интерпретируемые указанными выше словосочетаниями 1-го типа) применяются к формулам (Предикатам), содержащим по крайней мере одну свободную переменную, которую они в таких случаях «связывают», преобразуя данное выражение в обозначение единственного объекта, являющегося значением этой переменной (см. Квантор). Например, если Р(х ) есть предикат x = log 3 5, a ι - обозначение оператора определённой Д., то

ιxP(x ) есть дескриптивное имя того единственного значения x, при котором Р(х ) истинно. Существование и единственность этого объекта служат непременным условием применимости ι -оператора к данному выражению и осмысленности описания. Если же условие единственности не выполнено, то такую «определённую» Д. естественно рассматривать как неточную формулировку неопределённой Д., интерпретируемой словосочетанием 2-го типа. Точным образом неопределённые Д. вводятся посредством так называемого ε-оператора, который, как и

ι-оператор, относит определяемый объект к некоторому свойству или отношению и с помощью которого из формул соответствующего исчисления также можно получать предметные имена («ε-термы») - с той лишь разницей, что для применения

ε-оператора не требуется не только доказательства единственности определяемого объекта, но и доказательства его существования (т. е. вводимый посредством ε-оператора объект, «зависящий» от допущения о его существовании, является в некотором смысле «условным объектом»).

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

Лит.: Клини С. К., Введение в метаматематику, пер. с англ., М., 1957, § 74; Фрейденталь Х., Язык логики, пер. с англ., М., 1969, гл. 3, п. 25.

Ю. А. Гастев, М. М. Новосёлов.