• Оглавление
  • Part 1: Модальная логика (общая)
  • 1. Cемантика Крипке
  • 2. Упражнения
  • 3. Литература и дополнительные материалы
  • Part 2: Эпистемическая логика
  • 4. Эпистемическая логика
  • 5. Упражнения
  • 6. Литература и дополнительные материалы
  • Part 3: Интуиционистская логика
  • 7. Интуиционистская логика
  • 8. Упражнения
  • 9. Литература и дополнительные материалы

Аспекты неклассических логик

Литература и дополнительные материалы

Полезные ссылки

  • Общее знание (в социальных науках) Михаил Соколов
  • Steven Pinker: The Elephant, the Emperor, and the Matzo Ball (про общее знание в психологии)
  • SEP: Epistemic Logic
  • SEP: Common Knowledge - Mutual Knowledge
  • Philpapers: Epistemic Logic
  • SEP: Formal Epistemology
  • Philpapers: Formal Epistemology - SEP: Epistemic Paradoxes - SEP: Fitch’s Paradox of Knowability
  • Vincent Hendricks: The trouble with bubbles
  • Георгий Бронников, Введение в неклассические логики, лекция 5. Эпистемическая логика

Инструменты

  • Hintikka’s world
  • ELVis
  • SMCDEL
  • ECL: Update, Display and Check