Plural Frege Arithmetic
In [Boccuni 2010], a predicative fragment of Frege’s blv augmented with Boolos’ unrestricted plural quantification is shown to interpret pa2. The main disadvantage of that axiomatisation is that it does not recover Frege Arithmetic fa because of the restrictions impos...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | deu |
| Published: |
Éditions Kimé
2022-02-01
|
| Series: | Philosophia Scientiæ |
| Online Access: | http://journals.openedition.org/philosophiascientiae/3394 |