Frege’s definition of the real numbers, as envisaged in the second volume of Grundgesetze der Arithmetik, is fatally flawed by the inconsistency of Frege’s ill-fated Basic Law V. Werestate Frege’s definition in a consistent logical framework and investigate whether it canprovide a logical foundation of real analysis. Our conclusion will deem it doubtful that sucha foundation along the lines of Frege’s own indications is possible at all.

Frege's Theory of Real Numbers: A Consistent Rendering / Boccuni, Francesca; Panza, Marco. - In: THE REVIEW OF SYMBOLIC LOGIC. - ISSN 1755-0203. - 15:3(2022), pp. 624-667. [10.1017/S175502032000026X]

Frege's Theory of Real Numbers: A Consistent Rendering

Francesca Boccuni
Co-primo
;
2022-01-01

Abstract

Frege’s definition of the real numbers, as envisaged in the second volume of Grundgesetze der Arithmetik, is fatally flawed by the inconsistency of Frege’s ill-fated Basic Law V. Werestate Frege’s definition in a consistent logical framework and investigate whether it canprovide a logical foundation of real analysis. Our conclusion will deem it doubtful that sucha foundation along the lines of Frege’s own indications is possible at all.
2022
Frege, Frege's theory of real numbers, foundations of real analysis, logicism, Euclid's Principle
File in questo prodotto:
File Dimensione Formato  
freges-theory-of-real-numbers-a-consistent-rendering.pdf

solo gestori archivio

Tipologia: PDF editoriale (versione pubblicata dall'editore)
Licenza: Copyright dell'editore
Dimensione 450.63 kB
Formato Adobe PDF
450.63 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
2101.01643v1_arxiv.pdf

accesso aperto

Tipologia: Post-print (versione valutata in peer review)
Licenza: Creative commons
Dimensione 551.5 kB
Formato Adobe PDF
551.5 kB Adobe PDF Visualizza/Apri

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/100917
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? 5
social impact