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.
|Original language||English (US)|
|Number of pages||6|
|State||Published - Dec 1 2015|
- Abstraction principles
- Philosophy of mathematics
- Second-order logic
ASJC Scopus subject areas