Abstract
In his Wissenschaftslehre Bernard Bolzano tried to lay down a logically satisfactory foundation of mathematics and theory of probability. Thereby he became aware of the distinction between the actual thoughts and judgments of human beings, their linguistic expressions and the abstract propositions {Sätze an sich) and their components (Vorstellungen an sich). This ontological distinction is fundamental in Bolzano's thinking paired with a universal world view in the sense that philosophy, mathematics, physics and metaphysics should be build upon the same logical foundations. Bolzano's enterprise is sketched in the light of examples from his logical semantics, proof theory, number theory, theory of truth and his variation logic.