Биография Смирнов Владимир Александрович

(02.03.1931-12.02.1996) — спец. по символической логике, когнитологии, методол. науки; д-р филос. наук, проф. Род. в Москве.
Окончил филос. ф-т МГУ (1954), асп. того же ф-та по кафедре логики (1957). В 1957-1961 работал ст. преп. кафедры филос. Томского политехн. ин-та. С 1961 — в ИФ АН СССР (ныне РАН), в наст. вр. — зав. отделом эпистемологии, логики и филос. науки и техники, а также рук. логич. центра этого ин-та. В 1991 организовал Обществ, ин-т логики, когнитологии и развития личности, директором к-рого являлся.
Преподавал в МГУ (с 1970). Канд. дисс. — «Дедуктивный метод и построение научной теории» (1962). Докт. дисс. — по кн. «Формальный вывод и логические исчисления» (1973). С. получены результаты в разработке систем натурального вывода, процедур поиска натурального вывода, силлогистики, теории определимости, отношений между логич. системами и науч. теориями; временных, релевантных и паранепротиво-речивых логик; реконструкции логич. идей Н. А. Васильева и построении двумерных и многомерных логик, генетического метода, проблем филос. математики, взаимоотношений логики и онтол., анализе систем Лесневского.
С. были получены значительные результаты в раз л. обл. логики.
Разработаны системы секвенциального и натурального вывода с е-терминами, оказавшимися удобным аппаратом для алгоритмизации процедур поиска док-ва теорем.
Эти иссл. привели С. к работам в обл. создания компьютерных систем поддержки поиска док-в. Построены разл. варианты временных, модально-временных, релевантных и паранепротиворечивых логик. Особо следует отметить пионерные работы С. в иссл. логик без правил сокращения и в обл. двумерных и многомерных логик. В посл. случае рассматриваются атомарные предложения разл. типов. Он впервые поставил и начал исследовать проблему классификации логич. исчислений и, в частности, классификации импликативных логик. С. явился первооткрывателем для мировой логики выдающегося рус. ученого Н. А. Васильева и осуществил логич. реконструкцию его результатов в обл. силлогистики.
С. оставил после себя школу учеников, работающих в разных разделах совр. логики.
В обл. филос. и методол. науки С. уделял большое внимание анализу науч. теорий: способам их построения (в частности, генетическому методу), иссл. их логич. структуры, отношениям между ними, способам введения терминов в состав теорий и т. д. На основе фундам. результатов, полученных им в теории определимости, ввел в науч. оборот несколько новых понятий об отношениях между теориями (дефинициальная погружаемость, дефинициальная эквивалентность, рекурсивная переводимость и др.), позволивших сравнивать теории с разной категориальной структурой.
Этот понятийный аппарат был использован С. для установления взаимосвязей между разл. теориями, напр., была доказана дедуктивная эквивалентность элементарной онтологии Лесневского и одноместного второпорядкового исчисления предикатов.
А. С. Карпенко, В. Н. Садовский Соч.: Генетический метод построения научных теорий — Философские проблемы современной формальной логики.
М., 1962; Логические идеи Н. А. Васильева — Труды по истории логики в России.
М., 1962; О достоинствах и ошибках одной философской концепции (критические заметки о теории языковых каркасов Р. Карнапа) — Философия марксизма и неопозитивизм.
М., 1963; Уровни знания и этапы процесса познания — Проблемы логики научного познания.
М., 1964 (пер. на нем., англ. и румынский яз.); Elimination des termes dans la logique intuitioniste — Revue Internationale de philosophie. 1971. № 98; Формальный вывод и логические исчисления.
М., 1972; An absolute first order predicate calculus — Bulletin of the Section of Logic. 1973; Об отношениях между символической логикой и философией — Философия в современном мире. Философия и логика.
М., 1974; Адекватный перевод силлогистических утверждений в исчисление предикатов — Актуальные проблемы логики и методологии.
Киев, 1980; The definition of modal operators by means of tense operators — Ada Philosophica Fennica. 1982. Vol. 35; Modality «de re» and Vasiliev s imaginary logics — Logique et Analyse. 1986. Vol.414; Logical relations between theories — Synthese. 1986. Vol.66; Творчество, открытие и логические методы поиска доказательств — Природа научного открытия.
М., 1986; Логические методы анализа научного знания.
М., 1987; Strict embedding of the elementary ontology into the predicate calculus of second order with individual domain — Studia logica. 1987. Vol. XLVI. № 1; Assertion and predication. Combined calculus of sentences and events — Intentional logic, history of philosophy and methodology. Budapest, 1988; Logical ideas of NA. Vasiliev and modern logic — Logic, methodology and philosophy of science. VIII. Amsterdam, 1989; Логика и компьютер. [В соавт.]. М., 1990; Проблема истинности в логической семантике. [В соавт.] — Теория познания.
Т.2. М., 1991; Дважды алгебры и симметрические логики — Логические исследования.
Вып.1. М., 1993; Дефинициальная эквивалентность элементарной онтологии и обобщенной силлогистики оккамовского типа — Там же. Вып.2. М., 1993; Многомерные логики — Там же; Поиск доказательства в натуральном интуиционистском исчислении предикатов с е-символом и предикатом существования — Там же. Вып.3. М., 1995; Доказательство и его поиск. [В соавт.] — Логика и компьютер.
Вып.3. М., 1996; Free logics and quite free logics (Свободные логики и совершенно свободные логики) — Логические исследования.
Вып.4. 1997; Классическая и неклассическая логики.
М., 1999; Логика и философия науки. М., 1999. (Библиографию научных трудов В А. Смирнова см. в кн.: Логические исследования.
Вып.4. М., 1997.) Смирнов, Владимир Александрович (30. 09. 1937-27. 11. 1995) Род. в пос. Терибирка Мурманской обл. в семье служащего.
Окончил Кировский горный техникум (1957) и Литинститут (1965). Работал на Мурманском телевидении (1965-70), в Севрыбхолодфлоте (1970- 73), корреспондентом газ. «Мурманский вестник» (до 1995). Автор кн., в т. ч.: Живое вокруг нас. Мурманское изд-во, 1985; Побережник.
Мурманское изд-во, 1987; Поворотная вода. Мурманское изд-во, 1989; Поклонный крест. Мурманск, 1993. Член СП СССР (1978). Жил в Мурманске.
По материалам анкеты.