IsisCB Explore

Article ID: CBB001210991

Strenge Beweise und das Verbot der metábasis eis állo génos (2012)

Centrone, Stefania (Author)

History and Philosophy of Logic
Volume: 33, no. 1
Issue: 1
Pages: 1-31

Outside Links

WorldCat

Google Scholar

JSTOR

Academia.edu

Proof Mathematics Logic Discipline formation 19th century Bolzano, Bernard

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'.

...More

Citation URI

https://data.isiscb.org/isis/citation/CBB001210991/

Citations Indexes

Similar Citations

Article Centrone, Stefania; (2012)
Das Problem der apagogischen Beweise in Bolzanos Beyträgen und seiner Wissenschaftslehre (/isis/citation/CBB001210996/)

Article Abeles, Francine F.; (2012)
Toward A Visual Proof System: Lewis Carroll's Method of Trees (/isis/citation/CBB001214122/)

Article Rusnock, Paul; (2013)
On Bolzano's Concept of a Sum (/isis/citation/CBB001212145/)

Article Peter Simons; (2015)
Bolzano's Monadology (/isis/citation/CBB137993666/)

Article Novy, Luboš; (2008)
Les relations entre la logique et la mathématique dans l'oeuvre de Bernard Bolzano (/isis/citation/CBB001021148/)

Article Willea, Matthias; (2011)
“Metamathematics” in Transition (/isis/citation/CBB001211006/)

Book John P. Burgess; (2015)
Rigor and Structure (/isis/citation/CBB621282384/)

Article Cohoe, Caleb; (2013)
There must be a First: Why Thomas Aquinas Rejects Infinite, Essentially Ordered, Causal Series (/isis/citation/CBB001201144/)

Article Dick, Stephanie; (2011)
AfterMath: The Work of Proof in the Age of Human--Machine Collaboration (/isis/citation/CBB001220009/)

Article Babbitt, Donald; Goodstein, Judith; (2011)
Federigo Enriques's Quest to Prove the “Completeness Theorem” (/isis/citation/CBB001211747/)

Article Anellis, Irving; (2012)
Jean van Heijenoort's Contributions to Proof Theory and Its History (/isis/citation/CBB001214119/)

Article Centrone, Stefania; (2010)
Functions in Frege, Bolzano and Husserl (/isis/citation/CBB001210980/)

Chapter Sundholm, Göran; (2009)
A Century of Judgment and Inference, 1837--1936: Some Strands in the Development of Logic (/isis/citation/CBB001210348/)

Article Eder, Günther; (2013)
Remarks on Independence Proofs and Indirect Reference (/isis/citation/CBB001212142/)

Article Tolleya, Clinton; (2012)
Bolzano and Kant on the Nature of Logic (/isis/citation/CBB001210999/)

Article Weltya, Ivan; (2011)
Frege on Indirect Proof (/isis/citation/CBB001210988/)

Article Rusnock, Paul; Burke, Mark; (2010)
Etchemendy and Bolzano on Logical Consequence (/isis/citation/CBB001210969/)

Article Bir, Atilla; Kaçar, Mustafa; (2005)
Salih Zeki's Articles on the Trisection of an Angle (/isis/citation/CBB000931404/)

Article Cox, David A.; (2011)
Why Eisenstein Proved the Eisenstein Criterion and Why Schönemann Discovered It First (/isis/citation/CBB001211029/)

Article Elías Fuentes Guillén; Davide Crippa; (2021)
The 1804 examination for the chair of Elementary Mathematics at the University of Prague (/isis/citation/CBB710675257/)

Comments

{{ comment.created_by.username }} on {{ comment.created_on | date:'medium' }}