Русская Философия. Энциклопедия

Л и т.: Артемьева Т. В. История метафизики в России XVIII ве­ка. Спб., 1996. ВишевИ. В. Проблема личного бессмертия. Но­восибирск, 1990; Давыдов Ю. Н. Этика любви и метафизика своеволия: Проблемы нравственной философии. М., 1989;Де-мичев А. В. Дискурсы смерти. Введение в философскую тана­тологию. Спб., \991, Исупов К. Г. Русская философская танато­логия // Вопросы философии. 1994. № 3,Пугачев О. С. Этиче­ский контекст проблемы бессмертия в русской религиозной философии (конец XIX- начало XX в.). 1998; Сабиров В. Ш. Русская идея спасения. (Жизнь и смерть в русской филосо­фии). Спб., 1995; Семенова С. Г. Философ будущего века: Ни­колай Федоров. М., 2004; Трубников Н. Н. Проблема смерти, времени и цели человеческой жизни (через смерть и время к вечности) // Философские науки. 1990. № 2; Фетисов В. П. Фи­лософия морали. Воронеж, 1995; Хоружий С. С. О старом и новом. Спб., 2000.

В. В. Варат

СМИРНОВ Владимир Александрович (2.03.1931, Москва -12.02.1996, Москва) - логик и философ, д-р философских наук, проф. Окончил философский ф-т МГУ (1954) и аспи­рантуру того же ф-та по кафедре логики (1957). С 1961 г. - в Ин-те философии АН СССР (РАН), с 1988 г. - руководи­тель логического центра этого ин-та, а с 1992 г. - зав. отд. эпистемологии, логики и философии науки и техники. В 1991 г. организовал Общественный ин-т логики, когнитологии и развития личности, директором к-рого являлся до конца жизни. Докторскую диссертацию защитил в 1973 г. по кн. «Формальный вывод и логические исчисления» (1972). Основатель ежегодника «Логические исследова­ния» и его главный редактор. С. был получен ряд значи­тельных результатов в различных областях логики. Разра­ботаны системы секвенциального и натурального выво­да с е-терминами, оказавшимися удобным аппаратом для алгоритмизации процедур поиска доказательства теорем. Эти исследования привели его к работам в области созда­ния компьютерных систем поддержки поиска доказа­тельств. Построен целый спектр временных, модально-временных, релевантных и паранепротиворечивых логик. Особо следует отметить пионерские работы С. в исследо­вании логик без правил сокращения и в области двухмер­ных и многомерных логик. В последнем случае рассмат­риваются атомные предложения различных типов. Он впервые поставил и начал исследовать проблему класси­фикации логических исчислений, и в частности класси­фикации импликативных логик. С. привлек внимание к работам Н. А. Васильева и осуществил логическую ре­конструкцию его идей. Им был получен ряд важных ре­зультатов в области силлогистики. В области философии и методологии науки С. уделял большое внимание анали­зу научных теорий: способам их построения (в частно­сти, генетическому методу), исследованию их логичес­кой структуры, отношениям между ними, способам вве­дения терминов в состав теорий и т. д. На основе результа­тов, полученных им в теории определимости, он ввел в научный оборот несколько новых понятий об отношени­ях между теориями (дефинициальная погружаемость, дефинициальная эквивалентность, рекурсивная переводимость и др.), позволивших сравнивать теории с разной категориальной структурой.