Philosophia Mathematica 2 (3):228-250 (1994)
|Abstract||This paper explores strengths and limitations of both predicativism and nominalism, especially in connection with the problem of characterizing the continuum. Although the natural number structure can be recovered predicatively (despite appearances), no predicative system can characterize even the full predicative continuum which the classicist can recognize. It is shown, however, that the classical second-order theory of continua (third-order number theory) can be recovered nominalistically, by synthesizing mereology, plural quantification, and a modal-structured approach with essentially just the assumption that an -sequence of concrete atoms be possible. Predicative flexible type theory may then be used to carry out virtually all of scientifically applicable mathematics in a natural way, still without ultimate need of the platonist ontology of classes and relations.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Francesca Boccuni (2010). Plural grundgesetze. Studia Logica 96 (2):315-330.
Lowell Friesen (2006). Natural Classes of Universals: Why Armstrong's Analysis Fails. Australasian Journal of Philosophy 84 (2):285 – 296.
Gabriel Uzquiano (2003). Plural Quantification and Classes. Philosophia Mathematica 11 (1):67-81.
Hellman Geoffrey (1996). Structuralism Without Structures. Philosophia Mathematica 4 (2):100-123.
Ralf-Dieter Schindler (1993). Prädikative Klassen. Erkenntnis 39 (2):209 - 241.
Paul Strauss (1991). Arithmetical Set Theory. Studia Logica 50 (2):343 - 350.
Solomon Feferman & Geoffrey Hellman (1995). Predicative Foundations of Arithmetic. Journal of Philosophical Logic 24 (1):1 - 17.
Added to index2009-01-28
Total downloads14 ( #90,518 of 722,935 )
Recent downloads (6 months)1 ( #61,087 of 722,935 )
How can I increase my downloads?