The Nuisance Principle in Infinite Settings

Abstract

Neo-Fregeans have been troubled by the Nuisance Principle (NP), an abstraction principle that is consistent but not jointly (second-order) satisfiable with the favored abstraction principle HP. We show that logically this situation persists if one looks at joint (second-order) consistency rather than satisfiability: under a modest assumption about infinite concepts, NP is also inconsistent with HP.