• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Научно-учебный семинар "Логическая семантика"

Основная задача научно-учебного семинара «Логическая семантика» – обсуждение ключевых концепций современной логической семантики и смежных с ней дисциплин (аналитической метафизики, философии языка, формальной эпистемологии, философии логики, формальной семантики, формальной прагматики).

Серия семинаров 2019 года является продолжением работы «Логической семантики» в 2015-2018 гг.

Серия семинаров, посвященных решению эпистемических задач

В октябре-декабре 2019 стажеры-исследователи МЛ ЛогЛинФФ представят неформальные и формальные решения эпистемических задач. В ходе семинара будут разобраны такие задачи, как задача о трех богах, Monty Hall, русская карточная задача, задача с двумя конвертами, парадокс неожиданной казни и др.

Основной источник задач:

Van Ditmarsch, H., & Kooi, B. (2015). One hundred prisoners and a light bulb. Copernicus, Cham.

11.10.19 ауд. А-120 18.00-19.30 "Самая сложная логическая задача"

25.10.19 ауд. А-120 16.40-18.00 Задача "Muddy Children"

01.11.19, ауд. А-120 16.40-18.00 Русская карточная задача

08.11.19, ауд. А-120 16.40-18.00 Задача о сотне заключенных и лампочке

29.11.19, ауд. А-120 18.00-19.30 Парадокс Монти Холла

Мини-курс Евгения Васильевича Борисова "Модальная логика первого порядка"

 

Цель мини-курса: освоение метода табличного доказательства теорем в пропозициональной и первопорядковой модальной логике. На семинарах будем упражняться в доказательстве теорем и обсуждать интуитивный смысл используемых правил.

 

Расписание занятий:

  • Семинар 1. Табличный метод (метод семантического древа) в пропозициональной и первопорядковой логике.

14 октября, ауд. 512, 18.10-19.30

  • Семинар 2. Метод семантического древа в модальной пропозициональной логике.

17 октября, ауд. А-120, 16.40-18.00

  • Семинар 3. Метод семантического древа в модальной первопорядковой логике.

18 октября, ауд. 511, 16.40-18.00

Семинар 1. Табличный метод (метод семантического древа) в пропозициональной и первопорядковой логике.

Семинар 2. Метод семантического древа в модальной пропозициональной логике.

Семинар 3. Метод семантического древа в модальной первопорядковой логике.

Дополнительная литература к семинарам

Регистрация (заказать пропуск в здание)


 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!
Сервис предназначен только для отправки сообщений об орфографических и пунктуационных ошибках.