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