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