Aristotle meets Frege: from Potentialism to Frege Arithmetic

Authors

DOI:

https://doi.org/10.36253/jpm-2937

Keywords:

Abstractionist neo-logicism, Crispin Wright, Bob Hale, Hume’s Principle, Aristotelian potentialism, finitude, Dedekind finite

Abstract

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

2024-09-10

How to Cite

Shapiro, S. (2024). Aristotle meets Frege: from Potentialism to Frege Arithmetic. Journal for the Philosophy of Mathematics, 1, 127–153. https://doi.org/10.36253/jpm-2937

Issue

Section

Articles