The metaphysical concept of continuity is important, not least because physical continua are not known to be impossible. While it is standard to model them with a mathematical continuum based upon set-theoretical intuitions, this essay considers, as a contribution to the debate about the adequacy of those intuitions, the neglected intuition that dividing the length of a line by the length of an individual point should yield the line’s cardinality. The algebraic properties of that cardinal number are derived pre-theoretically from (...) the obvious properties of a line of points, whence it becomes clear that such a number would cohere surprisingly well with our elementary number systems. (shrink)

Atomism denies that complexes exist. Common-sense metaphysics may posit masses, composite individuals and sets, but atomism says there are only simples. In a singularist logic, it is difficult to make a plausible case for atomism. But we should accept plural logic, and then atomism can paraphrase away apparent reference to complexes. The paraphrases require unfamiliar plural universals, but these are of independent interest; for example, we can identify numbers and sets with plural universals. The atomist paraphrases would fail if plurals (...) presuppose complexes: but an Appendix shows that reference to complexes is not required in the semantics of plurals. (shrink)

We explore a non-classical, universal set theory, based on a purely 'structural' conception of sets. A set is a transfinite process of unfolding of an arbitrary binary structure, with identity of sets given by the observational equivalence between such processes. We formalize these notions using infinitary modal logic, which provides partial descriptions for set structures up to observational equivalence. We describe the comprehension and topological properties of the resulting set-theory, and we use it to give non-classical solutions to classical paradoxes, (...) to prove fixed-point theorems that relate recursion and corecursion, to formalize 'super-large', reflexive categories and 'super-large' circular modes, and to provide 'natural' solutions for domain equations. (shrink)

We examine George Boolos's proposed abstraction principle for extensions based on the limitation-of-size conception, New V, from several perspectives. Crispin Wright once suggested that New V could serve as part of a neo-logicist development of real analysis. We show that it fails both of the conservativeness criteria for abstraction principles that Wright proposes. Thus, we support Boolos against Wright. We also show that, when combined with the axioms for Boolos's iterative notion of set, New V yields a system equivalent to (...) full Zermelo-Fraenkel set theory with a principle of global choice. This advances Boolos's longstanding interest in the foundations of set theory. (shrink)

Ernst Friedrich Ferdinand Zermelo transformed the set theory of Cantor and Dedekind in the first decade of the 20th century by incorporating the Axiom of Choice and providing a simple and workable axiomatization setting out generative set-existence principles. Zermelo thereby tempered the ontological thrust of early set theory, initiated the delineation of what is to be regarded as set-theoretic, drawing out the combinatorial aspects from the logical, and established the basic conceptual framework for the development of modern set theory. Two (...) decades later Zermelo promoted a distinctive cumulative hierarchy view of models of set theory and championed the use of infinitary logic, anticipating broad modern developments. In this paper Zermelo's published mathematical work in set theory is described and analyzed in its historical context, with the hindsight afforded by the awareness of what has endured in the subsequent development of set theory. Elaborating formulations and results are provided, and special emphasis is placed on the to and fro surrounding the Schröder-Bernstein Theorem and the correspondence and comparative approaches of Zermelo and Gödel. Much can be and has been written about philosophical and biographical issues and about the reception of the Axiom of Choice, and we will refer and defer to others, staying the course through the decidedly mathematical themes and details. (shrink)

A new axiomatization of set theory, to be called Bernays-Boolos set theory, is introduced. Its background logic is the plural logic of Boolos, and its only positive set-theoretic existence axiom is a reflection principle of Bernays. It is a very simple system of axioms sufficient to obtain the usual axioms of ZFC, plus some large cardinals, and to reduce every question of plural logic to a question of set theory.

Mathematics is obviously important in the sciences. And so it is likely to be equally important in any effort that aims to understand God in a scientifically significant way or that aims to clarify the relations between science and theology. The degree to which God has any perfection is absolutely infinite. We use contemporary mathematics to precisely define that absolute infinity. For any perfection, we use transfinite recursion to define an endlessly ascending series of degrees of that perfection. That series (...) rises to an absolutely infinite degree of that perfection. God has that absolutely infinite degree. We focus on the perfections of knowledge, power, and benevolence. Our model of divine infinity thus builds a bridge between mathematics and theology. (shrink)

Unrestricted use of the axiom schema of comprehension, ?to every mathematically (or set-theoretically) describable property there corresponds the set of all mathematical (or set-theoretical) objects having that property?, leads to contradiction. In set theories of the Zermelo?Fraenkel?Skolem (ZFS) style suitable instances of the comprehension schema are chosen ad hoc as axioms, e.g.axioms which guarantee the existence of unions, intersections, pairs, subsets, empty set, power sets and replacement sets. It is demonstrated that a uniform syntactic description may be given of acceptable (...) instances of the comprehension schema, which include all of the axioms mentioned, and which in their turn are theorems of the usual versions of ZFS set theory. Well then, shall we proceed as usual and begin by assuming the existence of a single essential nature or Form for every set of things which we call by the same name? Do you understand? (Plato, Republic X.596a6; cf. Cornford 1966, 317). (shrink)

This paper is concerned with the way different axiom systems for set theory can be justified by appeal to such intuitions as limitation of size, predicativity, stratification, etc. While none of the different conceptions historically resulting from the impetus to provide a solution to the paradoxes turns out to rest on an intuition providing an unshakeable foundation,'each supplies a picture of the set-theoretic universe that is both useful and internally well motivated. The same is true of more recently proposed axiom (...) systems for non-well-founded universes, and an attempt is made to motivate such axiom systems on the basis of an old and respected ‘algebraic’ intuition. (shrink)

Paul Erdős was a mathematicianpar excellencewhose results and initiatives have had a large impact and made a strong imprint on the doing of and thinking about mathematics. A mathematician of alacrity, detail, and collaboration, Erdős in his six decades of work moved and thought quickly, entertained increasingly many parameters, and wrote over 1500 articles, the majority with others. Hismodus operandiwas to drive mathematics through cycles of problem, proof, and conjecture, ceaselessly progressing and ever reaching, and hismodus vivendiwas to be itinerant (...) in the world, stimulating and interacting about mathematics at every port and capital. (shrink)

This is the first part of the essay devoted to the story of logicism, in particular to its Fregean version. Reviewing the classical period of Fregean studies, we first point out some critical moments of Frege‘s argumentation in the Grundla­gen, in order to be able later to differentiate between its salvageable and defec­tive features. We work on the presumption that there are no easy, catego­rical an­swers to questions like “Is logicism dead?“: Wittgenstein’s cri­tique of the foundational program as well as (...) the remarkable neo-Fregean dis­cov­eries of Boolos and Wright have to be confronted with the effects which the logi­cistic idea actually had on logico­matemati­cal practice. But that is another story, a sequel to this es­say, the purpose of which is systematic rather than criti­cal. (shrink)

Ce numéro de Philosophiques rend hommage au philosophe d’origine autrichienne Edmund Husserl (1859-1938) à l’occasion de son 150e anniversaire de naissance. Il est consacré à l’oeuvre du jeune Husserl durant la période de Halle (1886-1901) et réunit plusieurs spécialistes des études husserliennes qui jettent un regard neuf sur cette période méconnue dans la philosophie du père de la phénoménologie. Avec un souci de situer Husserl dans le contexte historique auquel appartiennent ses principaux interlocuteurs durant cette période, ces études portent sur (...) des thèmes tels l’intentionnalité dans son rapport à Bernard Bolzano, Franz Brentano et Kazimierz Twardowski ; sa théorie du jugement et des assomptions ; sa philosophie des mathématiques et de la logique ; sa contribution au débat sur la Gestalt ; ses échanges avec le néokantisme de Marbourg, et notamment avec Paul Natorp, etc. Ces études sont suivies d’une disputatio autour d’un ouvrage récent portant sur le projet philosophique de Husserl et le sens de sa phénoménologie aujourd’hui. (shrink)