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