В любом суждении утверждается наличие или отсутствие той или иной ситуации. Однако некоторые ситуации в жизни не просто наличествуют или отсутствуют, но наличествуют или отсутствуют случайно или необходимо. Если же говорить о будущем, то можно характеризовать отдельные ситуации как возможные или необходимые, или как невозможные и т.п. Одни действия и поступки людей в обществе разрешены, другие даже обязательны, а некоторые – запрещены. Что касается суждений о наших знаниях, то знания, о которых идет речь в суждении, могут быть доказанными или недоказанными, достоверными или нет и т.п.
В зависимости от того, содержат ли суждения подобные характеристики явлений, событий, процессов и т.д., они подразделяются на ассерторические и модальные.
Ассерторические – это суждения, которые содержат только некоторую информацию и не содержат оценки этой информации. Например: «Человек – мыслящее существо»; «Некоторые лебеди белые».
Модальные –это суждения, которые содержат оценку заключенной в них информации. Например: «На Марсе, возможно, есть жизнь»; «Каждый человек обязан соблюдать закон»; «Возможно, что существуют внеземные цивилизации»; «Обыск обязательно производится в присутствии понятых»; «Иногда отличные оценки студенты получают на экзаменах случайно».
Модальными являются все суждения, выражающие законы конкретных наук. Утверждая наличие какой-либо связи в формулировках законов науки, утверждают необходимый характер этой связи.
В некоторых случаях в модальных суждениях характеристика ситуаций, о которых в них говорится, не выражается явно, но подразумевается. Например: «Ни один человек не может жить без пищи»; «Некоторые люди не могут лгать».
Выделяют несколько типов модальностей, а внутри каждого типа – несколько видов. Виды модальностей соответствуют так называемым модальным операторам – специальным словам, с помощью которых и осуществляется оценка (характеристика) заключенной в суждении информации.
Алетическая модальность. Ее виды: «необходимо», «возможно», «невозможно», «случайно». Например: «Завтра возможен дождь».
Между операторами этой модальности существуют следующие соотношения:
«Необходимо А» ~ «Невозможно не- А».
«Возможно А» ~ «Не необходимо не- А».
«Случайно А» ~ «Возможно А и возможно не- А».
Алетические модальности имеют особую значимость в науке, которую, прежде всего, интересуют закономерные связи между явлениями, их причинная обусловленность, возможность или невозможность некоторых событий при тех или иных обстоятельствах. Вообще когда говорят о науке, то имеют в виду систему необходимого знания.
Вопросы о том, что значит необходимость некоторой связи явлений или некоторого события, какой смысл имеет утверждение о возможности чего-либо, какие нужны основания для признания истинности утверждений о необходимости или возможности каких-то ситуаций, не являются в сколько-нибудь достаточной степени выясненными ни в философии, ни в логике. В философии обычно ограничиваются некоторыми метафорами вроде того, что необходимое – это «прочное, устойчивое в явлениях».
Деонтическая модальность – это характеристики действий и поступков людей в обществе. Ее виды: «обязательно», «разрешено», «запрещено», «безразлично». Например: «Посторонним вход запрещен».
Между операторами этой модальности существуют такие соотношения:
«Обязательно А» ~ «Не разрешено не- А».
«Разрешено А» ~ «Не обязательно не- А».
«Запрещено А» ~ «Не разрешено А» или «Обязательно не- А».
Эпистемическая модальность указывает на научную достоверность содержащейся в суждении информации, т.е. это – характеристики наших знаний. Виды эпистемической модальности: «доказано», «опровергнуто», «возможно» (допустить, что истинно некоторое высказывание), «знает», «верит», «убежден», «сомневается». Например: «Доказано, что Земля вращается вокруг Солнца».
Взаимосвязи между операторами этой модальности следующие:
«Доказано А» ~ «Опровержимо не- А».
«Доказано не- А» ~ «Опровержимо А».
Кроме перечисленных, довольно часто встречается аксиологическая («хорошо», «плохо») и временная («всегда», «иногда», «никогда» и т.д.) модальность.
Для записи модальных высказываний приняты следующие обозначения:
Алетическая модальность: ð (N) – необходимость; à (M) – возможность; ∆ (S) – случайность.
Деонтическая модальность: О – обязательно; Р – разрешено; З – запрещено.
Эпистемическая модальность: Д – доказано; Оп – опровергнуто; К – знает.
Например, запись «К А» означает: «Некто знает, что имеет место ситуация А».
