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

Семинары МЛ ЛогЛинФФ

2021 2020   2019   2018  2017  2016  2015

В международной лаборатории логики, лингвистики и формальной философии действуют три семинара:
теоретический семинар «Формальная философия», научно-исследовательский семинар «From the Logical Point of View» и научно-учебный семинар «Логическая семантика».

Теоретический семинар «Формальная философия», действующий с 2012 г., посвящен использованию формальных средств анализа для экспликации проблематики современной логики, онтологии, эпистемологии и философии языка, особое внимание уделяется динамическим и теоретико-игровым моделям, а также смежным подходам.  

Регулярный научно-исследовательский семинар «From the Logical Point of View» предназначен для обсуждения классических результатов и новейшей литературы в области логики, формальной лингвистики и формальной философии, а также для презентации текущих исследовательских наработок сотрудников ЛогЛинФФа и приглашенных докладчиков. 

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

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



Дата

Докладчики/

Модераторы


Тема

Семинар

 

20.01.2021

В.В. Долгоруков

О трудностях определения группового имплицитного знания

From the Logical Point of View

27.01.2021

 

Обсуждение статьи Van der Hoek W., Meyer J.J. (1997) "A Complete Epistemic Logic for Multiple Agents"

From the Logical Point of View

03.02.2021

 

Обсуждение статьи Van der Hoek W., Meyer J.J. (1997) "A Complete Epistemic Logic for Multiple Agents"

From the Logical Point of View

10.02.2021

 

Обсуждение статьи Wang Y. N., Agotnes Т. "Simpler completeness proofs for modal logics with intersection"

From the Logical Point of View

17.02.2021

 

Обсуждение статьи Wang Y. N., Agotnes Т. "Simpler completeness proofs for modal logics with intersection"

From the Logical Point of View

24.02.2021

 

Обсуждение статьи Berto F. "Equivalence in Imagination" 

From the Logical Point of View

25.02.2021

Е.Л. Попова

Схема Скотта-Леммона

Логическая семантика

03.03.2021

 

Обсуждение статьи van der Hoek, W., & Wooldridge, M. (2003). Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications.

 

From the Logical Point of View

04.03.2021

Д.Г. Хайтович

Введение в структурную теорию доказательств: древесный натуральный вывод

Логическая семантика

10.03.2021

 

 

Обсуждение статьи Gaudou B., Herzig A., Longin D., & Lorini E. (2015). On Modal Logics of Group Belief

 

From the Logical Point of View

11.03.2021

 

Древесный натуральный вывод: решение задач

Логическая семантика

17.03.2021

Е.Л. Попова

Логика намерения KD45

From the Logical Point of View

18.03.2021

Д.Г. Хайтович

Введение в структурную теорию доказательств: исчисление секвенций

Логическая семантика

24.03.2021

Я. Гомулка, А. Роман

Tractatus 6 Reconsidered: Wittgensten’s Trade-off and the S-operation

 

Формальная философия

25.03.2021 

Исчисление секвенций: решение задач

Логическая семантика
07.04.2021, 14.04.2021Р. Агамов

Логика топологических T_0 пространств в языке с модальностью неравенства

 

 From the Logical Point of View
15.04.2021 

Исчисление секвенций: решение сложных задач

 

 Логическая семантика
 16.04.2021 В.Л. Васюков,
Е.Г. Драгалина-Черная

Круглый стол, приуроченный к трехлетию лаборатории

 

 
21.04.2021В.В. Рыбаков

Много-агентные Модальные и Временные Логики

From the Logical Point of View
 22.04.2021 

Исчисление секвенций в модальной логике

 

 Логическая семантика
28.04.2021Й. Хэльд

Inference and Predication

Формальная философия
29.04.2021В.А. Пригоркина

Введение в генеративную грамматику

Логическая семантика



 

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