Биография Бочаров Вячеслав Александрович

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

(1 оценок, среднее: 5,00 из 5)

лейб-гвардии конный полк чернышов