Модальность суждений. Виды модальности

Модальность - это характеристика или оценка суждения, данная с некоторой точки зрения. Существуют эпистемическая, деонтическая и алетическая модальности.

1. Алетические модальности. К ним относятся такие характеристики высказываний, как «необходимо», «возможно», «случайно»

2. Эпистемические модальности. Виды: «доказано» «опровергнуто» «убеждён» «сомневается» «знает» «верит»

3. Деонтические модальности (характеристика действий и поступков людей). К ним относятся виды: «обязательно», «разрешено», «запрещено», «безразлично»

Основные эквивалентности для алетических и эпистематических

модальностей.

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

Алетическая модальность выражается в терминах "необходимо", "случайно", "возможно", "невозможно" и делится на логическую и фактическую, которая выражается операторами: необходимо (□р- необходимо р, □р- необходимо не-р), случайно (□р и □ р); возможно («знак ромбик» р, «знак ромбик»р),невозможно («знак ромбик» р, «знак ромбик» р)

23. Логические отношения между деонтическими модальностями и их значение для построения нормативных рассуждений

Деонтическая модальность выражает предписание в форме совета, пожелания, правила поведения, приказа. К деонт-м модальностям относятся нормативные высказывания, в том числе правовые нормы: правообязывающие, правозапрещающие, правопредоставляющие. Они выражаются с помощью операторов: О-обязательно, F-запрещено, P-разрешено. A- некоторое немодальное высказывание.

FA ≡PA «Что не запрещено, разрешено»

OA ≡ PA (А обязательно, если не разрешено не- А)

OA≡ PA (А необязательно, если разрешено не-А)

FA ≡OA (А запрещено, если обязательно не-А)

OA ≡FA (А обязательно, если запрещено не-А)

Не имеют место OA →A, а также неверно, что A→ PA