 In his analysis of propositions Bolzano distinguished clearly different levels in his realm of propositions and ideas. He even introduced a special name for ideas of ideas, such as the idea of the idea \([A]\), i.e., [\([A]\)]; he called them ‘symbolic ideas’ (WL I, 426 ff.). In his efforts to show that all propositions can be shaped into \([A\) has \(b]\), Bolzano makes extensive usage of such symbolic ideas (and also of ideas of propositions) as subject ideas of propositions, as it is exemplified under ii, iii and iv above. Bolzano took pains to systematize his attempts of shaping all propositions into \([A\) has \(b]\). His attempts, however, remained only on the level of examples, since he missed a key for their systematization such as Frege’s function-argument scheme.