Due to this definition of truth and due to Bolzano’s doctrine that every proposition has the form \([A\) has \(b]\), every proposition has existential import for Bolzano. (‘Existential’ must here be taken in the sense of Bolzano’s ‘there is’. It must be kept in mind here that Bolzano’s interpretation transfers many propositions to a meta-level and that in such a case the existential import concerns \([A]\) rather than \(A\) itself; the existence of \([A]\), however, is guaranteed even if \([A]\)