Grundgesetze der Arithmetik I \S\S 29-32

DOI10.1305/ndjfl/1039700749zbMath0915.03005OpenAlexW2023610826MaRDI QIDQ1130240

Richard G. jun. Heck

Publication date: 27 October 1998

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

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

zbMATH Keywords

truthFregedenotation

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) History of mathematics in the 19th century (01A55)

Related Items

THE SEMANTICS OF VALUE-RANGE NAMES AND FREGE’S PROOF OF REFERENTIALITY ⋮ The Status of Value-ranges in the Argument of Basic Laws of Arithmetic I §10 ⋮ POLYMORPHISM AND THE OBSTINATE CIRCULARITY OF SECOND ORDER LOGIC: A VICTIMS’ TALE ⋮ Frege on Indirect Proof ⋮ Predicative logic and formal arithmetic ⋮ On a consistent subsystem of Frege's Grundgesetze ⋮ Frege's proof of referentiality ⋮ Frege on referentiality and Julius Caesar in \textit{Grundgesetze} Section 10 ⋮ Term models for abstraction principles

Cites Work

• Frege's permutation argument
• On the consistency of the first-order portion of Frege's logical system
• The Consistency of predicative fragments of frege’s grundgesetze der arithmetik
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item