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

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