This is an extensively revised edition of Mr. Quine's introduction to abstract set theory and to various axiomatic systematizations of the subject.

Consider a variant of the usual story about the iterative conception of sets. As usual, at every stage, you find all the (bland) sets of objects which you found earlier. But you also find the result of tapping any earlier-found object with any magic wand (from a given stock of magic wands). -/- By varying the number and behaviour of the wands, we can flesh out this idea in many different ways. This paper's main Theorem is that any loosely constructive (...) way of fleshing out this idea is synonymous with a ZF-like theory. -/- This Theorem has rich applications; it realizes John Conway's (1976) Mathematicians' Liberation Movement; and it connects with a lovely idea due to Alonzo Church (1974). (shrink)

Philosophers of science since Nagel have been interested in the links between intertheoretic reduction and explanation, understanding and other forms of epistemic progress. Although intertheoretic reduction is widely agreed to occur in pure mathematics as well as empirical science, the relationship between reduction and explanation in the mathematical setting has rarely been investigated in a similarly serious way. This paper examines an important particular case: the reduction of arithmetic to set theory. I claim that the reduction is unexplanatory. In (...) defense of this claim, I offer evidence from mathematical practice, and I respond to contrary suggestions due to Steinhart, Maddy, Kitcher and Quine. I then show how, even if set-theoretic reductions are generally not explanatory, set theory can nevertheless serve as a legitimate foundation for mathematics. Finally, some implications of my thesis for philosophy of mathematics and philosophy of science are discussed. In particular, I suggest that some reductions in mathematics are probably explanatory, and I propose that differing standards of theory acceptance might account for the apparent lack of unexplanatory reductions in the empirical sciences. (shrink)

This third edition, now available in paperback, is a follow up to the author's classic Boolean-Valued Models and Independence Proofs in Set Theory. It provides an exposition of some of the most important results in set theory obtained in the 20th century: the independence of the continuum hypothesis and the axiom of choice.

Michael Potter presents a comprehensive new philosophical introduction to set theory. Anyone wishing to work on the logical foundations of mathematics must understand set theory, which lies at its heart. Potter offers a thorough account of cardinal and ordinal arithmetic, and the various axiom candidates. He discusses in detail the project of set-theoretic reduction, which aims to interpret the rest of mathematics in terms of set theory. The key question here is how to deal with the paradoxes (...) that bedevil set theory. Potter offers a strikingly simple version of the most widely accepted response to the paradoxes, which classifies sets by means of a hierarchy of levels. What makes the book unique is that it interweaves a careful presentation of the technical material with a penetrating philosophical critique. Potter does not merely expound the theory dogmatically but at every stage discusses in detail the reasons that can be offered for believing it to be true. Set Theory and its Philosophy is a key text for philosophy, mathematical logic, and computer science. (shrink)

We present an extension of constructive Zermelo{Fraenkel set theory [2]. Constructive sets are endowed with an applicative structure, which allows us to express several set theoretic constructs uniformly and explicitly. From the proof theoretic point of view, the addition is shown to be conservative. In particular, we single out a theory of constructive sets with operations which has the same strength as Peano arithmetic.

This is an extensively revised edition of Mr. Quine's introduction to abstract set theory and to various axiomatic systematizations of the subject. The treatment of ordinal numbers has been strengthened and much simplified, especially in the theory of transfinite recursions, by adding an axiom and reworking the proofs. Infinite cardinals are treated anew in clearer and fuller terms than before. Improvements have been made all through the book; in various instances a proof has been shortened, a theorem strengthened, (...) a space-saving lemma inserted, an obscurity clarified, an error corrected, a historical omission supplied, or a new event noted. (shrink)

This exploration of a notorious mathematical problem is the work of the man who discovered the solution. Written by an award-winning professor at Stanford University, it employs intuitive explanations as well as detailed mathematical proofs in a self-contained treatment. This unique text and reference is suitable for students and professionals. 1966 edition. Copyright renewed 1994.

This is an introduction to set theory and logic that starts completely from scratch. The text is accompanied by many methodological remarks and explanations.

Constructive and intuitionistic Zermelo-Fraenkel set theories are axiomatic theories of sets in the style of Zermelo-Fraenkel set theory (ZF) which are based on intuitionistic logic. They were introduced in the 1970's and they represent a formal context within which to codify mathematics based on intuitionistic logic. They are formulated on the basis of the standard first order language of Zermelo-Fraenkel set theory and make no direct use of inherently constructive ideas. In working in constructive and intuitionistic ZF we (...) can thus to some extent rely on our familiarity with ZF and its heuristics. -/- Notwithstanding the similarities with classical set theory, the concepts of set defined by constructive and intuitionistic set theories differ considerably from that of the classical tradition; they also differ from each other. The techniques utilised to work within them, as well as to obtain metamathematical results about them, also diverge in some respects from the classical tradition because of their commitment to intuitionistic logic. In fact, as is common in intuitionistic settings, a plethora of semantic and proof-theoretic methods are available for the study of constructive and intuitionistic set theories. -/- The entry introduces the main features of Constructive and Intuitionistic ZF and offers links to the relevant bibliography. (shrink)

In light of the close connection between the ontological hierarchy of set theory and the ideological hierarchy of type theory, Øystein Linnebo and Agustín Rayo have recently offered an argument in favour of the view that the set-theoretic universe is open-ended. In this paper, we argue that, since the connection between the two hierarchies is indeed tight, any philosophical conclusions cut both ways. One should either hold that both the ontological hierarchy and the ideological hierarchy are open-ended, or (...) that neither is. If there is reason to accept the view that the set-theoretic universe is open-ended, that will be because such a view is the most compelling one to adopt on the purely ontological front. (shrink)

In a recent series of papers, I and others have advanced new logical approaches to familiar paradoxes. The key to these approaches is to accept full classical logic, and to accept the principles that cause paradox, while preventing trouble by allowing a certain sort ofnontransitivity. Earlier papers have treated paradoxes of truth and vagueness. The present paper will begin to extend the approach to deal with the familiar paradoxes arising in naive set theory, pointing out some of the promises (...) and pitfalls of such an approach. (shrink)

In this contribution, I explore the possibility of characterizing the emergence of time in causal set theory (CST) in terms of the growing block universe (GBU) metaphysics. I show that although GBU seems to be the most intuitive time metaphysics for CST, it leaves us with a number of interpretation problems, independently of which dynamics we choose to favor for the theory —here I shall consider the Classical Sequential Growth and the Covariant model. Discrete general covariance of the (...) CSG dynamics does not allow us to individuate a single history of the universe (defined by a causal history of different causal sets), thereby making the claim that ‘the past exists’ at best problematic. In addition, because the evolution of the universe in CSG dynamics leads to an outward branching causal tree, it becomes impossible to determine a proper ‘line of becoming’, thereby blurring the presentists’ claim that only the present exists. Similarly, the covariant approach runs into the same, if not even more severe problems, since each configuration of the universe would amount to a set of possible causal sets, thereby making the individuation of a single configuration of the universe —and thus the physical interpretation of the theory— implausible. (shrink)

The merits of set theory as a foundational tool in mathematics stimulate its use in various areas of artificial intelligence, in particular intelligent information systems. In this paper, a study of various nonstandard treatments of set theory from this perspective is offered. Applications of these alternative set theories to information or knowledge management are surveyed.

Set theory is the branch of mathematics concerned with the general properties of aggregates of points, numbers, or arbitrary elements. It was created in the late nineteenth century, mainly by Georg Cantor. After the discovery of certain contradictions euphemistically called paradoxes, it was reduced to axiomatic form in the early twentieth century, mainly by Ernst Zermelo and Abraham Fraenkel. Thereafter it became widely accepted as a framework ‐ or ‘foundation’ ‐ for the development of the other branches of modern, (...) abstract mathematics. Today, its basic notions and notations are widely used even outside mathematics proper. (shrink)

Set theory is a branch of mathematics with a special subject matter, the infinite, but also a general framework for all modern mathematics, whose notions figure in every branch, pure and applied. This Element will offer a concise introduction, treating the origins of the subject, the basic notion of set, the axioms of set theory and immediate consequences, the set-theoretic reconstruction of mathematics, and the theory of the infinite, touching also on selected topics from higher set (...) class='Hi'>theory, controversial axioms and undecided questions, and philosophical issues raised by technical developments. (shrink)

We review different conceptions of the set-theoretic multiverse and evaluate their features and strengths. In Sect. 1, we set the stage by briefly discussing the opposition between the ‘universe view’ and the ‘multiverse view’. Furthermore, we propose to classify multiverse conceptions in terms of their adherence to some form of mathematical realism. In Sect. 2, we use this classification to review four major conceptions. Finally, in Sect. 3, we focus on the distinction between actualism and potentialism with regard to the (...) universe of sets, then we discuss the Zermelian view, featuring a ‘vertical’ multiverse, and give special attention to this multiverse conception in light of the hyperuniverse programme introduced in Arrigoni and Friedman (2013). We argue that the distinctive feature of the multiverse conception chosen for the hyperuniverse programme is its utility for finding new candidates for axioms of set theory. (shrink)

Following the book Algebraic Set Theory from André Joyal and leke Moerdijk [8], we give a characterization of the initial ZF-algebra, for Heyting pretoposes equipped with a class of small maps. Then, an application is considered (the effective topos) to show how to recover an already known model (McCarty [9]).

Set-theoretic and category-theoretic foundations represent different perspectives on mathematical subject matter. In particular, category-theoretic language focusses on properties that can be determined up to isomorphism within a category, whereas set theory admits of properties determined by the internal structure of the membership relation. Various objections have been raised against this aspect of set theory in the category-theoretic literature. In this article, we advocate a methodological pluralism concerning the two foundational languages, and provide a theory that fruitfully interrelates (...) a `structural' perspective to a set-theoretic one. We present a set-theoretic system that is able to talk about structures more naturally, and argue that it provides an important perspective on plausibly structural properties such as cardinality. We conclude the language of set theory can provide useful information about the notion of mathematical structure. (shrink)

This article presents an overview of the basic philosophical motivations for, and some recent work in, modal set theory.

Naive set theory, as found in Frege and Russell, is almost universally believed to have been shown to be false by the set-theoretic paradoxes. The standard response has been to rank sets into one or other hierarchy. However it is extremely difficult to characterise the nature of any such hierarchy without falling into antinomies as severe as the set-theoretic paradoxes themselves. Various attempts to surmount this problem are examined and criticised. It is argued that the rejection of naive set (...) theory inevitably leads one into a severe scepticism with regard to the feasibility of giving a systematic semantics for set theory. It is further argued that this is not just a problem for philosophers of mathematics. Semantic scepticism in set theory will almost inevitably spill over into total pessimism regarding the prospects for an explanatory theory of language and meaning in general. The conclusion is that those who wish to avoid such intellectual defeatism need to look seriously at the possibility that it is the logic used in the derivation of the paradoxes, and not the naive set theory itself, which is at fault. (shrink)

Quasi-set theory is a ZFU-like axiomatic set theory, which deals with two kinds of ur-elements: M-atoms, objects like the atoms of ZFU, and m-atoms, items for which the usual identity relation is not defined. One of the motivations to advance such a theory is to deal properly with collections of items like particles in non-relativistic quantum mechanics when these are understood as being non-individuals in the sense that they may be indistinguishable although identity does not apply to (...) them. According to some authors, this is the best way to understand quantum objects. The fact that identity is not defined for m-atoms raises a technical difficulty: it seems impossible to follow the usual procedures to define the cardinal of collections involving these items. In this paper we propose a definition of finite cardinals in quasi-set theory which works for collections involving m-atoms. (shrink)

Foundations of Set Theory discusses the reconstruction undergone by set theory in the hands of Brouwer, Russell, and Zermelo. Only in the axiomatic foundations, however, have there been such extensive, almost revolutionary, developments. This book tries to avoid a detailed discussion of those topics which would have required heavy technical machinery, while describing the major results obtained in their treatment if these results could be stated in relatively non-technical terms. This book comprises five chapters and begins with a (...) discussion of the antinomies that led to the reconstruction of set theory as it was known before. It then moves to the axiomatic foundations of set theory, including a discussion of the basic notions of equality and extensionality and axioms of comprehension and infinity. The next chapters discuss type-theoretical approaches, including the ideal calculus, the theory of types, and Quine's mathematical logic and new foundations; intuitionistic conceptions of mathematics and its constructive character; and metamathematical and semantical approaches, such as the Hilbert program. This book will be of interest to mathematicians, logicians, and statisticians. (shrink)

This dissertation aims to provide a comprehensive account of set theory with urelements. In Chapter 1, I present mathematical and philosophical motivations for studying urelement set theory and lay out the necessary technical preliminaries. Chapter 2 is devoted to the axiomatization of urelement set theory, where I introduce a hierarchy of axioms and discuss how ZFC with urelements should be axiomatized. The breakdown of this hierarchy of axioms in the absence of the Axiom of Choice is also (...) explored. In Chapter 3, I investigate forcing with urelements and develop a new approach that addresses a drawback of the existing machinery. I demonstrate that forcing can preserve, destroy, and recover the axioms isolated in Chapter 2 and discuss how Boolean ultrapowers can be applied in urelement set theory. Chapter 4 delves into class theory with urelements. I first discuss the issue of axiomatizing urelement class theory and then explore the second-order reflection principle with urelements. In particular, assuming large cardinals, I construct a model of second-order reflection where the principle of limitation of size fails. (shrink)

I argue for the use of the adjunction operator (adding a single new element to an existing set) as a basis for building a finitary set theory. It allows a simplified axiomatization for the first-order theory of hereditarily finite sets based on an induction schema and a rigorous characterization of the primitive recursive set functions. The latter leads to a primitive recursive presentation of arithmetical operations on finite sets.

We propose a set theory, called NRFST, in which the Cantorian axiom of infinity is negated, and a new notion of infinity is introduced via non standard methods, i. e. via adequate notions of standard and internal, two unary predicates added to the language of ZF. After some initial results on NRFST, we investigate its relative consistency with respect to ZF and Kawai's WNST.

We show that the theories ZF and ZFU are synonymous, answering a question of Visser.

This volume presents the philosophical and heuristic framework Cantor developed and explores its lasting effect on modern mathematics. "Establishes a new plateau for historical comprehension of Cantor's monumental contribution to mathematics." --The American Mathematical Monthly.

to indicate that the object a is an element or member of the class A. We assume that every member of a class is an object. Lower-case letters a, b, c, x, y, z, … will always denote objects, and later, sets. Equality between classes is governed by the Axiom of Extensionality.

David Lewis in the short monograph Parts of Classes (PC) undertakes a fundamental re‐examination of the relationship between mereology, the general theory of parts, and set theory, the general theory of collections. Given Lewis's theses, to be an element of a set or member of class is just to have a singleton that is a part thereof. Lewis in PC adds a claim of kind of ontological innocence, comparable to that of first‐order logic, for mereology. The only (...) substantive assumption of plethynticology is that for any condition there are some things such that they are precisely the things for which the conditions hold. All the alternatives, making do with a single domain of individuals, have in common that they involve the axiom of choice. Restated in Hazen's terminology rather than Frege's, the fallback assumption is that there are no more small species than individuals. (shrink)

In previous works, an ontology of properties for quantum mechanics has been proposed, according to which quantum systems are bundles of properties with no principle of individuality. The aim of the present article is to show that, since quasi-set theory is particularly suited for dealing with aggregates of items that do not belong to the traditional category of individual, it supplies an adequate meta-language to speak of the proposed ontology of properties and its structure.

This article introduces finitist set theory (FST) and shows how it can be applied in modeling finite nested structures. Mereology is a straightforward foundation for transitive chains of part-whole relations between individuals but is incapable of modeling antitransitive chains. Traditional set theories are capable of modeling transitive and antitransitive chains of relations, but due to their function as foundations of mathematics they come with features that make them unnecessarily difficult in modeling finite structures. FST has been designed to function (...) as a practical tool in modeling transitive and antitransitive chains of relations without suffering from difficulties of traditional set theories, and a major portion of the functionality of discrete mereology can be incorporated in FST. This makes FST a viable collection theory in ontological modeling. (shrink)

Nonstandard set theory is an attempt to generalise nonstandard analysis to cover the whole of classical mathematics. Existing versions (Nelson, Hrbáček, Kawai) are unsatisfactory in that the unlimited idealisation principle conflicts with the wish to have a full theory of external sets. I re-analyse the underlying requirements of nonstandard set theory and give a new formal system, stratified nonstandard set theory, which seems to meet them better than the other versions.

A lucid, elegant, and complete survey of set theory, this three-part treatment explores axiomatic set theory, the consistency of the continuum hypothesis, and forcing and independence results. 1996 edition.

In quantum logic, introduced by Birkhoff and von Neumann, De Morgan's Laws play an important role in the projection-valued truth value assignment of observational propositions in quantum mechanics. Takeuti's quantum set theory extends this assignment to all the set-theoretical statements on the universe of quantum sets. However, Takeuti's quantum set theory has a problem in that De Morgan's Laws do not hold between universal and existential bounded quantifiers. Here, we solve this problem by introducing a new truth value (...) assignment for bounded quantifiers that satisfies De Morgan's Laws. To justify the new assignment, we prove the Transfer Principle, showing that this assignment of a truth value to every bounded ZFC theorem has a lower bound determined by the commutator, a projection-valued degree of commutativity, of constants in the formula. We study the most general class of truth value assignments and obtain necessary and sufficient conditions for them to satisfy the Transfer Principle, to satisfy De Morgan's Laws, and to satisfy both. For the class of assignments with polynomially definable logical operations, we determine exactly 36 assignments that satisfy the Transfer Principle and exactly 6 assignments that satisfy both the Transfer Principle and De Morgan's Laws. (shrink)