Notre Dame Journal of Formal Logic
- Notre Dame J. Formal Logic
- Volume 59, Number 1 (2018), 61-74.
Cardinality and Acceptable Abstraction
It is widely thought that the acceptability of an abstraction principle is a feature of the cardinalities at which it is satisfiable. This view is called into question by a recent observation by Richard Heck. We show that a fix proposed by Heck fails but we analyze the interesting idea on which it is based, namely that an acceptable abstraction has to “generate” the objects that it requires. We also correct and complete the classification of proposed criteria for acceptable abstraction.
Notre Dame J. Formal Logic, Volume 59, Number 1 (2018), 61-74.
Received: 15 July 2014
Accepted: 16 January 2015
First available in Project Euclid: 16 November 2017
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Cook, Roy T.; Linnebo, Øystein. Cardinality and Acceptable Abstraction. Notre Dame J. Formal Logic 59 (2018), no. 1, 61--74. doi:10.1215/00294527-2017-0012. https://projecteuclid.org/euclid.ndjfl/1510802482