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