Abstract

Scottish Neologicism aims to found arithmetic on full second-order logic and Hume’s Principle, stating that the number of the Fs is identical with the number of the Gs if, and only if, there are as many Fs as Gs. However, Neologicism faces the problem of the logical ontology, according to which the underlying second-order logic involves ontological commitments. This paper addresses this issue by substituting second-order logic by Boolos’s plural logic, augmented by the Plural Frege Quantifier F modelled on Antonelli’s Frege Quantifier. The resulting theory (PHP) interprets second-order Peano arithmetic. Its ontological innocence is assessed: PHP offers an alternative that solves the problem of the logical ontology pervading Neologicism.