Дескрипция

Дескри'пция (от лат. descriptio — описание), логико-лингвистический термин, обозначающий специальные конструкции, играющие в формальных языках роль дополнительных (по сравнению с исходным словарём) собственных и нарицательных имён. В естественных языках эту функцию выполняют словосочетания типа: «тот (та)..., который (-ая)...» и «такой (-ая)..., что...» или артикли — соответственно определённый (определённые Д.) и неопределённый (неопределённые Д.). В логико-математических формализованных языках операторы определённых Д. (интерпретируемые указанными выше словосочетаниями 1-го типа) применяются к формулам (предикатам), содержащим по крайней мере одну свободную переменную, которую они в таких случаях «связывают», преобразуя данное выражение в обозначение единственного объекта, являющегося значением этой переменной (см. Квантор). Например, если Р(х) есть предикат x = log35, a i — обозначение оператора определённой Д., то ixP(x) есть дескриптивное имя того единственного значения x, при котором Р(х) истинно. Существование и единственность этого объекта служат непременным условием применимости i-оператора к данному выражению и осмысленности описания. Если же условие единственности не выполнено, то такую «определённую» Д. естественно рассматривать как неточную формулировку неопределённой Д., интерпретируемой словосочетанием 2-го типа. Точным образом неопределённые Д. вводятся посредством так называемого e-оператора, который, как и i-оператор, относит определяемый объект к некоторому свойству или отношению и с помощью которого из формул соответствующего исчисления также можно получать предметные имена («e-термы») — с той лишь разницей, что для применения e-оператора не требуется не только доказательства единственности определяемого объекта, но и доказательства его существования (т. е. вводимый посредством e-оператора объект, «зависящий» от допущения о его существовании, является в некотором смысле «условным объектом»). Одновременно с присоединением к данному формализованному языку операторов Д. в него вводятся специальные постулаты (аксиомы, а иногда и правила вывода), кодифицирующие правила обращения со вновь введёнными формальными объектами (символами) и имеющие вид явных определений. Вводимые такими расширениями исчислений объекты при некоторых естественных условиях элиминируются (устраняются) из расширенных исчислений для весьма широкого класса формальных систем, так что присоединение Д. к системе, чрезвычайно удобное для практических целей, оказывается в этом смысле несущественным. Это обстоятельство, хорошо известное по естественным языкам, где Д. служат для образования синонимичных выражений, имеет место и для формализованных языков, где потребность в Д. обусловлена, грубо говоря, наличием в них бесконечного (потенциально) числа объектов, не имеющих собственных имён: как и любые другие «сокращения речи», Д. удобны, но не являются принципиально необходимыми.

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

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

Дескурения

Дескуре'ния, дескурайния (Descurainia), род растений семейства крестоцветных. Однолетние, редко двулетние травы с листьями дважды-, триждыперисторассечёнными на узкие, до нитевидных, доли. Лепестки жёлтые. Стручки тонкие цилиндрические. Около 50 видов, главным образом в Северной Америке, лишь несколько видов в Евразии и Африке. В СССР 2 вида, в том числе Д. Софии (D. sophia), которая встречается почти повсеместно на мусорных местах, у жилья, на полях, по дорогам, лугам и склонам.

Десмидиевые водоросли

Десми'диевые во'доросли (Desmidiales), порядок зелёных водорослей из подотдела (подтипа) конъюгат. Около 25 родов (2000 видов). Микроскопические одноклеточные свободно живущие, реже соединённые в нити формы. Клетки Д. в. состоят из двух симметричных половинок, в центре расположено одно ядро. В каждой половине клетки находится пластинчатый хроматофор. Размножение — делением в поперечной плоскости на две клетки; половой процесс — конъюгация. Зигота прорастает после периода покоя, давая обычно две новые особи. Д. в. обитают в пресных водах, в основном в торфяных болотах и в водоёмах, бедных известью; некоторые виды встречаются в почве.

  Лит.: Косинская Е. К., Десмидиевые водоросли, в. 1, М. — Л., 1960 (Флора споровых растений СССР, т. 5).

Большая Советская Энциклопедия (ДЕ) i009-001-218104438.jpg

Десмидиевые водоросли: 1 — Xanthidium; 2 — Cosmarium (три последовательные стадии деления клетки); 3 — Micrasterias; 4 — Closterium; 5 — Closterium (образование зиготы).

Десмонда восстание

Де'смонда восста'ние, антианглийское восстание в Манстере (Юго-Западная Ирландия) в 1579—83, вызванное попытками английского правительства Елизаветы I добиться полного подчинения Манстера. Названо по имени одного из главных руководителей Джералда Десмонда (Desmond), представителя могущественного англо-ирландского рода Фицджеральдов. В своей борьбе против английских колонизаторов вожди восстания пытались опереться на помощь католических держав, в частности Испании, однако испанский десант 1580 был разбит англичанами. Социальная неоднородность участников восстания, преобладание у его вождей клановых интересов сужали базу восстания и способствовали его поражению.

Десмосомы

Десмосо'мы (от греч. desmós — связь, связка и soma — тело), структуры поверхности животных клеток, способствующие их соединению между собой. Ранее считали Д. межклеточными мостиками. Однако электронномикроскопические исследования показали, что каждая Д. состоит из двух «половинок» (принадлежащих соседним клеткам), разделённых щелевидным пространством (шириной 100 — 200 Å). Наружная часть Д., обращённая к щелевидному пространству, видимо, представляет собой утолщение плазматической оболочки. К ней прилежит более широкая часть, образованная сетью фибрилл. Несмотря на морфологическую обособленность «половинок» Д., клетки в местах их расположения соединены друг с другом наиболее прочно.

Десмургия

Десмурги'я (от греч. desmós — связь, повязка и érgon — дело), учение о повязках и методах их наложения.


Перейти на страницу:
Изменить размер шрифта: