The Consistency of predicative fragments of frege’s grundgesetze der arithmetik

History and Philosophy of Logic 17 (1):209-220 (1996)
Download Edit this record How to cite View on PhilPapers
Abstract
As is well-known, the formal system in which Frege works in his Grundgesetze der Arithmetik is formally inconsistent, Russell?s Paradox being derivable in it.This system is, except for minor differences, full second-order logic, augmented by a single non-logical axiom, Frege?s Axiom V. It has been known for some time now that the first-order fragment of the theory is consistent. The present paper establishes that both the simple and the ramified predicative second-order fragments are consistent, and that Robinson arithmetic, Q, is relatively interpretable in the simple predicative fragment. The philosophical significance of the result is discussed
Keywords
No keywords specified (fix it)
PhilPapers/Archive ID
HECTCO-2
Upload history
First archival date: 2013-06-13
Latest version: 2 (2020-05-01)
View other versions
Added to PP index
2010-08-17

Total views
375 ( #12,030 of 51,738 )

Recent downloads (6 months)
24 ( #24,190 of 51,738 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.