Предикат — языковое выражение, используемое для характеристики объектов, для обозначения их свойств и отношений. Пресуппозиция — предпосылка о наличии определенной ситуации в мире (например, наличия в нем определенных объектов) как условии истинности или ложности предложения. Прагматика — раздел семиотики, рассматривающий отношения знаков и употребляющих их индивидов; теория употребления языка; совокупность факторов, определяющих использование языка его носителями. Постулаты смысла — утверждения о наличии определенных смысловых связей между языковыми выражениями. Пропозиция — смысл предложения. Пропозициональная прозрачность — раскрытость мыслительного содержания, представленного посредством определенной пропозиции. Пропозициональная установка — установка, выражающая мнение, знание, сомнение и т. п. носителя языка посредством определенных пропозиций. Разрешающая процедура — процедура, позволяющая за конечное число действий установить применимость определенного предиката к определенным объектам, например предиката «правильно построенное» к языковому выражению. Рекурсивное множество — множество, вопрос о принадлежности (соответственно непринадлежности) к которому решается с помощью определенной процедуры за конечное число действий. Рекурсивное определение — определение, позволяющее на основе конечного множества исходных элементов путем применения конечного числа операций построить бесконечно много новых эле- 280 Мёнтйй; способ спецификации предиката с бесконечной экстенсией. Рекурсивное порождение — произведение бесконечного множества элементов из конечного множества исходных элементов путем применения к ним конечного множества правил. Рекурсивностъ — свойство построения объектов, заключающееся в использовании предшествующих результатов (шагов, этапов) для конструирования объектов. Релевантный — значимый, имеющий определенное отношение к чему-то. Референт — объект, на который указывается посредством сингулярных терминов. Референтный — рассматривающий отношение указания между языковыми выражениями и объектами мира. Референция — указание. Референциальная прозрачность — возможность замены сингулярного термина на кореферентный ему термин, предполагающая сохранение истинностного значения содержащего их предложения. РеференциальноеАтрибутивное — различие между указанием, когда имеется в виду определенный (не обязательно действительный и соответствующий используемому сингулярному термину) объект и когда известно только некоторое его описание. Семантика — раздел семиотики, рассматривающий отношения знаков к обозначаемым ими объектам; теория смысла языковых выражений; совокупность смысловых объектов, характеризуемых определенными свойствами и отношениями. — 210 —
|