Notre Dame Journal of Formal Logic

Some Criteria for Acceptable Abstraction

Øystein Linnebo


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

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

First available in Project Euclid: 28 July 2011

Permanent link to this document

Digital Object Identifier

Mathematical Reviews number (MathSciNet)

Zentralblatt MATH identifier

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

abstraction bad company problem conservativeness unboundedness stability irenicity


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

Export citation


  • [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.