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 imposed on the axioms. The aim of the...
| Үндсэн зохиолч: | |
|---|---|
| Формат: | Өгүүллэг |
| Хэл сонгох: | deu |
| Хэвлэсэн: |
Éditions Kimé
2022-02-01
|
| Цуврал: | Philosophia Scientiæ |
| Онлайн хандалт: | https://journals.openedition.org/philosophiascientiae/3394 |