Who needs (to assume) Hume's principle?

Abstract

Neo-logicism uses definitions and Hume's Principle to derive arithmetic in second-order logic. This paper investigates how much arithmetic can be derived using definitions alone, without any additional principle such as Hume's.

Author's Profile

Analytics

Added to PP
2009-01-28

Downloads
779 (#9,286)

6 months
7 (#70,364)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?