Дескрипция ( — описывать) — это описание, т.е. конструкция, по форме имеющая вид «тот …, который …». При построении логических средств она включается в язык в числе термов. Определенная дескрипция соответствует терму ιx.Φ, который канонически читается как «тот единственный x, для которого выполняется (верно) Φ». Неопределенная дескрипция соответствует терму εx.Φ, который канонически читается как «тот x, для которого выполняется (верно) Φ».
Высказывание Главной функцией описательных (или дескриптивных) высказываний является описание действительности. Описательные высказывания противопоставляются оценочным высказываниям.Высказывание дескриптивное // Горский Д.П. (ред.) Краткий словарь по логике —М.: Просвещение, 1991.
См. также
Теория дескрипций Дескрипционная логика Математическая логика Семантическая сеть
Примечания
Категория:Математическая логика