Potential Infinity, Abstraction Principles and Arithmetic (Leśniewski Style)
AbstractThis paper starts with an explanation of how the logicist research program can be approached within the framework of Leśniewski’s systems. One nice feature of the system is that Hume’s Principle is derivable in it from an explicit definition of natural numbers. I generalize this result to show that all predicative abstraction principles corresponding to second-level relations, which are provably equivalence relations, are provable. However, the system fails, despite being much neater than the construction of Principia Mathematica (PM). One of the key reasons is that, just as in the case of the system of PM, without the assumption that infinitely many objects exist, (renderings of) most of the standard axioms of Peano Arithmetic are not derivable in the system. I prove that introducing modal quantifiers meant to capture the intuitions behind potential infinity results in the (renderings of) axioms of Peano Arithmetic (PA) being valid in all relational models (i.e. Kripke-style models, to be defined later on) of the extended language. The second, historical part of the paper contains a user-friendly description of Leśniewski’s own arithmetic and a brief investigation into its properties. View Full-Text
Scifeed alert for new publicationsNever miss any articles matching your research from any publisher
- Get alerts for new papers matching your research
- Find out the new papers from selected authors
- Updated daily for 49'000+ journals and 6000+ publishers
- Define your Scifeed now
Urbaniak, R. Potential Infinity, Abstraction Principles and Arithmetic (Leśniewski Style). Axioms 2016, 5, 18.
Urbaniak R. Potential Infinity, Abstraction Principles and Arithmetic (Leśniewski Style). Axioms. 2016; 5(2):18.Chicago/Turabian Style
Urbaniak, Rafal. 2016. "Potential Infinity, Abstraction Principles and Arithmetic (Leśniewski Style)." Axioms 5, no. 2: 18.
Note that from the first issue of 2016, MDPI journals use article numbers instead of page numbers. See further details here.