Л и т.: Артемьева Т. В. История метафизики в России 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). Основатель ежегодника "Логические исследования" и его главный редактор. С. был получен ряд значительных результатов в различных областях логики. Разработаны системы секвенциального и натурального вывода с е-терминами, оказавшимися удобным аппаратом для алгоритмизации процедур поиска доказательства теорем. Эти исследования привели его к работам в области создания компьютерных систем поддержки поиска доказательств. Построен целый спектр временных, модально-временных, релевантных и паранепротиворечивых логик. Особо следует отметить пионерские работы С. в исследовании логик без правил сокращения и в области двухмерных и многомерных логик. В последнем случае рассматриваются атомные предложения различных типов. Он впервые поставил и начал исследовать проблему классификации логических исчислений, и в частности классификации импликативных логик. С. привлек внимание к работам Н. А. Васильева и осуществил логическую реконструкцию его идей. Им был получен ряд важных результатов в области силлогистики. В области философии и методологии науки С. уделял большое внимание анализу научных теорий: способам их построения (в частности, генетическому методу), исследованию их логической структуры, отношениям между ними, способам введения терминов в состав теорий и т. д. На основе результатов, полученных им в теории определимости, он ввел в научный оборот несколько новых понятий об отношениях между теориями (дефинициальная погружаемость, дефинициальная эквивалентность, рекурсивная переводимость и др.), позволивших сравнивать теории с разной категориальной структурой.
С о ч.: Генетический метод построения научных теорий // Философские проблемы современной формальной логики. М., 1962; Формальный вывод и логические исчисления. М., 1972; Логические методы анализа научного знания. М., 1987; Доказательство и его поиск (монография) // Логика и компьютер. М, 1996. Вып. 3 (в соавт.); Уровни знания и этапы процесса познания // Проблемы логики научного познания. М., 1964; Логические идеи Н. А. Васильева // Труды по истории логики в России. М., 1962; Теория логического вывода. М., 1999 (имеется полная библиография работ В. А. Смирнова).
Л и т.: Анисов А. М. Концепция научной философии В. А. Смирнова // Философия науки. М., 1996. Вып. 2; Бочаров В. А. Вклад В. А. Смирнова в развитие философской логики // Логическое кантоведение-4. Калининград, 1984; Карпенко А. С. Некоторые логические идеи В. А. Смирнова // Вопросы философии. 1997. № 2; Михайлов Ф. Т. Почти полвека длился спор // Там же; Финн В. К. Владимир Смирнов: вехи творческой биографии // Там же; Результаты В. А. Смирнова в области современной формальной логики // Логические исследования. М., 1997. Вып. 4; Karpenko A. S. Note on the Smirnov's scientific activity: work and life (1931–1996) // Bulletin of Section of Logic. 1998. V. 27. № 1-27; Philosophical logic and Logical philosophy. Essays in Honour of Vladimir A. Smirnov. Dordrect, 1996.
А. С. Карпенко
СМИРНОВ Георгий Лукич (14.11.1922, хутор Антонов Октябрьского р-на Волгоградской обл. — 29.11.1999, Москва) — специалист в области политологии и социальных прблем. Окончил исторический ф-т Сталинградского педагогического ин-та (1952). Д-р философских наук, проф., академик АН СССР (с 1987). С 1948 г. — на партийной и преподавательской работе. 1962–1965 гг. — редактор отдела, член редколлегии журн. "Коммунист", в 1969 — 1983 гт. — зам., первый зам. зав. отделом пропаганды ЦК КПСС, в 1983–1985 гг. — директор Ин-та философии АН СССР, в 1985 — 1987 гг. — помощник генерального секретаря ЦК КПСС, в 1987–1991 гг. — директор Ин-та марксизма-ленинизма при ЦК КПСС. С 1992 г. — главный научный сотрудник Ин-та философии РАН. Осн. научные интересы — в области исторического материализма, теории социализма, истории социалистической мысли. Исследуя природу личности, С. пришел к выводу о том, что в СССР сформировался советский человек как социалистический тип личности, дал характеристику его осн. черт. По мнению С, исторический тип личности — не манифестация или конструкция неких идеальных социально-этических норм, а продукт реального положения людей в системе общественных отношений, поэтому и изучать его следует эмпирически, исходя из этих отношений. Анализируя роль субъективного фактора в развитии об-ва, С. высказал мысль о том, что его прогресс определяется не столько уровнем познания общих законов социального развития, сколько пониманием специфики общественных отношений на конкретном этапе. Перестройку С. связывал с восстановлением в идеологии и во всех сферах жизни приоритета человека, гуманистических ценностей. Выступал за многофакторный подход к изучению массовых форм общественного сознания.
С о ч.: Демократия, свобода и ответственность личности. М., 1968; Советский человек. Формирование социалистического типа личности. М., 1971 (3-е изд. — 1981); Революционная сущность перестройки. М., 1987; Исторический опыт Октября и перестройка // Страницы истории КПСС: факты, проблемы, уроки. М., 1988; Общечеловеческий интерес и интересы классов // Страницы истории советского общества. М., 1989; Ленинское видение социализма. М., 1990.
Ю. Н. Солодухин
СМИРНОВА Зинаида Васильевна (24.10.1913, Фергана) — специалист по истории рус. философии и эстетики, д-р философских наук. Окончила философский ф-т МИФЛИ (1938). С 1944 г. — старший научный сотрудник Ин-та философии АН СССР (РАН). Докторская диссертация — "Социальная философия А. И. Герцена" (1971). Принимала участие в философской дискуссии по книге Александрова "История западноевропейской философии" (1947). Член редколлегии коллективных изданий "Очерки по истории философской и общественно-политической мысли народов СССР" (в 2 т. 1955–1956); "История философии в СССР" (в 5 т. 1968–1988), "Гегель и философия в России" (1974), 30-томного Собр. соч. А. И. Герцена (1955–1965). С. - ведущий специалист по философии Герцена и рус. революционно-демократической эстетике. Трактует характерные особенности рус. философии XIX в. как обусловленные в значительной степени экономической и общественно-политической ситуацией в России, противоречиями между "образованным обществом" и народной массой, исследует связь рус. философской мысли с западноевропейской. С. подчеркивает необходимость учета индивидуального своеобразия философских взглядов отечественных мыслителей, не связанных институционально с определенными школами.
