(3(15). 10.1846, Елизаветград Херсонской губ. - 10(23). 08.1907, с. Жоведь Черниговской губ.) -
логик, естествоиспытатель, публицист. В 1870 г. закончил физико-математический ф-т Харьковского ун-та. В 1876 г. назначен астрономом-наблюдателем Казанского ун-та, получил степень
доктора астрономии и звание приват-доцента сферической тригонометрии. Несколько лет был редактором казанской газ. "Телеграф". На основе работы "О способах решения логических равенств и об обратном способе математической логики" (Собрание протоколов заседаний секции физико-математических наук при Казанском университете. Казань. 1884. Т. 2. С. 161-330) впервые в России читал в Казанском ун-те лекции по алгебре логики. Исходил из различения "количественных форм", изучаемых алгеброй, и "качественных форм", исследуемых логикой. П. усматривал и
сходство (до определенных пределов) обеих наук, к-рое объясняет
возможность модификаций и приспособления алгебраических приемов к логике. Результаты своих исследований П. представил в написанных на фр. яз.
работах "Семь основных законов теории логических равенств" (Poretzky P. S. Sept lois fondamentales de la theorie des egalites logiques // Известия физико-математического общества при Казанском университете. Сер. 2. Т. 8. № 2-4. Казань, 1898-1899), "Некоторые дополнительные
законы теории логических равенств" и "
Теория логических неравенств" (Quelques lois ultcrienres de la theorie des egalites logiques , Там же. Сер. 2. Т. 10. № 1 -3. Казань, 1900; Т. 11. № 1-3. Казань, 1900-1901; Theorie des non-egalites logiques // Там же. Т. 14. Казань, 1904). П. насчитывал семь осн. законов теории логических равенств: 1)
форма посылок; 2) замещения системы посылок одной посылкой; 3) разложения посылок на
элементы; 4) исключения терминов из посылок; 5) умозаключений или следствий; 6) сложных оснований; 7) корней. Все эти законы являются усовершенствованием и
обобщением алгебро-логических приемов Дж. Буля, У. С. Джевонса и Э. Шредера.
Идеи П. повлияли на проблематику и исследования в области традиционной и символической логики в России и на
Западе. Так, фр. логик Л. Кутюра считал
методы П. кульминационным пунктом в развитии алгебры логики в нач. XX в. Велико
значение трудов П. также для проблематики и исследований в области традиционной логики в России.