Set-theoretic pluralism is an increasingly influential position in the philosophy of set theory (Balaguer [1998], Linksy and Zalta [1995], Hamkins [2012]). There is considerable room for debate about how best to formulate set-theoretic pluralism, and even about whether the view is coherent. But there is widespread agreement as to what there is to recommend the view (given that it can be formulated coherently). Unlike set-theoretic universalism, set-theoretic pluralism affords an answer to Benacerraf’s epistemological challenge. The purpose (...) of this paper is to determine what Benacerraf’s challenge could be such that this view is warranted. I argue that it could not be any of the challenges with which it has been traditionally identified by its advocates, like of Benacerraf and Field. Not only are none of the challenges easier for the pluralist to meet. None satisfies a key constraint that has been placed on Benacerraf’s challenge. However, I argue that Benacerraf’s challenge could be the challenge to show that our set-theoretic beliefs are safe – i.e., to show that we could not have easily had false ones. Whether the pluralist is, in fact, better positioned to show that our set-theoretic beliefs are safe turns on a broadly empirical conjecture which is outstanding. If this conjecture proves to be false, then it is unclear what the epistemological argument for set-theoretic pluralism is supposed to be. (shrink)

The multiverse view in set theory, introduced and argued for in this article, is the view that there are many distinct concepts of set, each instantiated in a corresponding set-theoretic universe. The universe view, in contrast, asserts that there is an absolute background set concept, with a corresponding absolute set-theoretic universe in which every set-theoretic question has a definite answer. The multiverse position, I argue, explains our experience with the enormous range of set-theoretic possibilities, a phenomenon (...) that challenges the universe view. In particular, I argue that the continuum hypothesis is settled on the multiverse view by our extensive knowledge about how it behaves in the multiverse, and as a result it can no longer be settled in the manner formerly hoped for. (shrink)

In his paper "Are There Set Theoretic Possible Worlds?", Selmer Bringsjord argued that the set theoretic definition of possible worlds proffered by, among others, Robert Adams and Alvin Plantinga is incoherent. It is the purpose of this note to evaluate that argument. The upshot: these set theoretic accounts can be preserved, but only by abandoning the power set axiom.

This is a survey of work on set-theoretical invariance criteria for logicality. It begins with a review of the Tarski-Sher thesis in terms, first, of permutation invariance over a given domain and then of isomorphism invariance across domains, both characterized by McGee in terms of definability in the language L∞,∞. It continues with a review of critiques of the Tarski-Sher thesis, and a proposal in response to one of those critiques via homomorphism invariance. That has quite divergent characterization results depending (...) on its formulation, one in terms of FOL, the other by Bonnay in terms of L∞,∞, both without equality. From that we move on to a survey of Bonnay’s work on similarity relations between structures and his results that single out invariance with respect to potential isomorphism among all such. Turning to the critique that calls for sameness of meaning of a logical operation across domains, the paper continues with a result showing that the isomorphism invariant operations that are absolutely definable with respect to KPU−Inf are exactly those definable in full FOL; this makes use of an old theorem of Manders. The concluding section is devoted to a critical discussion of the arguments for set-theoretical criteria for logicality. (shrink)

Psychological essentialism is a cognitive bias through which human beings conceive the entities around them as having inner essences and basic natures. Social scientists routinely generate flawed inferences because their methods require the truth of psychological essentialism. This article develops set-theoretic analysis as a scientific-constructivist approach that overcomes the bias of psychological essentialism. With this approach, the “sets” of set-theoretic analysis are mental phenomena that establish boundaries and identify similarities and differences among entities whose natural kind composition is (...) not known. The approach is illustrated through a consideration of research on intelligence, race, and poverty in the United States. (shrink)

My aim in this paper is to propose what seems to me a distinctive approach to set theoretic methodology. By ‘methodology’ I mean the study of the actual methods used by practitioners, the study of how these methods might be justified or reformed or extended. So, for example, when the intuitionist's philosophical analysis recommends a wholesale revision of the methods of proof used in classical mathematics, this is a piece of reformist methodology. In contrast with the intuitionist, I will (...) focus more narrowly on the methods of contemporary set theory, and, more importantly, I will certainly recommend no sweeping reforms. Rather, I begin from the assumption that the methodologist's job is to account for set theory as it is practiced, not as some philosophy would have it be. This credo lies at the very heart of the so-called ‘naturalism’ to be described here.A philosopher looking at set theoretic practice from the outside, so to speak, might notice any number of interesting methodological questions, beginning with the intuitionist's ‘why use classical logic?’, but this sort of question is not a live issue for most practicing set theorists. One central question on which the philosopher's and the practitioner's interests converge is this: what is the status of independent statements like the continuum hypothesis (CH)? A number of large questions arise in its wake: what criteria should guide the search for new axioms? For that matter, what reasons support our adoption of the old axioms? (shrink)

In this article we study several reduction principles in the context of Simpson’s set theory ATR0S\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ATR_{0}^{S}$$\end{document} and Kripke-Platek set theory KP (with infinity). Since ATR0S\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ATR_{0}^{S}$$\end{document} is the set-theoretic version of ATR0 there is a direct link to second order arithmetic and the results for reductions over ATR0S\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ATR_{0}^{S}$$\end{document} are as expected and more or (...) less straightforward. However, over KP we obtain several interesting new results and are lead to some open questions. (shrink)

We consider a set-theoretic version of mereology based on the inclusion relation ⊆ and analyze how well it might serve as a foundation of mathematics. After establishing the non-definability of ∈ from ⊆, we identify the natural axioms for ⊆-based mereology, which constitute a finitely axiomatizable, complete, decidable theory. Ultimately, for these reasons, we conclude that this form of set-theoretic mereology cannot by itself serve as a foundation of mathematics. Meanwhile, augmented forms of set-theoretic mereology, such as (...) that obtained by adding the singleton operator, are foundationally robust. (shrink)

Recent discussions of how axioms are extrinsically justified have appealed to abductive considerations: on such accounts, axioms are adopted on the basis that they constitute the best explanation of some mathematical data, or phenomena. In the first part of this paper, I set out a potential problem caused by the appeal made to the notion of mathematical explanation and suggest that it can be remedied once it is noted that all the justificatory work is done by appeal to the theoretical (...) virtues. In the second part of the paper, I appeal to the theoretical virtues account of axiom justification to provide an argument that judgements of theoretical virtuousness, and therefore of extrinsic justification, are subjective in a substantive sense. This tells against a recent claim by Penelope Maddy that such justification is “wholly objective”. (shrink)

One of the most significant discoveries of early twentieth century mathematical logic was a workable definition of ‘ordered pair’ totally within set theory. Norbert Wiener, and independently Casimir Kuratowski, are usually credited with this discovery. A definition of ‘ordered pair’ held the key to the precise formulation of the notions of ‘relation’ and ‘function’ — both of which are probably indispensable for an understanding of the foundations of mathematics. The set-theoretic definition of ‘ordered pair’ thus turned out to be (...) a key victory for logicism, providing one admits set theory is logic. The definition also was instrumental in achieving the appearance of ontological economy — since it seemed only sets were needed — although this feature was emphasized only later. (shrink)

In this paper, we explore the idea that sets depend on, or are grounded in, their members. It is said that a set depends on each of its members, and not vice versa. Members do not depend on the sets that they belong to. We show that the intuitive modal truth conditions for dependence, given in terms of possible worlds, do not accurately capture asymmetric dependence relations between sets and their members. We extend the modal truth conditions to include impossible (...) worlds and give a more satisfactory account of the dependence of a set on its members. Focusing on the case of singletons, we articulate a logical framework in which to evaluate set-theoretic dependence claims, using a normal first-order modal logic. We show that on this framework the dependence of a singleton on its single members follows from logic alone. However, the converse does not hold. (shrink)

We describe the solution of the Limit Rule Problem of Revision Theory and discuss the philosophical consequences of the fact that the truth set of Revision Theory is a complete 1/2 set.

A theistic science would have to represent the integration of all kinds of knowledge intent on explaining the whole of reality. These would include, at least, history, metaphysics, theology, formal logic, mathematics, and experimental sciences. However, what is the whole of reality that one wants to explain? :.

Motivated by the known mathematical and physical problems arising from the current mathematical formalization of the physical spatio-temporal continuum, as a substantial technical clarification of our earlier attempt (Etesi in Found Sci 25:327–340, 2020), the aim in this paper is twofold. Firstly, by interpreting Chaitin’s variant of Gödel’s first incompleteness theorem as an inherent uncertainty or fuzziness present in the set of real numbers, a set-theoretic entropy is assigned to it using the Kullback–Leibler relative entropy of a pair of (...) Riemannian manifolds. Then exploiting the non-negativity of this relative entropy an abstract Hawking-like area theorem is derived. Secondly, by analyzing Noether’s theorem on symmetries and conserved quantities, we argue that whenever the four dimensional space-time continuum containing a single, stationary, asymptotically flat black hole is modeled by the set of real numbers in the mathematical formulation of general relativity, the hidden set-theoretic entropy of this latter structure reveals itself as the entropy of the black hole (proportional to the area of its “instantaneous” event horizon), indicating that this apparently physical quantity might have a pure set-theoretic origin, too. (shrink)

Given a countable model of set theory, we study the structure of its generic multiverse, the collection of its forcing extensions and ground models, ordered by inclusion. Mostowski showed that any finite poset embeds into the generic multiverse while preserving the nonexistence of upper bounds. We obtain several improvements of his result, using what we call the blockchain construction to build generic objects with varying degrees of mutual genericity. The method accommodates certain infinite posets, and we can realize these embeddings (...) via a wide variety of forcing notions, while providing control over lower bounds as well. We also give a generalization to class forcing in the context of second-order set theory, and exhibit some further structure in the generic multiverse, such as the existence of exact pairs. (shrink)

Set theoretic formulation of Arrow's theorem, viewedin light of a taxonomy of transitive relations,serves to unmask the theorem's understatedgenerality. Under the impress of the independenceof irrelevant alternatives, the antipode of ceteris paribus reasoning, a purported compilerfunction either breaches some other rationalitypremise or produces the effet Condorcet. Types of cycles, each the seeming handiwork of avirtual voter disdaining transitivity, arerigorously defined. Arrow's theorem erects adilemma between cyclic indecision anddictatorship. Maneuvers responsive theretoare explicable in set theoretic terms. None ofthese gambits (...) rival in simplicity the unassistedescape of strict linear orderings, which, by virtueof the Arrow–Sen reflexivity premise, are notcaptured by the theorem. Yet these are therelations among whose n-tuples the effetCondorcet is most frequent. A generalization andstronger theorem encompasses these and all otherlinear orderings and total tierings. Revisions tothe Arrow–Sen definitions of `choice set' and`rationalization' similarly enable one to generalizeSen's demonstration that some rational choicefunction always exists. Similarly may onegeneralize Debreu's theorems establishing conditionsunder which a binary relation may be represented bya continuous real-valued order homomorphism. (shrink)

We analyze the precise modal commitments of several natural varieties of set-theoretic potentialism, using tools we develop for a general model-theoretic account of potentialism, building on those of Hamkins, Leibman and Löwe [14], including the use of buttons, switches, dials and ratchets. Among the potentialist conceptions we consider are: rank potentialism, Grothendieck–Zermelo potentialism, transitive-set potentialism, forcing potentialism, countable-transitive-model potentialism, countable-model potentialism, and others. In each case, we identify lower bounds for the modal validities, which are generally either S4.2 (...) or S4.3, and an upper bound of S5, proving in each case that these bounds are optimal. The validity of S5 in a world is a potentialist maximality principle, an interesting set-theoretic principle of its own. The results can be viewed as providing an analysis of the modal commitments of the various set-theoretic multiverse conceptions corresponding to each potentialist account. (shrink)

In this paper we ask the question: to what extent do basic set theoretic properties of Loeb measure depend on the nonstandard universe and on properties of the model of set theory in which it lies? We show that, assuming Martin's axiom and κ-saturation, the smallest cover by Loeb measure zero sets must have cardinality less than κ. In contrast to this we show that the additivity of Loeb measure cannot be greater than ω 1 . Define $\operatorname{cof}(H)$ as (...) the smallest cardinality of a family of Loeb measure zero sets which cover every other Loeb measure zero set. We show that $\operatorname{card}(\lfloor\log_2(H)\rfloor) \leq \operatorname{cof}(H) \leq \operatorname{card}(2^H)$ , where card is the external cardinality. We answer a question of Paris and Mills concerning cuts in nonstandard models of number theory. We also present a pair of nonstandard universes $M \preccurlyeq N$ and hyperfinite integer H ∈ M such that H is not enlarged by N, 2 H contains new elements, but every new subset of H has Loeb measure zero. We show that it is consistent that there exists a Sierpiński set in the reals but no Loeb-Sierpiński set in any nonstandard universe. We also show that it is consistent with the failure of the continuum hypothesis that Loeb-Sierpiński sets can exist in some nonstandard universes and even in an ultrapower of a standard universe. (shrink)

In this paper, we provide a set-theoretic proof of the general representation theorem for MV-algebras, which was developed by Dubuc and Poveda in 2010. The theorem states that every MV-algebra is isomorphic to the MV-algebra of all global sections of its prime spectrum. We avoid using topos theory and instead rely on basic concepts from MV-algebras, topology and set theory.

Since virtually every mathematical theory can be interpreted in Zermelo-Fraenkel set theory, it is a foundation for mathematics. There are other foundations, such as alternate set theories, higher-order logic, ramified type theory, and category theory. Whether set theory is the right foundation for mathematics depends on what a foundation is for. One purpose is to provide the ultimate metaphysical basis for mathematics. A second is to assure the basic epistemological coherence of all mathematical knowledge. A third is to serve mathematics, (...) by lending insight into the various fields and suggesting fruitful techniques of research. A fourth purpose of a foundation is to provide an arena for exploring relations and interactions between mathematical fields. While set theory does better with regard to some of these and worse with regard to others, it has become the de facto arena for deciding questions of existence, something one might expect of a foundation. Given the different goals, there is little point to determining a single foundation for all of mathematics. (shrink)

Semantyka teoriomonogościowa dla wielowartościowych rachunków pozycyjnych Celem artykułu jest zdefiniowanie adekwatnych semantyk teoriomonogościowych dla rachunków pozycyjnych.

We shall present two novel ways of deriving simply typed combinatory models. These are of interest in a constructive setting. First we look at extension models, which are certain subalgebras of full function space models. Then we shall show how the space of singletons of a combinatory model can itself be made into one. The two and the algebras in between will have many common features. We use these two constructions in proving: There is a model of constructive set theory (...) in which every closed extensional theory of simple typed combinatory logic is the theory of a full function space model. (shrink)

We present an axiomatic framework for semantics that can be applied to natural and formal languages. Our main goal is to suggest a very simple mathematical model that describes fundamental cognitive aspects of the human brain and that can still be applied to artificial intelligence. One of our main results is a theorem that allows us to infer syntactical properties of a language out of its corresponding semantics. The role of pragmatics in semantics in our mathematical framework is also discussed.

Let j:β → β, where β is an ordinal. Let R ⊆ α x α, where β ≤ α. We define j[R] = {(j(c),j(d)): R(c,d)}. We say that j is a nonidentity function if and only if j is not the..

Relative results concerning the Banach space l ∞ / c 0 are presented. We show that some basic properties of the Banach space l ∞ / c 0 implied by CH and OCA are different.