Контрольная Модальные суждения определение, структура, виды, правила, роль и значение в мышлении и речи. Учебная работа № 128752

Учебная работа № 128752. Контрольная Модальные суждения определение, структура, виды, правила, роль и значение в мышлении и речи

Выдержка из похожей работы

…Они называются кванторами, и
для них даже введены специальные общепринятые знаки: » (все – от английского слова All) и $ (некоторые, существует – от
английского слова Exist). В нашей системе отдельные символы для кванторов не
используются. Для терминов обычных суждений предполагается, что на них
«навешен» квантор «все» (например, A®B переводится как «Все A есть B»), а для квантора
«некоторые» предлагается использовать специальный вид суждений –
экзистенциальные суждения (от слова exist – существовать). По смыслу
экзистенциальное суждение – это суждение, в котором утверждается или проверяется
существование некоторого множества с определенным набором свойств (предикатов).
При этом имя этого множества отсутствует в списке литералов структуры, и тогда
для его обозначения мы должны использовать новый литерал. А чтобы отличить его
от основных (базовых) литералов, будем называть его неопределенным литералом.
По смыслу
базовые литералы рассуждения – это обозначения некоторых свойств объектов и их
отрицаний (например, «выполняющие обещания» и «не выполняющие
обещания»). Когда мы выбираем какое-то множество литералов, то тем самым
мы выделяем объекты, обладающие соответствующим набором свойств. Но может
оказаться так, что в структуре не допускается существование таких объектов,
потому что это противоречит логическим соотношениям структуры. Экзистенциальные
суждения …