Быстров Петр Иванович

(р. 30.05.1952) — спец. в обл. логики и методол. науки; канд. филос. наук. Род. в Латвии.

Окончил филос. ф-т ЛГУ (1978), асп. по кафедре логики того же ф-та (1981). С 1984 работает в ИФ РАН. Канд. дисс. — "Нормализация выводов в модальной логике" (1981). Осн. науч. интересы Б. сосредоточены в обл. символической логики, общей теории док-в и дедуктивных методов науч. познания.

Соч.: О критериях качества выводов в модальной логике. [В соавт.] // Логика и философские категории.

Л., 1982; Нормализация выводов в релевантной системе с дистрибутивностью // Философские основания неклассических логик. М., 1990; Предисловие к книге Правица "Натуральный вывод". М., 1997; Нестандартные правила вывода и их роль в логических системах // Логические исследования.

Вып.4. М., 1997; Взаимное преобразование секвенциальных и натуральных выводов в модальной логике // Логические исследования.

Вып.6. М., 1999.