 In 1810, Bolzano published a booklet entitled Contributions to a better founded presentation of mathematics (Bolzano 1810; Bolzano 2004b) in which he developed his views about the unsatisfactory state of the mathematics of his time and the need for its reform. He proposed a new definition of mathematics as “the science which deals with the general laws (forms) to which things must conform in their existence” (Bolzano 1810, I, §8; Bolzano 2004b: 94), a new division of mathematics into universal mathematics (arithmetic, algebra, analysis, and elements of his future theory of collections) and more specialized mathematical disciplines (e.g., the mathematical theory of time, geometry, rational mechanics), and also put forth some considerations on logic. As with Leibniz, logic is again seen as closely connected with mathematics: it is, indeed, the mathematical method (Bolzano 1810, II, §1; Bolzano 2004b: 103).