Frege's theory of real numbers: A consistent rendering

DOI10.1017/S175502032000026XMaRDI QIDQ5099780zbMATH OpenWikidataFDO

Authors Francesca Boccuni, Marco Panza

Publication date 26 August 2022

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2101.01643

zbMATH Keywords

FregelogicismEuclid's principlefoundation of real analysisFrege's theory of real numbers

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Philosophy of mathematics (00A30) History of mathematical logic and foundations (03-03) Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35)

Abstract: Frege's definition of the real numbers, as envisaged in the second volume of extit{Grundgesetze der Arithmetik}, is fatally flawed by the inconsistency of Frege's ill-fated extit{Basic Law V}. We restate Frege's definition in a consistent logical framework and investigate whether it can provide a logical foundation of real analysis. Our conclusion will deem it doubtful that such a foundation along the lines of Frege's own indications is possible at all.

Recommendations

• Frege's Theory of Real Numbers
• Reflections on Frege's theory of real numbers
• Frege on quantities and real numbers in consideration of the theories of Cantor, Russell and others
• Frege on the real numbers
• Frege's Approach to the Foundations of Analysis (1874–1903)

Cites work

• scientific article; zbMATH DE number 3887672 (Why is no real title available?)
• scientific article; zbMATH DE number 3129391 (Why is no real title available?)
• scientific article; zbMATH DE number 3172716 (Why is no real title available?)
• scientific article; zbMATH DE number 1550342 (Why is no real title available?)
• scientific article; zbMATH DE number 1550347 (Why is no real title available?)
• scientific article; zbMATH DE number 1439713 (Why is no real title available?)
• scientific article; zbMATH DE number 3197168 (Why is no real title available?)
• Axiom of choice
• Basic laws of arithmetic. Derived using concept-script. Volume 1 and 2. Translated and edited by Philip A. Ebert and Marcus Rossberg. With a foreword by Crispin Wright and an appendix by Roy T. Cook
• FREGE’S CONSTRAINT AND THE NATURE OF FREGE’S FOUNDATIONAL PROGRAM
• Frege on the real numbers
• Frege's Approach to the Foundations of Analysis (1874–1903)
• Frege's Theory of Real Numbers
• Frege's other program
• Functions and generality of logic. Reflections on Dedekind's and Frege's logicisms
• Neo-Fregean foundations for real analysis: Some reflections on Frege's constraint
• On a Question of Frege's about Right-Ordered Groups
• On the philosophical significance of Frege's constraint
• Real Numbers, Quantities, and Measurement†
• Reals by abstraction
• Some Measurement-Theoretic Concerns about Hale's ‘Reals by Abstraction'†;
• Some remarks on the infinite symmetric groups
• ``Neo-logicist logic is not epistemically innocent

Cited in

(8)

• Frege's Theory of Real Numbers
• Implication and analysis in classical Frege structures
• Reflections on Frege's theory of real numbers
• Is Frege's definition of the ancestral adequate?
• Infinitesimals, magnitudes, and definition in Frege
• Frege meets Dedekind: A neologicist treatment of real analysis
• Frege on the real numbers
• Identity and the cognitive value of logical equations in Frege's foundational project

This page was built for publication: Frege's theory of real numbers: A consistent rendering

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5099780)