Деськріпция
 
а б в г д е ж з и й к л м н о п р с т у ф х ц ч ш щ ъ ы ь э ю я
 

Деськріпция

Деськріпция (від латів.(латинський) descriptio — опис), логико-лінгвістічній термін, що позначає спеціальні конструкції, що грають в формальних мовах роль додаткових (в порівнянні з вихідним словником) власних і прозивних імен. У природних мовах цю функцію виконують словосполуки типа: «той (та)..., який (-а)...» і «такий (-а)..., що...» або артиклі — відповідно визначений (певні Д.) і невизначений (невизначені Д.). У логіко-математичних формалізованих мовах оператори певних Д. (що інтерпретуються вказаними вище словосполуками 1-го типа) застосовуються до формул ( предикатам ), що містять принаймні одну вільну змінну, яку вони в таких випадках «зв'язують», перетворюючи дане вираження в позначення єдиного об'єкту, що є значенням цієї змінної (див. Квантор ). Наприклад, якщо Р ( х ) є предикат x = log 3 5, а i — позначення оператора певної Д., то ixp ( x ) є дескриптивне ім'я того єдиного значення x , при якому Р ( х ) істинно. Існування і єдиність цього об'єкту служать неодмінною умовою застосовності i -оператора до даного вираження і свідомості опису. Якщо ж умова єдиності не виконана, то таку «певну» Д. природно розглядати як неточне формулювання невизначеної Д., що інтерпретується словосполукою 2-го типа. Точним чином невизначені Д. вводяться за допомогою так званого e-оператора, який, як і i-оператор, відносить визначуваний об'єкт до деякої властивості або відношення і за допомогою якого з формул відповідного числення також можна отримувати наочні імена («e-термі») — з тією лише різницею, що для вживання e-оператора не вимагається не лише доказу єдиності визначуваного об'єкту, але і доказу його існування (тобто об'єкт, що вводиться за допомогою e-оператора, «залежний» від допущення про його існування, є в деякому розумінні «умовним об'єктом»). Одночасно з приєднанням до даної формалізованої мови операторів Д. у нього вводяться спеціальні постулати ( аксіоми, а інколи і правила виведення ), що кодифікують правила поводження із знов введеними формальними об'єктами (символами) і мають вигляд явних визначень . Що вводяться такими розширеннями числень об'єкти за деяких природних умов елімініруются (усуваються) з розширених числень для вельми широкого класу формальних систем, так що приєднання Д. до системи, надзвичайно зручне для практичних цілей, опиняється в цьому сенсі неістотним. Це обставина, добре відома по природних мовах, де Д. служать для освіти синонімічних виразів, має місце і для формалізованих мов, де потреба в Д. обумовлена, грубо кажучи, наявністю в них безконечного (потенційно) числа об'єктів, що не мають власних імен: як і будь-які інші «скорочення мови», Д. зручні, але не є принципово необхідними.

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

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