ЭС: В.А.Смирнов

СМИРНОВ ВЛАДИМИР АЛЕКСАНДРОВИЧ (2.03.1931, Москва – 12.02.1996, Москва), философ.
 
Окончил философский факультет МГУ (1954). Ученик А.С. Ахманова, В.Ф. Асмуса.
Кандидат философских наук (1962, «Дедуктивный метод и построение научной теории»). Доктор философских наук (1973, «Формальный вывод и логические исчисления»). Профессор.
 
Профессор кафедры логики философского факультета (1979–1996).
 
Научная и педагогическая деятельность. В сфере научных интересов релевантные логики, иерархия логических исчислений и их классификация, импликативные логики и их классификация, теория доказательств, определимость и логические отношения между теориями, модально-временные логики, комбинированные логики, многомерные логики, силлогистика, системы Лесневского, паранепротиворечивые логики, совершенно свободные логики.
Автор пионерских работ в исследовании логик без правил сокращения и в области двухмерных и многомерных логик. Ввёл в научный оборот несколько новых понятий об отношениях между теориями (дефинициальная погружаемость, дефинициальная эквивалентность, рекурсивная переводимость), позволивших сравнивать теории с разной категориальной структурой.
Основные труды: «Формальный вывод и логические исчисления» (1972), «Логические методы анализа научного знания» (1987), «Логика и компьютер» (соавт., 1990), «Логика и клиническая диагностика. Теоретические основы» (соавт., 1994).
 
Память. С 1997 г. один раз в два года проводятся международные конференции «Смирновские чтения по логике», основной площадкой которой с 2009 г. является философский факультет. С 2019 г. чтения посвящаются памяти выдающихся учёных В.А. Смирнова и Е.Д. Смирновой.
 
Литература: Владимир Александрович Смирнов / отв. ред. В.Л.Васюков. – М., 2010.