AZ-libr.ру

       - специалист по логике; доктор философских наук, профессор
       Род. в Москве.
       В 1965 окончил философский факультет МГУ.
       С 1966 работает на кафедре логики философский факультета МГУ,
       с 1990 - профессор этой кафедры.
       Кандидатская диссертация - "Силлогистика без экзистенциальных предпосылок" (1980).
       Докторская диссертация - "Анализ силлогистических теорий" (1988).
       Область научных исследований - свободные логики, современные силлогистические теории, онтология и мереология Лесневского, теология, философские проблемы логики, логика и методология научного познания.
       В ходе работ по этой тематике были получены следующие конкретные результаты: в историческом плане было обосновано глубокое отличие по семантике силлогистики Аристотеля от традиционной версии этой теории; в частности, был обоснован тезис о неэкзистическом характере аристотелевской силлогистики и построены разнообразные позитивные, негативные и сингулярные силлогистики; была построена расширенная силлогистика (силлогистика со сложными терминами) и доказана метатеорема о дефинициальной эквивалентности этой теории булевой алгебре; разработана одна из версий онтологии Лесневского как современного варианта силлогистики; доказана метатеорема о дефинициальной эквивалентности онтологии Лесневского и кванторной силлогистики, строящейся в аристотелевском духе; построено исчисление предикатов первого порядка, обогащенного дескрипциями нового типа, а именно переменной дескрипцией (универсалией) и доказана непротиворечивость этого исчисления; последний аппарат был использован для анализа логического аргумента Ансельма и его критики И.Кантом; дана реконструкция логико-философского представления И.Кантом идеи Бога; разработан алгоритм построения вывода в одном из вариантов натурального исчисления предикатов; для логики высказываний построена компьютерная реализация данного алгоритма.

Литература и другие источники информации