Für Edmund Husserl ist Bernard Bolzano 'einer der größten Logiker aller Zeiten'. Seine Wissenschaftslehre sei 'ein Werk, das in Sachen der logischen ›Elementarlehre‹ alles weit zurückläßt, was die Weltliteratur an systematischen Entwürfen der Logik darbietet'. Bolzano ist jedoch nicht nur einer der bedeutendsten Logiker (und Mathematiker!) überhaupt, sondern auch einer der wichtigsten Philosophen des 19. Jahrhunderts. Dennoch gibt es bisher keine umfassende systematische Darstellung seiner Metaphysik. Die vorliegende Untersuchung rekonstruiert und diskutiert - zum Teil mit Hilfe formallogischer Methoden - wesentliche Inhalte dieser Metaphysik, die sich nicht nur als historisch, sondern auch als systematisch interessant erweist.