Научная деятельность В.А.Смирнова

Актуальные публикации по вопросам философии. Книги, статьи, заметки.

NEW ФИЛОСОФИЯ


ФИЛОСОФИЯ: новые материалы (2024)

Меню для авторов

ФИЛОСОФИЯ: экспорт материалов
Скачать бесплатно! Научная работа на тему Научная деятельность В.А.Смирнова. Аудитория: ученые, педагоги, деятели науки, работники образования, студенты (18-50). Minsk, Belarus. Research paper. Agreement.

Полезные ссылки

BIBLIOTEKA.BY Беларусь - аэрофотосъемка HIT.BY! Звёздная жизнь


Публикатор:
Опубликовано в библиотеке: 2005-02-01

А.С.Карпенко

Владимир Александрович Смирнов родился 2 марта 1931 г. в Москве. Его предки, насколько это можно проследить, были вековыми москвичами. Он учился на философском факультете Московского государственного университета (1949-1954) и закончил аспирантуру этого же университета по кафедре логики в 1957 г. Руководителем его дипломной и кандидатской работы был известный российский философ и логик В.Ф.Асмус. Курс математической логики В.А.Смирнов слушал сначала у С.А.Яновской, а затем у выдающегося российского логика А.А.Маркова, первого заведующего кафедрой математической логики на математическом факультете Московского университета. В 1957-1961 гг. работал старшим преподавателем кафедры философии Томского политехнического института, где была опубликована его первая научная работа под названием "Является ли классическая логика универсальной?" (1958). В 1961 г., возвратившись в Москву, начал работать в Институте философии Российской академии наук, где и проработал до конца своих дней. В 1962 г. им была защищена кандидатская диссертация на тему "Дедуктивный метод и построение научной теории". С 1970 г. и опять же до конца жизни В.А.Смирнов работал преподавателем, а затем с 1979 г. профессором кафедры логики философского факультета Московского Университета, где читал наиболее сложные и важные специальные курсы по формальной логике. Именно работа в Москве и сделала В.А. Смирнова знаменитым.

Здесь надо сказать несколько слов об атмосфере того времени, в которой происходило становление формальной логики как философской дисциплины. С самого того времени, когда были учреждены в 1947 г. кафедра логики на философском факультете Московского университета и сектор логики в Институте философии Российской академии наук, шла ожесточенная борьба между сторонниками формальной логики как отдельной научной дисциплины, обязательной для изучающих философию, и сторонниками диалектической логики, считавшими, что есть только одна логика и эта логика есть один из разделов марксистско-ленинской философии. В победе первого направления значительную роль сыграл В.А.Смирнов.

С другой стороны, уже значительно позже, начиная с конца 70-х годов, В.А.Смирнову в Институте философии пришлось вести напряженную борьбу против попыток превратить философскую логику в один из разделов методологии науки. Борьба закончилась тем, что из неформального лидера, которым В.А.Смирнов являлся уже многие годы, он становится в начале 1988 г. официально признанным лидером, возглавив сектор логики в Институте философии. Под его руководством сектор логики получил мировое признание как логического центра в нашей стране.

Большим событием в истории отечественной логики стала защита В.А.Смирновым в 1973 г. докторской диссертации по книге "Формальный вывод и логические исчисления", опубликованной в 1972 г. Монография стала классической, содержит целый ряд важных технических результатов в области современной формальной логики и изобиловала совершенно новыми идеями. Впервые в мировой литературе было положено начало исследованию логик без правил сокращения и рассмотрены методы доказательства разрешимости подобных логик. В этой же книге впервые был поставлен и обсужден вопрос о классификации логических исчислений. Дальнейшей разработкой этой проблематики занялись его ученики.

При публикации другой монографии "Логические методы анализа научного знания" (1987). В.А.Смирнову пришлось преодолеть большое сопротивление (см. выше). Значительное место в данной книге занимает тема сравнения теорий и, в первую очередь, аксиоматических теорий. На самом деле В.А.Смирнов разрабатывал теорию сравнения теорий. Он формулирует понятие несущественного расширения теории, переводимого расширения и анализирует с их помощью логические отношения между теориями, сформулированными в разных языках и на базе различных логик. Он рассматривает целый спектр различных типов отношений между теориями -погружающие операции, вложимость одной теории в другую, рекурсивную эквивалентность, относительную эквивалентность – и доказывает ряд теорем, описывающих их свойства. В дальнейшем В.А.Смирнов неоднократно использовал разработанные им методы в своих исследованиях взаимоотношения различных теорий. Одним из последних его результатов является доказательство эквивалентности онтологии Лесневского и оккамовской силлогистики Несомненно его результаты и идеи в данной области еще ждут своего признания.

Вообще деятельность В.А.Смирнова в области формальной логики была исключительно многообразной и основные её направления можно суммировать так:

Релевантные логики;Логики без правил сокращения; Иерархия логических исчислений и их классификация; Импликативные логики и их классификация; Теория доказательств; Определимость и логические отношения между теориями; Модально-временные логики; Комбинированные логики; Многомерные логики; Силлогистика; Системы Лесневског; Паранепротиворечивые логики; Совершенно свободные логики.

Следует особо отметить, что В.А.Смирновым (1962) был открыт для широкой логической общественности русский логик Н.А.Васильев, оказавшийся одним из предшественников paraconsistent and many-valued logics.На VIII Международном Конгрессе по логике, Методологии и Философии науки им был сделан доклад "The logical ideas of N.Vasil'ev and modern logic".

В.А.Смирнов был участником всех этих Конгрессов, начиная с III (1967), а в период с 1971 по 1975 гг. был асессором в Отделении Логики, Методологии и Философии Науки при Международном Объединении Истории и Философии Наук.

Несмотря на активную научно-исследовательскую деятельность (было опубликовано около 150 научных работ), В.А.Смирнов много времени уделял редакторской работе. Многие годы был членом редколлегии журналов "Studia Logica", "Bulletin of the Section of Logic", "Вопросы философии"; членом редакционных советов журналов "Non-classical Logic"(Бразилия), "From the Logical Point of View" (Чехия).Начиная с 1982 г. начали выходить "Труды научно-исследовательского семинара по логике" в Институте философии РАН, а с 1993 г., благодаря его усилиям, стало выходить первое в стране периодическое издание по логике – ежегодник "Логические исследования". Главным редактором обоих изданий был В.А.Смирнов. Под его редакцией были опубликованы на русском языке труды многих известных современных зарубежных логиков.

Научно-исследовательским семинаром по логике В.А.Смирнов руководил в течение четверти века. Руководил он им виртуозно, вникая в тончайшие детали очередного доклада. На семинаре выступали не только логики-философы и логики-математики со всего бывшего Советского Союза, но и многие зарубежные ученые.

В.А.Смирнов обладал большими организаторскими способностями. Ему принадлежит ведущая роль в организации всех одиннадцати Всесоюзных, а позднее - Всероссийских и Международных конференций по логике, методологии и философии науки в 1960-1995 гг. Обладая большим международным авторитетом В.А.Смирнов организовал восемь Российско-финских, три Российско-польских и один Российско-японский симпозиум по логике. Был приглашен и выступал с лекциями в США, Великобритании, Польше, Венгрии и других странах.

Можно сказать, что в последние годы жизни его творческие и организаторские способности еще более усиливаются. В 1992 он становится руководителем Отдела Эпистемологии, Логики и Философии Науки и Техники и руководителем Центра Логических исследований Российской Академии Наук. В 1990-1991 г. он основывает и становится директором Института Логики Когнитологии и Развития Личности. В 1994 г. под его руководством выходит двухтомная коллективная монография "Логика и клиническая диагностика", а в 1996 г. выходит коллективная монография "Доказательство и его поиск (Курс логики и компьютерный практикум)", главным редактором и одним из авторов которой он является. Это первое в отечественной литературе руководство по логике, оснащенное компьютерной программой.

Однако эту книгу Владимир Александрович уже не увидел. Он умер после тяжелой болезни 12 февраля 1996 г. В.А.Смирнов был блестящим педагогом и большим ученым, много сделавшим для развития логической науки. Международное признание заслуг В.А.Смирнова нашло выражение в издании сборника “Philosophical Logic and Logical Philosophy. Essay in Honour of Vladimir A.Smirnov” (Kluwer Academic Publishers, 1996), посвященной его памяти. В написании этой книги приняли участие логики и философы науки с мировой известностью. После Владимира Александровича остались многочисленные ученики, работающие, как в России, так и за её пределами. Дом его всегда был открыт для учеников, ставших его друзьями, и во все времена, как бы не были они тяжелы, там можно было найти успокоение и помощь.

Новые статьи на library.by:
ФИЛОСОФИЯ:
Комментируем публикацию: Научная деятельность В.А.Смирнова


Искать похожие?

LIBRARY.BY+ЛибмонстрЯндексGoogle
подняться наверх ↑

ПАРТНЁРЫ БИБЛИОТЕКИ рекомендуем!

подняться наверх ↑

ОБРАТНО В РУБРИКУ?

ФИЛОСОФИЯ НА LIBRARY.BY

Уважаемый читатель! Подписывайтесь на LIBRARY.BY в VKновости, VKтрансляция и Одноклассниках, чтобы быстро узнавать о событиях онлайн библиотеки.