(15.10.1846—22.8.1907) — русский астроном и математик. Род. в Елизаветграде (ныне Кировоград). Окончил Харьков. ун-т (1870) и был оставлен профессорским стипендиатом на кафедре астрономии. В 1876 избран астрономом-наблюдателем Казанского ун-та. В 1889 по состоянию здоровья вышел в отставку. Работая астрономом-наблюдателем, одноврем. занимался проблемами матем. логики, а также пед. и общественной деятельностью. Его важнейшие работы: "Об основах математической логики" и "О способах решения логических равенств и об обратном способе математической логики" (1884). Всесторонне обобщил и развил дальше достижения Дж. Буля, У. С. Джевонса и Ф. Э. Шредера в области алгебр. логики. Первым в России читал в Казанском ун-те лекции по матем. логике.
Порецкий, Платон Сергеевич
[03(15)10.1846—09(22).08.1907] — логик, астроном и математик, один из основоположников методов математической логики. Род. в Елизаветграде Херсонской губ. Окончил Харьковский ун-т (1870) со степенью канд. физ.-матем. наук. С 1876 — астроном-наблюдатель Казанского ун-та, в 1887—1888 — преп., затем приват-доц. Именно здесь им был прочитан впервые в России курс лекций по матем. логике. Получил важные результаты в обл. алгебры логики. П. создал алгоритм, позволяющий эффективно находить для заданных предложений все определ. вида следствия, гипотезы и эквивалентные формы. Построил логич. теорию, содержащую элементы комбинированного исчисления высказываний и классов. Скончался П. в с. Жоведь Черниговской губ.
Соч.
: Изложение основных начал "Математической логики" в возможно более наглядной и общедоступной форме. Казань, 1881; О способах решения логических равенств и об обратном способе математической логики. Казань, 1884; Решение общей задачи теории вероятностей при помощи математической логики // Собрание протоколов заседаний секции физико-математических наук об-ва естествоиспытателей при Казанском ун-те. 1887. Т.5; Sept lois fondamentales de la theorie des egalites logiques // Известия физико-математического об-ва при Казанском ун-те. 1898. Т.8. № 2; Некоторые дополнительные законы теории логических равенств // Известия Казанского физико-математического общества. 1901. Т.Х; Из области математической логики. М., 1902; Теория логических неравенств. Казань, 1904; Объединенная теория логических равенств и неравенства. Казань, 1908.