|
Об авторах
  Смирнов Владимир Александрович Доктор философских наук, профессор. Родился 2 марта 1931 г. в Москве. Учился на философском факультете Московского государственного университета имени М. В. Ломоносова (1949–1954) и закончил аспирантуру этого же университета по кафедре логики в 1957 г. Руководителем его дипломной и кандидатской работы был известный российский философ и логик В. Ф. Асмус. Некоторые разделы логики В. А. Смирнов слушал у С. А. Яновской, а затем у выдающегося российского логика А. А. Маркова, первого заведующего кафедрой математической логики на математическом факультете Московского университета. В 1957–1961 гг. работал старшим преподавателем кафедры философии Томского политехнического института, где была опубликована его первая научная работа под названием «Является ли классическая логика универсальной?» (1958). В 1961 г., возвратившись в Москву, начал работать в Институте философии Академии наук СССР (ныне РАН), где и проработал до конца своих дней. В 1962 г. им была защищена кандидатская диссертация на тему «Дедуктивный метод и построение научной теории». С 1970 г. и до конца жизни В. А. Смирнов работал преподавателем, а затем, с 1979 г., профессором кафедры логики философского факультета Московского университета, где читал наиболее сложные и важные специальные курсы по формальной логике. Основал ежегодник «Логические исследования» и был его главным редактором, а также членом редколлегии журнала «Вопросы философии».
Владимир Александрович Смирнов принадлежал к выдающемуся созвездию выпускников философского факультета Московского государственного университета в середине XX столетия. Это было поколение, которое возродило философию в России, создало новые школы и способствовало появлению новых направлений в логике, методологии и философии науки. Все важнейшие события в области логики, которые имели место в последние три десятилетия XX века в России, были связаны с научной и организационной деятельностью В. А. Смирнова.  Финн Виктор Константинович Известный специалист в области искусственного интеллекта, логики и методологии наук о жизни и социальном поведении. Доктор технических наук (1990; тема диссертации — «Правдоподобные рассуждения в экспертных системах с неполной информацией»), профессор, заслуженный деятель науки Российской Федерации. В настоящее время — главный научный сотрудник Федерального исследовательского центра «Информатика и управление» РАН, а также руководитель Отделения интеллектуальных систем в гуманитарной сфере Российского государственного гуманитарного университета.
Основные научные результаты: формализация n-значных обобщений трехзначной логики Д. А. Бочвара и исследование их алгебраических свойств; установление предполноты множества функций n-значных логик Я. Лукасевича, таких, что n–1 есть простое число; построение логик аргументации с неассоциативными логическими связками; создание ДСМ-метода автоматизированной поддержки исследований (ранее — ДСМ-метод автоматического порождения гипотез), содержащего автоматизированные правдоподобные рассуждения, которые применяются в интеллектуальных системах для фармакологии, медицины, социологии и криминалистики. В своих исследованиях В. К. Финн существенным образом использует идеи выдающихся отечественных логиков Д. А. Бочвара и А. В. Кузнецова. |