Aristotle meets Frege: from Potentialism to Frege Arithmetic
DOI:
https://doi.org/10.36253/jpm-2937Keywords:
Abstractionist neo-logicism, Crispin Wright, Bob Hale, Hume’s Principle, Aristotelian potentialism, finitude, Dedekind finiteAbstract
The purpose of this paper is to present a genuinely potentialist account of Frege arithmetic. The (cardinal) numbers are not generated from Hume’s Principle, but rather from more or less standard principles of potentialism. The relevant version of Hume’s Principle is a principle stating a condition for numbers to be identical with each other. Essentially, (HP) tells us what we are generating— cardinal numbers—but the generation does not go through (HP) itself. We also develop an Aristotelian, potentialist set theory—in effect, a theory of hereditarily finite sets—a theory that is definitionally equivalent to Dedekind-Peano arithmetic.
Downloads
Published
How to Cite
Issue
Section
License
Copyright (c) 2024 Stewart Shapiro
This work is licensed under a Creative Commons Attribution 4.0 International License.
- Copyright on any open access article in JPM published by FUP is retained by the author(s).
- Authors grant FUP a license to publish the article and identify itself as the original publisher.
- Authors also grant any third party the right to use the article freely as long as its integrity is maintained and its original authors, citation details and publisher are identified.
- The Creative Commons Attribution License 4.0 formalizes these and other terms and conditions of publishing articles.
- In accordance with our Open Data policy, the Creative Commons CC0 1.0 Public Domain Dedication waiver applies to all published data in JPM open access articles.