On a consistent subsystem of Frege's Grundgesetze

DOI10.1305/ndjfl/1039293068zbMath0968.03015OpenAlexW1971239381WikidataQ56659117 ScholiaQ56659117MaRDI QIDQ5937820

John P. Burgess

Publication date: 17 July 2001

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1039293068

zbMATH Keywords

consistencyconstructive prooffirst-order fragment of the system of Frege's Grundgesetze

Mathematics Subject Classification ID

Classical first-order logic (03B10)

Related Items

Frege, Boolos, and logical objects ⋮ Natural numbers and natural cardinals as abstract objects: A partial reconstruction of Frege's \textit{Grundgesetze} in object theory ⋮ Zigzag and Fregean Arithmetic ⋮ Consistency, models, and soundness ⋮ First-order Frege theory is undecidable ⋮ What is Neologicism? ⋮ Ramified Frege arithmetic ⋮ On the consistency of the \(\Delta_1^1\)-CA fragment of Frege's Grundgesetze ⋮ The finitistic consistency of Heck's predicative Fregean system ⋮ Amending Frege's \textit{Grundgesetze der Arithmetik}

Cites Work

• On the consistency of the first-order portion of Frege's logical system
• Grundgesetze der Arithmetik I \S\S 29-32
• Unnamed Item
• Unnamed Item