Заведующий кафедрой логики философского факультета (2003–н.вр.).

Научные интересы: силлогистика; модальная логика; компьютерные приложения логики; теория понятия.

Читает курсы «Функционально полные системы связок», «Логические аспекты познавательной деятельности», «Логический анализ языка», «Логика. I. Логика, язык и мышление», «Логика. II. Классическая дедуктивная логика», «Логика. III. Неклассическая логика и логика научного познания», «Логические исчисления», «Основы теории доказательств», «Поиск доказательств», «Силлогистические теории».

Построил ряд логических систем с внутренними модальностями, осуществил аксиоматизацию силлогистик Лейбница, Больцано, Кэрролла; доказал погружаемость в исчисление предикатов различных силлогистических теорий; осуществил формальную реконструкцию аподиктической силлогистики Аристотеля, традиционного и аристотелевского вариантов сингулярной негативной силлогистики.

Осуществил обобщение стандартной позитивной силлогистики за счет введения новых силлогистических констант исчерпываемости и неисчерпываемости универсума объемами терминов.
Предложил аксиоматизацию и адекватную семантику «воображаемой логики» и «логики понятий» Н. А. Васильева.