ПОРЕЦКИЙ

ПОРЕЦКИЙ
        Платон Сергеевич [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.

ПОРЕЦКИЙ
ПОРЕЦКИЙ Платон Сергеевич (род. 3 окт. 1846, Елизаветград – ум. 9 авг. 1907, с. Жоведь Черниговской губ.) – рус. логик, астроном, математик. В Казанском ун-те читал первые в России лекции по математической логике (1887-1888). Нашел оригинальные и простые методы отыскания множества следствий, вытекающих из данной системы посылок, и множества гипотез, из которых выводимы данные следствия («О способах решения логических равенств и об обратном способе математической логики», 1884). В философских воззрениях придерживался естественнонаучного материализма.

Философский энциклопедический словарь. 2010.

ПОРЕЦКИЙ
Платон Сергеевич (1846–1907) – рус. математик, астроном и логик. Окончил физико-математич. фак-т Харьковского ун-та. В 1876 П. избран астрономом-наблюдателем Казанского ун-та; с 1886 – доктор астрономии, приват-доцент. П. внес значительный вклад в алгебру логики, его работы существенно обобщают и развивают нек-рые результаты Буля, Джевонса, Э. Шрёдера. Впервые в России П. начал читать лекции по математической логике и ее приложению к теории вероятности. Изучая формально-логич. правила вывода, он исходил из единства формы и содержания, о чем, в частности, свидетельствует понимание П. логич. закона. Согласно П., законы логики зависят от свойств предметной области, исследуемой той или др. наукой. Закон логики есть поэтому "...истина, заключающая в себе какое-либо определенное указание на самую п р и р о д у изучаемого материала" (см. его работу "О способах решения логических равенств и об обратном способе математической логики", в кн.: "Собр. протоколов заседаний секции физико-математич. наук Об-ва естествоиспытателей при Казанском ун-те", т. 2, Каз., 1884, с. XXII). Основой исследований П. в области логики явились его теория логич. равенств (П., как и нек-рые др. логики 19 в., через отношение равенства определяет все др. отношения между логич. классами – объемами понятий. См. Принцип замещения), одна из центральных проблем к-рой состоит в решении (путем построения спец. таблиц) вопроса о выводе следствий из данных посылок (и, обратно, в нахождении тех посылок, из к-рых данное логич. равенство выводится в качестве следствия) и оригинальная трактовка канонич. выражений алгебры логики. П. использовал в своем исчислении т.н. упрощенную канонич. форму для логич. выражений, обобщив тем самым классич. теорию нормальных форм. Приемы П. были восприняты и развиты амер. математиком и логиком А. Блейком (1938). П. принадлежит также одно из обобщений классич. теории силлогизма (см. "Theorie des egalites logiques a trois termes, a, b et c", "Bibliotheque du Congres International de Philosophie", 1901, v. 3), работы в области аксиоматики, теории чисел, применения логики к теории вероятностей и др. По своим филос. взглядам П. был материалистом.
Соч.: Решение общей задачи теории вероятностей при помощи математич. логики, в сб.: Собрание протоколов заседаний секции физ.-мат. наук Об-ва естествоиспытателей при Казанском ун-те, т. 5, Каз., 1887, с. 83–108; Закон корней в логике, "Научн. обозрение", 1896, No 19; Из области математич. логики, М., [1902]; Sept lois fondamentales de la theorie des egalites logiques, "Изв. Физ.-мат. об-ва при Казанском ун-те", 1898, 2 серия, т. 8, No 2–4; Theorie des nonegalites logiques (Supplement aux deux traites: "Sept lois fondamentales de la theorie des egalites logiques" et "Quelques lois ulterieurs de la theorie des egalites logiques", там же, 1903, 2 серия, т. 13, No 3–4; Theorie conjointe des egalites et des non-egalites logiques, там же, 1908, 2 серия, т. 16, No 1–2.
Лит.: Стяжкин Н. И., Упрощение П. С. П. некоторых алгоритмов классич. исчисления высказываний, в сб.: Логич. исследования, М., 1959; его же, Логич. наследство П. С. П., в сб.: Очерки по истории логики в России, М., 1962; Blake ?., Canonical expressions in Boolean algebra, Chi., 1938.
H. Стяжкин. Москва.

Философская Энциклопедия. В 5-х т. — М.: Советская энциклопедия. Под редакцией Ф. В. Константинова. 1960—1970.

ПОРЕЦКИЙ
    ПОРЕЦКИЙ Платон Сергеевич (3 октября 1846, Елисаветград Херсонской губернии — 10 августа 1907, Жоведь, Черниговской губернии) — астроном, математик и логик. Окончил Харьковский университет (1870); после сдачи магистерского экзамена (1874) некоторое время работал в Пулкове и Астрахани. В 1876 избирается астрономом-наблюдателем Казанского университета, а с 1886 — доктор астрономии и приватдоцент этого университета. Порецкий — автор первых российских работ по математической логике; он же первым в России начал читать лекции по математической логике, которую определял как логику по предмету и математику по методу. Согласно Порецкому, логика решает три основные задачи: задачу дедукции, т. е. разыскания всех следствий из данных посылок; задачу индукции, т. е. разыскания всех гипотез (причин) данных следствий и задачу отождествления, т. е. разрешения вопроса об эквивалентности любых двух данных суждений. С целью решения этой триединой задачи Порецкий существенно дополнил и обобщил известные к тому времени методы Дж. Буля, Ст. Джевонса, Э. Шредера и Дж. Венна. По свидетельству самого Порецкого, его работы в области логики представляют собой первый опыт построения полной и законченной “теории качественных форм”, в которой уравнения логики трактуются в их собственно логическом (а не в алгебраическом) смысле на основе самых общих формул и алгоритмов преобразований суждений.
    Соч.: Изложение основных начал математической логики в возможно более наглядной и общедоступной форме.— В кн.: Протокол 3-го заседания секции физико-математических наук Общества естествоиспытателей природы при Казанском университете... Казань, 1881; О способах решения логических равенств и об обратном способе математической логики.— В кн.: Собрание протоколов заседаний секции физико-математических наук при Казанском университете, т. 2. Казань, 1884; Решение общей задачи теории вероятностей при помощи математической логики.— Там же, т. 5, 1887; По поводу брошюры Г. Волкова “Логическое исчисление”. Казань, 1889; Закон корней в логике.— “Научное обозрение”. М., 1896, № 19; Из области математической логики. М., 1902; Poretsky P. Sept lois fondamentales de la theorie de egalites logiques.— Известия Физико-математического общества при императорском Казанском университете, 2 серия, 1898, ?. 8, ? 2—4; Quelques lois ulteuieures de la theorie des egalites logiques.— Ibid, ?. 11, ? 2, 1900-1901; Theorie des non-egalites logiques.- Ibid, 1903, ?. 13, ?” 3—4; Appendice. Sur mon nouvel travail “Theorie des nonegalites logiques”.— Ibid, 1904, ?. 14, ? 2; Theorie conjointe des egalites et des non-egalites logiques.— Ibid, 1908, ?. 16, ? 1—2; Expose elementaire de la theorie des egalites logiques a deux termes a et e. Revue de Metaphysique et de Morale, 1900, t. 8.
    Лит.: Дубяго Д. И. Памяти Платона Сергеевича Порепкого. (Некролог.) С предисловием И. Слешинского, Одесса, 1909; КутюраД. Алгебра логики. Одесса, 1909, с. 67—80; Стяжкин Н. И. Формирование математической логики. М., 1967, с. 362—407.
    M. M. Новосёлов

Новая философская энциклопедия: В 4 тт. М.: Мысль. Под редакцией В. С. Стёпина. 2001.