Профессор кафедры логики философского факультета МГУ им. М.В. Ломоносова; доктор философских наук; окончил философский факультет МГУ (1965); работает на кафедре с 1966 г.; кандидатская диссертация - "Силлогистика без экзистенциальных предпосылок" (1980); Докторская диссертация - "Анализ силлогистических теорий" (1988). Область научных интересов: силлогистика, свободная логика, онтология и мереология Лесневского, логические аспекты теологии, автоматический поиск доказательств. Основные научные результаты: обосновал глубокое семантическое отличие силлогистики Аристотеля от традиционной силлогистики; построил расширенную силлогистику (силлогистику со сложными терминами) и доказал ее дефинициальную эквивалентность булевой алгебре; разработал кванторное расширение силлогистики и доказал ее дефинициальную эквивалентность элементарной онтологии Лесневского; построил исчисление предикатов первого порядка с нестандартными (неэкзистенциальными) дескрипциями и доказал его непротиворечивость; данный аппарат был использован для анализа онтологического аргумента Ансельма и его критики Кантом; разработал алгоритм автоматического поиска доказательств в классических исчислениях высказываний и предикатов в натуральной форме их представления.
