Notre Dame Journal of Formal Logic

Some Criteria for Acceptable Abstraction

Øystein Linnebo

Abstract

Which abstraction principles are acceptable? A variety of criteria have been proposed, in particular irenicity, stability, conservativeness, and unboundedness. This note charts their logical relations. This answers some open questions and corrects some old answers.

Article information

Source
Notre Dame J. Formal Logic Volume 52, Number 3 (2011), 331-338.

Dates
First available in Project Euclid: 28 July 2011

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

Digital Object Identifier
doi:10.1215/00294527-1435492

Mathematical Reviews number (MathSciNet)
MR2822493

Zentralblatt MATH identifier
1252.03015

Subjects
Primary: 00A30: Philosophy of mathematics [See also 03A05] 03A05: Philosophical and critical {For philosophy of mathematics, see also 00A30} 03C65: Models of other mathematical theories

Keywords
abstraction bad company problem conservativeness unboundedness stability irenicity

Citation

Linnebo, Øystein. Some Criteria for Acceptable Abstraction. Notre Dame J. Formal Logic 52 (2011), no. 3, 331--338. doi:10.1215/00294527-1435492. https://projecteuclid.org/euclid.ndjfl/1311875778.


Export citation

References

  • [1] Boolos, G., "The standard of equality of numbers", pp. 234–54 in Meaning and Method: Essays in Honor of Hilary Putnam, edited by G. Boolos, Harvard University Press, Cambridge, 1995. Reprinted in [Boolos:1998?].
  • [2] Boolos, G., Logic, Logic, and Logic, edited by R. Jeffrey, Harvard University Press, Cambridge, 1998.
  • [3] Cook, R., “Conservativeness, stability, and abstraction,” forthcoming in the British Journal for Philosophy of Science.
  • [4] Hale, B., "Reals by abstraction. Abstraction and neo-logicism", Philosophia Mathematica. Series III, vol. 8 (2000), pp. 100–123.
  • [5] Hale, B., and C. Wright, The Reason's Proper Study. Essays towards a Neo-Fregean Philosophy of Mathematics, The Clarendon Press, New York, 2001.
  • [6] Linnebo, Ø., "Introduction [to a special issue on the bad company problem]", Synthese, vol. 170 (2009), pp. 321–29.
  • [7] Linnebo, Ø., and G. Uzquiano, "Which abstraction principles are acceptable? Some limitative results", The British Journal for the Philosophy of Science, vol. 60 (2009), pp. 239–52.
  • [8] Shapiro, S., "The company kept by cut abstraction (and its relatives)", Philosophia Mathematica, vol. 19 (2011), pp. 107–38.
  • [9] Shapiro, S., Foundations without Foundationalism. A Case for Second-Order Logic, vol. 17 of Oxford Science Publications, The Clarendon Press, New York, 1991.
  • [10] Shapiro, S., "Frege meets Dedekind: A neologicist treatment of real analysis", Notre Dame Journal of Formal Logic, vol. 41 (2000), pp. 335–64. Special Issue: Logicism and the Paradoxes: A Reappraisal, II.
  • [11] Uzquiano, G., "Bad company generalized", Synthese, vol. 170 (2009), pp. 331–47.
  • [12] Weir, A., "Neo-Fregeanism: An embarrassment of riches", Notre Dame Journal of Formal Logic, vol. 44 (2003), pp. 13–48.