Consistent fragments of \textit{Grundgesetze} and the existence of non-logical objects
From MaRDI portal
Publication:1568382
DOI10.1023/A:1005203526185zbMath0952.03068MaRDI QIDQ1568382
Publication date: 7 January 2001
Published in: Synthese (Search for Journal in Brave)
logicismcomprehensionfragments of arithmeticvalue-rangesCantor's theoremnon-logical objectsreferentiality
Philosophical and critical aspects of logic and foundations (03A05) History of mathematics in the 19th century (01A55) Second- and higher-order arithmetic and fragments (03F35)
Related Items
Frege, Boolos, and logical objects ⋮ Predicativity, the Russell-Myhill paradox, and Church's intensional logic ⋮ Plural \(Grundgesetze\) ⋮ THE SEMANTICS OF VALUE-RANGE NAMES AND FREGE’S PROOF OF REFERENTIALITY ⋮ Identity and the cognitive value of logical equations in Frege's foundational project ⋮ Comparing Peano arithmetic, Basic Law V, and Hume's Principle ⋮ Plural logicism ⋮ On the consistency of a plural theory of Frege's \textit{Grundgesetze} ⋮ Consistency, models, and soundness ⋮ Frege's other program ⋮ THE CONVENIENCE OF THE TYPESETTER; NOTATION AND TYPOGRAPHY IN FREGE’SGRUNDGESETZE DER ARITHMETIK ⋮ What is Neologicism? ⋮ On the consistency of the \(\Delta_1^1\)-CA fragment of Frege's Grundgesetze ⋮ Frege's permutation argument revisited ⋮ Term models for abstraction principles
