Серебрянников Олег Федорович
       > НА ГЛАВНУЮ > БИОГРАФИЧЕСКИЙ УКАЗАТЕЛЬ > УКАЗАТЕЛЬ С >

ссылка на XPOHOC

Серебрянников Олег Федорович

1930-1991

БИОГРАФИЧЕСКИЙ УКАЗАТЕЛЬ


XPOHOC
ВВЕДЕНИЕ В ПРОЕКТ
БИБЛИОТЕКА ХРОНОСА
ИСТОРИЧЕСКИЕ ИСТОЧНИКИ
БИОГРАФИЧЕСКИЙ УКАЗАТЕЛЬ
ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ
ГЕНЕАЛОГИЧЕСКИЕ ТАБЛИЦЫ
СТРАНЫ И ГОСУДАРСТВА
ЭТНОНИМЫ
РЕЛИГИИ МИРА
СТАТЬИ НА ИСТОРИЧЕСКИЕ ТЕМЫ
МЕТОДИКА ПРЕПОДАВАНИЯ
КАРТА САЙТА
АВТОРЫ ХРОНОСА

ХРОНОС:
В Фейсбуке
ВКонтакте
В ЖЖ
Twitter
Форум
Личный блог

Родственные проекты:
РУМЯНЦЕВСКИЙ МУЗЕЙ
ДОКУМЕНТЫ XX ВЕКА
ИСТОРИЧЕСКАЯ ГЕОГРАФИЯ
ПРАВИТЕЛИ МИРА
ВОЙНА 1812 ГОДА
ПЕРВАЯ МИРОВАЯ
СЛАВЯНСТВО
ЭТНОЦИКЛОПЕДИЯ
АПСУАРА
РУССКОЕ ПОЛЕ
ХРОНОС. Всемирная история в интернете

Серебрянников Олег Федорович

Серебрянников Олег Федорович (4 августа 1930, Ленинград – 12 июля 1991, Ленинград) – русский логик и философ. В 1949 поступил на философский факультет Ленинградского государственного университета, который закончил в 1953. После окончания аспирантуры на кафедре логики ЛГУ работал на этой кафедре до последних дней. Получил степень доктора философии в 1976 за работу «Теория логического вывода и эвристические методы мышления». В 1976–1978 преподавал логику и философию в университете Гаваны (Куба). С 1984 – профессор кафедры логики ЛГУ. Научные интересы были сосредоточены гл.о. на разработке дедуктивного метода в науке и анализе доказательств средствами современной математической логики. Большая часть его работ посвящена теории доказательств, применению методов Гильберта и особенно Генцена в неклассической логике. Он один из первых анализировал эвристические принципы, заложенные в логических исчислениях различных типов, а также критерии оценки качества логических выводов в формальных системах. Его книга «Эвристические принципы и логические исчисления» получила международное признание (перевод на немецкий 1974, Берлин). Серебрянниковым предложены нестандартные способы построения исчисления секвенций и систем натурального вывода, которые особенно эффективны в модальной, релевантной и паранепротиворечивой логиках, а также новый вариант доказательства усиленной теоремы о нормальной форме логических выводов в кванторных системах с модальностями. Его идеи об элементарном доказательстве непротиворечивости второпорядковой арифметики открывают новую перспективу для обсуждения фундаментальных проблем строгого обоснования непротиворечивости богатых формальных теорий.

П.И. Быстров

Новая философская энциклопедия. В четырех томах. / Ин-т философии РАН. Научно-ред. совет: В.С. Степин, А.А. Гусейнов, Г.Ю. Семигин. М., Мысль, 2010, т. III, Н – С, с. 525-526.

Далее читайте:

Философы, любители мудрости (биографический указатель).

Сочинения:

Эвристические принципы и логические исчисления. М., 1970;

Нормальные формы логических доказательств. – В кн.: Логический вывод. М., 1979;

Элементарное доказательство теоремы об устранении сечения во второпорядковой логике. – В кн.: Исследования по неклассическим логикам. М., 1989;

An Extention 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;

 

 

 

 

ХРОНОС: ВСЕМИРНАЯ ИСТОРИЯ В ИНТЕРНЕТЕ



ХРОНОС существует с 20 января 2000 года,

Редактор Вячеслав Румянцев

При цитировании давайте ссылку на ХРОНОС