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

[3(15).10.1846, Елизаветград, ныне Кировоград - 9(22).8.1907, с. Жоведь, ныне Черниговской обл.], рус. логик, астроном и ма­тематик. Впервые в России начал читать курс лекций по математич. логике. По своим филос. взглядам П. был материалистом. Формальные методы в логике, согласно П., могут быть обоснованы лишь анализом содержат.

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