Маркин Владимир Ильич

Ученое звание: 
проф.
Должность: 
Профессор
Заведующий кафедрой
Подразделение: 

Окончил философский факультет МГУ (1980), аспирантуру каф. логики (1983). Работает на кафедре с 1984 г.

Кандидатская диссертация – «Логико-семантический анализ внутренних модальностей» (1984).

Докторская диссертация - «Исследование силлогистических теорий средствами символической логики» (1997).

Область научных интересов: силлогистика, модальная логика, логические системы Н.А.Васильева, теория понятия, компьютерные приложения логики.

Основные научные результаты:

  • построил ряд логических систем с модальностями de re и адекватные этим системам реляционные и окрестностные семантики возможных состояний индивидов, средствами данных семантик осуществил экспликацию различных типов признаков;
  • осуществил современную формальную реконструкцию известных силлогистических теорий - позитивных фрагментов силлогистик Брентано-Лейбница, Больцано, Льюиса Кэрролла, аристотелевского и традиционного вариантов сингулярной негативной силлогистики, аподиктического фрагмента модальной силлогистики Аристотеля;
  • для широкого класса силлогистических систем доказал теоремы о погружаемости их в современные логические исчисления;
  • построил обобщенную позитивную силлогистику с полной системой силлогистических констант, в ее рамках выразимы все возможные объемные отношения между двумя терминами;
  • совместно с Т.П.Костюк осуществил формализацию воображаемой логики Н.А.Васильева и его ассерторической силлогистики;
  • под руководством В.А.Смирнова (и при участии А.В. Смирнова и А.Е. Новодворского) создал первый в России курс дедуктивной логики при поддержке компьютерной программы интерактивного поиска вывода.