Phenomen.Ru : Философия online

Главная > Философский словарь > модальная логика

  логин

  пароль

Забыли пароль?


:: сайта »
:: академические »
:: глобальные »
:: Философская правда »


:: члены »
:: кандидаты »
:: форум кандидатов »
:: зарегистрироваться »


:: все статьи »
:: популярные статьи »
:: обсуждения »


:: философский словарь »
:: :: все статьи КФС »
:: :: все статьи РБ »
:: каталог ресурсов »
:: :: добавить ссылку »


:: все форумы »
:: общий форум »
:: форум кандидатов »
:: обновленные темы »


  e-mail

Подробности



RSS-канал Новости Phenomen.Ru
Rambler's Top100

В данном разделе представлены словари и энциклопедии по философии и смежным отраслям знания, отражающие лучшие традиции энциклопедического дела в России и за рубежом. Вы также можете включиться в это дело, став одним из авторов Открытой философской энциклопедии. [Помощь]

Краткий философский словарь (алфавитный список) >>
Русская Британника (алфавитный список) >>
Открытая философская энциклопедия (алфавитный список) >>

Поиск:

 

 В заголовках, расширенный
 В заголовках, строгий
 Полнотекстовый поиск

 Краткий философский словарь
 Русская Британника
 Открытая философская энциклопедия

Найдено в Русской Британнике


модальная логика
Формальные системы, включающие такие модальности, как: необходимость, возможность, невозможность, случайность, строгую импликацию и некоторые другие тесно связанные понятия. Наиболее простой способ построения модальной логики состоит в добавлении к какой-либо стандартной немодальной логической системе нового примитивного оператора для представления одной из модальностей, определение через него других модальных операторов, а также добавление аксиом и/или правил преобразования для этих модальных операторов. Например, можно добавить символ L, означающий «необходимо, что», в классическое исчисление высказываний; таким образом, выражение Lp будет означать: «необходимо, что p». Оператор возможности M («возможно, что») может быть определен через L как Mp = ØLØp (где Ø означает «не»). В дополнение к аксиомам и правилам вывода классической логики высказываний, подобная система может иметь еще две аксиомы и одно правило вывода. Вот некоторые характерные аксиомы модальной логики: (A1) Lp É p и (A2) L(p É q) É (Lp É Lq). Новым правилом вывода в такой системе будет правило необходимости: Если p является теоремой системы, то Lp также будет теоремой системы. Более строгие системы модальной логики могут быть получены путем добавления дополнительных аксиом. Некоторые включают аксиому Lp É LLp, другие - Mp É LMp.


 Страница обновлена:
 20.11.2017, 16:37:44 MSK

 © Программирование и
     дазайн: Иван Шкуратов