Frege's theory of real numbers: A consistent rendering

DOI10.1017/S175502032000026XzbMATH Open1496.00020arXiv2101.01643WikidataQ114116111 ScholiaQ114116111MaRDI QIDQ5099780FDOQ5099780

Authors: Francesca Boccuni, Marco Panza 

Publication date: 26 August 2022

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

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.

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

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)

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)

Cites Work

• Frege's Theory of Real Numbers
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Axiom of choice
• Reals by abstraction
• ``Neo-logicist logic is not epistemically innocent
• Title not available (Why is that?)
• Frege's other program
• Neo-Fregean foundations for real analysis: Some reflections on Frege's constraint
• Title not available (Why is that?)
• Some remarks on the infinite symmetric groups
• On a Question of Frege's about Right-Ordered Groups
• Title not available (Why is that?)
• Title not available (Why is that?)
• Functions and generality of logic. Reflections on Dedekind's and Frege's logicisms
• Title not available (Why is that?)
• Frege's Approach to the Foundations of Analysis (1874–1903)
• Some Measurement-Theoretic Concerns about Hale's ‘Reals by Abstraction'†;
• On the philosophical significance of Frege's constraint
• FREGE’S CONSTRAINT AND THE NATURE OF FREGE’S FOUNDATIONAL PROGRAM
• Real Numbers, Quantities, and Measurement†
• Frege on the real numbers

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)