Advertisement

Erkenntnis

, Volume 76, Issue 1, pp 23–40 | Cite as

Against the Judgment-Dependence of Mathematics and Logic

  • Alexander Paseau
Original Article
  • 107 Downloads

Abstract

Although the case for the judgment-dependence of many other domains has been pored over, surprisingly little attention has been paid to mathematics and logic. This paper presents two dilemmas for a judgment-dependent account of these areas. First, the extensionality-substantiality dilemma: in each case, either the judgment-dependent account is extensionally inadequate or it cannot meet the substantiality condition (roughly: non-vacuous specification). Second, the extensionality-extremality dilemma: in each case, either the judgment-dependent account is extensionally inadequate or it cannot meet the extremality condition (roughly: absence of independent explanation). The paper concludes with a moral concerning the judgment-dependence of a posteriori areas of discourse that emerges from consideration of these two a priori cases.

Keywords

Basic Equation Logical Consequence Turing Machine Logical Truth Continuum Hypothesis 
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.

Notes

Acknowledgments

This paper was written in 2005 under the welcoming roof of the New York Public Library. I am grateful to audiences at the 2005 Bristol Logic Colloquium, the Oxford Philosophy of Mathematics Seminar and the Oxford Philosophical Society for subsequent discussion, and to Mark Sprevak and Ralph Wedgwood for comments.

References

  1. Boolos, G., Burgess, J. P., & Jeffrey, R. (2007). Computability and logic (5th ed.). New York: Cambridge University Press.Google Scholar
  2. Divers, J., & Miller, A. (1999). Arithmetical Platonism: Reliability and judgment-dependence. Philosophical Studies, 95, 277–310.CrossRefGoogle Scholar
  3. Edwards, J. (1992). Secondary qualities and the a priori. Mind, 101, 263–272.CrossRefGoogle Scholar
  4. Gödel, K. (1946). Remarks before the Princeton bicentennial conference on problems in mathematics. In S. Feferman, et al. (Eds.), Collected works, Vol. 2 (pp. 150–153). Oxford: Oxford University Press.Google Scholar
  5. Johnston, M. (1989). Dispositional theories of value. Proceedings of the Aristotelian Society Supplementary, 63, 139–174.Google Scholar
  6. Johnston, M. (1993). Objectivity refigured: Pragmatism without verificationism. In J. Haldane & C. Wright (Eds.), Reality, representation and projection (pp. 85–130). Oxford: Oxford University Press.Google Scholar
  7. Koellner, P. (2006). On the question of absolute undecidability. Philosophia Mathematica, 14, 153–188.CrossRefGoogle Scholar
  8. Levy, A., & Solovay, R. M. (1967). Measurable cardinals and the continuum hypothesis. Israel Journal of Mathematics, 36, 234–248.CrossRefGoogle Scholar
  9. McDowell, J. (1985). Values and secondary qualities. In T. Honderich (Ed.), Morality and objectivity (pp. 110–129). London: Routledge.Google Scholar
  10. Pettit, P. (1991). Realism and response-dependence. Mind, 100, 587–626.Google Scholar
  11. Shapiro, S. (1991). Foundations without foundationalism. Oxford: Clarendon Press.Google Scholar
  12. Tarski, A. (1951). A decision method for elementary algebra and geometry (2nd ed.). Berkeley and Los Angeles: University of California Press.Google Scholar
  13. Weston, T. (1976). Kreisel, the continuum hypothesis and second-order set theory. Journal of Philosophical Logic, 5, 281–298.CrossRefGoogle Scholar
  14. Wright, C. (1992). Truth and objectivity. Cambridge, MA: Harvard University Press.Google Scholar
  15. Wright, C. (1993). Realism: the contemporary debate: W(h)ither now? In J. Haldane & C. Wright (Eds.), Reality, representation and projection (pp. 63–84). Oxford: Oxford University Press.Google Scholar

Copyright information

© Springer Science+Business Media B.V. 2011

Authors and Affiliations

  1. 1.Wadham CollegeOxfordUK

Personalised recommendations