|  | 

С

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

(04.08.1930-12.07.1991) — спец. в обл. символической логики и ме-тодол. науки; д-р филос. наук, проф. Род. и умер в Ленинграде.
В 1954 окончил филос. ф-т ЛГУ, работал в библиотеке ун-та и на филос. ф-те. В 1959 окончил асп. Канд. дисс. по логике защитил в 1966, докт. — в 1976. С 1969 — доц. кафедры логики филос. ф-та ЛГУ, с 1984 — проф. той же кафедры.
В 1975-1978 преподавал логику и филос. в Гаванском ун-те. С. — автор 4 глав учебника «Формальная логика» (Л., 1977). С. одним из первых разработал логич. методы анализа эвристики, техники натурального вывода, обоснования логич. и ма-тем. систем (элиминация сечений), модальной, релевантной логик. Им была выдвинута и разработана идея построения логич. систем с учетом глоб. характеристик вывода, к-рая в наст. вр. интенсивно исследуется.
Соч.: Логические отношения между суждениями — Уч. зап. ЛГУ. Сер. «Философия». Вып.17. 1960; Эвристические возможности методов формальной логики — Некоторые вопросы методологии научного исследования.
Вып.1. Л., 1965; Система естественного вывода в модальной логике — Вопросы теории и методологии научного исследования.
Вып.1. Л., 1969; Дедуктивные умозаключения.
Л., 1969; Эвристические принципы и логические исчисления.
М., 1970; Нормальные формы логических доказательств — Логический вывод. М., 1979; Некоторые обобщения теоремы о нормальной форме в квантовой модальной логике — Модальные и интенсиональные логики и их применение в методологии науки. М., 1984; К истории генценовских методов в логике — Философские проблемы истории логики и методологии науки. М., 1986; Элементарное доказательство теоремы об устранении сечения в логике второго порядка — Исследование по неклассическим логикам.
М., 1989. В. А. Смирнов

1 Звезда2 Звезды3 Звезды4 Звезды5 Звезд (1 оценок, среднее: 5,00 из 5)

дурнев владимир николаевич

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





Биография Серебрянников Олег Федорович
Copyright © Краткие биографии 2022. All Rights Reserved.