Модальная Логика

— раздел неклассической логики, в ко­тором исследуются логические связи модальных высказы­ваний, т. Е. Высказываний, включающих модальности. М. Л. Слага­ется из ряда направлений, каждое из которых занимается модаль­ными высказываниями определенного типа. Так, теория логических модальностей изучает логическое поведение высказываний, вклю­чающих модальные понятия «логически необходимо», «логически возможно», «логически случайно». Логика эпистемическая исследует высказывания, содержащие разного рода теоретико-познавательные понятия. «верифицируемо», «непроверяемо», «фальсифицируемо», «полагает», «сомневается», «отвергает» и т. П. Деонтическая логика изучает логические связи нормативных высказываний. Оценок логика занимается аксиологическими модальностями, логика времени — вре­менными модальностями и т.

Д. Модальные понятия разных типов имеют общие формальные свойства. Так, независимо от того, к какой группе относятся эти понятия, они определяются друг через друга по одной и той же схеме. Нечто возможно, если противоположное не является необхо­димым. Разрешено, если противоположное не обязательно. Допус-  . Кается, если нет убеждения в противоположном. Случайно то, что не является ни необходимым, ни невозможным. Безразлично то, что не обязательно и не запрещено. Неразрешимо то, что недока­зуемо и неопровержимо, и т. П. Подобным же образом сравнительные модальные поня­тия разных групп определяются по одной и той же схеме. «первое лучше второго» равносильно «второе хуже первого», «первое рань­ше второго» равносильно «второе позже первого», «первое при­чина второго» равносильно «второе следствие первого» и т.

Д. В каждом направлении М. Л. Доказуема своя версия принципа модальной полноты, являющегося модальным аналогом за­кона исключенного третьего. В теории логических модальностей прин­цип полноты утверждает, что каждое высказывание является или необходимым, или случайным, или невозможным. В деонтической логике — что всякое действие или обязательно, или нормативно без­различно, или запрещено. В логике оценок — что всякий объект явля­ется или хорошим, или оценочно безразличным, или плохим и т. Д. В каждом направлении М. Л. Есть и своя версия принципа модальной непротиворечивости, являющегося модаль­ным аналогом закона непротиворечия. Высказывание не может быть как обязательным, так и запрещенным. Объект не может быть и хорошим, и плохим, и т.

Д. Модальные понятия, относящиеся к разным группам, имеют разное содержание. При сопоставлении таких понятий (напр., «не­обходимо», «доказуемо», «убежден», «обязательно», «хорошо», «все­гда») складывается впечатление, что они не имеют ничего общего. Однако М.л. Показывает, что это не так. Модальные понятия разных групп выполняют одну и ту же функцию. Они уточняют устанавли­ваемую в высказывании связь, конкретизируют ее. Правила их упот­ребления определяются только этой функцией и не зависят от со­держания высказываний. Поэтому данные правила являются еди­ными для всех групп понятий и имеют чисто формальный характер. В последние десятилетия М.л. Бурно разрастается, включая в свою орбиту все новые группы модальных понятий.

Существенно усовершенствованы способы ее обоснования. Это придало М.л. Но­вый динамизм и поставило ее в центр современных логических исследований (см. Логика изменения, Предпочтений логика, При­чинности логика)..