Strenge Beweise und das Verbot der metábasis eis állo génos
In his booklet ‘Contributions to a better founded presentation of mathematics’ of 1810 Bernard Bolzano made his first serious attempt to explain the notion of a rigorous proof. Although the system of logic he employed at that stage is in various respects far below the level of the achievements in his later Wissenschaftslehre, there is a striking continuity between his earlier and later work as regards the methodological constraints on rigorous proofs. This paper tries to give a perspicuous and critical account of the fragmentary logic of Beyträge, and it shows that there is a tension between that logic and Bolzano's methodological ban on ‘kind crossing’.
No Reference information available - sign in for access.
No Citation information available - sign in for access.
No Supplementary Data.
No Article Media
Document Type: Research Article
Affiliations: Philosophisches Seminar der Universität Hamburg, Von-Melle-Park 620146Hamburg, Email: [email protected]_hamburg.de
Publication date: February 1, 2012