The Nuisance Principle in Infinite Settings

@article{EbelsDuggan2015TheNP,
  title={The Nuisance Principle in Infinite Settings},
  author={Sean Ebels-Duggan},
  journal={arXiv: Logic},
  year={2015}
}
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. 
DEDUCTIVE CARDINALITY RESULTS AND NUISANCE-LIKE PRINCIPLES
The injective version of Cantor’s theorem appears in full second-order logic as the inconsistency of the abstraction principle, Frege’s Basic Law V (BLV), an inconsistency easily shown usingExpand
WHAT RUSSELL SHOULD HAVE SAID TO BURALI–FORTI
TLDR
It is argued that the paradox of Burali–Forti is first and foremost a problem about concept formation by abstraction, not about sets, and that some hundred years after its discovery the paradox is still without any fully satisfactory resolution. Expand
Abstraction Principles and the Classification of Second-Order Equivalence Relations
TLDR
Improvements to Fine's theorem allow for an analysis of the well-behaved models had by an abstraction principle, and this in turn leads to an improvement of Walsh and Ebels-Duggan's relative categoricity theorem. Expand
FOR BETTER AND FOR WORSE. ABSTRACTIONISM, GOOD COMPANY, AND PLURALISM
A thriving literature has developed over logical and mathematical pluralism – i.e. the views that several rival logical and mathematical theories can be equally correct. These have unfortunatelyExpand

References

SHOWING 1-10 OF 17 REFERENCES
Notions of Invariance for Abstraction Principles
The logical status of abstraction principles, and especially Hume’s Principle, has been long debated, but the best currently availeble tool for explicating a notion’s logical character ‐ permutationExpand
Frege Meets Dedekind: A Neo-Logicist Treatment of Real Analysis
objects of mathematics, even implicit ones, ought to determine a unique group of objects which necessarily fall under the definition. If this ‘defining’ abstraction principle is unboundedlyExpand
Reals by Abstractiont
ions like the Direction equivalence and Hume’s principle and that it is reasonable to regard it as one. We might bring EM into line with the characterisation of abstraction principles with which IExpand
RELATIVE CATEGORICITY AND ABSTRACTION PRINCIPLES
TLDR
It is shown that most other abstraction principles are not naturally relatively categorical, so that there is in fact a large amount of incompatibility between these two recent trends in contemporary philosophy of mathematics. Expand
Language, thought, and logic : essays in honour of Michael Dummett
1. Concepts Without Words 2. Has Dummett Oversalted his Frege? Remarks on the Conveyability of Thought 3. Some Senses of Holism: An Anti-Realist's Guide to Quine 4. Another Plea for Modesty 5.Expand
Logic, Logic, and Logic
Part 1 Studies on set theory and the nature of logic: the iterative conception of set reply to Charles Parsons' "Sets and Classes" on second-order logic to be is to be a value of a variable (or to beExpand
The foundations of arithmetic : a logico-mathematical enquiry into the concept of number
This volume represents the first philosophically sound discussion of the concept of number in Western civilization. (Mathematics)
Meaning and Method: Essays in Honor of Hilary Putnam
Preface List of contributors 1. The source of the concept of truth Michael Dummet 2. Facts that don't matter Catherine Z. Elgin 3. Has the description theory of names been refuted? Jerrold J. Katz 4.Expand
Abstraction and Set Theory
  • B. Hale
  • Mathematics, Computer Science
  • Notre Dame J. Formal Log.
  • 2000
ION AND SET THEORY
...
1
2
...