Дескрипція
Дескрипція (лат. describere — описувати) — опис, конструкція, за формою має вигляд «той …, який …». При побудові логічних засобів вона включає в мову в числі термів.
Визначена дескрипція відповідає терму ιx.Φ, який канонічно читається як «той єдиний x, для якого виконується (вірно) Φ». Невизначена дескрипція відповідає терму εx.Φ, який канонічно читається як «той x, для якого виконується (вірно) Φ».
Див. також
- Теорія дескрипцій
- Дескрипційна логіка
- Математична логіка
- Семантична мережа
Джерела і література
- Stanford Encyclopedia of Philosophy. Descriptions
- Дескрипція // Філософський енциклопедичний словник / В. І. Шинкарук (гол. редкол.) та ін. — Київ : Інститут філософії імені Григорія Сковороди НАН України : Абрис, 2002. — 742 с. — 1000 екз. — ББК 87я2. — ISBN 966-531-128-X.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.