Приглашаем посетить сайт
СМИРНОВ
СМИРНОВ Владимир Александрович (2 марта 1931, Москва -12 февраля 1996, Москва) - российский логик и философ, доктор философских наук, профессор. Окончил философский факультет МГУ (1954) и аспирантуру того же факультета по кафедре логики (1957). В 1957-1961 работал старшим преподавателем кафедры философии Томского политехнического института. С 1961 - в Институте философии АН СССР (ныне РАН), с 1988 - руководитель логического центра этого института, а с 1992 - заведующий отделом эпистемологии, логики и философии науки и техники. В 1991 организовал Общественный Институт логики, когнитологии и развития личности, директором которого являлся до конца жизни. Преподавал в МГУ с 1970. Докторскую диссертацию защитил в 1973 г, по книге "Формальный вывод и логические исчисления" (1972). Основатель ежегодника "Логические исследования" и его главный редактор. В течение многих лет руководил научно-исследовательским семинаром сектора логики Института философии РАН и являлся ответственным редактором трудов этого семинара.
В. А. Смирновым был получен целый ряд значительных результатов в различных областях логики. Разработаны системы секвенциального и натурального вывода с ?-терминами, оказавшимися удобным аппаратом для алгоритмизации процедур поиска доказательства теорем. Эти исследования привели его к работам в области создания компьютерных систем поддержки поиска доказательств. Построен целый спектр временных, модально-временных, релевантных и паранепротиворечивых логик. Особо следует отметить пионерские работы Смирнова в исследовании логик без правил сокращения и в области двухмерных и многомерных логик. В последнем случае рассматриваются атомные предложения различных типов. Он впервые поставил и начал исследовать проблему классификации логических исчислений и, в частности, классификации импликативньй логик. Смирнов привлек внимание мировой общественности к работам Н. А. Васильева и осуществил логическую реконструкцию его идей. Смирновым и рядом его учеников и коллег был получен ряд важных результатов в области силлогистики. Он оставил после себя учеников, работающих в разных разделах современной логики. В области философии и методологии науки Смирнов уделял большое внимание анализу научных теорий: способам их построения (в частности, генетическому методу), исследованию их логической структуры, отношениям между ними, способам введения терминов в состав теорий и т. д. На основе фундаментальных результатов, полученных им в теории определимости, он ввел в научный оборот несколько новых понятий об отношениях между теориями (дефинициальная погружаемость, дефинициальная эквивалентность, рекурсивная переводимость и др.), позволивших сравнивать теории с разной категориальной структурой. Этот понятийный аппарат был использован Смирновым для установления взаимосвязей между рядом теорий, напр., дедуктивной эквивалентности элементарной онтологии Лесневского и одноместного второпорядкового исчисления предикатов.
Соч.: Генетический метод построения научных теорий,- В кн.: Философские проблемы современной формальной логики. М-, 1962; Формальный вывод и логические исчисления. М„ 1972; Логические методы анализа научного знания. М., 1987; Доказательство и его поиск (монография).- В кн.: Логика и компьютер, вып. 3, M., 1996 (Соавт.: В. И. Маркин и др.); Уровни знания и этапы процесса познания.- В кн.: Проблемы логики научного познания. М., 1964; Логические идеи Н. А. Васильева.- В кн.: Труды по истории логики в России. М., 1962; Теория логического вывода. М., 1999 (имеется полная библиография работ В. А. Смирнова).
Лит.: АнисовА. А/. Концепция научной философии В. А. Смирнова,- В кн.: Философия науки, вып. 2. М., 1996; Бочаров В. А. Вклад В. А. Смирнова в развитие философской логики.- В кн.: Логическое кантоведение-4. Калининград, 1984; Карпенко А. С. Некоторые логические идеи В. А. Смирнова.- "ВФ", 1998, № 2; Михайлов Φ. Τ. Почти полвека длился спор.- Там же; Финн В. К. Владимир Смирнов: вехи творческой библиографии.- Там же; Результаты В. А. Смирнова в области современной формальной логики (под ред. А. С. Карпенко).- В кн.: Логические исследования, вып. 4. М., 1997; Кагpenko A. S. Note on the Smirnov's scientific activity: work and life (1931-1996).- "Bulletin of Section of Logic", 1998, ν. 27, ¹ 1-27; Philosophical logic and Logical philosophy. Essays in Honour of Vladimir A. Smirnov. Dordrect, 1996.
А. С. Карпенко