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