Смирнов, Владимир Александрович

(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).

Жил в Мурманске.