Международная конференция «Формальная философия – 2022»

3 ноября прошел заключительный день 4-х дневной конференции «Формальная философия 2022», организованная Международной лабораторией логики, лингвистики и формальной философии НИУ ВШЭ

31 октября — 3 ноября состоялась Международная конференция «Формальная философия – 2022», организованная Международной лабораторией логики, лингвистики и формальной философии НИУ ВШЭ. В конференции приняло участие более 30 докладчиков из НИУ ВШЭ, МИАН, МГУ, Оксфордского университета, Университета Париж X—Нантер, Университета Кампинаса и других исследовательских центров.

Каждый день конференции были представлены 7-9 докладов на самые различные темы в области формальной логики и философии.  Так, в последний день прозвучали доклады: 

• Фабиен Шанг (независимый исследователь) с докладом «Why "every thing" is not "everything" (among other "thing" 's)»; 

• Денис Федянин (HSE University) с докладом «A Multiagent Scaling of the Sally-Ann Test and a Part of a Logical Framework for it»; 

• Елена Попова (НИУ ВШЭ, МФТИ) с докладом «Temporal Epistemic Logic for Agents with Minimum Delay in Awareness»; 

• Александра Попова (Vienna University of Technology) с докладом «Provability Games for Non-classical logic»; 

• Степан Кузнецов (Математический институт им. В.А. Стеклова) с докладом «Algorithmic Complexity for Extended Lambek Grammars»; 

• Ярослав Петрухин (Институт проблем передачи информации им. А. А. Харкевича) с докладом «Paraconsistent versions of Visser's logics»; 

• Александр Беликов (МГУ) с докладом «A Simple Way to Overcome Hyper-Connexivity»; 

• Хайден Вилкинсон (University of Oxford) с докладом «Flummoxing expectations»; 

• София Кимиагари (University of Calgary) с докладом «Logical Nihilism: Where the Disagreement Stems from».

Больше о самом мероприятии и прозвучавших докладах можно узнать здесь.