СЕРЕБРЯННИКОВ

СЕРЕБРЯННИКОВ:     СЕРЕБРЯННИКОВ Олег Федорович (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; П. И. Быстрое

Смотреть больше слов в «Философской энциклопедии»

Смотреть что такое СЕРЕБРЯННИКОВ в других словарях:

СЕРЕБРЯННИКОВ

СЕРЕБРЕННИКОВ СЕРЕБРЯКОВ СЕРЕБРЯННИКОВ СЕРЕБРЕНИКОВ СЕРЕБРЯНИКОВРодоначальники - серебряных дел мастера, специалисты по серебрению. Прадед великого ... смотреть

СЕРЕБРЯННИКОВ ВАСИЛИЙ ИННОКЕНТЬЕВИЧ

Серебрянников, Василий Иннокентьевич — сотр. газ. «Вост. Обозр.» 1890-900-х гг.Псевдонимы: В. С.Источники:• Масанов И.Ф. Словарь псевдонимов русских п... смотреть

СЕРЕБРЯННИКОВ ВЛАДИМИР ВАСИЛЬЕВИЧ

доктор философских наук (1976), профессор (1978), заслуженный деятель науки РСФСР (1989), академик Международной академии информатизации, Академии политических наук и Академии российских энциклопедий. Родился 31 марта 1927 в г. Осташкове Тверской обл. Окончил Харьковское авиационное училище связи (1948), Воздушный факультет Военно-политической академии (1955) и адъюнктуру при ней (1964). С 1944 по 1990 — на военной службе. Начинал рядовым, сержантом, прошел все офицерские звания и закончил службу генерал-лейтенантом авиации. Находился на командной, политической, преподавательской и научной работе. Служил в авиационных частях, соединениях и объединениях Сибирского, Харьковского, Ленинградского, Северного округов, Группы советских войск в Германии. Преподавал философию в военных вузах, являлся заместителем начальника отдела общественных наук Главного политуправления Советской Армии и Военно-Морского Флота, начальником кафедры Военно-дипломатической академии (1975—1983), заместителем начальника Военно-политической академии им. В.И. Ленина по учебной и научной работе (1983—1990). В 1991—1993 — советник Председателя Верховного Совета РФ по военнополитическим вопросам. Известен как исследователь проблем философии, политологии, социологии, особенно проблем войны и мира, армии,защиты Отечества, глобальной и национальной безопасности, военной политики и военно-политической деятельности. Им написано более 30 книг, десятки глав в учебниках и учебных пособиях для вузов, более 500 статей в журналах и научных сборниках. Как член подкомиссии «Война и политика» участвовал в подготовке «Советской военной энциклопедии» и двух изданий «Советского военно-энциклопедического словаря». Основные работы: «Основы марксистско-ленинского учения о войне и армии» (1982), «Империализм 80-х годов: Ставка на силу, диктат и войну» (1985), «Инициатива и творчество в военном деле» (совместно с М. Ясюковым), «Социальная безопасность России», «Социология армии» (совместно с Ю. Дерюгиным), «Социология войны», «Власть и безопасность», «Войны России: Социально-политические аспекты», «Армия России: Состояние и перспективы» (совместно с Ю. Дерюгиным), «Военная социология» (2002) (один из составителей и автор двух глав) и др. Соч.: Армия и общество. М.: Знание, 1991; Войны России: Социально-политический анализ. М.: Науч. мир, 1999; Социология войны. М.: Ось-89, 1998. Лит.: Россия—2000: Современная политическая история (1985—1999). Т. 2. Лица России. М., 2000.... смотреть

СЕРЕБРЯННИКОВ ГР. А.

Серебрянников, Гр. А. — сотр. журн. «Охрана Труда» (1930)Псевдонимы: С—в, Гр.Источники:• Масанов И.Ф. Словарь псевдонимов русских писателей, ученых и ... смотреть