СМИРНОВ Владимир Александрович (1931 – 1996)

Род. и умер в М.

Логик, философ науки, д. филос. н. (1973). В 1954 окончил филос. ф-т МУ, в 1957 – аспирантуру там же, на каф. логики (науч. рук. – В.Ф.Асмус). В 1957–61 – стар. преп. каф. философии Томск. политехн. ин-та. В 1958 была опубл. его перв. науч. работа «Является ли классическая логика универсальной?». В 1961 вернулся в М. и начал работу в Ин-те философии АН, с кот. не расставался до кон. своей жизни. С 1988 – зав. сектором логики ин-та, с 1992 – зав. отделом эпистемологии, логики и философии науки и техники. С 1970 преподавал на каф. логики филос. ф-та МУ; с 1979 – проф. каф. Благодаря усилиям С. и под его редакцией с 1993 стало выходить перв. в стране периодич. изд. по проблемам логики – ежегодник «Логические исследования». В 1970-е и последующие гг. С. организовал советско-фин., советско-польск. и советско-франц. симпозиумы по логике. Труды С. широко известны в рос. и междунар. логич. сообществе. Мн. его работы переведены на европ. языки.

С. принадлежит целый ряд выдающихся результатов в области совр. формальн. логики, в частности, им положено начало исследованию логик без правил сокращения и рассмотрены методы доказательства разрешимости подобн. логик. Им был разработан понятийн. аппарат, позволяющий осуществлять сопоставление теорий и классификацию их взаимоотношений. С. был основателем и рук. отеч. шк. силлогистики, его перу принадлежат многочисл. труды в этой обл.

В 1962 С. опубликовал ст. «Логические взгляды Н.А.Васильева» (Труды по истории логики России. М.), заново открывшую для широкой филос. общественности идеи этого рус. логика – предшественника паранепротиворечивой и многозначной логик. Под рук. С. была издана коллектив. монография «Курс логики и компьютерный практикум» (Логика и компьютер. М., 1996. Вып. 3) – перв. учеб. пособие по логике, оснащен. компьютерн. программой.

Жил на Гоголевском бул., 27. Похоронен на кладб. «Ракитки».

Соч.: Формальный вывод и логические исчисления. М., 1972; Логические методы анализа научного знания. М., 1987; Теория логического вывода. М., 1999 (включена библиография трудов С.); Логико-философские труды. М., 2001.

Московская энциклопедия. Том 1: Лица Москвы. Книга 4: Р–Т. М.: ОАО «Московские учебники», 2012 (испр.)

Надгробие на могиле В.А.Смирнова на кладбище “Ракитки” (уч. 17). Фото 19.08.2022