Сегодня последний день работы конференции "Формальная философия 2022". ссылка для подключения https://us06web.zoom.us/j/84836535213?pwd=M3hwa0l5em9va1BKV3NzY0JHOE9oQT09

31 октября – 3 ноября состоялась Международная конференция “Формальная философия – 2022”, организованная Международной лабораторией логики, лингвистики и формальной философии НИУ ВШЭ, https://llfp.hse.ru/news/793900316.html

Опубликована запись пленарного доклада Л.Д. Беклемишева на конференции "Формальная философия 2022", самый интересный момент тут: восьмиклассник пишет академику https://youtu.be/HzaX9SHPnis?t=2651

А в пятницу будет доклад о том, что порочный круг не такой уж и порочный. 18 ноября в 18:30 состоится 73-е заседание научно-теоретического семинара "Формальная философия". Данияр Шамканов (Математический институт им. В.А. Стеклова РАН) выступит с докладом: "Циклические и нефундированные выводы в модальной логике", https://llfp.hse.ru/announcements/796111383.html

9 декабря в 18:30 состоится заседание исследовательского семинара "From the Logical Point of View" Международной лаборатории логики, лингвистики и формальной философии. Владислав Аксиотис, Елена Попова и Вероника Пригоркина
выступят с докладом: "Логика в лаборатории: анализ рассуждений с применением modus ponens", https://llfp.hse.ru/announcements/801216788.html

Владислав Аксиотис, Елена Попова и Вероника Пригоркина выступят с докладом: "Логика в лаборатории: анализ рассуждений с применением modus ponens", https://llfp.hse.ru/announcements/801216788.html https://us06web.zoom.us/j/84420641260?pwd=Qm9XY0lPdnNtUkF2dGR3M1A3U0RIZz09

Завтра 16 декабря в 18:30 состоится заседание исследовательского семинара "From the Logical Point of View". Никита Чураков (НИУ ВШЭ) выступит с докладом: "Вокруг теоремы Эрроу", https://llfp.hse.ru/announcements/802529632.htm

Завтра (13 января 2023) состоится юбилейное заседание семинара "Формальная философия", приуроченное к десятилетию семинара и празднованию Всемирного дня логики.

С докладом "Paradox and Substructurality" выступит Элиа Дзардини (главный научный сотрудник Международной лаборатории логики, лингвистики и формальной философии)

https://llfp.hse.ru/announcements/805073302.html

13 ноября состоялось юбилейное заседание научно-исследовательского семинара «Формальная философия», в рамках которого с докладом «Paradox and Substructurality» («Парадокс и субструктурность») выступил главный научный сотрудник МЛ ЛогЛинФФ Элиа Дзардини, https://llfp.hse.ru/news/808354837.html

Начинается доклад Александра Запрягаева "Интерпретации в слабых арифметических теориях", https://us06web.zoom.us/j/84420641260?pwd=Qm9XY0lPdnNtUkF2dGR3M1A3U0RIZz09

Уже сегодня в 18:30 Виталий Долгоруков выступит с докладом:
«"Структуры знания": альтернативная семантика для эпистемической логики»

https://llfp.hse.ru/announcements/812302461.html

Аннотация:
Доклад будет посвящен обзору семантики «структур знания», предложенной в диссертации М. Гаттингера (2018). Данный тип семантики позволяет представлять эпистемические сценарии более лаконичным образом по сравнению с традиционной семантикой Крипке, что делает эпистемическую логику более удобной для приложений.
Литература:
https://malv.in/phdthesis/

Международная лаборатория логики, лингвистики и формальной философии объявляет конкурс на должность стажера-исследователя для участия в проектах лаборатории https://llfp.hse.ru/news/812926918.html