Словарь по логике

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

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


  1. модальная логика—МОДАЛЬНАЯ ЛОГИКА область логики посвящнная изучению модальностей iпостроению исчислений iв крых модальности применяются к высказываниям наряду с логическими операциями iи...Большая советская энциклопедия
  2. модальная логика—область логики посвящнная изучению модальностей См. Модальностьem построению исчислений См. Исчислениеem в которых модальности применяются к высказываниям наряду с логиче...Большая Советская энциклопедия II
  3. модальная логика—логическая теория модальностей модальных операторовприменяемых к высказываниям или предикатам играет важную роль влогической семантике....Большой энциклопедический словарь II
  4. модальная логика—МОДАЛЬНАЯ ЛОГИКА логическая теория модальностей модальных операторов применяемых к высказываниям или предикатам играет важную роль в логической семантике....Большой энциклопедический словарь III
  5. модальная логика—МОДАЛЬНАЯ ЛОГИКА логическая теория модальностей модальных операторов применяемых к высказываниям или предикатам играет важную роль в логической семантике....Большой Энциклопедический словарь V
  6. модальная логика—область логики в крой наряду с обычными высказываниями рассматриваются модальные высказывания т. е. высказывания типа необходимо что. возможно что. и т. п. В математич. л...Математическая энциклопедия
  7. модальная логика—modal logic область логики логика формальная изучающая умозаключения содержащие понятия необходимости и возможности. К осн. принципам М.л. относятся напр. такие если нечт...Народы и культуры. Оксфордская энцкилопедия
  8. модальная логика—modal logic...Русско-английский политехнический словарь
  9. модальная логика—modal logic...Русско-английский психологический словарь
  10. модальная логика—modal logic...Русско-английский словарь по электронике
  11. модальная логика—modal logic...Русско-английский технический словарь
  12. модальная логика—мадальная логка...Русско-белорусский математический словарь
  13. модальная логика—модальды логика...Русско-казахский терминологический словарь «Философия и политология»
  14. модальная логика—Modalittenlogik...Русско-немецкий политехнический словарь
  15. модальная логика—модальна логка...Русско-украинский политехнический словарь
  16. модальная логика—modln logika...Русско-чешский словарь
  17. модальная логика—раздел неклассической логики в котором исследуются логические связи модальных высказываний т. е. высказываний включающих модальности. М. л. слагается из ряда направлений ...Словарь логики
  18. модальная логика—МОДАЛЬНАЯ ЛОГИКА логическая теория модальностей модальных операторов применяемых к высказываниям или предикатам играет важную роль в логической семантике....Современный энциклопедический словарь
  19. модальная логика—системы математической логики в которых формализованы модальные операторы естественного и научного языка такие как возможно необходимо невозможно. Использование модальных...Философия науки
  20. модальная логика—МОДАЛЬНАЯ ЛОГИКА раздел логики в котором исследуются логические связи модальных высказываний т.е. высказываний включающих модальности. Мл. слагается из ряда направлений ...Философская энциклопедия
  21. модальная логика—область логики в крой изучаются логич. операции называемые модальностями и выражаемые словами возможно невозможно необходимо и т.п. разрабатываются исчисления формализующ...Философская Энциклопедия (в 5 томах)
  22. модальная логика—логическая система изучающая структуру рассуждений в состав крых входят модальности модальные операторы необходимо возможно действительно случайно и их отрицания. В труд...Философский энциклопедический словарь
  23. модальная логика—МОДАЛЬНАЯ ЛОГИКА логическая теория модальностей модальных операторов применяемых к высказываниям или предикатам играет важную роль в логической семантике....Энциклопедический словарь естествознания
  24. модальная логика—МОДАЛЬНАЯ ЛОГИКА раздел логики посвященный изучению свойств модальных логических операторов типа необходимо и возможно. К модальным операторам сейчас относят большинство...Энциклопедия эпистемологии и философии науки