The Consistency of predicative fragments of frege’s grundgesetze der arithmetik
As is well known, the second-order system of Frege's ``Grundgesetze der Arithmetik is inconsistent: Russell's Paradox is derivable. For this, often only Frege's ``Axiom V (the extensionality of the value-ranges, the ``Wertverläufe) is blamed. The author proves, however, that this Axiom V -- even taken as a schema -- is consistent with a ``simple second-order predicative system allowing no references to value-ranges in the defining formulas for value-ranges. And he sketches that this consistency result holds also true for a full predicative second-order system including Axiom V (and having a type-theoretic structure for the well-formed value-range terms). Within this full system, Robinson arithmetic is interpretable.
- Cantor's power-set theorem versus frege's double-correlation thesis
- scientific article; zbMATH DE number 1195925 (Why is no real title available?)
- scientific article; zbMATH DE number 1550350 (Why is no real title available?)
- On the consistency of the first-order portion of Frege's logical system
- The development of arithmetic in Frege'sGrundgesetze der arithmetik
- Bad company tamed
- Introduction to the special issue on the bad company problem
- On the brink of a paradox?
- Grundgesetze der Arithmetik I \S\S 29-32
- Interpretability of Robinson arithmetic in the ramified second-order theory of dense linear order
- A minimal predicative set theory
- 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
- Frege, Boolos, and logical objects
- The predicative Frege hierarchy
- The finitistic consistency of Heck's predicative Fregean system
- Term models for abstraction principles
- The convenience of the typesetter; notation and typography in Frege's \textit{Grundgesetze der Arithmetik}
- Predicativity, the Russell-Myhill paradox, and Church's intensional logic
- FRAGMENTS OF FREGE’SGRUNDGESETZEAND GÖDEL’S CONSTRUCTIBLE UNIVERSE
- Zigzag and Fregean Arithmetic
- Arithmetic and the theory of types
- Fregean Extensions of First‐Order Theories
- Frege's unofficial arithmetic
- Comparing Peano arithmetic, Basic Law V, and Hume's Principle
- What Russell should have said to Burali-Forti
- 2002–2003 Winter Meeting of the Association for Symbolic Logic
- scientific article; zbMATH DE number 2152237 (Why is no real title available?)
- Predicative Fragments of Frege Arithmetic
- scientific article; zbMATH DE number 3999883 (Why is no real title available?)
- scientific article; zbMATH DE number 7583719 (Why is no real title available?)
- Frege's Grundgesetze and a reassessment of predicativity
- The strength of abstraction with predicative comprehension
- On the consistency of a plural theory of Frege's \textit{Grundgesetze}
- What is Neologicism?
- Consistency, models, and soundness
- Frege's other program
- Neo-Fregeanism: an embarrassment of riches
- On a consistent subsystem of Frege's Grundgesetze
- First-order Frege theory is undecidable
- Plural \(Grundgesetze\)
- Explicit abstract objects in predicative settings
- Russell's paradox and \textit{free} zig zag solutions
- Arbitrary logicism
- Frege's logic in \textit{Grundgesetze} is nonclassical
- Ramified Frege arithmetic
- Amending Frege's \textit{Grundgesetze der Arithmetik}
- Frege's permutation argument revisited
This page was built for publication: The Consistency of predicative fragments of frege’s grundgesetze der arithmetik
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4344728)
