Философская энциклопедия - серебрянников

СЕРЕБРЯННИКОВ Олег Федорович (4 августа 1930, Ленинград — 12 июля 1991, Ленинград) — русский логик и философ. В 1949 поступил на философский факультет Ленинградского государственного университета, который закончил в 1953. После окончания аспирантуры на кафедре логики ЛГУ работал на этой кафедре до последних дней. Получил степень доктора философии в 1976 за работу “Теория логического вывода и эвристические методы мышления”. В 1976—1978 преподавал логику и философию в университете Гаваны (Куба). С 1984 — профессор кафедры логики ЛГУ.

Научные интересы были сосредоточены гл. о. на разработке дедуктивного метода в науке и анализе доказательств средствами современной математической логики. Большая часть его работ посвящена теории доказательств, применению методов Гильберта Α особенно Гением в неклассической логике. Он один из первых анализировал эвристические принципы, заложенные в логических исчислениях различных типов, а также критерии оценки качества логических выводов в формальных стистемах. Его книга “Эвристические принципы и логические исчисления” получила международное признание (перевод на немецкий 1974, Берлин). Серебрянниковым предложены нестандартные способы построения исчисления секвенций и систем натурального вывода, которые особенно эффективны в модальной, релевантной и паранепротиворечивой логиках, а также новый варлант доказательства усиленной теоремы о нормальной форме логических выводов в кванторных системах с модальностями. Его идеи об элементарном доказательстве непротиворечивости второпорядковой арифметики открывают новую перспективу для обсуждения фундаментальных проблем строгого обоснования непротиворечивости богатых формальных теорией.

Соч.: Эвристические принципы и логически? исчисления. М., 1970; Нормальные формы логических доказательств.— В кн.: Логический вывод. М., 1979; Элементарное доказательство теоремы об устранении сечения во второпорядковой логике.— В кн.: Исследования по неклассическим логикам. М., 1989; An Extentiön of Gentzen's Analysis of Logical Deduction to Second-Order Logic,— В кн.: Philosophical Logic and Logical Philosophy, P. I. Bystrov and V N. Sadovsky (eds.). Kluwer Academic Publishers, 1996; П. И. Быстрое

Новая философская энциклопедия: В 4 тт. М.: Мысль.

Под редакцией В. С. Стёпина.

2001.