МОДАЛЬНАЯ ЛОГИКА

раздел неклассической логики, в котором исследуются логические связи модальных высказываний, т. е. высказываний, включающих модальности. М. л. слагается из ряда направлений, каждое из которых занимается модальными высказываниями определенного типа. Так, теория логических модальностей изучает логическое поведение высказываний, включающих модальные понятия "логически необходимо", "логически возможно", "логически случайно". Логика эпистемическая исследует высказывания, содержащие разного рода теоретико-познавательные понятия: "верифицируемо", "непроверяемо", "фальсифицируемо", "полагает", "сомневается", "отвергает" и т. п. Деонтическая логика изучает логические связи нормативных высказываний. Оценок логика занимается аксиологическими модальностями, логика времени - временными модальностями и т.д.

Модальные понятия разных типов имеют общие формальные свойства. Так, независимо от того, к какой группе относятся эти понятия, они определяются друг через друга по одной и той же схеме. Нечто возможно, если противоположное не является необходимым; разрешено, если противоположное не обязательно; допус-

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

Подобным же образом сравнительные модальные понятия разных групп определяются по одной и той же схеме: "первое лучше второго" равносильно "второе хуже первого", "первое раньше второго" равносильно "второе позже первого", "первое причина второго" равносильно "второе следствие первого" и т. д.

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

В каждом направлении М. л. есть и своя версия принципа модальной непротиворечивости, являющегося модальным аналогом закона непротиворечия: высказывание не может быть как обязательным, так и запрещенным; объект не может быть и хорошим, и плохим, и т. д.

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

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

модальная логика—МОДАЛЬНАЯ ЛОГИКА область логики посвящнная изучению модальностей iпостроению исчислений iв крых модальности применяются к высказываниям наряду с логическими операциями iи...Большая советская энциклопедия
модальная логика—область логики посвящнная изучению модальностей См. Модальностьem построению исчислений См. Исчислениеem в которых модальности применяются к высказываниям наряду с логиче...Большая Советская энциклопедия II
модальная логика—логическая теория модальностей модальных операторовприменяемых к высказываниям или предикатам играет важную роль влогической семантике....Большой энциклопедический словарь II
модальная логика—МОДАЛЬНАЯ ЛОГИКА логическая теория модальностей модальных операторов применяемых к высказываниям или предикатам играет важную роль в логической семантике....Большой энциклопедический словарь III
модальная логика—МОДАЛЬНАЯ ЛОГИКА логическая теория модальностей модальных операторов применяемых к высказываниям или предикатам играет важную роль в логической семантике....Большой Энциклопедический словарь V
модальная логика—область логики в крой наряду с обычными высказываниями рассматриваются модальные высказывания т. е. высказывания типа необходимо что. возможно что. и т. п. В математич. л...Математическая энциклопедия
модальная логика—modal logic область логики логика формальная изучающая умозаключения содержащие понятия необходимости и возможности. К осн. принципам М.л. относятся напр. такие если нечт...Народы и культуры. Оксфордская энцкилопедия
модальная логика—modal logic...Русско-английский политехнический словарь
модальная логика—modal logic...Русско-английский психологический словарь
модальная логика—modal logic...Русско-английский словарь по электронике
модальная логика—modal logic...Русско-английский технический словарь
модальная логика—мадальная логка...Русско-белорусский математический словарь
модальная логика—модальды логика...Русско-казахский терминологический словарь «Философия и политология»
модальная логика—Modalittenlogik...Русско-немецкий политехнический словарь
модальная логика—модальна логка...Русско-украинский политехнический словарь
модальная логика—modln logika...Русско-чешский словарь
модальная логика—МОДАЛЬНАЯ ЛОГИКА раздел неклассической логики в котором исследуются логические связи модальных высказываний т. е. высказываний включающих модальностиi. iМ. л. слагается ...Словарь по логике
модальная логика—МОДАЛЬНАЯ ЛОГИКА логическая теория модальностей модальных операторов применяемых к высказываниям или предикатам играет важную роль в логической семантике....Современный энциклопедический словарь
модальная логика—системы математической логики в которых формализованы модальные операторы естественного и научного языка такие как возможно необходимо невозможно. Использование модальных...Философия науки
модальная логика—МОДАЛЬНАЯ ЛОГИКА раздел логики в котором исследуются логические связи модальных высказываний т.е. высказываний включающих модальности. Мл. слагается из ряда направлений ...Философская энциклопедия
модальная логика—область логики в крой изучаются логич. операции называемые модальностями и выражаемые словами возможно невозможно необходимо и т.п. разрабатываются исчисления формализующ...Философская Энциклопедия (в 5 томах)
модальная логика—логическая система изучающая структуру рассуждений в состав крых входят модальности модальные операторы необходимо возможно действительно случайно и их отрицания. В труд...Философский энциклопедический словарь
модальная логика—МОДАЛЬНАЯ ЛОГИКА логическая теория модальностей модальных операторов применяемых к высказываниям или предикатам играет важную роль в логической семантике....Энциклопедический словарь естествознания
модальная логика—МОДАЛЬНАЯ ЛОГИКА раздел логики посвященный изучению свойств модальных логических операторов типа необходимо и возможно. К модальным операторам сейчас относят большинство...Энциклопедия эпистемологии и философии науки