Философский факультет

2 декабря 2025 года состоялось первое заседание научно-исследовательского семинара кафедры логики «Мастерская современной логики».

С докладом «Об алгебраических свойствах мезоконнексивной логики MeC» выступил магистрант 2-ого курса философского факультета МГУ Тимохин Арсентий. Доклад был посвящён применению алгебраических методов в мезоконнексивных логиках (коннексивных логиках без свойства гиперконнексивности). Были предложены алгебраические семантики для MeC в терминах F-структур и твист-структур, показано, что они эквивалентны, а также рассмотрены доказательства семантической полноты и корректности. Активное участие в обсуждении приняли аспиранты и преподаватели кафедры логики.

Докладчику были заданы вопросы, связанные с доказательством метатеоретических свойств. Например, почему при доказательстве семантической полноты на множество формул Г накладывается ограничение. Как оказалось, это необходимо при определении отношения эквивалентности, поскольку при тривиальном Г все формулы в MeC оказались бы эквивалентными. Также в ходе обсуждения была затронута проблема гиперконнексивности. На первый взгляд, контрпримеры С. МакКолла кажутся убедительными, но С. МакКолл и другие исследователи обыкновенно апеллируют к некой очевидности, что не может считаться строго научным обоснованием. Куда более убедительно эту проблему рассматривают экспериментальные исследователи. Полученные ими данные говорят о том, что на практике люди в основном признают гиперконнексивные схемы рассуждений корректными наряду с другими коннексивными схемами.