AbstractAccording to Augustine, abstract objects are ideas in the Mind of God. Because numbers are a type of abstract object, it would follow that numbers are ideas in the Mind of God. Let us call such a view the Augustinian View of Numbers (AVN). In this paper, I present a formal theory for AVN. The theory stems from the symmetry conception of God as it appears in Studtmann (2021). I show that Robinson’s Arithmetic, Q, can be interpreted by the theory in Studtmann’s paper. The interpretation is made possible by identifying the set of natural numbers with God, 0 with Being, and the successor function with the essence function. The resulting theory can then be augmented to include Peano Arithmetic by adding a set-theoretic version of induction and a comprehension schema restricted to arithmetically definable properties. In addition to these formal matters, the paper provides a characterization of the mind of God. According to the characterization, the Being essences that constitute God’s mind act as both numbers and representations – each has all the properties of some number and encodes all the properties of that number’s predecessor. The conception of God that emerges by the end of the discussion is a conception of an infinite, ineffable, axiologically and metaphysically ultimate entity that contains objects that not only serve as numbers but also encode information about each other.
Similar books and articles
On Certain Axiomatizations of Arithmetic of Natural and Integer Numbers.Urszula Wybraniec-Skardowska - 2019 - Axioms 2019 (Deductive Systems).
Fixed points in Peano arithmetic with ordinals.Gerhard Jäger - 1993 - Annals of Pure and Applied Logic 60 (2):119-132.
The epistemic significance of numerals.Jan8 Heylen - forthcoming - Synthese 198 (Suppl 5):1019-1045.
Interstitial and pseudo gaps in models of Peano Arithmetic.Ermek S. Nurkhaidarov - 2010 - Mathematical Logic Quarterly 56 (2):198-204.
Ordinal numbers in arithmetic progression.Frederick Bagemihl & F. Bagemihl - 1992 - Mathematical Logic Quarterly 38 (1):525-528.
More Automorphism Groups of Countable, Arithmetically Saturated Models of Peano Arithmetic.James H. Schmerl - 2018 - Notre Dame Journal of Formal Logic 59 (4):491-496.
The abstract type of the real numbers.Fernando Ferreira - 2021 - Archive for Mathematical Logic 60 (7):1005-1017.
Learning natural numbers is conceptually different than learning counting numbers.Dwight Read - 2008 - Behavioral and Brain Sciences 31 (6):667-668.
A standard model of Peano Arithmetic with no conservative elementary extension.Ali Enayat - 2008 - Annals of Pure and Applied Logic 156 (2):308-318.
Expanding the additive reduct of a model of Peano arithmetic.Masahiko Murakami & Akito Tsuboi - 2003 - Mathematical Logic Quarterly 49 (4):363-368.
Injecting uniformities into Peano arithmetic.Fernando Ferreira - 2009 - Annals of Pure and Applied Logic 157 (2-3):122-129.
A Philosophical Inquiry Into the Concept of Number.Joongol Kim - 2004 - Dissertation, University of Notre Dame
Added to PP
Historical graph of downloads