ПОРЕЦКИЙ
Платон Сергеевич [3(15).Ю.
1846, Елизаветград, ныне Кировоград,-9(22).8.1907, с. Жоведь, ныне Черниговской
обл.], русский математик, астроном, логик. В 1870 окончил физико-математич.
ф-т Харьковского ун-та. В 1876-89 работал в Казанском ун-те (сначала астрономом-наблюдателем,
с 1886 в должности приват-доцента). Наиболее значителен вклад П. в математическую
логику,
определявшуюся
им как "логика по предмету, математика по методам"; он был первым рус.
учёным, читавшим лекции по матем. логике и её приложениям к теории вероятностей.
П. занимался гл. обр. проблемами
алгебры логики,
понимаемой им (в
развитие идей Дж. Буля, У. С. Джевонса и Э. Шредера) как
"исчисление логических равенств". Комбинаторно-ло-гич. результаты П. в
этой области, в частности его теория т. н. канонич. форм (обобщающая классич.
теорию "нормальных форм" в логике высказываний), оказали влияние на дальнейшее
развитие матем. логики (напр., на. работы амер. логика 20 в. А. Блейка).
Соч.: О способах решения логических равенств
и об обратном способе математической логики, в кн.: Собрание протоколов
заседаний секции физико-математических наук Об-ва естествоиспытателей при
Казанском ун-те, т. 2, Каз., 1884; Решение общей задачи теории вероятностей
при помощи математической логики, там же, т. 5, Каз., 1887._
Лит.: Blake A., Canonical expressions
in Boolean algebra, Chi., 1938; Стяжки н Н. И., Формирование математической
логики, М., 1967, гл. 9, §2.
А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я