МАРКИН Владимир Ильич

(р. 9.5.1958) — спец. по логике; д. филос. н., проф. Р. в Севастополе. Окончил филос. ф-т МГУ (1980), асп. того же ф-та по кафедре логики (1983). С 1984 работает на этой кафедре, с 2003 — зав. кафедрой. Зам. декана филос. ф-та МГУ по науч. работе (с сентября 2001). Докт. дисс. — «Исследование силлогистических теорий средствами символической логики» (1997). Работает в обл. модальной логики, силлогистики и компьютерных приложений логики. Построил ряд логич. систем с внутр. модальностями, осуществил аксиоматизацию силлогистик Лейбница, Больцано, Кэрролла; доказал погружаемость в исчисление предикатов разл. силлогистических теорий; осуществил формальную реконструкцию аподиктической силлогистики Аристотеля, традиц. и аристотелевского вариантов сингулярной негативной силлогистики. Осуществил обобщение стандартной позитивной силлогистики за счет введения новых силлогистических констант исчерпываемости и неисчерпываемости универсума объемами терминов. Основываясь на идеях Лейбница, построил интенсиональные семантики различных позитивных силлогистик, базисные константы которых трактуются как знаки отношений между понятиями по содержанию. Предложил аксиоматизацию и адекватную семантику «воображаемой логики» и «логики понятий» Н. А. Васильева, доказал погружаемость воображаемой логики в кванторную трехзначную логику. Соредактор сб. «Философия сознания: Классика и современность». М., 2007.
Соч.: Теорема полноты в логике внутренних модальностей // Методология развития научного знания. М., 1982; Окрестностная семантика для модальностей de re // Модальные и релевантные логики. М., 1982; Семантический анализ аподиктической силлогистики Аристотеля // Логика Аристотеля. Тбилиси, 1985; Типология признаков, модальности de re и семантика возможных состояний объектов // Современная логика и методология науки. М., 1987; Силлогистика и современная логика. (В соавт.) // Вестник МГУ. Сер. 7. «Философия». 1987. № 4; Формализация неаристотелевских силлогистик // Интенсиональные логики и логическая структура теорий. Тбилиси, 1988; Философское и методологическое значение логики. (В соавт.) // ВФ. 1988. № 2; Силлогистические теории в современной логике. М., 1991; Силлогистические теории и исчисление предикатов. Ч. I // Логические исследования. Вып. 1. М., 1993; Доказательство и его поиск. Логика и компьютер. (В соавт.). Вып. 3. М., 1996; Сингулярная негативная силлогистика Аристотеля и свободная логика // Логические исследования. Вып. 4. М., 1997; Формальная реконструкция традиционной сингулярной негативной силлогистики // Там же. Вып. 5. М., 1998; Обобщенная позитивная силлогистика // Там же. Вып. 6. М., 1999; Воображаемая логика-2: реконструкция одного из вариантов знаменитой логической системы Н. А. Васильева // Труды научно-исследовательского центра ИФ РАН. М., 1999; Погружение воображаемой логики Н. А. Васильева в кванторную трехзначную логику // Логические исследования. Вып. 7. М., 2000; Интенсиональная семантика традиционной силлогистики // Логические исследования. Вып. 8. М., 2001; Фундаментальная силлогистика с интенсиональной точки зрения // Логические исследования. Вып. 9. М., 2002; Интенсиональная семантика для систем позитивной силлогистики // Логика и В.Е.К. М., 2003; Фундаментальная силлогистика с неопределенно-местной константой // Логические исследования. Вып. 11. М., 2004; Основы логики. Учебник. (В соавт.). М., 2007.