There are quite a few studies on late Bolzano’s notion of a collection (Inbegriff). We try to broaden the perspective by introducing the forerunner of collections in Bolzano’s early writings, namely the entities referred to by expressions with the technical term ‘et’. Special emphasis is laid on the question whether these entities are set-theoretical or mereological plenties. Moreover, similarities and differences to Bolzano’s mature conception are pointed out.

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)

In this paper, I provide a thorough discussion and reconstruction of Bernard Bolzano’s theory of grounding and a detailed investigation into the parallels between his concept of grounding and current notions of normal proofs. Grounding (Abfolge) is an objective ground-consequence relation among true propositions that is explanatory in nature. The grounding relation plays a crucial role in Bolzano’s proof-theory, and it is essential for his views on the ideal buildup of scientific theories. Occasionally, similarities have been pointed out between Bolzano’s (...) ideas on grounding and cut-free proofs in Gentzen’s sequent calculus. My thesis is, however, that they bear an even stronger resemblance to the normal natural deduction proofs employed in proof-theoretic semantics in the tradition of Dummett and Prawitz. (shrink)