Атрибутивные высказывания, их состав, виды и формализованная запись на языке логики предикатов.

Атрибутивные высказывания – имеющие сказуемым одноместный предикатор. Констатируют свойства (атрибуты)

Состав простого высказывания

Логическое подлежащие (субъект) – предмет мысли

Логическое сказуемое (предикат) – то, что говорится о предмете

Одноместный предикат дает атрибутивное высказывание

Многоместный предикат дает реляционное высказывание

Внутренняя (пропозициональная) связка – логический термин, говорящий о

наличии или отсутствии отношения между субъектом и предикатом

ассерторическая – констатирует наличие

модальная – дает оценку

Кванторы – количественные показатели (не обязательны)

/грамматическое и логическое подлежащее и сказуемое могут различаться. Для выявления логических П и С нужен учет контекста и прагматический анализ/

Классификации атрибутивных высказываний

По качеству

Утвердительные

Отрицательные

По количеству

Единичные (субъект – имя)

Множественные (субъект – класс имен)

Общие (употреблен квантор общности)

Частные (употреблен квантов существования)

По модальности

Модальные (дающие оценку отношениям или свойствам)

Ассерторические (констатирующие наличие свойств или отношений)

Совместная классификация по качеству/количеству

Единично-утвердительные (в есть Р) Р(в) | /affirmo/

Единично-отрицательные (в не есть Р) Р(в) | /nego/

Частно-утвердительные (Некоторые S есть Р) х(S(x)&Р(х)) SiP

Частно-отрицательные (Некоторые S не есть Р) x(S(x)& P(x)) SoP

Обще-утвердительные (Все S есть Р) x(S(x) p(x)) SaP

Обще-отрицательные (Все S не есть Р) x(S(x) p(x)) SeP

Единичные высказывания считаются частными случаями общих

Не нашли, что искали? Воспользуйтесь поиском: