Abstract
It is claimed that the ideal possibility of picking up any object of the universe of discourse is essential not only in intuitionistic but also in classical logic and mathematics.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Bernays, P. (1964). On platonism in mathematics. In P. Benacerraf & H. Putnam (Eds.), Philosophy of mathematics (pp. 274–286). Cambridge: Cambridge University Press.
Black, M. (1971). The elusiveness of sets. Review of Metaphysics, 24, 614–636.
Boolos, G. (1985). Nominalist platonism. Philosophical Review, 94, 327–344.
Bools, G. (1984). To be is to be a value of a variable. Journal of Philosophy, 81, 430–449.
Frege, G. (1891). Function and concept. In P. Geach & M. Black (Eds.), Tranlsations from the philosophical writings of Gottlob Frege (pp. 137–156). Oxford: Blackwell.
Frege, G. (1893). Grundgesetze der Arithmetik (Vol. I). Jena: Pohle.
Frege, G. (1904). What is a function? In B. MacGuinness (Ed.), Collected papers in mathematics logic and philosophy (pp. 285–292). Oxford: Blackwell.
Gödel, K. (1984). Russell’s mathematical logic. In P. Benacerraf & H. Putnam (Eds.), Philosophy of mathematics (pp. 211–232). Cambridge: Cambridge University Press.
Hintikka, J. (1997). The principles of mathematics revisited. Cambridge: Cambridge University Press.
Parsons, C. (1990). The structuralist view of mathematical objects. Synthese, 84, 303–346.
Ramsey, F. (1925). The foundations of mathematics. Proceedings of the London Mathematical Society, 25, 338–394.
Resnik, M. D. (1988). Second order logic still wild. Journal of Philosophy, 75, 75–87.
Russell, B. (1908). Mathematical logic as based on the theory of types. In J. van Heijenoort (Ed.), From Frege to Gödel (pp. 150–182). Cambridge, MA: Harvard University Press.
Shapiro, S. (1997). Philosophy of mathematics. Oxford: Oxford University Press.
Acknowledgements
I am grateful to my colleagues Pierdaniele Giaretta and Ernesto Napoli for a number of helpful comments. My best thanks to Aldo Antonelli for inviting me to write the paper.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG
About this chapter
Cite this chapter
Martino, E. (2018). Arbitrary Reference in Mathematical Reasoning. In: Intuitionistic Proof Versus Classical Truth. Logic, Epistemology, and the Unity of Science, vol 42. Springer, Cham. https://doi.org/10.1007/978-3-319-74357-8_12
Download citation
DOI: https://doi.org/10.1007/978-3-319-74357-8_12
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-74356-1
Online ISBN: 978-3-319-74357-8
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)