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

02.03.1931 — 12.02.1996

Выдающийся специалист по символической логике, когнитологии, методологии науки; доктор философских наук, профессор.

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

Наверх