Должность

Профессор, Заведующий кафедрой

Кафедра

Кафедра логики

Образование и достижения

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

Информация из открытого источника — официального сайта вуза.