In his philosophy, Bolzano attacked the idealism of Hegel and Kant by asserting that numbers, ideas, and truths exist apart from the people who think of them.
Bolzano is commonly regarded as one of the precursors to modern logic. He attempted to provide logical foundations for all sciences.
