ПОРЕЦКИЙ

оснований; логич. исчисления не отменяют содержат. формальной логики, но предполагают её. П. считал, что математич. логика по предмету своему есть логика, а по методу — математика. П. были получены существ. результаты, относящиеся к алгебре логики; он развил и усовершенствовал методы решения логич. равенств, предлагавшиеся Дж. Булем, У. С. Джевонсом и Э. Шредером. Осн. результат П.— нахождение в алгебре логики оригинального алгоритма, позволяющего эффективно получать все следствия (оп-редел. вида) из данных посылок; все гипотезы, из к-рых может следовать данное заключение; все различные эквивалентные формы, в к-рых могут быть представлены данные выражения — посылки и заключения.

• О способах решения логич. равенств и об обратном способе математич. логики, Казань, 1884; Решение общей задачи теории вероятностей при помощи математич. логики, в кн.: Собрание протоколов заседаний секции физ.-математич. наук об-ва естествоиспытателей при Казанском ун-те, т. 5, Казань, 1887; Sept lois fondamentales de la theorie des egalites logiques, «Изв. физи-ко-математич. об-ва при Казанском ун-те», 1898, т. 8, М 2.

• Стяжкин Н. И., Логич. наследство П. С. П., в сб.: Очерки по истории логики в России, М., 1962.