ПОРЕЦКИЙ Платон Сергеевич

(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 в. Велико значение трудов П. также для проблематики и исследований в области традиционной логики в России.