Философский факультет
Московский Государственный Университет имени М.В.Ломоносова
Московский Государственный Университет имени М.В.Ломоносова

Окончил Казанский государственный университет (1939). Доктор философских наук (1967), профессор кафедры логики философского факультета (с 1968 г.). Лауреат Ломоносовской премии. Заслуженный профессор МГУ.

Область научных интересов: релевантная логика; теория понятия; логика научного познания; теория натурального вывода; алгебра логики; модальная логика; силлогистика. Основные научные результаты: с использованием аппарата символической логики разработал современную теорию понятия; построил логико-алгебраический аппарат анализа мостиковых схем и их минимизации; дал точную экспликацию семантическому понятию информации; разработал формализованный язык, приближенный к естественному – модификацию языка логики предикатов за счет введения специфицированных переменных (понятийных конструкций); предложил семантику обобщенных описаний состояний для первопорядкового фрагмента релевантной системы E и "семантику ослаблений" для полной системы E; создал оригинальную разновидность систем натурального вывода – исчисления с зависимостями формул вывода от допущений, построил соответствующие натуральные варианты классических исчислений, релевантных систем R и E, модальной системы S4; осуществил ряд философско-методологических приложений релевантной логики, связанных с уточнением понятий закона науки, научного объяснения, существенного признака, диспозиционного предиката, контрфактического высказывания и др.; построил "содержательные" семантики для ряда систем модальной логики, использующие в качестве базисного понятие описания состояния; предложил оригинальный вариант модальной силлогистики, основанный на интерпретации высказываний с модальностями de dicto и de re в рамках кванторной релевантной логики второго порядка.

Читал общие курсы лекций по логике для студентов философского факультета, спецкурсы “Символическая логика”, “Релевантная логика”, “Логика научного познания”.

Подготовил 14 кандидатов и 4 доктора наук.

Опубликовал более 100 научных работ.

Сочинения:

  • “Понятие” (1967);
  • “Философско-методологические аспекты релевантной логики” (1988);
  • “Понятие как форма мышления. Логико-гносеологический анализ” (1989);
  • “Логика как часть теории познания и научной методологии (Фундаментальный курс)” (соавт. М.Г. Дегтярев, 1994);
  • “Логика. Учебник для вузов” (соавт. М.Г. Дегтярев, 1998);
  • “Символическая логика: классическая и релевантная” (1989).