Abstract
The usual platonist argument against the intuitionistic, and for the classical, iterative conception of the set-theoretic universe1 is the following. Just as with potential infinity, which the intuitionist accepts, we can stretch our concept of ‘possibility’ so that, for example, the power set operation — the ‘construction’ of all the subsets of a set — is well-founded at any stage in the hierarchy. That is, our concept of ‘construction’ (or ‘constructible’) can be extended, so that we can understand the power set axiom applied to an infinite set by analogy with the same axiom applied to a finite set. Our understanding of the actually, or of the uncountably, infinite, and of arbitrary infinite sets, is therefore possible by thinking of them as analogous to finite sets. For they are produced by taking axioms which are clearly correct for finite sets, and extending their application to infinite sets.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsAuthor information
Authors and Affiliations
Copyright information
© 1992 Scots Philosophical Club
About this chapter
Cite this chapter
Folina, J. (1992). Conclusion. In: Poincaré and the Philosophy of Mathematics. Palgrave Macmillan, London. https://doi.org/10.1007/978-1-349-22119-6_9
Download citation
DOI: https://doi.org/10.1007/978-1-349-22119-6_9
Publisher Name: Palgrave Macmillan, London
Print ISBN: 978-1-349-22121-9
Online ISBN: 978-1-349-22119-6
eBook Packages: Palgrave Religion & Philosophy CollectionPhilosophy and Religion (R0)