Словари

Главная / Словарь логики / М / Модальная Логика

Что такое Модальная Логика? Значение и толкование слова modalnaja logika, определение термина

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

Возможно Вам будет интересно узнать лексическое, прямое или переносное значение этих слов:

Модальность - (от лат., modus — мера, способ)  — оценка выска­зывания, данная с той или иной точки зрения....
Модель - (от лат. modulus — мера, образец, норма)  — а) в самом широком смысле — любой мысленный или...
Модель Семантическая -  - система значений, приписыва­емых выражениям некоторого формализованного языка, то же, что...
Модус - (лат. modus - мера, способ, образ, вид)  - философский термин, обозначающий свойство предмета,...
Модус Понендо Толленс - (лат. modus ponendo tollens)  - тер­мин средневековой логики, обозначающий следующие схемы...
Модус Поненс - (лат. modus ponens)  — термин средневековой логики, обозначающий правило вывода и соответствующий...
Модус Толлендо Поненс - (лат. modus tollendo ponens)  - тер­мин средневековой логики, обозначающий разделительно-кате-...
Модус Толленс - (лат. modus tollens)  - термин средневековой логики, обозначающий следующую схему рассуждения:...
Мышление -  — активный процесс отражения объективного мира в понятиях, суждениях, научных теориях, гипотезах...