Порецкий

Порецкий Платон Сергеевич (1846 -1907) - рус. логик. В 1887 - 88 в Казанском ун-те читал первые в России лекции по математической логике. П. разрабатывал алгебру логики. Для этой теории он нашел оригинальные и простые методы решения задачи об отыскании множества следствий, вытекающих из данной системы посылок и множества гипотез, из к-рых выводимы данные следствия («О способах решения логических равенств и об обратном способе математической логики», 1884). Философские позиции П. можно охарактеризовать как естественнонаучный материализм.

Источники:

1. Философский словарь / Под ред. И.Т. Фролова. - 4-е изд.-М.: Политиздат, 1981. - 445 с.