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:
Non ci sono file associati a questo prodotto.

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 2
  • ???jsp.display-item.citation.isi??? 4
social impact