Notre Dame Journal of Formal Logic

Extensionalizing Intensional Second-Order Logic

Jonathan Payne

Full-text: Access denied (no subscription detected)

We're sorry, but we are unable to provide you with the full text of this article because we are not able to identify you as a subscriber. If you have a personal subscription to this journal, then please login. If you are already logged in, then you may need to update your profile to register your subscription. Read more about accessing full-text

Abstract

Neo-Fregean approaches to set theory, following Frege, have it that sets are the extensions of concepts, where concepts are the values of second-order variables. The idea is that, given a second-order entity X, there may be an object εX, which is the extension of X. Other writers have also claimed a similar relationship between second-order logic and set theory, where sets arise from pluralities.

This paper considers two interpretations of second-order logic—as being either extensional or intensional—and whether either is more appropriate for this approach to the foundations of set theory. Although there seems to be a case for the extensional interpretation resulting from modal considerations, I show how there is no obstacle to starting with an intensional second-order logic. I do so by showing how the ε operator can have the effect of “extensionalizing” intensional second-order entities.

Article information

Source
Notre Dame J. Formal Logic, Volume 56, Number 1 (2015), 243-261.

Dates
First available in Project Euclid: 24 March 2015

Permanent link to this document
https://projecteuclid.org/euclid.ndjfl/1427202982

Digital Object Identifier
doi:10.1215/00294527-2835092

Mathematical Reviews number (MathSciNet)
MR3326597

Zentralblatt MATH identifier
1371.03015

Subjects
Primary: 03A05: Philosophical and critical {For philosophy of mathematics, see also 00A30}
Secondary: 00A30: Philosophy of mathematics [See also 03A05]

Keywords
modal set theory abstraction second-order logic plural logic

Citation

Payne, Jonathan. Extensionalizing Intensional Second-Order Logic. Notre Dame J. Formal Logic 56 (2015), no. 1, 243--261. doi:10.1215/00294527-2835092. https://projecteuclid.org/euclid.ndjfl/1427202982


Export citation

References

  • [1] Barcan, M. R., “Classes, collections, and individuals,” American Philosophical Quarterly, vol. 11 (1974), pp. 227–32.
  • [2] Boolos, G., “Iteration again,” Philosophical Topics, vol. 17 (1989), pp. 5–21.
  • [3] Burgess, J. P., “E pluribus unum: Plural logic and set theory,” Philosophia Mathematica (3), vol. 12 (2004), pp. 193–221.
  • [4] Fine, K., “First-order modal theories, I: Sets,” Noûs, vol. 15 (1981), pp. 177–205.
  • [5] Frege, G., The Basic Laws of Arithmetic, edited and translated by M. Furth, reprint of the 1964 original, University of California Press, Berkeley, 1982.
  • [6] Hale, B., “Abstraction and set theory,” Notre Dame Journal of Formal Logic, vol. 41 (2000), pp. 379–98.
  • [7] Hale, B., and C. Wright, The Reason’s Proper Study: Essays towards a Neo-Fregean Philosophy of Mathematics, Clarendon Press, Oxford University Press, Oxford, 2001.
  • [8] Hale, B., and C. Wright, “To bury Caesar…,” pp. 335–98 in B. Hale and C. Wright The Reason’s Proper Study: Essays toward a Neo-Fregean Philosophy of Mathematics, Clarendon Press, Oxford University Press, Oxford, 2001.
  • [9] Hewitt, S. T., “Modalising plurals,” Journal of Philosophical Logic, vol. 41 (2012), pp. 853–75.
  • [10] Hodes, H., “On modal logics which enrich first-order S$5$,” Journal of Philosophical Logic, vol. 13 (1984), pp. 423–54.
  • [11] Linnebo, Ø., “Sets, properties and unrestricted quantification,” pp. 149–78 in Absolute Generality, edited by A. Rayo and G. Uzquiano, Oxford University Press, Oxford, 2006.
  • [12] Linnebo, Ø., “Pluralities and sets,” Journal of Philosophy, vol. 107 (2010), pp. 144–64.
  • [13] Parsons, C., “Sets and modality,” pp. 298–341 in Mathematics in Philosophy, Cornell University Press, Ithaca, N. Y., 1983.
  • [14] Quine, W. V., Philosophy of Logic, 6th printing, Foundations of Philosophy, Prentice-Hall, Englewood Cliffs, N. J., 1970.
  • [15] Shapiro, S., “Prolegomenon to any future neo-logicist set theory: Abstraction and indefinite extensibility,” British Journal for the Philosophy of Science, vol. 54 (2003), pp. 59–91.
  • [16] Williamson, T., “Necessitism, contingentism, and plural quantification,” Mind, vol. 119 (2010), pp. 657–748.
  • [17] Williamson, T., “Barcan formulas in second-order modal logic,” to appear in Themes from Barcan Marcus, vol. 3 of Lauener Library of Analytical Philosophy.
  • [18] Wright, C., “Is Hume’s principle analytic?,” pp. 307–33 in The Reason’s Proper Study: Essays toward a Neo-Fregean Philosophy of Mathematics, edited by B. Hale and C. Wright, 2001.