Finitude and Hume's principle
Journal of Philosophical Logic 26 (6):589-617 (1997)
| Abstract | The paper formulates and proves a strengthening of Freges Theorem, which states that axioms for second-order arithmetic are derivable in second-order logic from Humes Principle, which itself says that the number of Fs is the same as the number ofGs just in case the Fs and Gs are equinumerous. The improvement consists in restricting this claim to finite concepts, so that nothing is claimed about the circumstances under which infinite concepts have the same number. Finite Humes Principle also suffices for the derivation of axioms for arithmetic and, indeed, is equivalent to a version of them, in the presence of Freges definitions of the primitive expressions of the language of arithmetic. The philosophical significance of this result is also discussed. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesFraser Macbride (2000). On Finite Humet. Philosophia Mathematica 8 (2):150-159.
Alexander Bird (1997). The Logic in Logicism. Dialogue 36 (02):341--60.
Øystein Linnebo (2004). Predicative Fragments of Frege Arithmetic. Bulletin of Symbolic Logic 10 (2):153-174.
Bird Alexander (1997). The Logic in Logicism. Dialogue 36:341–60.
Richard Heck (1999). Frege's Theorem: An Introduction. The Harvard Review of Philosophy 7 (1):56-73.
Richard Heck (1993). The Development of Arithmetic in Frege's Grundgesetze der Arithmetik. Journal of Symbolic Logic 58 (2):579-601.
Richard G. Heck Jr (1997). Finitude and Hume's Principle. Journal of Philosophical Logic 26 (6):589 - 617.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads10 ( #106,370 of 549,122 )Recent downloads (6 months)1 ( #63,361 of 549,122 )How can I increase my downloads? |
My notes
Discussion
