Порецкий Платон Сергеевич
3(15).10.1846, Елизаветград Херсонской губ. – 10(23).08.1907, с. Жоведь Черниговской губ. Логик, естествоиспытатель, публицист....

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