ПОПОВ Владимир Михайлович

(р. 25.7.1951). Спец. по логике, к. филос. н., доц. Р. в с. Устье Мичуринского р-на Тамбовской обл. Окончил филос. ф-т МГУ (1974) и асп. того же ф-та по кафедре логики (1978). Работал в Тверском госуниверситете. С 2000 по наст. вр. — доцент кафедры логики филос. ф-та МГУ. Канд. дисс. — «Логический анализ релевантных систем» (1979). Большинство публикаций — в обл. релевантной логики, силлогистики и паралогики. Доказал разрешимость ряда релевантных, силлогистических и паралогических систем, сконструировав эквиполлентные этим системам разрешимые секвенциальные и разрешимые аналитико-табличные исчисления. Разработал диадические семантики для силлогистических систем и семантики для систем паралогики. Предложил семантики для логик первопорядкового следования и аксиоматизирующие эти логики аналитико-табличные исчисления. Определил понятие импликативной логики с инверсным отрицанием и использовал это понятие при анализе импликативно-негативных паралогик. Опроверг точку зрения, согласно к-рой исторически первые релевантные исчисления построены в 50-х годах XX в., установив, что первой релевантной логикой является исчисление, сформулированное в опубликованной в 1928 статье И. Е. Орлова «Исчисление совместности предложений». Изучая проблему погружения логики в ее фрагмент, построил, в частности, погружение классической пропозициональной логики в ее импликативный фрагмент и погружение интуиционистской логики в ее позитивный фрагмент. Эксплицировал понятие логики эклектики, применил понятие существенной формулы при анализе релевантных логик. Ввел понятие простой паралогики, изучил некоторые простые паралогики и ряд свойств соответствующего класса логик.
Соч.: О разрешимости релевантной системы RA // Методы логического анализа. М., 1977; О разрешимости релевантной логики RAO // Модальные и интенсиональные логики. М., 1978; Аналитические формулировки и модели Крипке некоторых пропозициональных логик первопорядкового следования // Релевантные логики и теория следования. М., 1979; Разрешимость силлогистики с отрицательными терминами // Модальные и релевантные логики. М., 1982; Аналитико-табличные формулировки систем силлогистического типа // Логические исследования. М., 1983; Секвенциальные формулировки паранепротиворечивых логических систем // Синтаксические и семантические исследования неэкстенсиональных логик. М., 1989; Диадические семантики для систем формальной силлогистики. (В соавт.) // Логические исследования. Вып. 5. М., 1998; Погружение классической пропозициональной логики в ее импликативный фрагмент и в импликативный фрагмент интуиционистской пропозициональной логики // Труды научно-исследовательского центра ИФ РАН. М., 2000; Погружение интуиционистского пропозиционального исчисления в его позитивный фрагмент // Логические исследования. Вып. 8. М., 2001; Об одной трехзначной параполной логике // Там же. Вып. 9. М., 2002; Об одной трехзначной паранепротиворечивой логике // Современная логика. СПб., 2002; Об одной четырехзначной паранормальной логике //Логика и В.Е.К. М., 2003; Две последовательности простых паранормальных логик // Современная логика. СПб., 2006; Простая паранепротиворечивая подлогика интуиционистской пропозициональной логики // Труды научно-исследовательского центра ИФ РАН. М., 2006; Простая параполная подлогика итуиционистской пропозициональной логики // Там же; Интервалы простых паралогик // Смирновские чтения. М., 2007.