Порецкий Платон Сергеевич (1846—1907)

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