Abstractionist programs in the philosophy of mathematics have focused their investigations on abstraction principles, which are taken to be implicit definitions of the objects in the range of their operators. Such principles are consistent in predicative second-order logic (\SOL), but are (individually) mathematically weak. This paper, inspired by the work of Boolos \cite{Boolos1986} and Zalta \cite{Zalta1983}, examines axioms of \textit{explicit} definition of abstract objects. These axioms state that there is a unique abstract encoding all concepts satisfying a given formula $\phi(F)$, with $F$ a concept variable. Such a system is inconsistent in full \SOL, but as Zalta shows, can be made consistent with modifications to the logic motivated by a primordial separation of the universe into abstracts and non-abstracts. In this article, we will show that no such measures are needed if the underlying logic is a restrictive version of predicative \SOL. We also show that the axiomatic system we will investigate, i.e. \RPELO, has a natural extension which delivers a peculiar interpretation of \PA$^2$.

Explicit Abstract Objects in predicative settings / Ebels-Duggan, Sean; Boccuni, Francesca. - In: JOURNAL OF PHILOSOPHICAL LOGIC. - ISSN 0022-3611. - 53:5(2024), pp. 1347-1382. [10.1007/s10992-024-09768-1]

Explicit Abstract Objects in predicative settings

Francesca Boccuni
Secondo
2024-01-01

Abstract

Abstractionist programs in the philosophy of mathematics have focused their investigations on abstraction principles, which are taken to be implicit definitions of the objects in the range of their operators. Such principles are consistent in predicative second-order logic (\SOL), but are (individually) mathematically weak. This paper, inspired by the work of Boolos \cite{Boolos1986} and Zalta \cite{Zalta1983}, examines axioms of \textit{explicit} definition of abstract objects. These axioms state that there is a unique abstract encoding all concepts satisfying a given formula $\phi(F)$, with $F$ a concept variable. Such a system is inconsistent in full \SOL, but as Zalta shows, can be made consistent with modifications to the logic motivated by a primordial separation of the universe into abstracts and non-abstracts. In this article, we will show that no such measures are needed if the underlying logic is a restrictive version of predicative \SOL. We also show that the axiomatic system we will investigate, i.e. \RPELO, has a natural extension which delivers a peculiar interpretation of \PA$^2$.
2024
abstractionism; abstract objects; second-order Peano arithmetic; predicative second-order logic
File in questo prodotto:
File Dimensione Formato  
s10992-024-09768-1.pdf

solo gestori archivio

Tipologia: PDF editoriale (versione pubblicata dall'editore)
Licenza: Copyright dell'editore
Dimensione 533.34 kB
Formato Adobe PDF
533.34 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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.11768/166236
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? 1
social impact