In his earlyContributions to a Better-Grounded Presentation of Mathematics Bernard Bolzano tries to characterizerigorous proofs.Rigorousis,prima facie, any proof that indicates the grounds for its conclusion. Bolzano lists a number of methodological constraints all rigorous proofs should comply with, and tests them systematically against a specific collection of elementary inference schemata that, according to him, are evidently of ground-consequence-kind. This paper intends to give a detailed and critical account of the fragmentary logic of theContributions, and to point out as well some (...) difficulties Bolzano’s attempt runs into, notably as to his methodological ban on ‘kind crossing’. (shrink)

This paper surveys Bolzano's Beyträge zu einer begründeteren Darstellung der Mathematik (Contributions to a better-grounded presentation of mathematics) on the 200th anniversary of its publication. The first and only published issue presents a definition of mathematics, a classification of its subdisciplines, and an essay on mathematical method, or logic. Though underdeveloped in some areas (including,somewhat surprisingly, in logic), it is nonetheless a radically innovative work, where Bolzano presents a remarkably modern account of axiomatics and the epistemology of the formal sciences. (...) We also discuss the second, unfinished and unpublished issue, where Bolzano develops his views on universal mathematics. Here we find the beginnings of his theory of collections, for him the most fundamental of the mathematical disciplines. Though not exactly the same as the later Cantorian set theory, Bolzano's theory of collections was used in very similar ways in mathematics, notably in analysis. In retrospect, Bolzano's debut in philosophy was a remarkably successful one, though its fruits would only become generally known much later. (shrink)

In the 18th and 19th centuries two transitions took place in the development of mathematical analysis: a shift from the geometric approach to the formula-centered approach, followed by a shift from the formula-centered approach to the concept-centered approach. We identify, on the basis of Bolzano's Purely Analytic Proof [Bolzano 1817], the ways in which Bolzano's approach can be said to be concept-centered. Moreover, we conclude that Bolzano's attitude towards the geometric approach on the one hand and the formula-centered approach on (...) the other were of a different nature; the for­mer being one of rejection, the latter of non-participation. Bolzano supports his concept-centered methodology by philosophical views, which were partially shared by mathematicians with a formula-centered approach to analysis. (shrink)