Permissivist metaontology proposes answering customary existence questions in the affirmative. Many of the existence questions addressed by ontologists concern the existence of theoretical entities which admit precise formal specification. This causes trouble for the permissivist, since individually consistent formal theories can make pairwise inconsistent demands on the cardinality of the universe. We deploy a result of Gabriel Uzquiano’s to show that this possibility is realised in the case of two prominent existence debates and propose rejecting permissivism in favour of substantive (...) ontology conducted on a cost–benefit basis. (shrink)

The thesis of Weak Unrestricted Composition says that every pair of objects has a fusion. This thesis has been argued by Contessa and Smith to be compatible with the world being junky and hence to evade an argument against the necessity of Strong Unrestricted Composition proposed by Bohn. However, neither Weak Unrestricted Composition alone nor the different variants of it that have been proposed in the literature can provide us with a satisfying answer to the special composition question, or so (...) we will argue. We will then go on to explore an alternative family of purely mereological rules in the vicinity of Weak Unrestricted Composition, Cardinal Composition: A plurality of pairwise non-overlapping objects composes an object iff the objects in the plurality are of cardinality smaller than $$\kappa $$ κ. As we will show, all the instances for infinite $$\kappa $$ κ s determine fusion and are compatible with junk, and every instance for a $$\kappa > \aleph _0$$ κ > ℵ 0 is furthermore compatible with gunk and dense chains of parthood. (shrink)

The cardinal role that notions of respect and self-respect play in Rawls’s A Theory of Justice has already been abundantly examined in the literature. However, it has hardly been noticed that these notions are also central for Michael Walzer’s Spheres of Justice. Respect and self-respect are not only central topics of his chapter on “recognition”, but constitute a central aim of his whole theory of justice. This paper substantiates this thesis and elucidates Walzer’s criticism of Rawls’s that we need to (...) distinguish between “self-respect” and “self-esteem”. (shrink)

The cardinal role that notions of respect and self-respect play in Rawls’s A Theory of Justice has already been abundantly examined in the literature. In contrast, it has hardly been noticed that these notions are also central to Michael Walzer’s Spheres of Justice. Respect and self-respect are not only central topics of his chapter “Recognition”, but constitute a central aim of a “complex egalitarian society” and of Walzer’s theory of justice. This paper substantiates this thesis and elucidates Walzer’s criticism of (...) Rawls that we need to distinguish between “self-respect” and “self-esteem”. (shrink)

We reexamine some of the classic problems connected with the use of cardinal utility functions in decision theory, and discuss Patrick Suppes's contributions to this field in light of a reinterpretation we propose for these problems. We analytically decompose the doctrine of ordinalism, which only accepts ordinal utility functions, and distinguish between several doctrines of cardinalism, depending on what components of ordinalism they specifically reject. We identify Suppes's doctrine with the major deviation from ordinalism that conceives of utility functions as (...) representing preference differences, while being non- etheless empirically related to choices. We highlight the originality, promises and limits of this choice-based cardinalism. (shrink)

How do we acquire the notions of cardinality and cardinal number? In the (neo-)Fregean approach, they are derived from the notion of equinumerosity. According to some alternative approaches, defended and developed by Husserl and Parsons among others, the order of explanation is reversed: equinumerosity is explained in terms of cardinality, which, in turn, is explained in terms of our ordinary practices of counting. In their paper, ‘Cardinality, Counting, and Equinumerosity’, Richard Kimberly Heck proposes that instead of equinumerosity or counting, cardinality (...) is derived from a cognitively earlier notion of _just as many_. In this paper, we assess Heck’s proposal in terms of contemporary theories of number concept acquisition. Focusing on bootstrapping theories, we argue that there is no evidence that the notion of _just as many_ is cognitively primary. Furthermore, since the acquisition of cardinality is an enculturated process, the cognitive primariness of these notions, possibly including _just as many_, depends on various external cultural factors. Therefore, being possibly a cultural construction, _just as many_ could be one among several notions used in the acquisition of cardinality and cardinal number concepts. This paper thus challenges those accounts which seek for a fundamental concept underlying all aspects of numerical cognition. (shrink)

Wittgenstein’s atomist picture, as embodied in his Tractatus, is initially very appealing. However, it faces the famous colour-exclusion problem. In this paper, I shall explain when the atomist picture can be defended in the face of that problem; and, in the light of this, why the atomist picture should be rejected. I outline the atomist picture in Section 1. In Section 2, I present a very simple necessary and sufficient condition for the tenability of the atomist picture. The condition is: (...) logical space is a power of two. In Sections 3 and 4, I outline the colour-exclusion problem, and then show how the cardinality-condition supplies a response to exclusion problems. In Section 5, I explain how this amounts to a distillation of a proposal due to Moss, which goes back to Carruthers. And in Section 6, I show how all this vindicates Wittgenstein’s ultimate rejection of the atomist picture. The brief reason is that we have no guarantee that there are any solutions to a given exclusion problem but, if there are any, then there are far too many. (shrink)

As a representative of the papacy Bellarmine was an extremely moderate one. In fact Sixtus V in 1590 had the first volume of his Disputations placed on the Index because it contained so cautious a theory of papal power, denying the Pope temporal hegemony. Bellarmine did not represent all that Hobbes required of him either. On the contrary, he proved the argument of those who championed the temporal powers of the Pope faulty. As a Jesuit he tended to maintain the (...) relative autonomy of the state, denying the temporal powers ascribed by radical papalists and Augustinians. Their argument was generally framed as a syllogism: Christ, who possessed direct temporal power as both God and man, exercised it on earth; the Pope is the vicar of Christ; therefore the Pope possesses and may exercise direct temporal jurisdiction. Bellarmine simply denied that Christ had exercised the temporal power, which as God, it is true, he possessed. Moreover, he drew up and circulated a list of patristic passages collected under the title De Regno Christi quale sit, to prove to the Pope the orthodoxy of his position. (shrink)

There are long-standing doubts about whether data from subjective scales—for instance, self-reports of happiness—are cardinally comparable. It is unclear how to assess whether these doubts are justified without first addressing two unresolved theoretical questions: how do people interpret subjective scales? Which assumptions are required for cardinal comparability? This paper offers answers to both. It proposes an explanation for scale interpretation derived from philosophy of language and game theory. In short: conversation is a cooperative endeavour governed by various maxims (Grice 1989); (...) because subjective scales are vague and individuals want to make themselves understood, scale interpretation is a search for a focal point (Schelling 1960). A specific focal point it hypothesised; if this hypothesis is correct, subjective data will be cardinally comparable. Four individually necessary and jointly sufficient conditions for cardinal comparability are specified. The paper then argues this hypothesis can be empirically be tested, makes an initial attempt to do so using subjective well-being data, and concludes it is supported. Numerous areas for further research are identified including, at the end of the paper, how certain tests could be used to ‘correct’ subjective data if they are not cardinal. (shrink)

¿Qué ha pasado con el problema del cardinal del continuo después de Gödel (1938) y Cohen (1964)? Intentos de responder esta pregunta pueden encontrarse en los artículos de José Alfredo Amor (1946-2011), "El Problema del continuo después de Cohen (1964-2004)", de Carlos Di Prisco , "Are we closer to a solution of the continuum problem", y de Joan Bagaria, "Natural axioms of set and the continuum problem" , que se pueden encontrar en la biblioteca digital de mi blog de Lógica (...) Matemática y Fundamentos de la Matemática (ver). También en la entrada "The Continuum Hypothesis" de la web de Enciclopedia de Filosofía de la Universidad de Stanford existe información importante y actualizada al respecto. En esta breve nota se comenta sobre el tema de una manera divulgativa. (shrink)

This article explains and defends reverence as a cardinal ethical value in the Western philosophical tradition, which was considered an underpinning value in ancient society, and it then gradually declined over time. Many contemporary Western philosophers embark on respect rather than reverence. Reverence and respect are not the same. Reverence is all-inclusive, while respect is limited. Reverence values the genuine person, while respect may flatter a powerful arrogant person. Reverence is a cardinal moral and political value necessary for decent politics, (...) education, law, economics, and religion. Reverence is not only essential for becoming a perfect human person but also for instituting a good society. To expound the notion of reverence in the Western tradition, I select four significant Western intellectuals: Johann Wolfgang von Goethe, Bertrand Russell, Albert Schweitzer, and Paul Woodruff. Goethe posits a tripartite account of reverence: reverence for God, Earth, and human beings. Russell argues for reverence in politics and education. Schweitzer not only developed his account of reverence but also lived his life according to it. Schweitzer declares that his life is his argument, which is reverence for life, life in all its forms. Woodruff intends to revive the notion of reverence in global politics and ethics. So, the article examines the accounts of reverence posited by Goethe, Russell, Schweitzer, and Woodruff and defends its role as a cardinal moral and political value vital for politics, education, and religion for acquiring the common good in the world. (shrink)

Creationism about fictional entities requires a principle connecting what fictions say exist with which fictional entities really exist. The most natural way of spelling out such a principle yields inconsistent verdicts about how many fictional entities are generated by certain inconsistent fictions. Avoiding inconsistency without compromising the attractions of creationism will not be easy.

Recent developments in generalized probability theory have renewed a debate about whether regularity (i.e., the constraint that only logical contradictions get assigned probability 0) should be a necessary feature of both chances and credences. Crucial to this debate, however, are some mathematical facts regarding the interplay between the existence of regular generalized probability measures and various cardinality assumptions. We improve on several known results in the literature regarding the existence of regular generalized probability measures. In particular, we give necessary and (...) sufficient conditions for the existence of regular generalized probability measures defined on the whole powerset of any sample space. (shrink)

It will be shown in this article that an ontological approach for some problems related to the interpretation of Quantum Mechanics (QM) could emerge from a re-evaluation of the main paradox of early Greek thought: the paradox of Being and non-Being, and the solutions presented to it by Plato and Aristotle. More well known are the derivative paradoxes of Zeno: the paradox of motion and the paradox of the One and the Many. They stem from what was perceived by classical (...) philosophy to be the fundamental enigma for thinking about the world: the seemingly contradictory results that followed from the co-incidence of being and non-being in the world of change and motion as we experience it, and the experience of absolute existence here and now. The most clear expression of both stances can be found, again following classical thought, in the thinking of Heraclitus of Ephesus and Parmenides of Elea. The problem put forward by these paradoxes reduces for both Plato and Aristotle to the possibility of the existence of stable objects as a necessary condition for knowledge. Hence the primarily ontological nature of the solutions they proposed: Plato’s Theory of Forms and Aristotle’s metaphysics and logic. Plato’s and Aristotle’s systems are argued here to do on the ontological level essentially the same: to introduce stability in the world by introducing the notion of a separable, stable object, for which a ‘principle of contradiction’ is valid: an object cannot be and not-be at the same place at the same time. So it becomes possible to forbid contradiction on an epistemological level, and thus to guarantee the certainty of knowledge that seemed to be threatened before. After leaving Aristotelian metaphysics, early modern science had to cope with these problems: it did so by introducing “space” as the seat of stability, and “time” as the theater of motion. But the ontological structure present in this solution remained the same. Therefore the fundamental notion ‘separable system’, related to the notions observation and measurement, themselves related to the modern concepts of space and time, appears to be intrinsically problematic, because it is inextricably connected to classical logic on the ontological level. We see therefore the problems dealt with by quantum logic not as merely formal, and the problem of ‘non-locality’ as related to it, indicating the need to re-think the notions system, entity, as well as the implications of the operation ‘measurement’, which is seen here as an application of classical logic (including its ontological consequences) on the material world. (shrink)

In this paper, I introduce an iterative method aimed at exploring numbers within the interval [0, 1]. Beginning with a foundational set, S0, a series of algorithms are employed to expand and refine this set. Each algorithm has its designated role, from incorporating irrational numbers to navigating non-deterministic properties. With each successive iteration, our set grows, and after infinite iterations, its cardinality is proposed to align with that of the real numbers. This work is an initial exploration into this approach, (...) and further investigation is encouraged to understand its full implications and potential. (shrink)

An overview of what Frege accomplishes in Part II of Grundgesetze, which contains proofs of axioms for arithmetic and several additional results concerning the finite, the infinite, and the relationship between these notions. One might think of this paper as an extremely compressed form of Part II of my book Reading Frege's Grundgesetze.

In this article, a possible generalization of the Löb’s theorem is considered. Main result is: let κ be an inaccessible cardinal, then ¬Con( ZFC +∃κ) .

An ancient argument attributed to the philosopher Carneades is presented that raises critical questions about the concept of an all-virtuous Divine being. The argument is based on the premises that virtue involves overcoming pains and dangers, and that only a being that can suffer or be destroyed is one for whom there are pains and dangers. The conclusion is that an all-virtuous Divine (perfect) being cannot exist. After presenting this argument, reconstructed from sources in Sextus Empiricus and Cicero, this paper (...) goes on to model it as a deductively valid sequence of reasoning. The paper also discusses whet her the premises are true. Questions about the possibility and value of proving and disproving the existence of God by logical reasoning are raised, as well as ethical questions about how the cardinal ethical virtues should be defined. (shrink)

In this article we derived an important example of the inconsistent countable set in second order ZFC (ZFC_2) with the full second-order semantics. Main results: (i) :~Con(ZFC2_); (ii) let k be an inaccessible cardinal, V is an standard model of ZFC (ZFC_2) and H_k is a set of all sets having hereditary size less then k; then : ~Con(ZFC + E(V)(V = Hk)):.

This article reintroduces Fr. Zeferino González, OP (1831-1894) to scholars of Church history, philosophy, and cultural heritage. He was an alumnus of the University of Santo Tomás in Manila, a Cardinal, and a champion of the revival of Catholic Philosophy that led to the promulgation of Leo XIII’s encyclical Aeterni Patris. Specifically, this essay presents, firstly, the Cardinal’s biography in the context of his experience as a missionary in the Far East; secondly, the intellectual tradition in Santo Tomás in Manila, (...) which he carried with him until his death; and lastly, some reasons for his once-radiant memory to slip into an undeserved forgetfulness. (shrink)

I consider the first-order modal logic which counts as valid those sentences which are true on every interpretation of the non-logical constants. Based on the assumptions that it is necessary what individuals there are and that it is necessary which propositions are necessary, Timothy Williamson has tentatively suggested an argument for the claim that this logic is determined by a possible world structure consisting of an infinite set of individuals and an infinite set of worlds. He notes that only the (...) cardinalities of these sets matters, and that not all pairs of infinite sets determine the same logic. I use so-called two-cardinal theorems from model theory to investigate the space of logics and consequence relations determined by pairs of infinite sets, and show how to eliminate the assumption that worlds are individuals from Williamson’s argument. (shrink)

An analysis of Cardinal Joseph Ratzinger's statements regarding relativism in his 2005 homily to the conclave meeting to elect the new pope in the context of the charge of "relativism" in 20th-century philosophy. Parts of this essay are adapted from Barbara Herrnstein Smith,"Pre-Post-Modern Relativism," in *Scandalous Knowledge: Science, Truth and the Human* (Edinburgh: Edinburgh University Press, 2005; Durham, NC: Duke University Press, 2006), 18 – 45.

This paper presents and defends an argument that the continuum hypothesis is false, based on considerations about objective chance and an old theorem due to Banach and Kuratowski. More specifically, I argue that the probabilistic inductive methods standardly used in science presuppose that every proposition about the outcome of a chancy process has a certain chance between 0 and 1. I also argue in favour of the standard view that chances are countably additive. Since it is possible to randomly pick (...) out a point on a continuum, for instance using a roulette wheel or by flipping a countable infinity of fair coins, it follows, given the axioms of ZFC, that there are many different cardinalities between countable infinity and the cardinality of the continuum. (shrink)

According to the so-called strong variant of Composition as Identity (CAI), the Principle of Indiscernibility of Identicals can be extended to composition, by resorting to broadly Fregean relativizations of cardinality ascriptions. In this paper we analyze various ways in which this relativization could be achieved. According to one broad variety of relativization, cardinality ascriptions are about objects, while concepts occupy an additional argument place. It should be possible to paraphrase the cardinality ascriptions in plural logic and, as a consequence, relative (...) counting requires the relativization either of quantifiers, or of identity, or of the is one of relation. However, some of these relativizations do not deliver the expected results, and others rely on problematic assumptions. In another broad variety of relativization, cardinality ascriptions are about concepts or sets. The most promising development of this approach is prima facie connected with a violation of the so-called Coreferentiality Constraint, according to which an identity statement is true only if its terms have the same referent. Moreover - even provided that the problem with coreferentiality can be fixed - the resulting analysis of cardinality ascriptions meets several difficulties. (shrink)

If $U$ is a normal ultrafilter on a measurable cardinal $\kappa$, then the intersection of the $\omega$ first iterated ultrapowers of the universe by $U$ is a Prikry generic extension of the $\omega$th iterated ultrapower.

It is standard in set theory to assume that Cantor's Theorem establishes that the continuum is an uncountable set. A challenge for this position comes from the observation that through forcing one can collapse any cardinal to the countable and that the continuum can be made arbitrarily large. In this paper, we present a different take on the relationship between Cantor's Theorem and extensions of universes, arguing that they can be seen as showing that every set is countable and that (...) the continuum is a proper class. We examine several principles based on maximality considerations in this framework, and show how some (namely Ordinal Inner Model Hypotheses) enable us to incorporate standard set theories (including ZFC with large cardinals added). We conclude that the systems considered raise questions concerning the foundational purposes of set theory. (shrink)

The Overgeneration Argument is a prominent objection against the model-theoretic account of logical consequence for second-order languages. In previous work we have offered a reconstruction of this argument which locates its source in the conflict between the neutrality of second-order logic and its alleged entanglement with mathematics. Some cases of this conflict concern small large cardinals. In this article, we show that in these cases the conflict can be resolved by moving from a set-theoretic implementation of the model-theoretic account (...) to one which uses higher-order resources. (shrink)

It is widely held that under ordinal utility, utility differences are ill-defined. Allegedly, for these to be well-defined (without turning to choice under risk or the like), one should adopt as a new kind of primitive quaternary relations, instead of the traditional binary relations underlying ordinal utility functions. Correlatively, it is also widely held that the key structural properties of quaternary relations are entirely arbitrary from an ordinal point of view. These properties would be, in a nutshell, the hallmark of (...) cardinal utility. While much is obviously true in these two tenets, this note explains why, as stated, they should be abandoned. Any ordinal utility function induces a rich quaternary relation. There is such a thing as ordinal utility differences. Furthermore, this induced quaternary relation respects, apart from completeness, the most standard structural properties of quaternary relations. These properties are, from an ordinal point of view, anything but arbitrary; from a quaternary perspective only completeness should be considered the hallmark—if any—of cardinal utility. These facts are explained to be especially relevant to the critical appreciation of the ordinalist methodology. (shrink)

This paper analyses the hidden use of new axioms in set-theoretic practice with a focus on large cardinal axioms and presents a general overview of set-theoretic practices using large cardinal axioms. The hidden use of a new axiom provides extrinsic reasons in support of this axiom via the idea of verifiable consequences, which is especially relevant for set-theoretic practitioners with an absolutist view. Besides that, the hidden use has pragmatic significance for further important sub-groups of the set-theoretic community---set-theoretic practitioners with (...) a pluralist view and set-theoretic practitioners who aim for ZFC-proofs. By describing this, the paper gives a more complete picture of new axioms in set-theoretic practice. These observations, for instance, show that set-theoretic practitioners interested in ZFC-proofs use tools that go beyond ZFC. The analysis is based on empirical data that was collected in an extensive interview study with set-theoretic practitioners. (shrink)

This paper explores the value of benevolence as a cardinal virtue by analyzing the evolving history of virtue ethics from ancient Greek tradition to emotivism and contemporary thoughts. First, I would like to start with a brief idea of virtue ethics. Greek virtue theorists recognize four qualities of moral character, namely, wisdom, temperance, courage, and justice. Christianity recognizes unconditional love as the essence of its theology. Here I will analyze the transition within the doctrine of virtue ethics in the Christian (...) era and afterward since the eighteenth-century thinkers are immensely inspired by this Christian notion of love consider universal benevolence as the cardinal virtue. Later, Hume introduces an emotivist turn by considering the moral worth of sympathetic emotions in his ethical doctrine. In this paper, I aim to discover the cardinality of the virtue of benevolence following the evolutionary history of virtue ethics. (shrink)

As its Latin title says, this article inquires whether there is a single correct list of the moral virtues. Virtue ethics tells us to “act in accordance with the virtues” but can often be accused, for example in Aristotle's Ethics, of helping itself without argument to an account of what the virtues are. This paper is, stylistically, an affectionate tribute to the Angelic Doctor, and it works with a correspondingly Thomistic background and approach. It argues for the view that there (...) is at least one correct list of the virtues, and that we can itemise at least seven items in the list, namely, the four cardinal and the three theological virtues. (shrink)

We address Steel’s Programme to identify a ‘preferred’ universe of set theory and the best axioms extending ZFC by using his multiverse axioms MV and the ‘core hypothesis’. In the first part, we examine the evidential framework for MV, in particular the use of large cardinals and of ‘worlds’ obtained through forcing to ‘represent’ alternative extensions of ZFC. In the second part, we address the existence and the possible features of the core of MV_T (where T is ZFC+Large (...) class='Hi'>Cardinals). In the last part, we discuss the hypothesis that the core is Ultimate-L, and examine whether and how, based on this fact, the Core Universist can justify V=Ultimate-L as the best (and ultimate) extension of ZFC. To this end, we take into account several strategies, and assess their prospects in the light of MV’s evidential framework. (shrink)

In this paper I present two new arguments against the possibility of an omniscient being. My new arguments invoke considerations of cardinality and resemble several arguments originally presented by Patrick Grim. Like Grim, I give reasons to believe that there must be more objects in the universe than there are beliefs. However, my arguments will rely on certain mereological claims, namely that Classical Extensional Mereology is necessarily true of the part-whole relation. My first argument is an instance of a problem (...) first noted by Gideon Rosen and requires an additional assumption about the mereological structure of certain beliefs. That assumption is that an omniscient being’s beliefs are mereological simples. However, this assumption is dropped when I present my second argument. Thus, I hope to show that if Classical Extensional Mereology is true of the part-whole relation, there cannot be an omniscient being. (shrink)

Galileo asked in his Dialogue of the Two New Sciences what relationship exists between the size of the set of all natural numbers and the size of the set of all square natural numbers. Although one is a proper subset of the other, suggesting that there are strictly fewer squares than natural numbers, the existence of a simple one-to-one correspondence between the two sets suggests that they have, in fact, the same size. Cantor famously based the modern notion of cardinality (...) on the second intuition, but recent advances in mathematical logic (most notably, numerosity theory) have renewed an interest in the question whether Cantor’s way out of Galileo’s paradox was the only possible one. I present a new solution to Galileo’s paradox and argue that it is a better alternative to the Cantorian solution than numerosity theory. In fact, I argue that it is the best possible way out of Galileo's Paradox that can be based on the "Euclidean" intuition that the whole is always greater than any of its proper parts. (shrink)

Cardinal Bessarion (1408–1472), in the second chapter of the first book of his influential work In calumniatorem Platonis, attempted to reply to Georgios Trapezuntios’ (1396–1474) criticism against Plato in the Comparatio Philosophorum Platonis et Aristotelis. Bessarion investigates why the Athenian philosopher maintained, in several dialogues, that the sacred truths should not be communicated to the general public and argued in favor of the value of oral transmission of knowledge, largely based on his theory about the cognitive processes. Recently, Fr. Bessarion (...) Kouotsis has argued that Cardinal Bessarion’s reasoning draws primarily on the “Disciplina Arcani”, i.e., the rule of secrecy, which was an established practice of the Early Christian Church, aimed at protecting and preserving the core elements of the religion from outsiders. While I find Kouotsis’ approach interesting and thought-provoking—for instance, the idea that Bessarion’s argumentation was likely influenced by Eastern Christian views on the rule of secrecy—I intend, first of all, to discuss why Bessarion did not explicitly mention it. Moreover, I would like to argue that Bessarion’s good knowledge of the long Platonic tradition and Eastern mysticism, encompassing both pagan and Christian elements, should also be considered a significant source. Furthermore, I would like to question Kouotsis’ implicit argument that Bessarion’s views were dominated by his training in Orthodox theology and discuss the possibility that Pletho’s (1355–1454) teaching was the obvious influence for Bessarion’s defense of secrecy. After all, we should bear in mind that Anastos has already pointed out Pletho’s reverence for the rule of secrecy. Finally, I would like to support that Bessarion, in the specific text, focused predominantly on the epistemological and cognitive aspects of oral teaching, resorting to the rule of secrecy only to enhance his views. (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)

Consider an infinite set of discrete, finite-sized solid balls (i.e., elements) extending in all directions forever. Here, infinite set is not meant so much in the abstract, mathematical sense but in more of a physical sense where the balls have physical size and physical location-type relationships with their neighbors. In this sense, the set is used as an analogy for our possibly infinite physical universe. Two observers are viewing this set. One observer is internal to the set and is of (...) the same finite size scale as the ball elements. Another observer is external to the set and is infinite in size relative to the balls and observer within the set. This observer is of the same size scale as the set as a whole. What do these sets look like to the two observers? The finite-sized (relative to the balls inside the set) observer within the set would view the set as a space composed of discrete, finite-sized objects. The external infinite-sized (relative to the inside the set) observer would view the very same set as a continuous space and would see no distinct elements within the set. How does this relate to us? First, the differing views of set N as being composed of a discrete versus continuous space may be related to the differing views of spacetime as discrete and continuous. Second, the perspective of the observer would have an impact on the assignment of a cardinality to an infinite set. (shrink)

In this paper we view the first order set theory ZFC under the canonical frst order semantics and the second order set theory ZFC_2 under the Henkin semantics. Main results are: (i) Let M_st^ZFC be a standard model of ZFC, then ¬Con(ZFC + ∃M_st^ZFC ). (ii) Let M_stZFC_2 be a standard model of ZFC2 with Henkin semantics, then ¬Con(ZFC_2 +∃M_stZFC_2). (iii) Let k be inaccessible cardinal then ¬Con(ZFC + ∃κ). In order to obtain the statements (i) and (ii) examples of (...) the inconsistent countable set in a set theory ZFC + ∃M_stZFC and in a set theory ZFC2 + ∃M_st^ZFC_2 were derived. It is widely believed that ZFC + ∃M_stZFC and ZFC_2 + ∃M_st^ZFC_2 are consistent, i.e. ZFC and ZFC_2 have a standard models. Unfortunately this belief is wrong. Book. Advances in Mathematics and Computer Science Vol. 1 Chapter 3 There is No Standard Model of ZFC and ZFC2 ISBN-13 (15) 978-81-934224-1-0 See Part II of this paper DOI: 10.4236/apm.2019.99034 . (shrink)

For aggregative theories of moral value, it is a challenge to rank worlds that each contain infinitely many valuable events. And, although there are several existing proposals for doing so, few provide a cardinal measure of each world's value. This raises the even greater challenge of ranking lotteries over such worlds—without a cardinal value for each world, we cannot apply expected value theory. How then can we compare such lotteries? To date, we have just one method for doing so (proposed (...) separately by Arntzenius, Bostrom, and Meacham), which is to compare the prospects for value at each individual location, and to then represent and compare lotteries by their expected values at each of those locations. But, as I show here, this approach violates several key principles of decision theory and generates some implausible verdicts. I propose an alternative—one which delivers plausible rankings of lotteries, which is implied by a plausible collection of axioms, and which can be applied alongside almost any ranking of infinite worlds. (shrink)

Multidimensional concepts are everywhere, and they are important. Examples include moral value, welfare, scientific confirmation, democracy, and biodiversity. How, if at all, can we aggregate the underlying dimensions of a multidimensional concept F to yield verdicts about which things are Fer than which overall? Social choice theory can be used to model and investigate this aggregation problem. Here, we focus on a particularly thorny problem made salient by this social choice-theoretic framework: the underlying dimensions of a given concept might be (...) measurable on different types of scales—e.g., some ordinal and some cardinal. An underappreciated impossibility theorem due to Anna Khmelnitskaya shows that seemingly plausible constraints on aggregation across scale types are inconsistent. This impossibility threatens to render the notion of overall Fness incoherent. We attempt to defuse this threat, arguing that the impossibility depends on an overly restrictive conception of measurement and of how measurement constrains aggregation. Adopting a more flexible—and, we think, more perspicuous—conception of measurement opens an array of possibilities for aggregation across disparate scale types. (shrink)

This article explores the main similarities and differences between Derek Parfit’s notion of imprecise comparability and a related notion I have proposed of parity. I argue that the main difference between imprecise comparability and parity can be understood by reference to ‘the standard view’. The standard view claims that 1) differences between cardinally ranked items can always be measured by a scale of units of the relevant value, and 2) all rankings proceed in terms of the trichotomy of ‘better than’, (...) ‘worse than’, and ‘equally good’. Imprecise comparability, which can be understood in terms of the more familiar notions of cardinality and incommensurability, rejects only the first claim while parity rejects both claims of the standard view. -/- I then argue that insofar as those attracted to imprecise comparability assume that all rankings are trichotomous, as Parfit appears to, the view should be rejected. This is because imprecise equality is not a form of equality but is a sui generis ‘fourth’ basic way in which items can be ranked. We should, I argue, understand imprecise equality as parity, and imprecise comparability as entailing ‘tetrachotomy’ – that if two items are comparable, one must better than, worse than, equal to, or on a par with the other. Thus those attracted to the idea that cardinality can be imprecise should abandon trichotomy and accept parity and tetrachotomy instead. -/- Finally, I illustrate the difference between Parfit’s trichotomous notion of imprecise comparability and parity by examining how each notion might be employed in different solutions to the problem posed by the Repugnant Conclusion in population ethics. I suggest that parity provides the arguably more ecumenical solution to the problem. (shrink)

We will flip a fair coin infinitely many times. Al calls the first flip, claiming it will land heads. Betty calls every odd numbered flip, claiming they will all land heads. Carl calls every flip bar none, claiming they will all land heads. Pre-theoretically, it seems that Al's claim is infinitely more likely than Betty's, and that Betty's claim is infinitely more likely than Carl's. But standard, real-valued probability theory says that, while Al's claim is infinitely more likely than Betty's, (...) Betty's claim is exactly as likely as Carl's. I use John Conway's surreal numbers to capture these pre-theoretic judgements about the relative probabilities of Al's, Betty's, and Carl's claims. Surreal-valued probabilities also allow us to calculate precise numerical values for those claims. For instance, we will see that Betty's claim has a probability equal to the reciprocal of the product of the square root of cardinality of the continuum and the fourth root of 2. The article provides a 'user's guide' to surreal-valued probabilities and raises questions for further research. (shrink)

Number words seemingly function both as adjectives attributing cardinality properties to collections, as in Frege’s ‘Jupiter has four moons’, and as names referring to numbers, as in Frege’s ‘The number of Jupiter’s moons is four’. This leads to what Thomas Hofweber calls Frege’s Other Puzzle: How can number words function as modifiers and as singular terms if neither adjectives nor names can serve multiple semantic functions? Whereas most philosophers deny that one of these uses is genuine, we instead argue that (...) number words, like many related expressions, are polymorphic, having multiple uses whose meanings are systematically related via type shifting. (shrink)

Decision-making under normative uncertainty requires an agent to aggregate the assessments of options given by rival normative theories into a single assessment that tells her what to do in light of her uncertainty. But what if the assessments of rival theories differ not just in their content but in their structure -- e.g., some are merely ordinal while others are cardinal? This paper describes and evaluates three general approaches to this "problem of structural diversity": structural enrichment, structural depletion, and multi-stage (...) aggregation. All three approaches have notable drawbacks, but I tentatively defend multi-stage aggregation as least bad of the three. (shrink)

A problem for Aristotelian realist accounts of universals (neither Platonist nor nominalist) is the status of those universals that happen not to be realised in the physical (or any other) world. They perhaps include uninstantiated shades of blue and huge infinite cardinals. Should they be altogether excluded (as in D.M. Armstrong's theory of universals) or accorded some sort of reality? Surely truths about ratios are true even of ratios that are too big to be instantiated - what is the (...) truthmaker of such truths? It is argued that Aristotelianism can answer the question, but only a semi-Platonist form of it. (shrink)

In order to reason in a non-trivializing way with contradictions, para- consistent logics reject some classically valid inferences. As a way of re- covering some of these inferences, Graham Priest ([Priest, 1991]) proposed to nonmonotonically strengthen the Logic of Paradox by allowing the se- lection of “less inconsistent” models via a comparison of their respective inconsistent parts. This move recaptures a good portion of classical logic in that it does not block, e.g., disjunctive syllogism, unless it is applied to contradictory (...) assumptions. In Priest’s approach the inconsistent parts of models are compared in an extensional way by considering their inconsis- tent objects. This distinguishes his system from the standard format of (inconsistency-)adaptive logics pioneered by Diderik Batens, according to which (atomic) contradictions validated in models form the basis of their comparison. A well-known problem for Priest’s extensional approach is its lack of the Strong Reassurance property, i.e., for specific settings there may be infinitely descending chains of less and less inconsistent models, thus never reaching a minimally inconsistent model. In this paper, we demonstrate that Strong Reassurance holds for the extensional approach under a cardinality-based comparison of the incon- sistent parts of models. Furthermore, we introduce and investigate the metatheory of the class of first-order nonmonotonic inconsistency-tolerant construct over the extensional or quantitative comparisons of their respec- tive models. Core model-theoretic properties for these logics, such as the Löwenheim-Skolem theorems, along with other nonmonotonic properties, are further studied. (shrink)

I defend the idea that a liberal commitment to value neutrality is best honoured by maintaining a pure cardinality component in our rankings of opportunity or liberty sets. I consider two challenges to this idea. The first holds that cardinality rankings are unnecessary for neutrality, because what is valuable about a set of liberties from a liberal point of view is not its size but rather its variety. The second holds that pure cardinality metrics are insufficient for neutrality, because liberties (...) cannot be individuated into countable entities without presupposing some relevantly partisan evaluative perspective. I argue that a clear understanding of the liberal basis for valuing liberty shows the way to satisfying responses to both challenges. (shrink)