Potential Infinity, Abstraction Principles and Arithmetic (Leśniewski Style)
This 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...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
MDPI AG
2016-06-01
|
| Series: | Axioms |
| Subjects: | |
| Online Access: | http://www.mdpi.com/2075-1680/5/2/18 |