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, F., Panza, M.. - 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
22-feb-2021
Inglese
Cambridge University Press
15
3
624
667
43
Pubblicato
https://www.cambridge.org/core/journals/review-of-symbolic-logic/article/freges-theory-of-real-numbers-a-consistent-rendering/DC89367DB1745CF3C774FE4C8E708ECE
Esperti anonimi
Internazionale
Not applicable
Frege, Frege's theory of real numbers, foundations of real analysis, logicism, Euclid's Principle
UNISR.PHIL
Frege's Theory of Real Numbers: A Consistent Rendering / Boccuni, F., Panza, M.. - In: THE REVIEW OF SYMBOLIC LOGIC. - ISSN 1755-0203. - 15:3(2022), pp. 624-667. [10.1017/S175502032000026X]
partially_open
2
info:eu-repo/semantics/article
262
Boccuni, Francesca; Panza, Marco
1 Contributo su Rivista::1.1 Articolo in rivista
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: Tutti i diritti riservati
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 7
  • ???jsp.display-item.citation.isi??? 8
social impact