модальная логика

модальная логика
раздел неклассической логики, в котором исследуются логические связи модальных высказываний, т. е. высказываний, включающих модальности. М. л. слагается из ряда направлений, каждое из которых занимается модальными высказываниями определенного типа. Так, теория логических модальностей изучает логическое поведение высказываний, включающих модальные понятия "логически необходимо", "логически возможно", "логически случайно". Логика эпистемическая исследует высказывания, содержащие разного рода теоретико-познавательные понятия: "верифицируемо", "непроверяемо", "фальсифицируемо", "полагает", "сомневается", "отвергает" и т. п. Деонтическая логика изучает логические связи нормативных высказываний. Оценок логика занимается аксиологическими модальностями, логика времени - временными модальностями и т. д.
Модальные понятия разных типов имеют общие формальные свойства. Так, независимо от того, к какой группе относятся эти понятия, они определяются друг через друга по одной и той же схеме. Нечто возможно, если противоположное не является необходимым; разрешено, если противоположное не обязательно; допус-
кается, если нет убеждения в противоположном. Случайно то, что не является ни необходимым, ни невозможным. Безразлично то, что не обязательно и не запрещено. Неразрешимо то, что недоказуемо и неопровержимо, и т. п.
Подобным же образом сравнительные модальные понятия разных групп определяются по одной и той же схеме: "первое лучше второго" равносильно "второе хуже первого", "первое раньше второго" равносильно "второе позже первого", "первое причина второго" равносильно "второе следствие первого" и т. д.
В каждом направлении М. л. доказуема своя версия принципа модальной полноты, являющегося модальным аналогом закона исключенного третьего. В теории логических модальностей принцип полноты утверждает, что каждое высказывание является или необходимым, или случайным, или невозможным; в деонтической логике - что всякое действие или обязательно, или нормативно безразлично, или запрещено; в логике оценок - что всякий объект является или хорошим, или оценочно безразличным, или плохим и т. д.
В каждом направлении М. л. есть и своя версия принципа модальной непротиворечивости, являющегося модальным аналогом закона непротиворечия: высказывание не может быть как обязательным, так и запрещенным; объект не может быть и хорошим, и плохим, и т. д.
Модальные понятия, относящиеся к разным группам, имеют разное содержание. При сопоставлении таких понятий (напр., "необходимо", "доказуемо", "убежден", "обязательно", "хорошо", "всегда") складывается впечатление, что они не имеют ничего общего. Однако М.л. показывает, что это не так. Модальные понятия разных групп выполняют одну и ту же функцию: они уточняют устанавливаемую в высказывании связь, конкретизируют ее. Правила их употребления определяются только этой функцией и не зависят от содержания высказываний. Поэтому данные правила являются едиными для всех групп понятий и имеют чисто формальный характер.
В последние десятилетия М.л. бурно разрастается, включая в свою орбиту все новые группы модальных понятий. Существенно усовершенствованы способы ее обоснования. Это придало М.л. новый динамизм и поставило ее в центр современных логических исследований (см.: Логика изменения, Предпочтений логика, Причинности логика).

Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС. А.А.Ивин, А.Л.Никифоров. 1997.