Abstract
Peter Geach proposed a substitutional construal of quantification over thirty years ago. It is not standardly substitutional since it is not tied to those substitution instances currently available to us; rather, it is pegged to possible substitution instances. We argue that (i) quantification over the real numbers can be construed substitutionally following Geach's idea; (ii) a price to be paid, if it is that, is intuitionism; (iii) quantification, thus conceived, does not in itself relieve us of ontological commitment to real numbers.
Similar content being viewed by others
References
Boolos, G. and R. Jeffrey: 1974,Computability and Logic, Cambridge University Press, London and New York.
Geach, P. T.: 1980,Reference and Generality, 3rd ed., (1st ed.: 1962), Cornell University Press, Ithaca and London.
Hugly, P. and C. Sayward: 1982, ‘Indenumerability and Substitutional Quantification’,Notre Dame Journal of Formal Logic 23, 358–66.
Hugly, P. and C. Sayward: 1983, ‘Can a Language Have Indenumerably Many Expressions?’,History and Philosophy of Logic 4, 73–82.
Lorenzen, P.: 1991,Differential and Integral, University of Texas Press, Austin and London (translated by John Bacon).
Penrose, R.: 1989,The Emperor's New Mind, Oxford University Press, New York.
Quine, W. V. O.: 1962, ‘Reply to Marcus’,Synthese 27, 323–30, reprint in I. M. Copi and J. A. Gould (eds.): 1967,Contemporary Readings in Logical Theory, MacMillan, London.
Quine, W. V. O.: 1969,Ontological Relativity and Other Essays, Columbia University Press, New York.
Quine, W. V. O.: 1970,Philosophy of Logic, Prentice-Hall, Englewood Cliffs, New Jersey.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Hugly, P., Sayward, C. Quantifying over the reals. Synthese 101, 53–64 (1994). https://doi.org/10.1007/BF01063968
Issue Date:
DOI: https://doi.org/10.1007/BF01063968