# On the Harmless Impredicativity of N= (Hume's Principle )

# On the Harmless Impredicativity of N= (Hume's Principle )

To play its intended role in the derivation of the axioms of arithmetic (Frege's Theorem), Hume's Principle has to be taken to be impredicative, i.e. the cardinality operator has to be applicable to concepts under which numbers themselves fall. Michael Dummett's main objection to Crispin Wright's neo‐Fregean approach to arithmetic is that this impredicativity makes the principle subject to a vicious explanatory circularity, and hence, that it cannot justify and explain the use of the range of singular terms it is meant to introduce. Having discussed two ways of spelling out this objection––and responded to them––Wright maintains that, owing to the generality ascribed to arithmetical notions by Frege, impredicativity is integral to any reasonable Fregean account of the concept of cardinal number––and consequently, that Dummett's objection somehow has to rest on a misconception. Lastly, Wright gives a positive account of how Hume's Principle can fulfil its explanatory role by presenting a scenario in which a rational subject––competent in a suitable higher‐order logic, but innocent of the concept of cardinal number––employs the principle to acquire a grasp of the conditions for identity between numbers (of concepts) and the applications of the cardinality operator needed in the proof of Frege's Theorem, via an induction on the complexity (the ”rank”) of numerical terms.

*Keywords:*
arithmetic, Dummett, Frege, Hume's Principle, impredicativity, numerical terms, Wright

Oxford Scholarship Online requires a subscription or purchase to access the full text of books within the service. Public users can however freely search the site and view the abstracts and keywords for each book and chapter.

Please, subscribe or login to access full text content.

If you think you should have access to this title, please contact your librarian.

To troubleshoot, please check our FAQs , and if you can't find the answer there, please contact us .