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

(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,

M. M. Новосёлов.