Взаимосвязь логических союзов

A равносильно А

(А Λ В) равносильно (А V В)

(А ν В) равносильно (А ΛВ)

(А®В) равносильно (Аν В)

(А®В) равносильно (А ΛВ)

(А®В) равносильно (А ΛВ)

(А®В) равносильно (В®А)

(А≡В) равносильно [(А→В) Λ (А →В)]

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

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

1. Алетической модальностью обладают все без исключения суждения. При этом алетическая модальность представляется с двух сторон: фактической и логической.

а) Фактическая модальность – это дополнительная информация об условиях истинности суждений, связанных с их содержанием. Со стороны фактической модальности выделяются три вида модальных суждений:

• суждения о действительности (ассерторические);

• суждения о возможности (проблематические) и

• суждения о необходимости (аподиктические).

б)Логическая модальность – это дополнительная информация об условиях истинности суждений, связанная с их формой. Со стороны логической модальности различают:

• достоверные и

• вероятные суждения.

Вероятные и достоверные суждения могут быть о действительности, возможности и необходимости. Суждение «Развитие человеческого общества может происходить только в соответствии с законами» является суждением о необходимости и достоверное, его формула: «Достоверно, что все S, необходимо, есть Р».

Установите вид модальности следующих суждений:

А) Похоже, этот свидетель говорит правду.

Б) Сергей Есенин родился в селе Константиново.

В) Каждый человек имеет право на гражданство.

Г) В общественном транспорте запрещается провоз легковоспламеняющихся веществ.

Д) Движения Бианко были изящными.

 

1. Эпистемическая модальность – по степени обоснованности суждения.

В этой модальности выделяют два вида суждений:

• суждения о знаниях. Для характеристики знания используют модальные слова «доказуемо», «неразрешимо», «опро-вержимо» и т.п.,
• суждения о мнениях. При выражении мнений – модальные слова «полагаемо», «сомнительно», «отвергаемо», «допустимо» и т.п.

3. Суждения о поступках людей, нормах, традициях, правилах поведения и юридических законах обладают деонтической модальностью (в пер. с греч. – долг). Основными модальными словами являются «обязательно», «разрешено» и «запрещено». Эти модальные слова, например, используются для классификации правовых норм: правообязывающие, праворазрешающие и правозапрещающие.

4. Распространены суждения, относящиеся к аксиологической модальности (от греч. – ценность). Аксиологические суждения делят на две категории:

• суждения, выражающие абсолютную оценку (хорошо, безразлично, плохо), и
• суждения, выражающие относительную оценку (лучше, равноценно, хуже).