Foundations of Science 23 (4):681-704 (2018)

Authors
Kateřina Trlifajová
Czech Technical University, Prague
Abstract
In his Foundations of a General Theory of Manifolds, Georg Cantor praised Bernard Bolzano as a clear defender of actual infinity who had the courage to work with infinite numbers. At the same time, he sharply criticized the way Bolzano dealt with them. Cantor’s concept was based on the existence of a one-to-one correspondence, while Bolzano insisted on Euclid’s Axiom of the whole being greater than a part. Cantor’s set theory has eventually prevailed, and became a formal basis of contemporary mathematics, while Bolzano’s approach is generally considered a step in the wrong direction. In the present paper, we demonstrate that a fragment of Bolzano’s theory of infinite quantities retaining the part-whole principle can be extended to a consistent mathematical structure. It can be interpreted in several possible ways. We obtain either a linearly ordered ring of finite and infinitely great quantities, or a partially ordered ring containing infinitely small, finite and infinitely great quantities. These structures can be used as a basis of the infinitesimal calculus similarly as in non-standard analysis, whether in its full version employing ultrafilters due to Abraham Robinson, or in the recent “cheap version” avoiding ultrafilters due to Terence Tao.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s10699-018-9549-z
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 65,784
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Foundations of Set Theory.Abraham Adolf Fraenkel & Yehoshua Bar-Hillel - 1958 - Atlantic Highlands, NJ, USA: North-Holland.
Paradoxien des Unendlichen.Bernard Bolzano - 2012 - Felix Meiner Verlag.
Wissenschaftslehre.Bernard Bolzano & Alois Höfler - 1837 - Revue de Métaphysique et de Morale 22 (4):15-16.
Non-Standard Analysis.Gert Heinz Müller - 1969 - Journal of Symbolic Logic 34 (2):292-294.

View all 29 references / Add more references

Citations of this work BETA

Bolzano’s Mathematical Infinite.Anna Bellomo & Guillaume Massas - forthcoming - Review of Symbolic Logic:1-80.

Add more citations

Similar books and articles

Paradoxes of the Infinite.Bernard Balzano - 1950 - London: Routledge and Kegan Paul.
Bolzano Versus Kant: Mathematics as a Scientia Universalis.Paola Cantù - 2011 - Philosophical Papers Dedicated to Kevin Mulligan.
Quantitative Relations Between Infinite Sets.Robert Bunn - 1977 - Annals of Science 34 (2):177-191.
Paradoxes of the Infinite.Bernard Balzano - 1950 - London, England: Routledge.
Paradoxes of the Infinite.Bernard Balzano - 1950 - London, England: Routledge.
On Bolzano's Concept of a Sum.Paul Rusnock - 2013 - History and Philosophy of Logic 34 (2):155 - 169.
Bolzano's Notion of Testifying.Carsten Uwe Gieske - 1997 - Grazer Philosophische Studien 53 (1):249-266.

Analytics

Added to PP index
2018-02-26

Total views
14 ( #717,358 of 2,463,151 )

Recent downloads (6 months)
1 ( #449,363 of 2,463,151 )

How can I increase my downloads?

Downloads

My notes