Смирнов Владимир Александрович
       > НА ГЛАВНУЮ > БИОГРАФИЧЕСКИЙ УКАЗАТЕЛЬ > УКАЗАТЕЛЬ С >

ссылка на XPOHOC

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

1931-1996

БИОГРАФИЧЕСКИЙ УКАЗАТЕЛЬ


XPOHOC
ВВЕДЕНИЕ В ПРОЕКТ
ФОРУМ ХРОНОСА
НОВОСТИ ХРОНОСА
БИБЛИОТЕКА ХРОНОСА
ИСТОРИЧЕСКИЕ ИСТОЧНИКИ
БИОГРАФИЧЕСКИЙ УКАЗАТЕЛЬ
ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ
ГЕНЕАЛОГИЧЕСКИЕ ТАБЛИЦЫ
СТРАНЫ И ГОСУДАРСТВА
ЭТНОНИМЫ
РЕЛИГИИ МИРА
СТАТЬИ НА ИСТОРИЧЕСКИЕ ТЕМЫ
МЕТОДИКА ПРЕПОДАВАНИЯ
КАРТА САЙТА
АВТОРЫ ХРОНОСА

Родственные проекты:
РУМЯНЦЕВСКИЙ МУЗЕЙ
ДОКУМЕНТЫ XX ВЕКА
ИСТОРИЧЕСКАЯ ГЕОГРАФИЯ
ПРАВИТЕЛИ МИРА
ВОЙНА 1812 ГОДА
ПЕРВАЯ МИРОВАЯ
СЛАВЯНСТВО
ЭТНОЦИКЛОПЕДИЯ
АПСУАРА
РУССКОЕ ПОЛЕ
1937-й и другие годы

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

Смирнов Владимир Александрович (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.

 

 

 

 

ХРОНОС: ВСЕМИРНАЯ ИСТОРИЯ В ИНТЕРНЕТЕ



ХРОНОС существует с 20 января 2000 года,

Редактор Вячеслав Румянцев

При цитировании давайте ссылку на ХРОНОС