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


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

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


Просмотров: 906
Категория: Словари и энциклопедии » Философия » Словарь логики





Другие новости по теме:

  • "ЧТО ДЕЛАТЬ?"
  • “ЧТО ТАКОЕ ФИЛОСОФИЯ?”
  • «ЧТО ДЕЛАТЬ»
  • «ЧТО ТАКОЕ ДРУЗЬЯ НАРОДА И КАК ОНИ ВОЮЮТ ПРОТИВ СОЦИАЛДЕМОКРАТОВ»
  • ВЕЧНОЕ ВОЗВРАЩЕНИЕ ТОГО ЖЕ САМОГО, ИЛИ ВСЕХ ВЕЩЕЙ
  • Закон «все или ничего» (all-or-none law)
  • Или, Или. лама савахфани
  • ИМЕТЬ ИЛИ БЫТЬ?
  • ИНАЧЕ, ЧЕМ БЫТЬ, ИЛИ ПО ТУ СТОРОНУ СУЩНОСТИ
  • логика (формальная логика)
  • логика высказываний
  • логика высказываний
  • ЛОГИКА ВЫСКАЗЫВАНИЙ
  • логика научного познания (логика науки)
  • логика эпистемическая
  • модальная логика
  • МОДАЛЬНАЯ ЛОГИКА
  • оценок логика
  • ОЦЕНОК ЛОГИКА
  • оценок логика
  • ПРИЧИННОСТИ ЛОГИКА
  • ПРОМИТТОР Планета, к которой может быть определена дирекция сигнификатора, в результате чего образуется аспект между прогрессивным положением сигнификатора и положением при рождении промиттора, обещающий определенные события или условия, соответствую
  • СМИРЕНИЕ, покорность-добродетель, которая может возникнуть от сознания, что совершенство
  • ТЕОРЕТИКО-МНОЖЕСТВЕННАЯ ЛОГИКА
  • ФИГУРА Фигура, также карта, схема, тема, зеркало небес, гороскоп - условное изображение состояния неба (т. е. астрологически значимых астрономических факторов) в данный момент времени. Наиболее значимые в большинстве систем факторы, так или иначе отр
  • формальная логика или логика
  • Что значит быть летучей мышью?
  • ЧТО ТАКОЕ ФИЛОСОФИЯ?
  • ЭПИСТЕМИЧЕСКАЯ ЛОГИКА
  • эпистемическая логика



  • ---
    Разместите, пожалуйста, ссылку на эту страницу на своём веб-сайте:

    Код для вставки на сайт или в блог:       
    Код для вставки в форум (BBCode):       
    Прямая ссылка на эту публикацию:       






    Данный материал НЕ НАРУШАЕТ авторские права никаких физических или юридических лиц.
    Если это не так - свяжитесь с администрацией сайта.
    Материал будет немедленно удален.
    Электронная версия этой публикации предоставляется только в ознакомительных целях.
    Для дальнейшего её использования Вам необходимо будет
    приобрести бумажный (электронный, аудио) вариант у правообладателей.

    На сайте «Глубинная психология: учения и методики» представлены статьи, направления, методики по психологии, психоанализу, психотерапии, психодиагностике, судьбоанализу, психологическому консультированию; игры и упражнения для тренингов; биографии великих людей; притчи и сказки; пословицы и поговорки; а также словари и энциклопедии по психологии, медицине, философии, социологии, религии, педагогике. Все книги (аудиокниги), находящиеся на нашем сайте, Вы можете скачать бесплатно без всяких платных смс и даже без регистрации. Все словарные статьи и труды великих авторов можно читать онлайн.







    Locations of visitors to this page



          <НА ГЛАВНУЮ>      Обратная связь