Альтернативы семантике Крипке для эпистемической логики-Reference-Cited by-同舟云学术

Альтернативы семантике Крипке для эпистемической логики

Published:2024-07-07 Issue:1 Volume:30 Page:62-85
ISSN:2413-2713
Container-title:Logical Investigations
language:
Short-container-title:LI

Author:

Долгоруков Виталий Владимирович

Abstract

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

Funder

Russian Science Foundation

Publisher

Institute of Philosophy, Russian Academy of Sciences

Reference33 articles.

1. Арапова, 2014 – Арапова Г.В. Вопросы эпистемической интерпретации модальных логик // Философские науки. 2014. № 9. C. 907–911.

2. Боброва, 2017 – Боброва А.С. Логическая теория, построенная геометрическим образом // Логико-философские штудии. 2017. Т. 15. № 1. С. 28–43.

3. Бежанишвили, 2022 – Бежанишвили М.Н. Логика модальностей знания и мнения. М.: УРСС, 2022. 288 с.

4. Виньков, Фоминых, 2011 – Виньков М.М., Фоминых И.Б. Рассуждения о знаниях и проблема логического всеведения. Часть I. Модальный подход // Искусственный интеллект и принятие решений. 2011. № 4. С. 3–13.

5. Долгоруков, 2022 – Долгоруков В.В. О трудностях определения имплицитного знания группы // Логические исследования. 2022. Т. 28. № 1. С. 9–26.