The development of arithmetic in Frege'sGrundgesetze der arithmetik

DOI10.2307/2275220MaRDI QIDQ3138014zbMATH OpenOpenAlexFDO

Authors Richard G. jun. Heck

Publication date 24 October 1993

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

Full work available at URL https://doi.org/10.2307/2275220

zbMATH Keywords

formal arithmeticHume's principle

Mathematics Subject Classification ID

History of mathematics in the 19th century (01A55) History of mathematical logic and foundations (03-03) Foundations of classical theories (including reverse mathematics) (03B30) First-order arithmetic and fragments (03F30) Second- and higher-order arithmetic and fragments (03F35)

Recommendations

• The proof of Hume's principle
• Frege's theorem and his logicism
• scientific article; zbMATH DE number 1183730
• 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
• Hume's principle, beginnings

Cites work

• scientific article; zbMATH DE number 3829861 (Why is no real title available?)
• On the consistency of the first-order portion of Frege's logical system

Cited in

(24)

• Hume's big brother: Counting concepts and the bad company objection
• Introduction to the special issue on the bad company problem
• Finitude and Hume's principle
• Frege, Boolos, and logical objects
• Natural numbers and natural cardinals as abstract objects: A partial reconstruction of Frege's \textit{Grundgesetze} in object theory
• A logical foundation of arithmetic
• Hume's Principle and Axiom V reconsidered: Critical reflections on Frege and his interpreters
• Frege and the origins of model theory in nineteenth century geometry
• Hume's principle, beginnings
• scientific article; zbMATH DE number 6111395 (Why is no real title available?)
• On Translating Frege'sDie Grundlagen der Arithmetik
• The Consistency of predicative fragments of frege’s grundgesetze der arithmetik
• Comparing Peano arithmetic, Basic Law V, and Hume's Principle
• Why, in 1902, wasn't Frege prepared to accept Hume's Principle as the Primitive Law for his Logicist Program?
• Frege's cardinals do \textit{not always} obey Hume's principle
• Predicative Fragments of Frege Arithmetic
• The anatytic conception of truth and the foundations of arithmetic
• The basic laws of cardinal number
• The proof of Hume's principle
• scientific article; zbMATH DE number 3895030 (Why is no real title available?)
• Frege's unification
• THE POTENTIAL IN FREGE’S THEOREM
• Number theory and infinity without mathematics
• Ramified Frege arithmetic

This page was built for publication: The development of arithmetic in Frege'sGrundgesetze der arithmetik

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