The development of arithmetic in Frege'sGrundgesetze der arithmetik

DOI10.2307/2275220zbMath0784.03005OpenAlexW2007916369MaRDI QIDQ3138014

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

Hume's principleformal arithmetic

Mathematics Subject Classification ID

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

Related Items (15)

Frege, Boolos, and logical objects ⋮ THE POTENTIAL IN FREGE’S THEOREM ⋮ Frege and the origins of model theory in nineteenth century geometry ⋮ Frege's Cardinals Do Not Always Obey Hume's Principle ⋮ Comparing Peano arithmetic, Basic Law V, and Hume's Principle ⋮ The Consistency of predicative fragments of frege’s grundgesetze der arithmetik ⋮ Natural numbers and natural cardinals as abstract objects: A partial reconstruction of Frege's \textit{Grundgesetze} in object theory ⋮ Predicative Fragments of Frege Arithmetic ⋮ Hume's Principle and Axiom V reconsidered: Critical reflections on Frege and his interpreters ⋮ The anatytic conception of truth and the foundations of arithmetic ⋮ Frege’s Unification ⋮ Ramified Frege arithmetic ⋮ Hume's big brother: Counting concepts and the bad company objection ⋮ Introduction to the special issue on the bad company problem ⋮ A logical foundation of arithmetic

Cites Work

• On the consistency of the first-order portion of Frege's logical system
• Unnamed Item

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