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

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

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

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

Семинары 2020 online

30.04.2020 М.Гладышев, "Работа в LaTeX".

07.05.2020 М.Гладышев, "Обзор динамических эпистемических логик и событийных моделей".

14.05.2020 Д.Хайтович, "Введение в stit-логику".

11.06.2020 К.Ушаков, "Вежливость в теоретико-игровой прагматике".

18.06.2020 С.Картавцева, "Интерпретация интенциональности как интенсиональности в семантике возможных миров".

03.07.2020 В.В.Долгоруков, "Каноническая модель и теоремы о полноте для логик K и K.t".

08.10.2020 (онлайн), Е. Л. Попова, "Головоломка с токсином: намерение как перформативный акт"

30.10.2020 (онлайн), А. А. Овчинникова, "Первые попытки построения логики предпочтений: как Аристотель и Сорен Холлден выбирали лучшее?"

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

В октябре-декабре 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 Кирилова Ирина, Задача о сотне заключенных и лампочке

15.11.19, ауд. А-121 18.00-19.30 Елисеев Слава, Задача о последовательных числах

22.11.19, ауд. А-121, 16.40-18.00 Старосоцкая Полина, Задача о сумме и произведении

29.11.19, ауд. А-120 18.00-19.30 Нечагина Светлана, Парадокс Монти Холла

13.12.19, ауд. А-121 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 и отправьте нам уведомление. Спасибо за участие!
Сервис предназначен только для отправки сообщений об орфографических и пунктуационных ошибках.