БОЧАРОВ Вячеслав Александрович

(р. 13.12.1937) — спец. по логике; д. филос. н., проф. Р. в Москве. В 1965 окончил филос. ф-т МГУ. С 1966 работает на кафедре логики филос. ф-та МГУ, с 1990 — проф. этой кафедры. Канд. дисс. — «Силлогистика без экзистенциальных предпосылок» (1980). Докт. дисс. — «Анализ силлогистических теорий» (1988). Обл. научных иссл. — свободные логики, совр. силлогистические теории, онтология и мереология Лесневского, теология, филос. проблемы логики, логика и методол. науч. познания, философия науки. В ходе работ по этой тематике были получены следующие конкретные результаты: в ист. плане было обосновано глубокое отличие по семантике силлогистики Аристотеля от традиц. версии этой теории; в частности, был обоснован тезис о неэкзистенциальном характере аристотелевской силлогистики и построены разнообразные позитивные, негативные и сингулярные силлогистики; была построена расширенная силлогистика (силлогистика со сложными терминами) и доказана метатеорема о дефинициальной эквивалентности этой теории булевой алгебре; разработана одна из версий онтологии Лесневского как совр. варианта силлогистики; доказана метатеорема о дефинициальной эквивалентности онтологии Лесневского и кванторной силлогистики, строящейся в аристотелевском духе; построено исчисление предикатов первого порядка, обогащенного дескрипциями нового типа, а именно переменной дескрипцией (универсалией) и доказана непротиворечивость этого исчисления; последний аппарат был использован для анализа логич. аргумента Ансельма и его критики И. Кантом; дана реконструкция логико-филос. представления И. Кантом идеи Бога; дана логикоматематическая реконструкция кантовской, неоплатонистической и христианской моделей Бога; разработан алгоритм построения вывода в одном из вариантов натурального исчисления предикатов; для логики высказываний построена компьютерная реализация данного алгоритма, построен алгоритм вычисления количества модельных схем для силлогистических высказываний традиционной силлогистики, содержащих п разл. терминов; обосновано положение о том, что совокупность логических связок — конъюнкция, дизъюнкция, отрицание, а также терминных связок — отрицание и умножение образуют функционально полную систему логических операторов для силлогистики.
Соч.: Алгебраические реконструкции силлогистики // Логико-методологические исследования. М., 1980; Анализ так называемого онтологического доказательства бытия бога и его критика Кантом // Модальные и релевантные логики. М., 1982; Булева алгебра в терминах силлогистики // Логические исследования. Вып. 1. М., 1983; Аристотель и традиционная логика. М., 1984; Современный этап в развитии логики. (В соавт.) // Вестник МГУ. Сер. 7. «Философия». 1985. № 5; Интерпретация ассерторической силлогистики у Аристотеля // Логика Аристотеля, Тбилиси. М., 1985; Идея построения модально-временной семантики на основе аристотелевского учения о потенциальном бытии // Логика и системные методы анализа научного знания. Киев, 1986; Силлогистика с сингулярными терминами // Современная логика и методология науки. М., 1987; Анализ критики Кантом онтологического аргумента // Кантовский сборник. Вып. 14. Калининград, 1989; Исчисление предикатов с универсалиями. Сер. статей: I. Формальное построение // Философские основания неклассических логик. М., 1990; И. Семантика // Логические методы в компьютерных науках. М., 1991; III. Философские основания // Труды научно-исследовательского семинара логического центра ИФ РАН. М., 1994; Логико-гносеологическая концепция ощущения // Вестник МГУ. Сер. 7. «Философия». 1993. № 5; Алгоритм поиска вывода для натурального классического исчисления высказываний. (В соавт.) // Логические исследования. Вып. 3. М., 1995; Алгоритмы поиска вывода в классической пропозициональной логике. (В соавт.) // Труды научно-исследовательского семинара логического центра ИФ РАН. М., 1996; Дефинициальная эквивалентность элементарной онтологии и силлогистики // Труды научноисследовательского семинара логического центра ИФ РАН. М., 1997; Алгоритм поиска вывода в классической логике предикатов. (В соавт.) // Логические исследования. Вып. 5. М., 1998; Вклад В. А. Смирнова в развитие философской логики // Логическое кантоведение-4. Труды международного семинара. Калининград, 1998; Кантовская модель Бога. (В соавт.) // Логические исследования. Вып. 7. М., 2000; Дефинициальная эквивалентность элементарной онтологии и силлогистики // Логико-философские штудии. СПб., 2001; статьи: Логика, Определение, Силлогистика // НФЭ: В 4 т. М., 2001; Модельные схемы традиционной силлогистики // Логика и В.Е.К. М., 2003; Божественные атрибуты. (В соавт.). М., 2003; Пусть докажет компьютер. (В соавт.). Серия «Логика и компьютер». Вып. 5. М., 2004; Основы логики. (В соавт.). М., годы выпуска 1994-2007; Введение в логику. (В соавт.). Уч. М., 2008.