HUME’S PRINCIPLE, BAD COMPANY, AND THE AXIOM OF CHOICE | The Review of Symbolic Logic | Cambridge Core

HUME’S PRINCIPLE, BAD COMPANY, AND THE AXIOM OF CHOICE - Volume 16 Issue 4

Abstract One prominent criticism of the abstractionist program is the so-called Bad Company objection. The complaint is that abstraction principles cannot in general be a legitimate way to introduce mathematical theories, since some of them are inconsistent. The most notorious example, of course, is Frege’s Basic Law V. A common response to the objection suggests that an abstraction principle can be used to legitimately introduce a mathematical theory precisely when it is stable: when it can be made true on all sufficiently large domains. In this paper, we raise a worry for this response to…

saved by

• Dorothy Chrisman

related reading

• Philosophy of Mathematics (Stanford Encyclopedia of Philosophy)plato.stanford.edu
• The Axiom of Choiceplato.stanford.edu
• Gödel's incompleteness theorems - Wikipediaen.wikipedia.org
• Frege’s Theorem and Foundations for Arithmetic (Stanford Encyclopedia of Philosophy)plato.stanford.edu
• Benacerraf's identification problem - Wikipediaen.wikipedia.org
• Zermelo–Fraenkel set theoryen.wikipedia.org
• Zermelo–Fraenkel set theoryen.wikipedia.org
• New riddle of induction - Wikipediaen.wikipedia.org
• Logicism and Neologicism (Stanford Encyclopedia of Philosophy)plato.stanford.edu
• The Physicalization of Metamathematics and Its Implications for the Foundations of Mathematicswolframscience.com
• Formalism in the Philosophy of Mathematics (Stanford Encyclopedia of Philosophy)plato.stanford.edu
• Why Math’s Final Axiom Proved So Controversial | Quanta Magazinequantamagazine.org