Биография Серебрянников Олег Федорович
(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. В. А. Смирнов
дурнев владимир николаевич
Биография Серебрянников Олег Федорович
Биография Серебрянников Олег Федорович