Большая советская энциклопедия

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

МОДАЛЬНАЯ ЛОГИКА,область логики, посвящённая изучениюмодальностей,построениюисчислений,в к-рых модальности применяются к высказываниям, наряду слогическими операциями,и сравнительному исследованию таких исчислений. "Модальные операторы" ("возможно", "необходимо" и др.) могут относиться как квысказываниямилипредикатам,так и к словам, выражающим к.-л. действия или поступки. Интерес к проблемам М. л. обусловлен прежде всего естественной связью, с одной стороны, между модальностями типа "необходимо" и понятием "логического закона" (т. е. тождественно истинного высказывания к.-л. логич. системы), а с другой - между модальностями типа "возможно" и такими гносеологич. и общенауч. понятиями, как "(эффективно) осуществимо", "вычислимо" и т. п.

В классич. системах М. л. (для к-рых справедливисключённого третьего прин-

нем.: sollen, konnen, wollen и др.); др. модальными словами (напр., рус.: "кажется", "пожалуй"; англ.: perhaps, likely); интонационными средствами. Различные языки грамматически по-разному выражают разные значения М. Так, англ, язык выражает значение ирреальной М. при помощи спец. наклонения (т. н. Subjunctive II, напр.: If you had come in time we should have been able to catch the train), в ягнобском языке формы настояще-будущего времени могут иметь модальные оттенки косвенного приказания, приглашения к действию, решимости сделать что-либо, допущения и др.




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