Abstractionism in the philosophy of mathematics aims at deriving large fragments of mathematics by combining abstraction principles (i.e. the abstract objects §e1,§e2, are identical if, and only if, an equivalence relation Eq§ holds between the entities e1,e2) with logic. Still, as highlighted in work on the semantics for relevant logics, there are different ways theories might be combined. In exactly what ways must logic and abstraction be combined in order to get interesting mathematics? In this paper, we investigate the matter by deriving the axioms of second-order Peano Arithmetic from Frege’s Basic Law V (the extension of F is identical with the extension of G if, and only if, F and G are extensionally equivalent) in the presence of a relevant higher-order logic. The results are interesting. Not only must we take on logic as true, and not only must we apply our logic to abstraction principles, but also we have to apply our theory of abstraction back to the logic in order to arrive at arithmetic. Thus, what Abstractionism gives us is not simply what we get from abstraction via logic, but also what we get from logic via abstraction.

Frege meets Belnap: Basic Law V in a Relevant Logic / Boccuni, Francesca; Allen Logan, Shay. - (In corso di stampa).

Frege meets Belnap: Basic Law V in a Relevant Logic

francesca boccuni
Co-primo
;
In corso di stampa

Abstract

Abstractionism in the philosophy of mathematics aims at deriving large fragments of mathematics by combining abstraction principles (i.e. the abstract objects §e1,§e2, are identical if, and only if, an equivalence relation Eq§ holds between the entities e1,e2) with logic. Still, as highlighted in work on the semantics for relevant logics, there are different ways theories might be combined. In exactly what ways must logic and abstraction be combined in order to get interesting mathematics? In this paper, we investigate the matter by deriving the axioms of second-order Peano Arithmetic from Frege’s Basic Law V (the extension of F is identical with the extension of G if, and only if, F and G are extensionally equivalent) in the presence of a relevant higher-order logic. The results are interesting. Not only must we take on logic as true, and not only must we apply our logic to abstraction principles, but also we have to apply our theory of abstraction back to the logic in order to arrive at arithmetic. Thus, what Abstractionism gives us is not simply what we get from abstraction via logic, but also what we get from logic via abstraction.
In corso di stampa
Relevant Logics, Abstraction Principles, Basic Law V, Second-Order Peano Arithmetic
File in questo prodotto:
File Dimensione Formato  
FINAL_Frege meets Belnap.pdf

solo gestori archivio

Tipologia: Submitted manuscript (manoscritto inviato all’editore)
Licenza: Altra licenza
Dimensione 396.71 kB
Formato Adobe PDF
396.71 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/153156
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact