The von Neumann hierarchy of sets is heavily used as a basic tool in classical set theory, being an underlying ingredient in many proofs and concepts. In constructive set theories like without the powerset axiom however, it loses much of its potency by ceasing to be a hierarchy of sets as its single stages become only classes. This article proposes an alternative cumulative hierarchy which does not have this drawback and provides examples of how it can (...) be used to prove new theorems in. (shrink)

The following bare-bones story introduces the idea of a cumulative hierarchy of pure sets: 'Sets are arranged in stages. Every set is found at some stage. At any stage S: for any sets found before S, we find a set whose members are exactly those sets. We find nothing else at S.' Surprisingly, this story already guarantees that the sets are arranged in well-ordered levels, and suffices for quasi-categoricity. I show this by presenting Level Theory, a simplification of (...) set theories due to Scott, Montague, Derrick, and Potter. (shrink)

We present two results which shed some more light on the deep connection between ZFA and the standard ZF set theory: First of all we refine a result of Forti and Honsell in order to prove that the universe of ZFA can also be obtained as the least fixed point of a continuous operator and not only as the greatest fixed point of the powerset operator. Next we show that it is possible to define a new absolute Gödel operation in (...) addition to the standard ones in order to obtain the “constructible” model of ZFA as the least fixed point of the continuous operator of Gödel closure with respect to the standard and the new Gödel operations. (shrink)

Mathematical realists have long invoked the categoricity of axiomatizations of arithmetic and analysis to explain how we manage to fix the intended meaning of their respective vocabulary. Can this strategy be extended to set theory? Although traditional wisdom recommends a negative answer to this question, Vann McGee (1997) has offered a proof that purports to show otherwise. I argue that one of the two key assumptions on which the proof rests deprives McGee's result of the significance he and the realist (...) want to attribute to it. I consider two strategies to deal with the problem --- one of which is outlined by McGee himself (2000) --- and argue that both of them fail. I end with some remarks on the prospects for mathematical realism in the light of my discussion. (shrink)

The systems Kα of transfinite cumulative types up to α are extended to systems K∞α that include a natural infinitary inference rule, the so-called limit rule. For countable α a semantic completeness theorem for K∞α is proved by the method of reduction trees, and it is shown that every model of K∞α is equivalent to a cumulative hierarchy of sets. This is used to show that several axiomatic first-order set theories can be interpreted in K∞α, for suitable (...) α. (shrink)

Some reasons to regard the cumulative hierarchy of sets as potential rather than actual are discussed. Motivated by this, a modal set theory is developed which encapsulates this potentialist conception. The resulting theory is equi-interpretable with Zermelo Fraenkel set theory but sheds new light on the set-theoretic paradoxes and the foundations of set theory.

Intersectional feminist scholars emphasize how overlapping systems of oppression structure gender inequality, but in focusing on the gendered, classed, and racialized bases of stratification, many often overlook disability as an important social category in determining economic outcomes. This is a significant omission given that disability severely limits opportunities and contributes to cumulative disadvantage. We draw from feminist disability and intersectional theories to account for how disability intersects with gender, race, and education to produce economic insecurity. The findings from our (...) analyses of 2015 American Community Survey data provide strong empirical support for hierarchies of disadvantage, where women and racial minority groups with disabilities and less education experience the highest poverty levels, report the lowest total income, and have a greater reliance on sources outside the labor market for economic security. By taking disability into account, our study demonstrates how these multiple characteristics lead to overlapping oppressions that become embedded and reproduced within the larger social structure. (shrink)

In philosophical logic, a certain family of model constructions has received particular attention. Prominent examples are the cumulative hierarchy of well-founded sets, and Kripke's least fixed point models of grounded truth. I develop a general formal theory of groundedness and explain how the well-founded sets, Cantor's extended number-sequence and Kripke's concepts of semantic groundedness are all instances of the general concept, and how the general framework illuminates these cases. Then, I develop a new approach to a grounded theory (...) of proper classes. -/- However, the general concept of groundedness does not account for the philosophical significance of its paradigm instances. Instead, I argue, the philosophical content of the cumulative hierarchy of sets is best understood in terms of a primitive notion of ontological priority. -/- Then, I develop an analogous account of Kripke's models. I show that they exemplify the in-virtue-of relation much discussed in contemporary metaphysics, and thus are philosophically significant. I defend my proposal against a challenge from Kripke's “ghost of the hierarchy”. (shrink)

In this article I suggest a view of evolution characterized as a progressive process toward successively higher levels of complexity. In this approach, complexity is defined by means of an operational definition giving the possibility of its measurement by means of a procedure in which development has a crucial role. Furthermore, the concept of competition applied in the complexity space explains the cumulative emergence of new species as well as the presence of stagnant species. In this process, species are (...) formed in a hierarchical order in which the human species is situated on the highest level. This view of evolution, thus also embracing human cultural evolution, is depicted in a diagram of complexity versus time, thus forming a new kind of a Tree of Life. The purpose of the suggested interpretation of evolution is to make it more readily acceptable for common people. (shrink)

Modal structuralism promises an interpretation of set theory that avoids commitment to abstracta. This article investigates its underlying assumptions. In the first part, I start by highlighting some shortcomings of the standard axiomatisation of modal structuralism, and propose a new axiomatisation I call MSST (for Modal Structural Set Theory). The main theorem is that MSST interprets exactly Zermelo set theory plus the claim that every set is in some inaccessible rank of the cumulative hierarchy. In the second part (...) of the article, I look at the prospects for supplementing MSST with a modal structural reflection principle, as suggested in Hellman (2015). I show that Hellman’s principle is inconsistent (Theorem 5.32), and argue that modal structural reflection principles in general are either incompatible with modal structuralism or extremely weak. (shrink)

The phrase ‘The iterative conception of sets’ conjures up a picture of a particular settheoretic universe – the cumulative hierarchy – and the constant conjunction of phrasewith-picture is so reliable that people tend to think that the cumulative hierarchy is all there is to the iterative conception of sets: if you conceive sets iteratively, then the result is the cumulative hierarchy. In this paper, I shall be arguing that this is a mistake: the iterative (...) conception of set is a good one, for all the usual reasons. However, the cumulative hierarchy is merely one way among many of working out this conception, and arguments in favour of an iterative conception have been mistaken for arguments in favour of this one special instance of it. (This may be the point to get out of the way the observation that although philosophers of mathematics write of the iterative conception of set, what they really mean – in the terminology of modern computer science at least – is the recursive conception of sets. Nevertheless, having got that quibble off my chest, I shall continue to write of the iterative conception like everyone else.). (shrink)

This is a survey paper which discusses the impact of large cardinals on provability of the Continuum Hypothesis. It was Gödel who first suggested that perhaps “strong axioms of infinity” could decide interesting set-theoretical statements independent over ZFC, such as CH. This hope proved largely unfounded for CH—one can show that virtually all large cardinals defined so far do not affect the status of CH. It seems to be an inherent feature of large cardinals that they do not determine properties (...) of sets low in the cumulative hierarchy if such properties can be forced to hold or fail by small forcings.The paper can also be used as an introductory text on large cardinals as it defines all relevant concepts. (shrink)

This paper explores several topics related to Woodin’s HOD conjecture. We improve the large cardinal hypothesis of Woodin’s HOD dichotomy theorem from an extendible cardinal to a strongly compact cardinal. We show that assuming there is a strongly compact cardinal and the HOD hypothesis holds, there is no elementary embedding from HOD to HOD, settling a question of Woodin. We show that the HOD hypothesis is equivalent to a uniqueness property of elementary embeddings of levels of the cumulative (...) class='Hi'>hierarchy. We prove that the HOD hypothesis holds if and only if every regular cardinal above the first strongly compact cardinal carries an ordinal definable [Formula: see text]-Jónsson algebra. We show that if the HOD hypothesis holds and HOD satisfies the Ultrapower Axiom, then every supercompact cardinal is supercompact in HOD. (shrink)

In this article, as implied by the title, I intend to argue for the unattainability of Cantor’s Absolute at least in terms of the proof-theoretical means of set-theory and of the theory of large cardinals. For this reason a significant part of the article is a critical review of the progress of set-theory and of mathematical foundations toward resolving problems which to the one or the other degree are associated with the concept of infinity especially the one beyond that of (...) the natural intuition of natural numbers. Naturally the review includes the foundation and development of the theory of large cardinals, especially after Cohen’s revolutionary introduction of the forcing method, insofar as it paved the way toward a transcendence of the delimitative character of Gödel’s constructible universe L and further toward ever stronger infinity assumptions. Given that Cantor in his theory of transfinite numbers defined the mathematical absolute in ontological rather than concrete mathematical terms, I proceed in the last section to a philosophical discussion with certain prompts from phenomenology regarding the transposability of the formal conception of the infinite to the level of subjective constitution and argue in these terms on the infeasibility of acceding to an ‘absolute’ infinite cardinality. Of course the argumentation is strongly based on a view of the set-theoretical universe V of von Neumann’s cumulative hierarchy as a formal representative of the essential traits one would seek from a model of Cantor’s Absolute. It is also based on the conclusions reached from the whole discussion within the context of formal-theoretical structures as such. (shrink)

For classical sets one has with the cumulative hierarchy of sets, with axiomatizations like the system ZF, and with the category SET of all sets and mappings standard approaches toward global universes of all sets.We discuss here the corresponding situation for fuzzy set theory. Our emphasis will be on various approaches toward (more or less naively formed) universes of fuzzy sets as well as on axiomatizations, and on categories of fuzzy sets.

"Ontology and the Foundations of Mathematics" consists of three papers concerned with ontological issues in the foundations of mathematics. Chapter 1, "Numbers and Persons," confronts the problem of the inscrutability of numerical reference and argues that, even if inscrutable, the reference of the numerals, as we ordinarily use them, is determined much more precisely than up to isomorphism. We argue that the truth conditions of a variety of numerical modal and counterfactual sentences place serious constraints on the sorts of items (...) to which numerals, as we ordinarily use them, can be taken to refer: Numerals cannot be taken to refer to objects that exist contingently such as people, mountains, or rivers, but rather must be taken to refer to objects that exist necessarily such as abstracta. ;Chapter 2, "Modern Set Theory and Replacement," takes up a challenge to explain the reasons one should accept the axiom of replacement of Zermelo-Fraenkel set theory, when its applications within ordinary mathematics and the rest of science are often described as rare and recondite. We argue that this is not a question one should be interested in; replacement is required to ensure that the element-set relation is well-founded as well as to ensure that the cumulation of sets described by set theory reaches and proceeds beyond the level o of the cumulative hierarchy. A more interesting question is whether we should accept instances of replacement on uncountable sets, for these are indeed rarely used outside higher set theory. We argue that the best case for replacement comes not from direct, intuitive considerations, but from the role replacement plays in the formulation of transfinite recursion and the theory of ordinals, and from the fact that it permits us to express and assert the content of the modern cumulative view of the set-theoretic universe as arrayed in a cumulative hierarchy of levels. ;Chapter 3, "A No-Class Theory of Classes," makes use of the apparatus of plural quantification to construe talk of classes as plural talk about sets, and thus provide an interpretation of both one- and two-sorted versions of first-order Morse-Kelley set theory, an impredicative theory of classes. We argue that the plural interpretation of impredicative theories of classes has a number of advantages over more traditional interpretations of the language of classes as involving singular reference to gigantic set-like entities, only too encompassing to be sets, the most important of these being perhaps that it makes the machinery of classes available for the formalization of much recent and very interesting work in set theory without threatening the universality of the theory as the most comprehensive theory of collections, when these are understood as objects. (shrink)

Kurt Gödel with his work on the constructible universeLestablished the relative consistency of the Axiom of Choice and the Continuum Hypothesis. More broadly, he ensured the ascendancy of first-order logic as the framework and a matter of method for set theory and secured the cumulative hierarchy view of the universe of sets. Gödel thereby transformed set theory and launched it with structured subject matter and specific methods of proof. In later years Gödel worked on a variety of set (...) theoretic constructions and speculated about how problems might be settled with new axioms. We here chronicle this development from the point of view of the evolution of set theory as a field of mathematics. Much has been written, of course, about Gödel's work in set theory, from textbook expositions to the introductory notes to his collected papers. The present account presents an integrated view of the historical and mathematical development as supported by his recently published lectures and correspondence. Beyond the surface of things we delve deeper into the mathematics. What emerges are the roots and anticipations in work of Russell and Hilbert, and most prominently the sustained motif of truth as formalizable in the “next higher system”. We especially work at bringing out how transforming Gödel's work was for set theory. It is difficult now to see what conceptual and technical distance Gödel had to cover and how dramatic his re-orientation of set theory was. (shrink)

i. Proofless text is based on a variant of ZFC with free logic. Here variables always denote, but not all terms denote. If a term denotes, then all subterms must denote. The sets are all in the usual extensional cumulative hierarchy of sets. There are no urelements.

On a very natural conception of sets, every set has an absolute complement. The ordinary cumulative hierarchy dismisses this idea outright. But we can rectify this, whilst retaining classical logic. Indeed, we can develop a boolean algebra of sets arranged in well-ordered levels. I show this by presenting Boolean Level Theory, which fuses ordinary Level Theory (from Part 1) with ideas due to Thomas Forster, Alonzo Church, and Urs Oswald. BLT neatly implement Conway’s games and surreal numbers; and (...) a natural extension of BLT is definitionally equivalent with ZF. (shrink)

By a model of set theory we mean a Boolean-valued model of Zermelo-Fraenkel set theory allowing atoms (ZFA), which contains a copy of the ordinary universe of (two-valued,pure) sets as a transitive subclass; examples include Scott-Solovay Boolean-valued models and their symmetric submodels, as well as Fraenkel-Mostowski permutation models. Any such model M can be regarded as a topos. A logical subtopos E of M is said to represent M if it is complete and its cumulative hierarchy, as defined (...) by Fourman and Hayashi, coincides with the usual cumulative hierarchy of M. We show that, although M need not be a complete topos, it has a smallest complete representing subtopos, and we describe this subtopos in terms of definability in M. We characterize, again in terms of definability, those models M whose smallest representing topos is a Grothendieck topos. Finally, we discuss the extent to which a model can be reconstructed when its smallest representing topos is given. (shrink)

According to the iterative conception of set, sets are formed in stages. According to the purely iterative conception of set, sets are formed by iterated application of a set-of operation. The cumulative hierarchy is a mathematical realization of the iterative conception of set. A mathematical realization of the purely iterative conception can be found in Peter Aczel’s type-theoretic model of constructive set theory. I will explain Aczel’s model construction in a way that presupposes no previous familiarity with the (...) theories on which it is based. (shrink)

In [12], Ernst Zermelo described a succession of models for the axioms of set theory as initial segments of a cumulative hierarchy of levelsUαVα. The recursive definition of theVα's is:Thus, a little reflection on the axioms of Zermelo-Fraenkel set theory shows thatVω, the first transfinite level of the hierarchy, is a model of all the axioms ofZFwith the exception of the axiom of infinity. And, in general, one finds that ifκis a strongly inaccessible ordinal, thenVκis a model (...) of all of the axioms ofZF. Doubtless, when cast as a first-order theory,ZFdoes not characterize the structures 〈Vκ,∈∩〉 forκa strongly inaccessible ordinal, by the Löwenheim-Skolem theorem. Still, one of the main achievements of [12] consisted in establishing that a characterization of these models can be attained when one ventures into second-order logic. For let second-orderZFbe, as usual, the theory that results fromZFwhen the axiom schema of replacement is replaced by its second-order universal closure. Then, it is a remarkable result due to Zermelo that second-orderZFcan only be satisfied in models of the form 〈Vκ,∈∩〉 forκa strongly inaccessible ordinal. (shrink)

Inductively defined structures are ubiquitous in mathematics; their specification is unambiguous and their properties are powerful. All fields of mathematical logic feature these structures prominently: the formula of a language, the set of theorems, the natural numbers, the primitive recursive functions, the constructive number classes and segments of the cumulative hierarchy of sets. -/- This dissertation gives a mathematical characterization of a species of inductively defined structures, called accessible domains, which include all of the above examples except the (...) set of theorems. The concept of an accessible domain comes from Wilfried Sieg's analysis of proof-theoretic practices, starting with his dissertation. In particular, he noticed the special epistemological character of elements of an accessible domain: they can always be uniquely identified with their build-up. Generally, the unique build-up of elements justifies the principles of induction and recursion. -/- I use category theory to give an abstract characterization of accessible domains. I claim that accessible domains are all instances of initial algebras for endofunctors. Grounded in the historical roots of Sieg's discussions, this dissertation shows how the properties of initial algebras for endofunctors and accessible domains coincide in a satisfying and natural way. -/- Filling out this characterization, I show how important examples of accessible domains fit into this broad characterization. I first characterize some accessible domains by relatively simple functors (e.g. finite, polynomial, those that preserve certain colimits) where we can see how iterating the functor can produce the accessible domain. Then I describe accessible domains that result from more involved specifications (e.g. ordinals and segments of the cumulative hierarchies associated with CZF, IZF, and ZF) by relying heavily on algebraic set theory. I end with a discussion of some of the methodological features of category theory in particular that helped characterize accessible domains. (shrink)

This paper establishes a conjecture of Steel [7] regarding the structure of elementary embeddings from a level of the cumulative hierarchy into itself. Steel’s question is related to the Mitchell order on these embeddings, studied in [5] and [7]. Although this order is known to be illfounded, Steel conjectured that it has certain large wellfounded suborders, which is what we establish. The proof relies on a simple and general analysis of the much broader class of extender embeddings and (...) a variant of the Mitchell order called the internal relation. (shrink)

According to the iterative conception of set, sets can be arranged in a cumulative hierarchy divided into levels. But why should we think this to be the case? The standard answer in the philosophical literature is that sets are somehow constituted by their members. In the first part of the paper, I present a number of problems for this answer, paying special attention to the view that sets are metaphysically dependent upon their members. In the second part of (...) the paper, I outline a different approach, which circumvents these problems by dispensing with the priority or dependence relation altogether. Along the way, I show how this approach enables the mathematical structuralist to defuse an objection recently raised against her view. (shrink)

This note investigates the class of finite initial segments of the cumulative hierarchy of pure sets. We show that this class is first-order definable over the class of finite directed graphs and that this class admits a first-order definable global linear order. We apply this last result to show that FO = FO.

A structural (as opposed to Zadeh's quantitative) approach to fuzziness is given, based on the operator "very", which is added to the language of set theory together with some elementary axioms about it. Due to the axiom of foundation and to a lifting axiom, the operator is proved trivial on the cumulative hierarchy of ZF. So we have to drop either foundation or lifting. Since fuzziness concerns complemented predicates rather than sets, a class theory is needed for the (...) very operator. And of them the Kelley-Morse (KM) theory is more appropriate for reasons of class existence. Several definable realizations of the very-operator are presented in KM⁻. In the last section we consider the operator "very" without the lifting axiom on classes of urelements. To each structurally fuzzy set X a traditional quantitative fuzzy set X̄ is assigned -- its quantitative representation. This way we are able partly to recover ordinary fuzzy sets from the structurally fuzzy ones. (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 definition of nonstandard universe which gets over the limitation to the finite levels of the cumulative hierarchy is proposed. Though necessarily nonwellfounded, nonstandard universes are arranged in strata in the likeness of superstructures and allow a rank function taking linearly ordered values. Nonstandard universes are also constructed which model the whole ZFC theory without regularity and satisfy the $\kappa$-saturation property.

For classical sets one has with the cumulative hierarchy of sets, with axiomatizations like the system ZF, and with the category SET of all sets and mappings standard approaches toward global universes of all sets. We discuss here the corresponding situation for fuzzy set theory.Our emphasis will be on various approaches toward (more or less naively formed)universes of fuzzy sets as well as on axiomatizations, and on categories of fuzzy sets.

As proved recently, the satisfaction problem for all prenex formulae in the set-theoretic Bernays-Shönfinkel-Ramsey class is semi-decidable over von Neumann's cumulative hierarchy. Here that semi-decidability result is strengthened into a decidability result for the same collection of formulae.

In the first part of the paper, I clarify what is at stake in the debate between accounts of the iterative conception based on the notion of metaphysical dependence and the minimalist account I have defended in previous work (Incurvati 2012; 2020). I argue that the debate concerns how to understand and motivate the central tenet of the iterative conception that every set occurs at some level of the cumulative hierarchy. This debate, I contend, should be distinguished from (...) the debate between actualist and potentialist accounts of the cumulative hierarchy. In the second part of the paper, I use the distinction drawn in the first part of the paper to assess an objection leveled by Mark Gasser (2015) against ante rem structuralism. In particular, this distinction makes it clear that there are two different objections in Gasser’s article. The first objection is that the iterative conception conflicts with dependence claims made by structuralists. As I have suggested in previous work, ante rem structuralists can address this objection by endorsing a minimalist account of the iterative conception. The second objection is that the indefinite extensibility of the set concept conflicts with the idea that the cumulative hierarchy is exhausted by the ZFC axioms. I chart various possible ways of addressing the second objection and show that by disentangling ante rem structuralism from the idea that mathematical structures ought to be given by implicit definitions opens up a novel way of addressing the second objection. I conclude by contending that although my arguments show that ante rem structuralism is compatible with the iterative conception, there are still reasons to favour a more deflationary understanding of structuralism, advocated by John Burgess, Joel Hamkins and Gasser himself. (shrink)

Argument-places play an important role in our dealing with relations. However, that does not mean that argument-places should be taken as primitive entities. It is possible to give an account of relations in which argument-places play no role. But if argument-places are not basic, then what can we say about their identity? Can they, for example, be reconstructed in set theory with appropriate urelements? In this article, we show that for some relations, argument-places cannot be modeled in a neutral way (...) in V[A], the cumulative hierarchy with basic ingredients of the relation as urelements. We argue that a natural way to conceive of argument-places is to identify them with abstract, structureless points of a derivative structure exemplified by positional frames. In case the relation has symmetry, these points may be indiscernible. (shrink)

A debated issue in the mathematical foundations in at least the last two decades is whether one can plausibly argue for the merits of treating undecidable questions of mathematics, e.g., the Continuum Hypothesis (CH), by relying on the existence of a plurality of set-theoretical universes except for a single one, i.e., the well-known set-theoretical universe V associated with the cumulative hierarchy of sets. The multiverse approach has some varying versions of the general concept of multiverse yet my intention (...) is to primarily address ontological multiversism as advocated, for instance, by Hamkins or Väätänen, precisely for the reason that they proclaim, to the one or the other extent, ontological preoccupations for the introduction of respective multiverse theories. Taking also into account Woodin’s and Steel’s multiverse versions, I take up an argumentation against multiversism, and in a certain sense against platonism in mathematical foundations, mainly on subjectively founded grounds, while keeping an eye on Clarke-Doane’s concern with Benacerraf’s challenge. I note that even though the paper is rather technically constructed in arguing against multiversism, the non-negligible philosophical part is influenced to a certain extent by a phenomenologically motivated view of the matter. (shrink)

Argument-places play an important role in our dealing with relations. However, that does not mean that argument-places should be taken as primitive entities. It is possible to give an account of ‘real’ relations in which argument-places play no role. But if argument-places are not basic, then what can we say about their identity? Can they, for example, be reconstructed in set theory with appropriate urelements? In this article, we show that for some relations, argument-places cannot be modeled in aneutralway in (...) V[A], the cumulative hierarchy with basic ingredients of the relation as urelements. We argue that a natural way to conceive of argument-places is to identify them with abstract, structureless points of a derivative structure exemplified by positional frames. In case the relation has symmetry, these points may be indiscernible. (shrink)

The success of set theory as a foundation for mathematics inspires its use in artificial intelligence, particularly in commonsense reasoning. In this survey, we briefly review classical set theory from an AI perspective, and then consider alternative set theories. Desirable properties of a possible commonsense set theory are investigated, treating different aspects like cumulative hierarchy, self-reference, cardinality, etc. Assorted examples from the ground-breaking research on the subject are also given.

The main objective of this paper is to examine how theories of truth and reference that are in a broad sense Fregean in character are threatened by antinomies; in particular by the Epimenides paradox and versions of the so-called Russell-Myhill antinomy, an intensional analogue of Russell’s more well-known paradox for extensions. Frege’s ontology of propositions and senses has recently received renewed interest in connection with minimalist theories that take propositions (thoughts) and senses (concepts) as the primary bearers of truth and (...) reference. In this paper, I will present a rigorous version of Frege’s theory of sense and denotation and show that it leads to antinomies. I am also going to discuss ways of modifying Frege’s semantical and ontological framework in order to avoid the paradoxes. In this connection, I explore the possibility of giving up the Fregean assumption of a universal domain of absolutely all objects, containing in addition to extensional objects also abstract intensional ones like propositions and singular concepts. I outline a cumulative hierarchy of Fregean propositions and senses, in analogy with Gödel’s hierarchy of constructible sets. In this hierarchy, there is no domain of all objects. Instead, every domain of objects is extendible with new objects that, on pain of contradiction, cannot belong to the given domain. According to this approach, there is no domain containing absolutely all propositions or absolutely all senses. (shrink)

The iterative conception of set is typically considered to provide the intuitive underpinnings for ZFCU (ZFC+Urelements). It is an easy theorem of ZFCU that all sets have a definite cardinality. But the iterative conception seems to be entirely consistent with the existence of “wide” sets, sets (of, in particular, urelements) that are larger than any cardinal. This paper diagnoses the source of the apparent disconnect here and proposes modifications of the Replacement and Powerset axioms so as to allow for the (...) existence of wide sets. Drawing upon Cantor’s notion of the absolute infinite, the paper argues that the modifications are warranted and preserve a robust iterative conception of set. The resulting theory is proved consistent relative to ZFC + “there exists an inaccessible cardinal number.”. (shrink)

I present the realist conception of logic supported by Oswaldo Chateaubriand which integrates ontological and epistemological aspects, opposing it to mathematical and linguistic conceptions. I give special attention to the peculiarities of his hierarchy of types in which some properties accumulate and others have a multiple degree. I explain such deviations of the traditional conception, showing the underlying purpose in each of these peculiarities. I compare the ideas of Chateaubriand to the similar ideas of Frege, Tarski and Gödel. I (...) suggest a view of the logical properties in terms of the Aristotelian notion of focal meaning and I give a formal expression to the type of the entities in the hierarchy proposed by Chateaubriand. (shrink)

This book aims to rehabilitate taking offence. In an era of public criticism of those deemed too easily offended, it is easy to overlook the significance and social value of this emotion. Offence, the book argues, is better understood as a way to defend one’s standing than as a mere expression of hurt feelings. The book defends the significance of offence as one way to resist everyday social inequalities: those details of interactions that, together, pattern social hierarchies. As a result, (...) the defence of offence is of that taken at apparently trivial and small-scale details of social interactions, and so the very form that its opponents find most objectionable. Within societies marred by hierarchies of unequal social standing, and when taken by those who face systematic attributions of lower social standing, an inclination to take offence is a civic virtue. First, this book offers an analysis of offence that depicts a distinctive emotion ripe for moral reappraisal. To take offence resists an affront to one’s social standing and is one way to negotiate the social norms and practices that structure social interactions, often in socially unequal ways. Second, the book defends the significance of our social standing, the cumulative importance of apparently small details of interactions, and offence as an act of insubordination against a social hierarchy. Third, it turns to the limits on when taking offence is justified, addressing jokes, unintentional affronts, disagreement over what counts as offensive, and what we should think of offence that is taken online. (shrink)

Let V be the cumulative set theoretic hierarchy, generated from the empty set by taking powers at successor stages and unions at limit stages and, following [2], let the primitive language of set theory be the first order language which contains binary symbols for equality and membership only. Despite the existence of ∀∀-formulae in the primitive language, with two free variables, which are satisfiable in V but not by finite sets ([5]), and therefore of ƎƎ∀∀ sentences of the (...) same language, which are undecidable in ZFC without the Axiom of Infinity, truth in V for Ǝ*∀∀-sentences of the primitive language, is decidable ([1]). Completeness of ZF with respect to such sentences follows. (shrink)

On its intended interpretation, logical, mathematical and metaphysical discourse sometimes seems to involve absolutely unrestricted quantification. Yet our standard semantic theories do not allow for interpretations of a language as expressing absolute generality. A prominent strategy for defending absolute generality, influentially proposed by Timothy Williamson in his paper ‘Everything’, avails itself of a hierarchy of quantifiers of ever increasing orders to develop non-standard semantic theories that do provide for such interpretations. However, as emphasized by Øystein Linnebo and Agustín Rayo, (...) there is pressure on this view to extend the quantificational hierarchy beyond the finite level, and, relatedly, to allow for a cumulative conception of the hierarchy. In his recent book, Modal Logic as Metaphysics, Williamson yields to that pressure. I show that the emerging cumulative higher-orderist theory has implications of a strongly generality-relativist flavour, and consequently undermines much of the spirit of generality absolutism that Williamson set out to defend. (shrink)

According to Cantor (Mathematische Annalen 21:545–586, 1883 ; Cantor’s letter to Dedekind, 1899 ) a set is any multitude which can be thought of as one (“jedes Viele, welches sich als Eines denken läßt”) without contradiction—a consistent multitude. Other multitudes are inconsistent or paradoxical. Set theoretical paradoxes have common root—lack of understanding why some multitudes are not sets. Why some multitudes of objects of thought cannot themselves be objects of thought? Moreover, it is a logical truth that such multitudes do (...) exist. However we do not understand this logical truth so well as we understand, for example, the logical truth $${\forall x \, x = x}$$ . In this paper we formulate a logical truth which we call the productivity principle. Rusell (Proc Lond Math Soc 4(2):29–53, 1906 ) was the first one to formulate this principle, but in a restricted form and with a different purpose. The principle explicates a logical mechanism that lies behind paradoxical multitudes, and is understandable as well as any simple logical truth. However, it does not explain the concept of set. It only sets logical bounds of the concept within the framework of the classical two valued $${\in}$$ -language. The principle behaves as a logical regulator of any theory we formulate to explain and describe sets. It provides tools to identify paradoxical classes inside the theory. We show how the known paradoxical classes follow from the productivity principle and how the principle gives us a uniform way to generate new paradoxical classes. In the case of ZFC set theory the productivity principle shows that the limitation of size principles are of a restrictive nature and that they do not explain which classes are sets. The productivity principle, as a logical regulator, can have a definite heuristic role in the development of a consistent set theory. We sketch such a theory—the cumulative cardinal theory of sets. The theory is based on the idea of cardinality of collecting objects into sets. Its development is guided by means of the productivity principle in such a way that its consistency seems plausible. Moreover, the theory inherits good properties from cardinal conception and from cumulative conception of sets. Because of the cardinality principle it can easily justify the replacement axiom, and because of the cumulative property it can easily justify the power set axiom and the union axiom. It would be possible to prove that the cumulative cardinal theory of sets is equivalent to the Morse–Kelley set theory. In this way we provide a natural and plausibly consistent axiomatization for the Morse–Kelley set theory. (shrink)

For each ordinal α it is given a model for Skala's set theory using the well-known cumulative type hierarchy.

The COVID-19 pandemic poses a major challenge to policy makers on how to encourage compliance to social distancing and personal protection rules. This paper compares the effectiveness of two policies that aim to increase the frequency of responsible health behavior using smartphone-tracking applications. The first involves enhanced alert capabilities, which remove social externalities and protect the users from others’ reckless behavior. The second adds a rule enforcement mechanism that reduces the users’ benefit from reckless behavior. Both strategies should be effective (...) if agents are expected-value maximizers, risk averse, and behave in accordance with cumulative prospect theory or in accordance with the Cognitive Hierarchy model. A multi-player trust-game experiment was designed to compare the effectiveness of the two policies. The results reveal a substantial advantage to the enforcement application, even one with occasional misses. The enhanced-alert strategy was completely ineffective. The findings align with the small samples hypothesis, suggesting that decision makers tend to select the options that lead to the best payoff in a small sample of similar past experiences. In the current context, the tendency to rely on a small sample appears to be more consequential than other deviations from rational choice. (shrink)

Here we discuss the challenge posed by self-organization to the Darwinian conception of evolution. As we point out, natural selection can only be the major creative agency in evolution if all or most of the adaptive complexity manifest in living organisms is built up over many generations by the cumulative selection of naturally occurring small, random mutations or variants, i.e., additive, incremental steps over an extended period of time. Biological self-organization—witnessed classically in the folding of a protein, or in (...) the formation of the cell membrane—is a fundamentally different means of generating complexity. We agree that self-organizing systems may be fine-tuned by selection and that self-organization may be therefore considered a complementary mechanism to natural selection as a causal agency in the evolution of life. But we argue that if self-organization proves to be a common mechanism for the generation of adaptive order from the molecular to the organismic level, then this will greatly undermine the Darwinian claim that natural selection is the major creative agency in evolution. We also point out that although complex self-organizing systems are easy to create in the electronic realm of cellular automata, to date translating in silico simulations into real material structures that self-organize into complex forms from local interactions between their constituents has not proved easy. This suggests that self-organizing systems analogous to those utilized by biological systems are at least rare and may indeed represent, as pre-Darwinists believed, a unique ascending hierarchy of natural forms. Such a unique adaptive hierarchy would pose another major challenge to the current Darwinian view of evolution, as it would mean the basic forms of life are necessary features of the order of nature and that the major pathways of evolution are determined by physical law, or more specifically by the self-organizing properties of biomatter, rather than natural selection. (shrink)

The systems T N and T M show that necessity can be consistently construed as a predicate of syntactical objects, if the expressive/deductive power of the system is deliberately engineered to reflect the power of the original object language operator. The system T N relies on salient limitations on the expressive power of the language L N through the construction of a quotational hierarchy, while the system T Mrelies on limiting the scope of the modal axioms schemas to the (...) sublanguage L infM +, which corresponds exactly with the restrictive hierarchy of L N. The fact that L infM + is identical to the image of the metalinguistic mapping C + from the normal operator system into L M reveals that iterated operator modality is implicitly hierarchical, and that inconsistency is produced by applying the principles of the modal logic to formulas which have no natural analogues in the operator development. Thus the contradiction discovered by Montague can be diagnosed as the result of instantiating the axiom schemas with modally ungrounded formulas, and thereby adding radically new modal axioms to the predicate system.The predicate treatment of necessity differs significantly from that of the operator in that the cumulative models for the predicate system are strictly first-order. Possible worlds are not used as model-theoretic primitives, but rather alternate models are appealed to in order to specify the extension of N, which is semantically construed as a first-order predicate. In this manner, the intensional aspects of modality are built into the mode of specifying the particular set of objects which the denotation function assigns to N, rather than in the specification of the basic truth conditions for modal formulas. Intensional phenomena are thereby localised to the special requirements for determining the extension of a particular predicate, and this does not constitute a structural modification of the first-order models, but rather limits the relevant class of models to those which possess an appropriate denotation function. (shrink)

Our narratives about intelligent machines reprise the same modes in which humans have historically dealt with "other" groups of humans, especially during the era of colonialism. Addressing unconscious assumptions involving race, gender, hierarchy, power, imperialism, and capitalism in the post-colonial world, this book argues that cultural narratives regarding intelligent machines have much to do with colonial attitudes and mindsets. Human attitudes toward intelligent machines, colored by such ideological and cultural biases, cumulatively manifest themselves as cultural narratives of a racialized (...) Machine Other. This book explores how examining the emotions underlying our narratives about intelligent machines can provide insights into the human psyche and be a catalyst for authentic encounters with intelligent machines. It will beckon you to question long-held assumptions, confront the complexities of AI and racial dynamics, and embark on a quest for deeper understanding of yourself. (shrink)

Within the historiography of early modern science, trust and credibility have become synonymous with genteel identity. While we should not overlook the cultural values attached to social hierarchy and how it shaped the credibility of knowledge claims, this has limitations when thinking about how contemporaries regarded the origins of that knowledge and its location in different types of workers and skillsets. Using the example of seamen in the circles of the Royal Society, this article employs the category of experience, (...) and by extension expertise, to illustrate how recognized forms of knowledge and skill acted as routes to credibility and authority in early modern science. It argues that, within the experimental community, the seaman’s authority derived from their direct experience of novel and remote phenomena and the cumulative effect of their wider experience. The accumulated experience they acquired from frequent practice, observation, and exposure translated into a form of “expertness” that rendered seamen trustworthy and credible observers and thinkers. The gentlemanly trust model does not accommodate nor acknowledge the ways the seaman’s direct and accumulated experience (and that of many other professional groups) were recognized and valued in inquiry and discourse. The article therefore sets out a new model for understanding trust, credibility, and authority in early modern science that can take us beyond a restrictive mono-model that locates trust in one sociocultural category to highlight the multiple, and sometimes competing, claims to epistemological authority. (shrink)