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

Родился 9 мая 1958 года в Севастополе^[2]. В 1980 году окончил Философский факультет МГУ имени М. В. Ломоносова, в 1983 году — аспирантуру кафедры логики Философского факультета МГУ. С 1984 работает на этой кафедре, с 2001 года — в звании профессора. В 1984 году защитил кандидатскую диссертацию на тему «Логико-семантический анализ внутренних модальностей», в 1997 году — докторскую диссертацию на тему «Исследование силлогистических теорий средствами символической логики». В 2003 году был назначен заведующим кафедрой логики философского факультета МГУ^[2].^[3] В 2014 году удостоен почётного звания «Заслуженный профессор Московского университета»^[2].

Член редакционных коллегий журналов «Логические исследования», «Вестник Московского университета. Серия 7. Философия» и «Logical Studies»^[4]. Опубликовал более 70 научных работ. Предмет научных исследований — силлогистика, модальная логика, логические системы Н. А. Васильева, теория понятия, компьютерные приложения логики.

Главные научные результаты: построил ряд логических систем с модальностями de re и адекватные этим системам реляционные и окрестностные семантики возможных состояний индивидов, средствами данных семантик осуществил экспликацию различных типов признаков; осуществил современную формальную реконструкцию известных силлогистических теорий — позитивных фрагментов силлогистик Брентано-Лейбница, Больцано, Льюиса Кэрролла, аристотелевского и традиционного вариантов сингулярной негативной силлогистики, аподиктического фрагмента модальной силлогистики Аристотеля; для широкого класса силлогистических систем доказал теоремы о погружаемости их в современные логические исчисления; построил обобщённую позитивную силлогистику с полной системой силлогистических констант, в её рамках выразимы все возможные объёмные отношения между двумя терминами; совместно с Т. П. Костюк осуществил формализацию воображаемой логики Н. А. Васильева и его ассерторической силлогистики; под руководством В. А. Смирнова (и при участии А. В. Смирнова и А. Е. Новодворского) создал первый в России курс дедуктивной логики при поддержке компьютерной программы интерактивного поиска вывода. Читает общие курсы лекций по логике для студентов философского факультета и факультета психологии, спецкурсы «Символическая логика», «Основы теории доказательств», «Поиск вывода в логических исчислениях», «Модальная логика», «Силлогистические теории». Подготовил 5 кандидатов наук^[5]. В 2025 году входил в программные комитеты общеуниверситетской научной конференции «Ломоносовские чтения» (секция «Философские науки») и Международной научной конференции «Четырнадцатые Смирновские чтения по логике»^[6].

• Заслуженный профессор Московского университета (2014)^[2];
• Общенациональная премия «Профессор года» в номинации «Философские науки»^[7];
• Медаль ордена «За заслуги перед Отечеством» II степени (2024) — за заслуги в подготовке высококвалифицированных специалистов, научно-педагогической деятельности и многолетнюю добросовестную работу^[8].

1. Теорема полноты в логике внутренних модальностей // Методология развития научного знания. М., 1982.
2. Окрестностная семантика для модальностей de ге // Модальные и релевантные логики. М., 1982.
3. Семантическое доказательство погружаемости некоторых систем силлогистики в исчисление предикатов // Логические исследования. М., 1983.
4. Семантический анализ аподиктической силлогистики Аристотеля // Логика Аристотеля. Тбилиси, 1985.
5. Типология признаков, модальности de ге и семантика возможных состояний объектов // Современная логика и методология науки. М., 1987.
6. Силлогистика и современная логика. (В соавторстве с В. А. Бочаровым) // Вестник МГУ. Серия «Философия». 1987. № 4.
7. Формализация неаристотелевских силлогисчик // Ингенсиональные логики и логическая структура теорий. Тбилиси, 1988.
8. Философское и методологическое значение логики. (В соавторстве с Е. К. Войшвилло) // Вопросы философии. 1988. № 2.
9. Силлогистические теории в современной логике // М., 1991.
10. Силлогистические теории и исчисление предикатов (Часть 1) // Логические исследования. М., 1993. Вып. 1.
11. Основы логики. Учебник. (В соавторстве с В. А. Бочаровым) // М., 1994.
12. Доказательство и его поиск. Логика и компьютер. (В соавторстве с В. А. Смирновым, А. Е. Новодворским, А. В. Смирновым) // Логические исследования. М., 1996. Вып. 3.
13. Сингулярная негативная силлогистика Аристотеля и свободная логика // Логические исследования. М., 1997. Вып. 4.
14. Формальная деконструкция традиционной сингулярной негативной силлогистики // Логические исследования. М., 1998. Вып. 5.
15. Обобщенная позитивная силлогистика // Логические исследования. М., 1999. Вып. 6.
16. Воображаемая логика-2: реконструкция одного из вариантов знаменитой логической системы Н. А. Васильева // Труды научно-исследовательского центра ИФ РАН. М., 1999.
17. Погружение воображаемой логики Н. А. Васильева в кванторную трехзначную логику // Логические исследования. М., 2000. Вып. 7;
18. Интенсиональная семантика традиционной силлогистики // Логические исследования. М., 2001. Вып. 8.
19. Фундаментальная силлогистика с интенсиональной точки зрения // Логические исследования. М., 2002. Вып. 9.
20. Введение в логику. Учебник. (В соавторстве с В. А. Бочаровым) // М., 2008 (2-е изд. — 2011)^[9].
21. Силлогистические теории. (В соавторстве с В. А. Бочаровым) // М., 2010^[10].
22. Основы логики. Учебник. (В соавторстве с В. А. Бочаровым) // М., 2013 (переиздания: 2023, 2024)^[11].