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