5.5 Типы и виды модальных суждений

В любом суждении утверждается наличие или отсутствие той или иной ситуации. Однако некоторые ситуации в жизни не просто наличествуют или отсутствуют, но наличествуют или отсутствуют случайно или необходимо. Одни действия и поступки людей в обществе разрешены, другие даже обязательны, а некоторые – запрещены. Что касается суждений о наших знаниях, то знания могут быть доказанными или недоказанными, достоверными или нет и т.п.

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

Ассерторические - это суждения, которые содержат только некоторую информацию и не содержат оценки этой информации.

Пример. «Человек – мыслящее существо»; «Некоторые лебеди белые».

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

Пример. «На Марсе, возможно, есть жизнь»; «Каждый человек обязан соблюдать закон»; «Иногда отличные оценки студенты получают на экзаменах случайно».

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

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

Пример. «Завтра возможен дождь».

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

Пример. «Посторонним вход запрещен».

Эпистемическая модальность указывает на научную достоверность содержащейся в суждении информации. Виды эпистемической модальности: «доказано», «опровергнуто», «знает», «верит», «убежден», «сомневается».

Пример. «Доказано, что Земля вращается вокруг Солнца».

Кроме названных, довольно часто встречаются аксиологическая модальность («хорошо», «плохо») и временная модальность («всегда», «иногда», «никогда» и т.д.).

5.6 Отношения между категорическими суждениями

Среди отношений между простыми суждениями наиболее важными являются отношения между категорическими суждениями.

Для систематизации и наглядного представления этих отношений еще в средние века был придуман так называемый «логический квадрат» (рис. 5).

Отношение подчинения имеет место между суждениями А и I, а также между Е и О. При этом суждения А (Е) называются подчиняющими, а суждения I (О) – подчиненными. Это отношение характеризуется следующим образом: если подчиняющее суждение А (Е) истинно, то подчиненное суждение I (О) истинно; если подчиненное суждение I (О) ложно, то подчиняющее суждение А (Е) ложно; подчиняющее и подчиненное суждения могут быть вместе ложны.

Субконтрарность имеет место между суждениями I и О. Эти суждения не могут быть вместе ложными. В то же время они могут быть вместе истинными, либо одно суждение может быть истинным, а другое – ложным.

Рис. 5. «Логический квадрат»

В отношении контрадикторности (или контрадикторной противоположности) находятся суждения вида А и О, а также суждения вида Е и I. Контрадикторные суждения не могут быть вместе истинны и вместе ложны.

Контрарность имеет место между суждениями А и Е. Контрарные суждения не могут быть вместе истинными. В то же время они могут быть вместе ложными.