Заведующий кафедрой логики философского факультета МГУ им. М.В. Ломоносова; родился 9 мая 1958 года в Севастополе; кончил философский факультет МГУ (1980), аспирантуру кафедры логики (1983); работает на кафедре с 1984 г.; кандидатская диссертация - "Логико-семантический анализ внутренних модальностей" (1984); докторская диссертация - "Исследование силлогистических теорий средствами символической логики" (1997). Область научных интересов: силлогистика, модальная логика, логические системы Н.А.Васильева, теория понятия, компьютерные приложения логики. Основные научные результаты: построил ряд логических систем с модальностями de re и адекватные этим системам реляционные и окрестностные семантики возможных состояний индивидов, средствами данных семантик осуществил экспликацию различных типов признаков; осуществил современную формальную реконструкцию известных силлогистических теорий - позитивных фрагментов силлогистик Брентано-Лейбница, Больцано, Льюиса Кэрролла, аристотелевского и традиционного вариантов сингулярной негативной силлогистики, аподиктического фрагмента модальной силлогистики Аристотеля; для широкого класса силлогистических систем доказал теоремы о погружаемости их в современные логические исчисления; построил обобщенную позитивную силлогистику с полной системой силлогистических констант, в ее рамках выразимы все возможные объемные отношения между двумя терминами; совместно с Т.П.Костюк осуществил формализацию воображаемой логики Н.А.Васильева и его ассерторической силлогистики; под руководством В.А.Смирнова (и при участии А.В.Смирнова и А.Е.Новодворского) создал первый в России курс дедуктивной логики при поддержке компьютерной программы интерактивного поиска вывода.
