Биография

3 октября 1846 г., город Елизаветград, ныне Кировоград – 9 августа 1907 г., село Жоведь, ныне Черниговской области Украинской Республики.

Окончил Харьковский университет (1870).

В 1876–1889 гг. работал в Казанском университете: астроном-наблюдатель, приват-доцент (с 1886 г.).

Научная деятельность

Труды по проблемам алгебры логики, понимаемой им как «исчисление логических равенств».

Комбинаторно-логические результаты Порецкого в этой области оказали влияние на дальнейшее развитие математической логики (например, на работы американского логика ХХ в. А.Блейка).

Порецкий – первый в России ученый, читавший лекции по математической логике и ее приложениям к теории вероятностей.

Сочинения

О способах решения логических равенств и об обратном способе математической логики // Собрание протоколов заседаний секции физико-математических наук Общества естествоиспытателей при Казанском Императорском университете. 1884. Том 2.
Решение общей задачи теории вероятностей при помощи математической логики // Собрание протоколов заседаний секции физико-математических наук Общества естествоиспытателей при Казанском Императорском университете. 1887. Том 5.