Смирнов Владимир Александрович
[02.03.1931-12.02.1996]
|
Другие персоны с фамилией Смирнов
Другие персоны с именем Владимир Кто родился в этот день 02.03 Кто родился в этот год 1931 |
- специалист по символической логике, когнитологии, методологии науки; доктор философских наук, профессор
Род. в Москве.
Окончил философский факультет МГУ (1954), аспирантуру того же факультета по кафедре логики (1957).
В 1957-1961 работал старшим преподавателем кафедры философии Томского политехнического института.
С 1961 - в ИФ АН СССР (ныне РАН), в настоящее время - заведущим отделом эпистемологии, логики и философии науки и техники, а также руководитель логического центра этого института.
В 1991 организовал Общественный институт логики, когнитологии и развития личности, директором которого являлся. Преподавал в МГУ (с 1970).
Кандидатская диссертация - "Дедуктивный метод и построение научной теории" (1962).
Докторская диссертация - по книге "Формальный вывод и логические исчисления" (1973).
Смирновым получены результаты в разработке систем натурального вывода, процедур поиска натурального вывода, силлогистики, теории определимости, отношений между логическими системами и научными теориями; временных, релевантных и паранепротиворечивых логик; реконструкции логических идей Н.А.Васильева и построении двумерных и многомерных логик, генетического метода, проблем философии математики, взаимоотношений логики и онтологии, анализе систем Лесневского.
Литература и другие источники информации