Словарь по логике

Порецкий

Платон Сергеевич Порецкий (3.10.1846, Елизаветград - 9.8.1907, Жоведь в Черниговской губернии): Русский астроном, математик и логик. Разрабатывал алгебру логики. В ходе этих исследований нашел простые способы определения множества следствий из данного множества посылок и множества посылок, вытекающих из данного множества следствий ("О способах решения логических равенств и об обратном способе математической логики", 1884). В 1887-1888 гг. (согласно Попову и Стяжкину, впервые в России) в Казанском университете читал лекции по математической логике.
Сочинения: .