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 present article is to show how [Boccuni 2010] can be consistently extended so as to interpret FA and consequently PA2 in a way that parallels Frege’s. In that way, the presented system will be compared with the system PE in [Ferreira 2018] and some relevant differences between the two will be highlighted.
Plural Frege Arithmetic / Boccuni, Francesca. - In: PHILOSOPHIA SCIENTIAE. - ISSN 1775-4283. - 26:1(2022), pp. 189-206. [10.4000/philosophiascientiae.3394]
Plural Frege Arithmetic
Francesca Boccuni
Primo
2022-01-01
Abstract
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 present article is to show how [Boccuni 2010] can be consistently extended so as to interpret FA and consequently PA2 in a way that parallels Frege’s. In that way, the presented system will be compared with the system PE in [Ferreira 2018] and some relevant differences between the two will be highlighted.| File | Dimensione | Formato | |
|---|---|---|---|
|
phsc_26-1_Kime_Boccuni.pdf
accesso aperto
Descrizione: articolo principale
Tipologia:
PDF editoriale (versione pubblicata dall'editore)
Licenza:
Creative commons
Dimensione
479.05 kB
Formato
Adobe PDF
|
479.05 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
