1. Philosophical background: iteration, ineffability, reflection. There are at least two heuristic motivations for the axioms of standard set theory, by which we mean, as usual, first-order Zermelo–Fraenkel set theory with the axiom of choice (ZFC): the iterative conception and limitation of size (see Boolos, 1989). Each strand provides a rather hospitable environment for the hypothesis that the set-theoretic universe is ineffable, which is our target in this paper, although the motivation is different in each case.

I present the traditional debate about the so called explanation of Russell’s paradox and propose a new way to solve the contradiction that arises in Frege’s system. I briefly examine two alternative explanatory proposals—the Predicativist explanation and the Cantorian one—presupposed by almost all the proposed solutions of Russell’s Paradox. From the discussion about these proposals a controversial conclusion emerges. Then, I examine some particular zig zag solutions and I propose a third explanation, presupposed by them, in which I emphasise the (...) role of an implicit premise in the derivation of the paradox. In conclusion, I propose a different zig zag solution obtained by the adoption of a negative free logic. (shrink)

I present the traditional debate about the so called explanation of Russell’s paradox and propose a new way to solve the contradiction that arises in Frege’s system. I briefly examine two alternative explanatory proposals—the Predicativist explanation and the Cantorian one—presupposed by almost all the proposed solutions of Russell’s Paradox. From the discussion about these proposals a controversial conclusion emerges. Then, I examine some particular zig zag solutions and I propose a third explanation, presupposed by them, in which I emphasise the (...) role of an implicit premise in the derivation of the paradox. In conclusion, I propose a different zig zag solution obtained by the adoption of a negative free logic. (shrink)

Frege's definition of the real numbers, as envisaged in the second volume of Grundgesetze der Arithmetik, is fatally flawed by the inconsistency of Frege's ill-fated Basic Law V. We restate Frege's definition in a consistent logical framework and investigate whether it can provide a logical foundation of real analysis. Our conclusion will deem it doubtful that such a foundation along the lines of Frege's own indications is possible at all.

This paper presents a formalization of first-order arithmetic characterizing the natural numbers as abstracta of the equinumerosity relation. The formalization turns on the interaction of a nonstandard cardinality quantifier with an abstraction operator assigning objects to predicates. The project draws its philosophical motivation from a nonreductionist conception of logicism, a deflationary view of abstraction, and an approach to formal arithmetic that emphasizes the cardinal properties of the natural numbers over the structural ones.

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—permutation invariance—has not received a lot of attention in this debate. This paper aims to fill this gap. After characterizing abstraction principles as particular mappings from the subsets of a domain into that domain and exploring some of their properties, the paper introduces several distinct notions of permutation invariance for such principles, assessing the philosophical significance (...) of each. (shrink)