Що значить дескрипція - значення слів
Пошук значення / тлумачення слів
Розділ дуже простий у використанні. У запропоноване поле досить ввести потрібне слово, і ми вам видамо список його значень. Хочеться відзначити, що наш сайт надає дані з різних джерел - енциклопедичного, тлумачного, словообразовательного словників. Також тут можна познайомитися з прикладами вживання введеного вами слова.
Дескрипції (від лат. Descriptio - опис) мовна конструкція, що замінює власне або загальне ім'я предмета. У природній мові передається словосполученнями типу "той. Який." І "такий. Що.".
Велика Радянська Енциклопедія
(Від лат. Descriptio ≈ опис), логіко-лінгвістичний термін, що позначає спеціальні конструкції, які грають у формальних мовах роль додаткових (порівняно з вихідним словником) власних і загальних імен. У природних мовах цю функцію виконують словосполучення на кшталт: «той (та). який (-а). »І« такий (-а). що. »Або артиклі ≈ відповідно певний (певні Д.) і невизначений (невизначені Д.). У логіко-математичних формалізованих мовах оператори певних Д. (інтерпретуються зазначеними вище словосполученнями 1-го типу) застосовуються до формул (предикатам), що містить принаймні одну вільну змінну. яку вони в таких випадках «пов'язують», перетворюючи цей вислів в позначення єдиного об'єкта, що є значенням цієї змінної (див. Квантор). Наприклад, якщо Р (х) є предикат x = log35, a i ≈ позначення оператора певної Д. то ixP (x) є дескриптивное ім'я того єдиного значення x, при якому Р (х) істинно. Існування і єдиність цього об'єкта служать неодмінною умовою застосовності i-оператора до цього виразу і осмисленості опису. Якщо ж умова єдиності не виконана, то таку «певну» Д. природно розглядати як неточну формулювання невизначеної Д. інтерпретується словосполученням 2-го типу. Точним чином невизначені Д. вводяться за допомогою так званого e-оператора, який, як і i-оператор, відносить визначається об'єкт до деякого властивості або відношенню і за допомогою якого з формул відповідного обчислення також можна отримувати предметні імена ( «e-терми») ≈ з тією лише різницею, що для застосування e-оператора не потрібно не тільки докази єдиності визначається об'єкта, а й докази його існування (т. е. вводиться за допомогою e-оператора об'єкт, «залежить» від допущення про його існування, вляется в деякому сенсі «умовним об'єктом»). Одночасно з приєднанням до даного формалізованого мови операторів Д. в нього вводяться спеціальні постулати (аксіоми. А іноді і правила виводу), кодифицирующие правила поводження зі знову введеними формальними об'єктами (символами) і мають вигляд явних визначень. Введені такими розширеннями числень об'єкти при деяких природних умовах елімінуються (усуваються) з розширених числень для вельми широкого класу формальних систем, так що приєднання Д. до системи, надзвичайно зручний для практичних цілей, виявляється в цьому сенсі несуттєвим. Ця обставина, добре відоме по природним мовам, де Д. служать для освіти синонімічних виразів, має місце і для формалізованих мов, де потреба в Д. обумовлена, грубо кажучи, наявністю в них нескінченного (потенційно) числа об'єктів, що не мають власних імен: як і будь-які інші «скорочення мови», Д. зручні, але не є принципово важливими.
Літ. Кліні С. К. Введення в метаматематику, пров. з англ. М. 1957 ╖ 74; Фрейденталь Х. Мова логіки, пров. з англ. М. 1969 гл. 3, п. 25.
Ю. А. Гаст, М. М. Новосьолов.
Дескрипція - це опис, тобто конструкція, за формою має вигляд «той ..., який ...». При побудові логічних засобів вона включається в мову в числі термів. Певна дескрипція відповідає терму ιx.Φ. який канонічно Новомосковскется як «той едінственнийx. для якого виконується Φ ». Невизначена дескрипція відповідає терму εx.Φ. який канонічно Новомосковскется як «той x. для якого виконується Φ ».
Приклади вживання слова дескрипція в літературі.
Дескрипція означає тут не метод по типу скажімо ботанічної морфології - титул має знову ж воспретітельний сенс: елімінація будь-якого недоказующего визначення.
Суть апроксимації поняттям полягає в тому, що символ, маючи сенс і значення, є експлікат і експлікандуумом, як було представлено вище, друга природа, розглянута в якості тріади математичне поняття безлічі є перша зазначена тріада, дескрипція проблеми здійсненності формул підстановок.
З самого розвідки з'ясується: методичний сенс феноменологічної дескрипції є тлумачення.
Якщо існує тільки один об'єкт, що задовольняє умові, відповідному області дії йота-оператора, то дескрипція і її дескріпт задовольняють умові єдиності.
Назвемо це безліч тимчасовим, суть цієї назви полягає в тому, що сенс, що вимагає утворення поняття часу пізнаний нами як логічний знак тотожності, його формальне порушення заради значення, так зване абсолютне, або розрізняє тотожність німецької класики, дескрипції поняття судження.
Згідно з тлумаченням дескрипций в системі Гільберта і Бернайса, індивідуальні об'єкти якої - натуральні числа, дескрипції допускаються тільки в тому випадку, якщо вони задовольняють умові єдиності.
Денотація тут відповідає дескрипції в класичному вживанні логіків.
Ми вбачаємо тут феноменологическое тлумачення, чисту дескрипцію синтаксису, якою виступає для логіки в якості значення, самостійного, по собі існуючого.
Дескрипція є дістінкція дефініції та існування, зовнішнього і внутрішнього, і дістінкція є сама дескрипція.
У природній мові також обов'язково передбачається існування і єдиність об'єкта, що описується в визначальних пропозиціях того типу, який відповідає дескрипції.
Джерело: бібліотека Максима Мошкова