Switch to: References

Citations of:

The Nuisance Principle in Infinite Settings

Sean C. Ebels-Duggan

Thought: A Journal of Philosophy 4 (4):263-268 (2015)

Add citations

You must login to add citations.

Deductive Cardinality Results and Nuisance-Like Principles.Sean C. Ebels-Duggan - 2021 - Review of Symbolic Logic 14 (3):592-623.details 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 using Russell’s paradox. This incompatibility is akin to others—most notably that of a (Dedekind) infinite universe with the Nuisance Principle (NP) discussed by neo-Fregean philosophers of mathematics. This paper uses the Burali–Forti paradox to demonstrate this incompatibility, and another closely related, without appeal to principles related to the axiom of choice—a result hitherto unestablished. (...) Download Export citation Bookmark 2 citations
For Better and for Worse. Abstractionism, Good Company, and Pluralism.Andrea Sereni, Maria Paola Sforza Fogliani & Luca Zanetti - 2023 - Review of Symbolic Logic 16 (1):268-297.details 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 unfortunately grown separate; instead, they both could gain a great deal by a closer interaction. Our aim is thus to present some novel forms of abstractionist mathematical pluralism which can be modeled on parallel ways of substantiating logical pluralism (also in connection with logical anti-exceptionalism). To do this, we start by discussing the Good (...) Download Export citation Bookmark 1 citation
Abstraction Principles and the Classification of Second-Order Equivalence Relations.Sean C. Ebels-Duggan - 2019 - Notre Dame Journal of Formal Logic 60 (1):77-117.details This article improves two existing theorems of interest to neologicist philosophers of mathematics. The first is a classification theorem due to Fine for equivalence relations between concepts definable in a well-behaved second-order logic. The improved theorem states that if an equivalence relation E is defined without nonlogical vocabulary, then the bicardinal slice of any equivalence class—those equinumerous elements of the equivalence class with equinumerous complements—can have one of only three profiles. The improvements to Fine’s theorem allow for an analysis of (...) Download Export citation Bookmark 3 citations
Linnebo's Abstractionism and the Bad Company Problem.J. P. Studd - 2023 - Theoria 89 (3):366-392.details In Thin Objects: An Abstractionist Account, Linnebo offers what he describes as a “simple and definitive” solution to the bad company problem facing abstractionist accounts of mathematics. “Bad” abstraction principles can be rendered “good” by taking abstraction to have a predicative character. But the resulting predicative axioms are too weak to recover substantial portions of mathematics. Linnebo pursues two quite different strategies to overcome this weakness in the case of set theory and arithmetic. I argue that neither infinitely iterated abstraction (...) Download Export citation Bookmark
What Russell Should Have Said to Burali–Forti.Salvatore Florio & Graham Leach-Krouse - 2017 - Review of Symbolic Logic 10 (4):682-718.details The paradox that appears under Burali-Forti’s name in many textbooks of set theory is a clever piece of reasoning leading to an unproblematic theorem. The theorem asserts that the ordinals do not form a set. For such a set would be—absurdly—an ordinal greater than any ordinal in the set of all ordinals. In this article, we argue that the paradox of Burali-Forti is first and foremost a problem about concept formation by abstraction, not about sets. We contend, furthermore, that some (...) Download Export citation Bookmark 2 citations

1