• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
2023/2024

Введение в эпистемическую логику и формальную эпистемологию

Статус: Общеуниверситетский факультатив
Когда читается: 1, 2 модуль
Охват аудитории: для всех
Язык: русский
Кредиты: 3
Контактные часы: 52

Программа дисциплины

Аннотация

Несмотря на то, что формальная философия на сегодняшний день является активно развивающимся направлением исследований, актуальные учебные планы студентов-философов включают лишь небольшое количество специализированных учебных курсов, чего явно недостаточно для подготовки будущих исследователей. Основная цель курса состоит в том, чтобы способствовать заполнению этой образовательной лакуны и привлечь молодых исследователей к научным проектам, реализуемых Международной лабораторией логики, лингвистики и формальной философии. Курс может быть интересен не только философам, но и студентам образовательных программ по лингвистике, психологии, математике, компьютерным наукам и др.
Цель освоения дисциплины

Цель освоения дисциплины

  • Познакомиться с основными результатами эпистемической логики и формальной эпистемологии
Планируемые результаты обучения

Планируемые результаты обучения

  • знакомство с языком и семантикой эпистемической логики
  • формулирует условия истинности для динамической эпистемической логики
  • описывает приложения эпистемической логики
Содержание учебной дисциплины

Содержание учебной дисциплины

  • Введение в эпистемическую логику
  • Введение в формальную эпистемологию
  • Приложения эпистемической логики и формальной эпистемологии
Элементы контроля

Элементы контроля

  • неблокирующий Аудиторная работа
  • неблокирующий Экзамен
Промежуточная аттестация

Промежуточная аттестация

  • 2023/2024 учебный год 2 модуль
    0.5 * Аудиторная работа + 0.5 * Экзамен
Список литературы

Список литературы

Рекомендуемая основная литература

  • Dynamic epistemic logic. (2007). Springer. https://doi.org/10.1007/978-1-4020-5839-4

Рекомендуемая дополнительная литература

  • Johan Van Benthem. (2010). Modal logic for open minds.