Определение слова «СЕРЕБРЯННИКОВ»

Новая философская энциклопедия:

СЕРЕБРЯННИКОВ Олег Федорович (4 августа 1930, Ленинград – 12 июля 1991, Ленинград) – русский логик и философ. В 1949 поступил на философский факультет Ленинградского государственного университета, который закончил в 1953. После окончания аспирантуры на кафедре логики ЛГУ работал на этой кафедре до последних дней. Получил степень доктора философии в 1976 за работу «Теория логического вывода и эвристические методы мышления». В 1976–1978 преподавал логику и философию в университете Гаваны (Куба). С 1984 – профессор кафедры логики ЛГУ. Научные интересы были сосредоточены гл.о. на разработке дедуктивного метода в науке и анализе доказательств средствами современной математической логики. Большая часть его работ посвящена теории доказательств, применению методов Гильберта [ГИЛЬБЕРТ]и особенно Генцена [ГЕНЦЕН]в неклассической логике. Он один из первых анализировал эвристические принципы, заложенные в логических исчислениях различных типов, а также критерии оценки качества логических выводов в формальных системах. Его книга «Эвристические принципы и логические исчисления» получила международное признание (перевод на немецкий 1974, Берлин). Серебрянниковым предложены нестандартные способы построения исчисления секвенций [ИСЧИСЛЕНИЕ СЕКВЕНЦИЙ]и систем натурального вывода, которые особенно эффективны в модальной, релевантной и паранепротиворечивой логиках, а также новый вариант доказательства усиленной теоремы о нормальной форме логических выводов в кванторных системах с модальностями. Его идеи об элементарном доказательстве непротиворечивости второпорядковой арифметики открывают новую перспективу для обсуждения фундаментальных проблем строгого обоснования непротиворечивости богатых формальных теорий.
Сочинения:
1. Эвристические принципы и логические исчисления. М., 1970;
2. Нормальные формы логических доказательств. – В кн.: Логический вывод. М., 1979;
3. Элементарное доказательство теоремы об устранении сечения во второпорядковой логике. – В кн.: Исследования по неклассическим логикам. М., 1989;
4. 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;
П.И.Быстров

Словарь русских фамилий:

• Широко документированы оба написания. Которое правильно? Это две фамилии, самостоятельно образованные, основы которых различны. Древнее русское слово серебренник (в написании часто с одним н) служило наименованием мелкой серебряной монеты, затем возникло точно такое же (внешне) слово, которое обозначало крестьянина, попавшего в крепостную зависимость за полученную ссуду — серебро (XIV — XVI вв.). А серебрянник — мастер по чеканке серебра, по серебрению различных изделий (равнозначно — серебряк). Различия почти стерлись и сохраняются пережиточно, тем более что два первых значения отмерли полностью, третье почти полностью вытеснено словом ювелир. Фамилия Серебренников чаще встречается, чем Серебрянников (нередко написание с одним н, этимологически ошибочное, но документация обязательна в точном соответствии с актом записи о рождении).
• см. СЕРЕБРЕНИКОВ

Смотреть другие определения →