Философская энциклопедия - порецкий платон сергеевич

ПОРЕЦКИЙ Платон Сергеевич (род. 3 окт. 1846, Елизаветград – ум. 9 авг. 1907, с. Жоведь Черниговской губ.)

рус. логик, астроном, математик.

В Казанском ун-те читал первые в России лекции по математической логике (1887-1888). Нашел оригинальные и простые методы отыскания множества следствий, вытекающих из данной системы посылок, и множества гипотез, из которых выводимы данные следствия («О способах решения логических равенств и об обратном способе математической логики», 1884).

Философский энциклопедический словарь. 2010.