«Порецкий Платон Сергеевич»

Порецкий Платон Сергеевич [3(15).10.1846, Елизаветград, ныне Кировоград, ‒ 9(22).8.1907, село Жоведь, ныне Черниговской области], русский математик, астроном, логик. В 1870 окончил физико-математический факультет Харьковского университета. В 1876‒89 работал в Казанском университете (сначала астрономом-наблюдателем, с 1886 в должности приват-доцента). Наиболее значителен вклад П. в математическую логику, определявшуюся им как «логика по предмету, математика по методам»; он был первым русским учёным, читавшим лекции по математической логике и её приложениям к теории вероятностей. П. занимался главным образом проблемами алгебры логики, понимаемой им (в развитие идей Дж. Буля, У. С. Джевонса и Э. Шредера) как «исчисление логических равенств». Комбинаторно-логические результаты П. в этой области, в частности его теория т. н. канонических форм (обобщающая классическую теорию «нормальных форм» в логике высказываний), оказали влияние на дальнейшее развитие математической логики (например, на работы американского логика 20 в. А. Блейка).

Соч.: О способах решения логических равенств и об обратном способе математической логики, в кн.: Собрание протоколов заседаний секции физико-математических наук общества естествоиспытателей при Казанском университете, т. 2, Каз., 1884; Решение общей задачи теории вероятностей при помощи математической логики, там же, т. 5, Каз., 1887.2

Лит.: Blake A., Canonical expressions in Boolean algebra, Chi., 1938; Стяжкин Н. И., Формирование математической логики, М., 1967, гл. 9, §2.

ПОРЕЦКИЙ Платон Сергеевич (1846-1907) - российский логик, математик, астроном. Основные труды по математической логике.

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

(род. 3 окт. 1846, Елизаветград – ум. 9 авг. 1907, с. Жоведь Черниговской губ.)

рус. логик, астроном, математик. В Казанском ун-те читал первые в России лекции по математической логике (1887-1888). Нашел оригинальные и простые методы отыскания множества следствий, вытекающих из данной системы посылок, и множества гипотез, из которых выводимы данные следствия («О способах решения логических равенств и об обратном способе математической логики», 1884). В философских воззрениях придерживался естественнонаучного материализма.

Поре́цкий Платон Сергеевич

(1846—1907), российский логик, математик, астроном. Основные труды по математической логике.

* * *

ПОРЕ́ЦКИЙ Платон Сергеевич (1846—1907), российский логик, математик, астроном. Основные труды по математической логике.