Frege, Boolos, and logical objects

DOI10.1023/B:LOGI.0000019236.64896.fdzbMath1052.03003MaRDI QIDQ1876080

Edward N. Zalta, David J. Anderson

Publication date: 16 August 2004

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

numbersextensionssecond-order logictruth valuesabstract objectsobject theoryGottlob FregeHume's PrincipleGeorge Booloslogical objects

Mathematics Subject Classification ID

03A05: Philosophical and critical aspects of logic and foundations

03-03: History of mathematical logic and foundations

Related Items

What is Neologicism?, A computational framework for conceptual blending, What did Frege take Russell to have proved?, ASP, Amalgamation, and the Conceptual Blending Workflow

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the consistency of the first-order portion of Frege's logical system
• A model-theoretic reconstruction of Frege's permutation argument
• Consistent fragments of \textit{Grundgesetze} and the existence of non-logical objects
• On the consistency of the \(\Delta_1^1\)-CA fragment of Frege's Grundgesetze
• Natural numbers and natural cardinals as abstract objects: A partial reconstruction of Frege's \textit{Grundgesetze} in object theory
• Twenty-five basic theorems in situation and world theory
• The development of arithmetic in Frege'sGrundgesetze der arithmetik
• Fregean Extensions of First‐Order Theories
• The Consistency of predicative fragments of frege’s grundgesetze der arithmetik
• New V, ZF and Abstraction†
• On a consistent subsystem of Frege's Grundgesetze
• First-order Frege theory is undecidable