Философская энциклопедия - порецкий

ПОРЕЦКИЙ

ПОРЕЦКИЙ

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

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

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

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

Философский энциклопедический словарь. — М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983.

.