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