PG (Plural Grundgesetze) is a consistent second-order system which is aimed to derive second-order Peano arithmetic. It employs the notion of plural quantification and a few Fregean devices, among which the infamous Basic Law V. George Boolos’ plural semantics is replaced with Enrico Martino’s Acts of Choice Semantics (ACS), which is developed from the notion of arbitrary reference in mathematical reasoning. Also, substitutional quantification is exploited to interpret quantification into predicate position. ACS provides a form of logicism which is radically alternative to Frege’s and which is grounded on the existence of individuals rather than on the existence of concepts.
Plural Logicism / Boccuni, F.. - In: ERKENNTNIS. - ISSN 0165-0106. - 78:5(2013), pp. 1051-1067. [10.1007/s10670-013-9482-z]
Plural Logicism
BOCCUNI , FRANCESCA
Primo
2013-01-01
Abstract
PG (Plural Grundgesetze) is a consistent second-order system which is aimed to derive second-order Peano arithmetic. It employs the notion of plural quantification and a few Fregean devices, among which the infamous Basic Law V. George Boolos’ plural semantics is replaced with Enrico Martino’s Acts of Choice Semantics (ACS), which is developed from the notion of arbitrary reference in mathematical reasoning. Also, substitutional quantification is exploited to interpret quantification into predicate position. ACS provides a form of logicism which is radically alternative to Frege’s and which is grounded on the existence of individuals rather than on the existence of concepts.| File | Dimensione | Formato | |
|---|---|---|---|
|
Boccuni2013_Article_PluralLogicism.pdf
solo gestori archivio
Tipologia:
PDF editoriale (versione pubblicata dall'editore)
Licenza:
Tutti i diritti riservati
Dimensione
345.22 kB
Formato
Adobe PDF
|
345.22 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
