Смирнов Владимир Александрович (original) (raw)
XPOHOC
ВВЕДЕНИЕ В ПРОЕКТ
ФОРУМ ХРОНОСА
НОВОСТИ ХРОНОСА
БИБЛИОТЕКА ХРОНОСА
ИСТОРИЧЕСКИЕ ИСТОЧНИКИ
БИОГРАФИЧЕСКИЙ УКАЗАТЕЛЬ
ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ
ГЕНЕАЛОГИЧЕСКИЕ ТАБЛИЦЫ
СТРАНЫ И ГОСУДАРСТВА
ЭТНОНИМЫ
РЕЛИГИИ МИРА
СТАТЬИ НА ИСТОРИЧЕСКИЕ ТЕМЫ
МЕТОДИКА ПРЕПОДАВАНИЯ
КАРТА САЙТА
АВТОРЫ ХРОНОСА
Родственные проекты:
РУМЯНЦЕВСКИЙ МУЗЕЙ
ДОКУМЕНТЫ XX ВЕКА
ИСТОРИЧЕСКАЯ ГЕОГРАФИЯ
ПРАВИТЕЛИ МИРА
ВОЙНА 1812 ГОДА
ПЕРВАЯ МИРОВАЯ
СЛАВЯНСТВО
ЭТНОЦИКЛОПЕДИЯ
АПСУАРА
РУССКОЕ ПОЛЕ
Владимир Александрович Смирнов
Смирнов Владимир Александрович (2 марта 1931, Москва –12 февраля 1996, Москва) – российский логик и философ, доктор философских наук, профессор. Окончил философский факультет МГУ (1954) и аспирантуру того же факультета по кафедре логики (1957). В 1957–1961 годы работал старшим преподавателем кафедры философии Томского политехнического института. С 1961года – в Институте философии АН СССР (ныне РАН), с 1988 года – руководитель логического центра этого института, а с 1992 – заведующий отделом эпистемологии, логики и философии науки и техники. В 1991 организовал Общественный Институт логики, когнитологии и развития личности, директором которого являлся до конца жизни. Преподавал в МГУ с 1970. Докторскую диссертацию защитил в 1973 году по книге «Формальный вывод и логические исчисления» (1972). Основатель ежегодника «Логические исследования» и его главный редактор. В течение многих лет руководил научно-исследовательским семинаром сектора логики Института философии РАН и являлся ответственным редактором трудов этого семинара.
В.А. Смирновым был получен целый ряд значительных результатов в различных областях логики. Разработаны системы секвенциального и натурального вывода с ε-терминами, оказавшимися удобным аппаратом для алгоритмизации процедур поиска доказательства теорем. Эти исследования привели его к работам в области создания компьютерных систем поддержки поиска доказательств. Построен целый спектр временнЫх, модально-временнЫх, релевантных и паранепротиворечивых логик. Особо следует отметить пионерские работы Смирнова в исследовании логик без правил сокращения и в области двухмерных и многомерных логик. В последнем случае рассматриваются атомные предложения различных типов. Он впервые поставил и начал исследовать проблему классификации логических исчислений и, в частности, классификации импликативных логик. Смирнов привлек внимание мировой общественности к работам Н.А. Васильева и осуществил логическую реконструкцию его идей. Смирновым и рядом его учеников и коллег был получен ряд важных результатов в области силлогистики. Он оставил после себя учеников, работающих в разных разделах современной логики. В области философии и методологии науки Смирнов уделял большое внимание анализу научных теорий: способам их построения (в частности, генетическому методу), исследованию их логической структуры, отношениям между ними, способам введения терминов в состав теорий и т.д. На основе фундаментальных результатов, полученных им в теории определимости, он ввел в научный оборот несколько новых понятий об отношениях между теориями (дефинициальная погружаемость, дефинициальная эквивалентность, рекурсивная переводимость и др.), позволивших сравнивать теории с разной категориальной структурой. Этот понятийный аппарат был использован Смирновым для установления взаимосвязей между рядом теорий, напр., дедуктивной эквивалентности элементарной онтологии Лесневского и одноместного второпорядкового исчисления предикатов.
А.С. Карпенко
Новая философская энциклопедия. В четырех томах. / Ин-т философии РАН. Научно-ред. совет: В.С. Степин, А.А. Гусейнов, Г.Ю. Семигин. М., Мысль, 2010, т. III, Н – С, с. 574-575.
Смирнов Владимир Александрович (2.03.1931, Москва — 12.02.1996, Москва) - логик и философ, доктор философских наук, профессор. Окончил философский факультет МГУ (1954) и аспирантуру того же факультета по кафедре логики (1957). С 1961 года - в Институте философии АН СССР (РАН), с 1988 года - руководитель логического центра этого института, а с 1992 года – заведующий отделением эпистемологии, логики и философии науки и техники. В 1991 году организовал Общественный институт логики, когнитологии и развития личности, директором которого являлся до конца жизни. Докторскую диссертацию защитил в 1973 году по книге «Формальный вывод и логические исчисления» (1972). Основатель ежегодника «Логические исследования» и его главный редактор. Смирнов был получен ряд значительных результатов в различных областях логики. Разработаны системы секвенциального и натурального вывода с е-терминами, оказавшимися удобным аппаратом для алгоритмизации процедур поиска доказательства теорем. Эти исследования привели его к работам в области создания компьютерных систем поддержки поиска доказательств. Построен целый спектр временных, модально-временных, релевантных и паранепротиворечивых логик. Особо следует отметить пионерские работы Смирнова в исследовании логик без правил сокращения и в области двухмерных и многомерных логик. В последнем случае рассматриваются атомные предложения различных типов. Он впервые поставил и начал исследовать проблему классификации логических исчислений, и в частности классификации импликативных логик. Смирнов привлек внимание к работам Н. А. Васильева и осуществил логическую реконструкцию его идей. Им был получен ряд важных результатов в области силлогистики. В области философии и методологии науки Смирнов уделял большое внимание анализу научных теорий: способам их построения (в частности, генетическому методу), исследованию их логической структуры, отношениям между ними, способам введения терминов в состав теорий и т. д. На основе результатов, полученных им в теории определимости, он ввел в научный оборот несколько новых понятий об отношениях между теориями (дефинициальная погружаемость, дефинициальная эквивалентность, рекурсивная переводимость и др.), позволивших сравнивать теории с разной категориальной структурой.
А.С. Карпенко
Русская философия. Энциклопедия. Изд. второе, доработанное и дополненное. Под общей редакцией М.А. Маслина. Сост. П.П. Апрышко, А.П. Поляков. – М., 2014, с. 575-576.
Сочинения: Генетический метод построения научных теорий // Философские проблемы современной формальной логики. М., 1962; Формальный вывод и логические исчисления. М., 1972; Логические методы анализа научного знания. М., 1987; Доказательство и его поиск (монография) // Логика и компьютер. М., 1996. Вып. 3 (в соавт.); Уровни знания и этапы процесса познания II Проблемы логики научного познания. М., 1964; Логические идеи Н. А. Васильева // Труды по истории логики в России. М., 1962; Теория логического вывода. М., 1999 (имеется полная библиография работ В. А. Смирнова).
Литература: Анисов А. М. Концепция научной философии В. А. Смирнова // Философия науки. М., 1996. Вып. 2; Бочаров В. А. Вклад В. А. Смирнова в развитие философской логики // Логическое кантоведение-4. Калининград, 1984; Карпенко А. С. Некоторые логические идеи В. А. Смирнова // Вопросы философии. 1997. № 2; Михайлов Ф. Т. Почти полвека длился спор // Там же; Финн В К. Владимир Смирнов: вехи творческой биографии // Там же; Результаты В. А. Смирнова в области современной формальной логики // Логические исследования М., 1997. Вып. 4; Владимир Александрович Смирнов (Сер. «Философия России второй половины XX века»). М., 2010; Karpenko A. S. Note on the Smirnov's scientific activity: work and life (1931-1996) // Bulletin of Section of Logic. 1998. V. 27. № 1-27; Philosophical logic and Logical philosophy. Essays in Honour of Vladimir A. Smirnov. Dordrect, 1996.
Далее читайте:
Философы, любители мудрости (биографический указатель).
Русская национальная философия в трудах ее создателей (специальный проект ХРОНОСа).
Сочинения:
Генетический метод построения научных теорий. – В кн.: Философские проблемы современной формальной логики. M., I962;
Формальный вывод и логические исчисления. М., 1972;
Логические методы анализа научного знания. М., 1987;
Доказательство и его поиск (монография). – В кн.: Логика и компьютер, вып. 3. М., 1996 (Соавт.: В.И.Маркин и др.);
Уровни знания и этапы процесса познания. – В кн.: Проблемы логики научного познания. М., 1964;
Логические идеи Н.А. Васильева. – В кн.: Труды по истории логики в России. М., 1962;
Теория логического вывода. М., 1999 (имеется полная библиография работ В.А.Смирнова).
Литература:
Анисов А.М. Концепция научной философии В.А.Смирнова. – В кн.: Философия науки, вып. 2. М., 1996;
Бочаров В.А. Вклад В.А.Смирнова в развитие философской логики. – В кн.: Логическое кантоведение-4. Калининград, 1984;
Карпенко А.С. Некоторые логические идеи В.А.Смирнова. – «ВФ», 1998, № 2;
Михайлов Ф.Т. Почти полвека длился спор. – Там же;
Финн В.К. Владимир Смирнов: вехи творческой библиографии. – Там же;
Результаты В.А.Смирнова в области современной формальной логики (под ред. А.С.Карпенко). – В кн.: Логические исследования, вып. 4. М., 1997;
Karpenko A.S. Note on the Smirnov’s scientific activity: work and life (1931–1996). – «Bulletin of Section of Logic», 1998, v. 27, № 1–27;
Philosophical logic and Logical philosophy. Essays in Honour of Vladimir A.Smirnov. Dordrect, 1996.