Who needs (to assume) Hume's principle? July 2006

In the Foundations of Arithmetic, Frege famously developed a theory which today goes by the name of logicism - that it is possible to prove the truths of arithmetic using only logical principles and definitions. Logicism fell out of favor for various reasons, most spectacular of which was that the system, which Frege thought would definitively prove his thesis, turned out to be inconsistent. In the early 1980s a movement called neo-logicism was begun by Crispin Wright. Neo-logicism holds that Frege was almost right, in that arithmetic can be proven in second-order logic using only definitions and one quasi-logical proposition, called Hume's Principle, which says that the number of Ps equals the number of Qs if and only if they can be put into one-to-one correspondence. There has been some controversy about the status of Hume’s Principle - for instance, whether it counts as a logical or analytic proposition. (See e.g. the similarly titled, “Is Hume’s Principle Analytic?, by Crispin Wright and George Boolos.) In this paper a different tack will be tried. Indeed Frege is almost right. He is almost right because a large part of arithmetic and number theory, or at the least a large part of something which looks like them, can indeed be generated using only logical principles and definitions, without the assumption of any quasi-logical assertion and in particular without Hume’s Principle. Specifically, logic will be taken as second-order logic with full comprehension and the addition of one distinguished 2-ary predicate “!”. A large amount of arithmetic and number theory will then be developed, using only (second-order) logical principles and definitions. It can thus be seen that the epistemological status of this large part of arithmetic is independent of the question of the status of Hume’s Principle.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 62,363
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles


Added to PP index

Total views
712 ( #8,597 of 2,445,401 )

Recent downloads (6 months)
1 ( #457,259 of 2,445,401 )

How can I increase my downloads?


My notes