Frege, Boolos, and logical objects
From MaRDI portal
Publication:1876080
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)
numbersextensionssecond-order logictruth valuesabstract objectsobject theoryGottlob FregeHume's PrincipleGeorge Booloslogical objects
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