Упражнение 15 Модальность суждений

Подберите примеры сложных комбинированных суждений, приве-дите их символическую запись.

Модальность суждений

Модальность - это явно или неявно выраженная в суждении до­полнительная информация о логическом или фактическом статусе суждения, о регулятивных, оценочных, временных его характеристи­ках. К основным видам модальности относятся эпистемическая, де­онтическая и алетическая модальность.

По эпистемической модальности, выражающей степень обосно­ванности суждения, суждения делятся на достоверные и проблема­тичные (вероятные). Достоверные суждения выражаются с помощью операторов: доказано (верифицировано) - Уи опровергнуто (фальси­фицировано) - F(Vp - доказано, чтор; Vlp - доказано, что не-р; Fp - опровергнуто, что р; F~\р - опровергнуто, что не-р). Проблематичные суждения выражаются с помощью оператора вероятно - Р (Рр - ве­роятно, что р; Р ~\р - вероятно, что не-р).

Достоверные суждения могут быть выражены с помощью опера­тора опровергнутости: Vp з F~\p и V~\p = Fp, проблематичные сужде­ния - с помощью оператора доказанности и опровергнутости: Рр = ~\ Vp^Fp.

Деонтическая модальность выражает предписание в форме сове­та, пожелания, правила поведения, приказа. К деонтическим относят­ся нормативные высказывания, в том числе правовые нормы: право-обязывающие, правозапрещающие, правопредоставляющие. Они вы­ражаются с помощью операторов: О - обязательно, F - запрещено, Р - разрешено. Подлежащее исполнению действие обозначается сим­волом d, участники правоотношения - х, у, z и т.д.

Алетическая, модальность выражается в терминах «необходимо», «случайно», «возможно*, «невозможно» и делится на логическую и фактическую. Последняя выражается операторами: необходимо (Up- необходимо р,П~]р- необходимо не-р), случайно (\Пр и 1D]р); возможно (0 р, 0 ]р), невозможно (10 р, ] 0 ~|р) (см. учебник, гл. IV, § 5).