(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.
В.А.Смирнов