Понятие модального высказывания. 
Виды модальных высказываний

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

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

Модальное высказывание — это высказывание, в состав которого входят модальные понятия (модальности).

Модальность — это характеристика или оценка высказывания, которую дают с той или иной точки зрения. Это определенный способ отношения человека к произносимому высказыванию.

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

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

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

Модальные высказывания являются предметом изучения модальной логики.

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

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

Чтобы дать общую характеристику этих логик, построим такую таблицу.

«Необходимым является то, отрицание чего является невозможным» (алетическое высказывание).

«Я знаю, что я ничего не знаю» (эпистемическое высказывание).

«Настоящее всегда будет прошлым» (временное высказывание).

«Обязательным является то, что запрещено нс делать» (деонтическое высказывание).

Приведем примеры.

Алетические модальности были первыми модальностями, которые начали изучать в логике. Их исследовали и во времена античности, и во времена Средневековья, и в XVII— XIX вв. Именно для высказываний с алетическими модальностями в начале XX в. были построены первые исчисления модальной логики, а затем в 1960;е гг. сформулированы первые семантики возможных миров. Алетическая логика является базисом всей модальной логики. Временную, эпистемическую, деонтическую логики в их классическом варианте строили, но аналогии с алетической логикой.

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