Горбунов Игорь Анатольевич

Ведущий научный сотрудник Международной лаборатории логики, лингвистики и формальной философии НИУ ВШЭ и доцент факультета математики. Работает в университете с 2023 года; по данным университета его научно-педагогический стаж составляет 4 года. Кандидат физико-математических наук: степень получил в 2006 году в Ярославском государственном университете имени П. Г. Демидова. В 1997 году окончил Тверской государственный университет по специальности «Математика» с квалификацией «Математик. Преподаватель».

Научные интересы — алгебра и математическая логика, а также линейная алгебра и геометрия. Основная исследовательская линия связана с неклассическими модальными логиками: независимая аксиоматизируемость логических систем, свойства квазинормальных модальных логик, теории пропозициональных логик и операция обращения подстановки. Работы выходят и в российских, и в международных журналах по математической логике.

В 2024 году статья «Extensions of Solovay's system S without independent sets of axioms», написанная с Д. Шкатовым, опубликована в журнале Annals of Pure and Applied Logic (том 175, № 1, часть A, статья 103360). Двумя годами ранее в соавторстве с ним же вышла работа «On independent axiomatizability of quasi-normal modal logics» (Studia Logica, 2022, том 110, с. 1189–1217). В том же 2022 году опубликованы две русскоязычные статьи: «Вполне-определённые логики» (Логические исследования, том 28, № 2, с. 96–114) и «Теории пропозициональных логик и обращение подстановки» (Известия высших учебных заведений. Математика, № 5, с. 33–41). За публикацию в журнале из Списка А университет назначил ему надбавку на 2024–2025 годы.

С 2015 года входит в редколлегию журнала «Логические исследования» — одного из профильных российских изданий по логике, издаваемого Институтом философии РАН.

В учебной работе ведёт майнор «Логика» факультета математики — дисциплину объёмом 5 кредитов, 34 контактных и 30 онлайн-часов, открытую для студентов всех кампусов НИУ ВШЭ. Курс читает совместно с коллегами по лаборатории. Программа начинается с предмета математической логики и вопросов оснований математики: аксиоматическое построение элементарной геометрии и роль аксиомы о параллельных, парадоксы теории множеств и семантические парадоксы, формальный аксиоматический метод Гильберта и значение теорем Гёделя о неполноте. Дальше разбирается логика высказываний и другие разделы курса. Заявленные цели — познакомить студентов с аксиоматическим методом и системообразующими примерами из математической логики, научить строго аргументировать выводы письменно и устно и дать навык работы с математической литературой. Для освоения майнора достаточно школьной математики и представления о вычислимых функциях; полученные знания используются дальше в курсах линейной алгебры, математического анализа, геометрии, теории чисел, графов и топологии. По итогам майнора студент должен знать основные понятия включённых в программу разделов математической логики, решать базовые задачи по каждому из них, свободно владеть терминологией и уметь излагать математические рассуждения устно и письменно.