Kripke showed how to restrict Tarski’s schema to grounded sentences. I examine the prospects for an analogous approach to the paradoxes of naive class comprehension. I present new methods to obtain theories of grounded classes and test them against antecedently motivated desiderata. My findings cast doubt on whether a theory of grounded classes can accommodate both the extensionality of classes and allow for class definition in terms of identity.

For almost twenty years, Penelope Maddy has been one of the most consistent expositors and advocates of naturalism in philosophy, with a special focus on the philosophy of mathematics, set theory in particular. Over that period, however, the term ‘naturalism’ has come to mean many things. Although some take it to be a rejection of the possibility of a priori knowledge, there are philosophers calling themselves ‘naturalists’ who willingly embrace and practice an a priori methodology, not a whole lot different (...) from traditional conceptual analysis. Along a different line, some take naturalism to involve the rejection of abstract objects—a sort of physicalism—while other naturalists not only allow the existence of abstracta; they take this existence to be all but obvious.For present purposes, we can begin with W.V.O. Quine, who once characterized naturalism as ‘the abandonment of the goal of first philosophy’ and ‘the recognition that it is within science itself …that reality is to be identified and described’. For Quine, the ‘naturalistic philosopher begins his reasoning within the inherited world theory as a going concern …[The] inherited world theory is primarily a scientific one, the current product of the scientific enterprise’ [Quine, 1981, p. 72]. This characterizes at least the bulk of contemporary philosophers who call themselves ‘naturalists’, and it characterizes the targets of many who oppose what they call ‘naturalism’. But as Maddy notes at the start, ‘the term has come to mark little more than a vague science-friendliness’.An attempt to define naturalism more fully would surely require a characterization of science—at least so that the reader can see when someone sins against that naturalism by being unscientific. But, as Maddy notes, one ‘lesson won through decades of study in the philosophy of science [is that] there is no …. (shrink)

This paper examines the question of the extensional correctness of Tarskian definitions of logical truth and logical consequence. I identify a few different informal properties which are necessary for a sentence to be an informal logical truth and look at whether they are necessary properties of Tarskian logical truths. I examine arguments by John Etchemendy and Vann McGee to the effect that some of those properties are not necessary properties of some Tarskian logical truths, and find them unconvincing. I stress (...) the point that since the hypothesis that Tarski's definitions are extensionally correct is deeply entrenched, the burden of proof is still on the shoulders of Tarski's critics, who have not lifted the burden. (shrink)

I propose a revision of Cantor’s account of set size that understands comparisons of set size fundamentally in terms of surjections rather than injections. This revised account is equivalent to Cantor's account if the Axiom of Choice is true, but its consequences differ from those of Cantor’s if the Axiom of Choice is false. I argue that the revised account is an intuitive generalization of Cantor’s account, blocks paradoxes—most notably, that a set can be partitioned into a set that is (...) bigger than it—that can arise from Cantor’s account if the Axiom of Choice is false, illuminates the debate over whether the Axiom of Choice is true, is a mathematically fruitful alternative to Cantor’s account, and sheds philosophical light on one of the oldest unsolved problems in set theory. (shrink)

According to Weyl, “‘inexhaustibility’ is essential to the infinite”. However, he distinguishes two kinds of inexhaustible, or merely potential, domains: those that are “extensionally determinate” and those that are not. This article clarifies Weyl's distinction and explains its enduring logical and philosophical significance. The distinction sheds lights on the contemporary debate about potentialism, which in turn affords a deeper understanding of Weyl.

One prominent criticism of the abstractionist program is the so-called Bad Company objection. The complaint is that abstraction principles cannot in general be a legitimate way to introduce mathematical theories, since some of them are inconsistent. The most notorious example, of course, is Frege’s Basic Law V. A common response to the objection suggests that an abstraction principle can be used to legitimately introduce a mathematical theory precisely when it is stable: when it can be made true on all sufficiently (...) large domains. In this paper, we raise a worry for this response to the Bad Company objection. We argue, perhaps surprisingly, that it requires very strong assumptions about the range of the second-order quantifiers; assumptions that the abstractionist should reject. (shrink)

Call a quantifier ‘unrestricted’ if it ranges over absolutely all objects. Arguably, unrestricted quantification is often presupposed in philosophical inquiry. However, developing a semantic theory that vindicates unrestricted quantification proves rather difficult, at least as long as we formulate our semantic theory within a classical first-order language. It has been argued that using a type theory as framework for our semantic theory provides a resolution of this problem, at least if a broadly Fregean interpretation of type theory is assumed. However, (...) the intelligibility of this interpretation has been questioned. In this paper I introduce a type-free theory of properties that can also be used to vindicate unrestricted quantification. This alternative emerges very naturally by reflecting on the features on which the type-theoretic solution of the problem of unrestricted quantification relies. Although this alternative theory is formulated in a non-classical logic, it preserves the deductive strength of classical strict type theory in a natural way. The ideas developed in this paper make crucial use of Russell’s notion of range of significance. (shrink)

In this thesis I argue against unrestricted mereological hybridism, the view that there are absolutely no constraints on wholes having parts from many different logical or ontological categories, an exemplar of which I take to be ‘mixed fusions’. These are composite entities which have parts from at least two different categories – the membered (as in classes) and the non-membered (as in individuals). As a result, mixed fusions can also be understood to represent a variety of cross-category summation such as (...) the abstract with the concrete, the physical with the non-physical, and the possible with the impossible, just to name a few. -/- Proposed by David Lewis (1991) alongside his defence of classical mereology (the major theory of parthood which permits such transcategorial composites through its principle of unrestricted composition) it is my contention that mixed fusions are an under-examined consequence of indiscriminate mereological fusion which harbour a multitude of complications. In my attempt to discern their substantive character, throughout this thesis I make a case study of mixed fusions and uncover several problematic consequences which I think follow from their most plausible assessment. -/- These include: (1) that mixed fusions’ probable membership relations may lead to dubious foundational loops in the mereological Universe, or (2) otherwise that mixed fusions oblige an implausible ontological priority of the mereological Universe as a whole; (3) that mixed fusions contradict the reductive account of set theory they are proposed within, by plausibly being seen to have the same members as their class parts, and (4) that mixed fusions therefore confound a mereological thesis of Composition as Identity, which some (including Lewis) use to support classical mereology – a consequence which is potentially self-defeating; (5) that mixed fusions as sums of abstract and concrete entities both subvert Lewis’s (1986) system of modal realism, while (6) also undermining less expansive theories of possible worlds; and finally, (7) that even where some of the foregoing is resisted, it remains implausible that mixed fusions are ontologically innocent, because their supposed distinction from their parts in this case ensures that they need to be counted as additional entities in one’s ontology. -/- To be clear, I do not advance a theory of mereological hybrid nihilism in the sense of denying all cases of transcategorial composition. (I only cover a few select instances of mereological hybridism via mixed fusions after all.) Rather, I deny that mereological hybridism is plausible in full generality, by demonstrating that any cases of it are at least limited by the constraints that I identify. This in turn vindicates a call for a restriction on parthood theories and composition principles which allow certain types of categorially mixed entities – including restricting classical mereology with its principle of unrestricted composition. -/- Although theories of parthood like the standard classical mereology are not ordinarily developed for the sake of mereological hybrids like mixed fusions, these and other transcategorial composites are still among the logical consequences of such parthood systems operating with sufficient generality. The significance of my thesis, then, comes from showcasing how some of these kinds of entities do not conform to the systems in which they are included as required, and hence I argue for the rejection of unrestricted mereological hybridism as well as any mereological principles which support it. (shrink)

What is the relation between some things and the set of these things? Mathematical practice does not provide a univocal answer. On the one hand, it relies on ordinary plural talk, which is implicitly committed to a traditional form of plural logic. On the other hand, mathematical practice favors a liberal view of definitions which entails that traditional plural logic must be restricted. We explore this predicament and develop a “critical” alternative to traditional plural logic.

Plural expressions found in natural languages allow us to talk about many objects simultaneously. Plural logic — a logical system that takes plurals at face value — has seen a surge of interest in recent years. This book explores its broader significance for philosophy, logic, and linguistics. What can plural logic do for us? Are the bold claims made on its behalf correct? After introducing plural logic and its main applications, the book provides a systematic analysis of the relation between (...) this logic and other theoretical frameworks such as set theory, mereology, higher-order logic, and modal logic. The applications of plural logic rely on two assumptions, namely that this logic is ontologically innocent and has great expressive power. These assumptions are shown to be problematic. The result is a more nuanced picture of plural logic's applications than has been given thus far. Questions about the correct logic of plurals play a central role in the final chapters, where traditional plural logic is rejected in favor of a "critical" alternative. The most striking feature of this alternative is that there is no universal plurality. This leads to a novel approach to the relation between the many and the one. In particular, critical plural logic paves the way for an account of sets capable of solving the set-theoretic paradoxes. (shrink)

Penelope Maddy has recently addressed the set-theoretic multiverse, and expressed reservations on its status and merits ([Maddy, 2017]). The purpose of the paper is to examine her concerns, by using the interpretative framework of set-theoretic naturalism. I first distinguish three main forms of 'multiversism', and then I proceed to analyse Maddy's concerns. Among other things, I take into account salient aspects of multiverse-related mathematics , in particular, research programmes in set theory for which the use of the multiverse seems to (...) be crucial, and show how one may provide responses to Maddy's concerns based on a careful analysis of 'multiverse practice'. (shrink)

This paper presents a new approach to the class-theoretic paradoxes. In the first part of the paper, I will distinguish classes from sets, describe the function of class talk, and present several reasons for postulating type-free classes. This involves applications to the problem of unrestricted quantification, reduction of properties, natural language semantics, and the epistemology of mathematics. In the second part of the paper, I will present some axioms for type-free classes. My approach is loosely based on the Gödel–Russell idea (...) of limited ranges of significance. It is shown how to derive the second-order Dedekind–Peano axioms within that theory. I conclude by discussing whether the theory can be used as a solution to the problem of unrestricted quantification. In an appendix, I prove the consistency of the class theory relative to Zermelo–Fraenkel set theory. (shrink)

While sets are combinatorial collections, defined by their elements, classes are logical collections, defined by their membership conditions. We develop, in a potentialist setting, a predicative approach to (logical) classes of (combinatorial) sets. Some reasons emerge to adopt a stricter form of potentialism, which insists, not only that each object is generated at some stage of an incompletable process, but also that each truth is “made true” at some such stage. The natural logic of this strict form of potentialism is (...) semi-intuitionistic: where each set-sized domain is classical, the domain of all sets or all classes is intuitionistic. (shrink)

In the literature, predicativism is connected not only with the Vicious Circle Principle but also with the idea that certain totalities are inherently potential. To explain the connection between these two aspects of predicativism, we explore some approaches to predicativity within the modal framework for potentiality developed in Linnebo (2013) and Linnebo and Shapiro (2019). This puts predicativism into a more general framework and helps to sharpen some of its key theses.

In sections 1 through 5, I develop in detail what I call the standard theory of worlds and propositions, and I discuss a number of purported objections. The theory consists of five theses. The first two theses, presented in section 1, assert that the propositions form a Boolean algebra with respect to implication, and that the algebra is complete, respectively. In section 2, I introduce the notion of logical space: it is a field of sets that represents the propositional structure (...) and whose space consists of all and only the worlds. The next three theses, presented in sections 3, 4, and 5, respectively, guarantee the existence of logical space, and further constrain its structure. The third thesis asserts that the set of propositions true at any world is maximal consistent; the fourth thesis that any two worlds are separated by a proposition; the fifth thesis that only one proposition is false at every world. In sections 6 through 10, I turn to the problem of reduction. In sections 6 and 7, I show how the standard theory can be used to support either a reduction of worlds to propositions or a reduction of propositions to worlds. A number of proposition-based theories are developed in section 6, and compared with Adams's world-story theory. A world-based theory is developed in section?, and Stalnaker's account of the matter is discussed. Before passing judgment on the proposition based and world-based theories, I ask in sections 8 and 9 whether both worlds and propositions might be reduced to something else. In section 8, I consider reductions to linguistic entities; in section 9, reductions to unfounded sets. After rejecting the possibility of eliminating both worlds and propositions, I return in section 10 to the possibility of eliminating one in favor of the other. I conclude, somewhat tentatively, that neither worlds nor propositions should be reduced one to the other, that both worlds and propositions should be taken as basic to our ontology. (shrink)

The notion of a proposition is central to philosophy. But it is subject to paradoxes. A natural response is a hierarchical account and, ever since Russell proposed his theory of types in 1908, this has been the strategy of choice. But in this paper I raise a problem for such accounts. While this does not seem to have been recognized before, it would seem to render existing such accounts inadequate. The main purpose of the paper, however, is to provide a (...) new hierarchical account that solves the problem. (shrink)

Philosophers often explain what could be the case in terms of what is, in fact, the case at one possible world or another. They may differ in what they take possible worlds to be or in their gloss of what is for something to be the case at a possible world. Still, they stand united by the threat of paradox. A family of paradoxes akin to the set-theoretic antinomies seem to allow one to derive a contradiction from apparently plausible principles. (...) Some of them concern the interaction between propositions and worlds, and they appear to afford the means to map classes of propositions into propositions – or, likewise, classes of worlds into worlds – in a one-to-one fashion that leads to contradiction. Yet another family of paradoxes threaten the view that whatever could exist does, in fact, exist, which is in line with modal realism, for example. This article aims to survey and identify the source of each family of paradoxes as well as to outline some responses to them. (shrink)

We show that the following conjecture about the universe V of all sets is wrong: for all set-theoretical (i.e., first order) schemata true in V there is a transitive set "reflecting" in such a way that the second order statement corresponding to is true in . More generally, we indicate the ontological commitments of any theory that exploits reflection principles in order to yield large cardinals. The disappointing conclusion will be that our only apparently good arguments for the existence of (...) large cardinals have bad presuppositions. (shrink)

Sortal concepts are at the center of certain logical discussions and have played a significant role in solutions to particular problems in philosophy. Apart from logic and philosophy, the study of sortal concepts has found its place in specific fields of psychology, such as the theory of infant cognitive development and the theory of human perception. In this monograph, different formal logics for sortal concepts and sortal-related logical notions are characterized. Most of these logics are intensional in nature and possess, (...) in addition, a bidimensional character. That is, they simultaneously represent two different logical dimensions. In most cases, the dimensions are those of time and natural necessity, and, in other cases, those of time and epistemic necessity. Another feature of the logics in question concerns second-order quantification over sortal concepts, a logical notion that is also represented in the logics. Some of the logics adopt a constant domain interpretation, others a varying domain interpretation of such quantification. Two of the above bidimensional logics are philosophically grounded on predication sortalism, that is, on the philosophical view that predication necessarily requires sortal concepts. Another bidimensional logic constitutes a logic for complex sortal predicates. These three sorts of logics are among the important novelties of this work since logics with similar features have not been developed up to now, and they might be instrumental for the solution of philosophically significant problems regarding sortal predicates. The book assumes a modern variant of conceptualism as a philosophical background. For this reason, the approach to sortal predicates is in terms of sortal concepts. Concepts, in general, are here understood as intersubjective realizable cognitive capacities. The proper features of sortal concepts are determined by an analysis of the main features of sortal predicates. Posterior to this analysis, the sortal-related logical notions represented in the above logics are discussed. There is also a discussion on the extent to which the set-theoretic formal semantic systems of the book capture different aspects of the conceptualist approach to sortals. These different semantic frameworks are also related to realist and nominalist approaches to sortal predicates, and possible modifications to them are considered that might represent those alternative approaches. (shrink)

This paper offers a unification and systematization of the grounding approaches to truth, denotation, classes and abstraction. Its main innovation is a method for “kleenifying” bivalent semantics so as to ensure that the trivalent semantics used for various linguistic elements are perfectly analogous to the semantics used by Kripke, rather than relying on intuition to achieve similarity. The focus is on generalizing strong Kleene semantics, but one section is devoted to supervaluation, and the unification method also extends to weak Kleene (...) semantics. (shrink)

The paradoxes of self reference have to be dealt with by anyone seeking to give a satisfactory account of the logic of truth, of properties, and even of sets of numbers. Unfortunately, there is no widespread agreement as to how to deal with these paradoxes. Some approaches block the paradoxical inferences by rejecting as invalid a move that classical logic counts as valid. In the recent literature, this deviant logic analysis of the paradoxes has been called into question.This disagreement motivates (...) a re-examination of the philosophy of formal logic and the status of logical truths and rules. In this paper I do some of this work, and I show that this gives us the means to defend the deviant approaches against such criticisms. As a result I hope to show that these analyses of the paradoxes are worthy of more serious consideration than they have so far received. (shrink)

This article proposes a revision of Cantor’s account of set size that understands comparisons of set size fundamentally in terms of surjections rather than injections. This revised account is equivalent to Cantor’s account if the axiom of choice is true, but its consequences differ from those of Cantor’s if the axiom of choice is false. This article argues that the revised account is an intuitive generalization of Cantor’s account, blocks paradoxes—most notably, that a set can be partitioned into a set (...) that is bigger than it—that can arise from Cantor’s account if the axiom of choice is false, illuminates the debate over whether the axiom of choice is true, is a mathematically fruitful alternative to Cantor’s account, and sheds philosophical light on one of the oldest unsolved problems in set theory. (shrink)

Textual and historical subtleties aside, let's call the idea that numbers are properties of equinumerous sets ‘the Fregean thesis.’ In a recent paper, Palle Yourgrau claims to have found a decisive refutation of this thesis. More surprising still, he claims in addition that the essence of this refutation is found in the Grundlagen itself – the very masterpiece in which Frege first proffered his thesis. My intention in this note is to evaluate these claims, and along the way to shed (...) some light on relevant passages of the Grundlagen. I will argue that Yourgrau does not make his case.The arguments with which we are concerned are found in the last three sections of Yourgrau's paper. A pervasive difficulty in these sections is that it is not clear exactly what Yourgrau is arguing against. The stated object of his attack is the Fregean thesis, a thesis about what numbers are; however, instead of a frontal assault, his strategy is to embark on a foray into the ill-defined issue of what it is that numbers number, where, roughly speaking, a number n numbers an object x just in case n can be legitimately assigned to x. The reason for this shift in emphasis appears to be rooted in a misconception. As we’ll see in more detail shortly, Yourgrau's argument against the Fregean thesis is based on an extension of a well known argument of Frege's found in §§22-3 of the Grundlagen, which Glenn Kessler has tagged the ‘relativity argument,’. According to Yourgrau, this is an argument ‘to the effect that what is literally numbered cannot simply be concrete objects’. This is incorrect. Frege himself clarifies the point of the argument in §21 with the following preface:In language, numbers (i.e., numerals] most commonly appear in adjectival form and attributive construction in the same sort of way as the words "hard" or "heavy" or "red," which have for their meanings properties of external things. It is natural to ask whether we must think of the individual numbers too as such properties, and whether, accordingly, the concept of number can be classed along with that, say, of color. (shrink)

If properties are to play a useful role in semantics, it is hard to avoid assuming the naïve theory of properties: for any predicate Θ(x), there is a property such that an object o has it if and only if Θ(o). Yet this appears to lead to various paradoxes. I show that no paradoxes arise as long as the logic is weakened appropriately; the main difficulty is finding a semantics that can handle a conditional obeying reasonable laws without engendering paradox. (...) I employ a semantics which is infinite-valued, with the values only partially ordered. Can the solution be adapted to naïve set theory? Probably not, but limiting naïve comprehension in set theory is perfectly satisfactory, whereas this is not so in a property theory used for semantics. (shrink)

We consider certain predicative classes with respect to their bearing on set theory, namely on its semantics, and on its ontological power. On the one hand, our predicative classes will turn out to be perfectly suited for establishing a nice hierarchy of metalanguages starting from the usual set theoretical language. On the other hand, these classes will be seen to be fairly inappropriate for the formulation of strong principles of infinity. The motivation for considering this very type of classes is (...) a reasonable philosophy of set theory. Familiarity is assumed only with basic concepts of both set theory and its philosophy. (shrink)