In the recent literature we find various arguments against the possibility of absolutely general quantification. Far from being merely a technical question in the philosophy of logic, the impossibility of absolutely general quantification (if established) would have severe consequence for ontology, for it would imply the non-existence of the world as traditionally conceived. This paper will investigate these implications for ontology and consider some possible ways of addressing them.

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)

Can we quantify over everything: absolutely, positively, definitely, totally, every thing? Some philosophers have claimed that we must be able to do so, since the doctrine that we cannot is self-stultifying. But this treats restrictivism as a positive doctrine. Restrictivism is much better viewed as a kind of militant quietism, which I call dadaism. Dadaists advance a hostile challenge, with the aim of silencing everyone who holds a positive position about ‘absolute generality’.

…entities? 2. How to be a nominalist 2.1. “Speak with the vulgar …” 2.2. “…think with the learned” 3. Arguments for nominalism 3.1. Intelligibility, physicalism, and economy 3.2. Causal..

John Abbruzzese has recently attempted a defense of omniscience against a series of my attacks. This affords me a welcome occasion to clarify some of the arguments, to pursue some neglected subtleties, and to re-think some important complications. In the end, however, I must insist that at least three of four crucial arguments really do show an omniscient being to be impossible. Abbruzzese sometimes misunderstands the forms of the argument themselves, and quite generally misunderstands their force.

This paper argues that, insofar as we doubt the bivalence of the Continuum Hypothesis or the truth of the Axiom of Choice, we should also doubt the consistency of third-order arithmetic, both the classical and intuitionistic versions. -/- Underlying this argument is the following philosophical view. Mathematical belief springs from certain intuitions, each of which can be either accepted or doubted in its entirety, but not half-accepted. Therefore, our beliefs about reality, bivalence, choice and consistency should all be aligned.

The paper argues that no second order theory is ontologically commited to anything beyond what its individual variables range over.

The aim of this essay is to show that the subject-matter of ontology is richer than one might have thought. Our route will be indirect. We will argue that there are circumstances under which standard first-order regimentation is unacceptable, and that more appropriate varieties of regimentation lead to unexpected kinds of ontological commitment.

According to the species of neo-logicism advanced by Hale and Wright, mathematical knowledge is essentially logical knowledge. Their view is found to be best understood as a set of related though independent theses: (1) neo-fregeanism-a general conception of the relation between language and reality; (2) the method of abstraction-a particular method for introducing concepts into language; (3) the scope of logic-second-order logic is logic. The criticisms of Boolos, Dummett, Field and Quine (amongst others) of these theses are explicated and assessed. (...) The issues discussed include reductionism, rejectionism, the Julius Caesar problem, the Bad Company objections, and the charge that second-order logic is set theory in disguise. (shrink)

In §54 of the Grundlagen, Frege advances an interesting proposal on how to distinguish among different sorts of concepts, only some of which he thinks can be associated with number. This paper is devoted to an analysis of the two criteria he offers, isolation and non-arbitrary division. Both criteria say something about the way in which a concept divides its extension; but they emphasize different aspects. Isolation ensures that a concept divides its extension into discrete units. I offer two construals (...) of this: isolation as discreteness, i.e. absence of overlap, between the objects to be counted; and isolation as the drawing of conceptual boundaries. Non-arbitrary division concerns the internal structure of the units we count: it makes sure that we cannot go on dividing them arbitrarily and still find more units of the kind. Non-arbitrary division focuses not only on how long something can be divided into parts of the same kind; it also speaks to the way in which these divisions are made, arbitrarily or non-arbitrarily, as well as to the compositional structure of the objects divided. (shrink)

Atomism denies that complexes exist. Common-sense metaphysics may posit masses, composite individuals and sets, but atomism says there are only simples. In a singularist logic, it is difficult to make a plausible case for atomism. But we should accept plural logic, and then atomism can paraphrase away apparent reference to complexes. The paraphrases require unfamiliar plural universals, but these are of independent interest; for example, we can identify numbers and sets with plural universals. The atomist paraphrases would fail if plurals (...) presuppose complexes: but an Appendix shows that reference to complexes is not required in the semantics of plurals. (shrink)

This paper argues for the thesis that, roughly put, it is impossible to talk about absolutely everything. To put the thesis more precisely, there is a particular sense in which, as a matter of semantics, quantifiers always range over domains that are in principle extensible, and so cannot count as really being ‘absolutely everything’. The paper presents an argument for this thesis, and considers some important objections to the argument and to the formulation of the thesis. The paper also offers (...) an assessment of just how implausible the thesis really is. It argues that the intuitions against the thesis come down to a few special cases, which can be given special treatment. Finally, the paper considers some metaphysical ideas that might surround the thesis. Particularly, it might be maintained that an important variety of realism is incompatible with the thesis. The paper argues that this is not the case. (shrink)

The view that plural reference is reference to a set is examined in light of George Boolos's treatment of second-order quantification as plural quantification in English. I argue that monadic second-order logic does not, in Boolos's treatment, reflect the behavior of plural quantifiers under negation and claim that any sentence that properly translates a second-order formula, in accordance with his treatment, has a first-order formulation. Support for this turns on the use of certain partitive constructions to assign values to variables (...) in a way that makes Boolos's reading of second-order variables available for a first-order language and, with it, the possibility of interpreting quantification in an unrestricted domain.A first-order theory, T(D), is developed on the basis of Boolos's treatment of simple plural definite descriptions extended to Richard Sharvy's general theory of definite plural and mass descriptions. I introduce a primitive predicate, o, for the relation of the referent of a singular description to that of its plural. If o is simply added to T(D), is definable in T(D), and the result is inconsistent. If o is added to a theory with axioms for the fragment of T(D) I call D-mereology, the result is a natural basis for the development of a pluralized Zermelo set theory. This theory, however, is inconsistent in an unrestricted domain, unless it is recast as a second-order theory of sets interpreted in Boolos's way. (shrink)

Suppose nothing exists. Then it is true that nothing exists. What makes that true? Nothing! So it seems that if nothing existed, then the principle that every truth is made true by something (the truthmaker principle) would be false. So if it is possible that nothing exists, a claim often called 'metaphysical nihilism', then the truthmaker principle is not necessary. This paper explores various ways to resolve this conflict without restricting metaphysical nihilism in such a way that it would become (...) trivial and uninteresting. (shrink)

A natural way to think about epistemic possibility is as follows. When it is epistemically possible (for a subject) that p, there is an epistemically possible scenario (for that subject) in which p. The epistemic scenarios together constitute epistemic space. It is surprisingly difficult to make the intuitive picture precise. What sort of possibilities are we dealing with here? In particular, what is a scenario? And what is the relationship between scenarios and items of knowledge and belief? This chapter tries (...) to make sense of epistemic space. It explores different ways of making sense of scenarios and of their relationship to thought and language. It discusses some issues that arise and outlines some applications to the analysis of the content of thought and the meaning of language. (shrink)

As Williamson puts it, ‘necessitism’ is the metaphysical view that claims that “necessarily everything is necessarily something”. As that claim involves modal unrestricted quantification, the necessitist must accept it as a part of an intelligible discourse. Here, I present one of the main objections that have been presented against the intelligibility of unrestricted quantification: the objection based on the so-called All-in-One Principle. I then propose possible strategies that the necessitist could adopt to shield themselves from the objection.

Provides a comprehensive overview and introduction to the Routledge Handbook of Propositions.

What is absolutely unrestricted quantification? We distinguish two theoretical roles and identify two conceptions of absolute generality: maximally strong generality and maximally inclusive generality. We also distinguish two corresponding kinds of absolute domain. A maximally strong domain contains every potential counterexample to a generalisation. A maximally inclusive domain is such that no domain extends it. We argue that both conceptions of absolute generality are legitimate and investigate the relations between them. Although these conceptions coincide in standard settings, we show how (...) they diverge under more complex assumptions about the structure of meaningful predication, such as cumulative type theory. We conclude by arguing that maximally strong generality is the more theoretically valuable conception. (shrink)

Jan Westerhoff defends an account of thoroughgoing non-foundationalism that he calls “irrealism,” which is implicitly modeled on a Madhyamaka Buddhist view. In this paper, I begin by raising worries about the irrealist’s account of human cognition as taking place in a brain-based representational interface. Next, I pose first-order and higher-order challenges to how the irrealist—who defends a kind of global error theory—can sensibly accommodate an unlocalized appearance-reality distinction, both metaphysically and epistemologically. Finally, although Westerhoff insists that irrealism itself is not (...) an ontological theory and that the irrealist’s rejection of absolutely general quantification precludes his commitment to any ultimately true theories, I propose strategies inspired by the Svātantrika commentarial tradition of Madhyamaka for how the irrealist might develop a lightweight account of unrestricted quantification that could be used to advance a lightweight ultimately true theory. This, I suggest, may allow the irrealist to (i) preserve a commitment to an unlocalized appearance-reality distinction, (ii) underwrite a distinction between ordinary veridical states and metaphysically accurate epistemic states, and (iii) provide an explanation for the massive error that he claims characterizes ordinary cognition. (shrink)

Philosophy and Phenomenological Research, Volume 103, Issue 3, Page 547-566, November 2021.

This paper concerns an epistemological objection against mathematical platonism, due to Hartry Field.The argument poses an explanatory challenge – the challenge to explain the reliability of our mathematical beliefs – which the platonist, it’s argued, cannot meet. Is the objection compelling? Philosophers disagree, but they also disagree on (and are sometimes very unclear about) how the objection should be understood. Here I distinguish some options, and highlight some gaps that need to be filled in on the potentially most compelling version (...) of the argument. (shrink)

This book is in honour of Professor Anna-Sofia Maurin on her 50th birthday. It consists of eighteen essays on metaphysical issues written by Swedish and international scholars.

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)

I argue that absolutism, the view that absolutely unrestricted quantification is possible, is to blame for both the paradoxes that arise in naive set theory and variants of these paradoxes that arise in plural logic and in semantics. The solution is restrictivism, the view that absolutely unrestricted quantification is not possible. -/- It is generally thought that absolutism is true and that restrictivism is not only false, but inexpressible. As a result, the paradoxes are blamed, not on illicit quantification, but (...) on the logical conception of set which motivates naive set theory. The accepted solution is to replace this with the iterative conception of set. -/- I show that this picture is doubly mistaken. After a close examination of the paradoxes in chapters 2--3, I argue in chapters 4 and 5 that it is possible to rescue naive set theory by restricting quantification over sets and that the resulting restrictivist set theory is expressible. In chapters 6 and 7, I argue that it is the iterative conception of set and the thesis of absolutism that should be rejected. (shrink)

This thesis comprises three main chapters—each comprising one relatively standalone paper. The unifying theme is fragmentalism about truth, which is the view that the predicate “true” either expresses distinct concepts or expresses distinct properties. -/- In Chapter 1, I provide a formal development of alethic pluralism. Pluralism is the view that there are distinct truth properties associated with distinct domains of subject matter, where a truth property satisfies certain truth-characterizing principles. On behalf of pluralists, I propose an account of logic (...) and semantics that shows how they can answer central conceptual and logical challenges for their view. -/- In Chapter 2, I motivate and develop a modal account of propositions on the basis of an iterative conception of propositions, where the modality is logico-mathematical. The modal account of propositions takes the conception to motivate an inherently potential hierarchy of propositions. I show that the account helps provide satisfying solutions to the intensional paradoxes of Russell-Myhill, Kaplan, and Prior. -/- In Chapter 3, I propose that “true” is polysemous. I suggest that “true” is initially polysemous between correspondence truth and disquotational truth, and further polysemous between the meanings corresponding to the subconcepts of the concept truth generated by the indefinite extensibility of that concept. I show that the proposal provides satisfying solutions to the semantic paradoxes. (shrink)

This essay clarifies quantifier variance and uses it to provide a theory of indefinite extensibility that I call the variance theory of indefinite extensibility. The indefinite extensibility response to the set-theoretic paradoxes sees each argument for paradox as a demonstration that we have come to a different and more expansive understanding of ‘all sets’. But indefinite extensibility is philosophically puzzling: extant accounts are either metasemantically suspect in requiring mysterious mechanisms of domain expansion, or metaphysically suspect in requiring nonstandard assumptions about (...) mathematical objects. Happily, the view of quantifier meanings that underwrites quantifier variance can be used to provide an account of indefinite extensibility that is both metasemantically and metaphysically satisfying. Section 1 introduces the puzzle of indefinite extensibility; section 2 develops and clarifies the metasemantics of quantifier variance; section 3 solves section 1's puzzle of indefinite extensibility by applying section 2's account of quantifier meanings; and section 4 compares the theory developed in section 3 to several other theories in the literature. (shrink)

In this paper, we give a precise characterization of the principle of recombination and argue that it need not be subject to any restrictions.

Languages involving modalities and languages involving vagueness have each been thoroughly studied. On the other hand, virtually nothing has been said about the interaction of modality and vagueness. This paper aims to start filling that gap. Section 1 is a discussion of various possible sources of vague modality. Section 2 puts forward a model theory for a quantified language with operators for modality and vagueness. The model theory is followed by a discussion of the resulting logic. In Section 3, the (...) framework will permit us to address a puzzle raised by Elizabeth Barnes and Robert Williams. (shrink)

Among the most telling atheistic arguments are those to the effect that the existence of any being that meets standard divine specifications is impossible – that there not only is not but could not be any such being.

Semantic interpretations of both natural and formal languages are usually taken to involve the specification of a domain of entities with respect to which the sentences of the language are to be evaluated. A question that has received much attention of late is whether there is unrestricted quantification, quantification over a domain comprising absolutely everything there is. Is there a discourse or inquiry that has absolute generality? After framing the debate, this article provides an overview of the main arguments for (...) and against the possibility of unrestricted quantification, highlighting some of the broader implications of the debate. (shrink)

The first section of this paper introduces talk about absolutely everything -- the world as a totality -- as an integral element in the project of natural theology, as it has been presented by Fergus Kerr and Denys Turner respectively. The following section presents talk about the world as a totality of facts as a theme in philosophical logic and outlines a problem it has given rise to there. After confronting the solution originally suggested by Bertrand Russell and defended by (...) David Armstrong, the paper points to key elements of the solution presented by Wittgenstein in Tractatus Logico-Philosophicus. I show how Wittgenstein’s answer to the question of unrestricted quantification draws on his notion of showing and the inexpressible. Against this background, the concluding section draws attention to an important difference in ambition between Kerr’s and Turner’s description of the prospects for natural theology. (shrink)

Are there any things that are such that any things whatsoever are among them. I argue that there are not. My thesis follows from these three premises: (1) There are two or more things; (2) for any things, there is a unique thing that corresponds to those things; (3) for any two or more things, there are fewer of them than there are pluralities of them.

The use of tensed language and the metaphor of set ‘formation’ found in informal descriptions of the iterative conception of set are seldom taken at all seriously. Both are eliminated in the nonmodal stage theories that formalise this account. To avoid the paradoxes, such accounts deny the Maximality thesis, the compelling thesis that any sets can form a set. This paper seeks to save the Maximality thesis by taking the tense more seriously than has been customary (although not literally). A (...) modal stage theory, MST, is developed in a bimodal language, governed by a tenselike logic. Such a language permits a very natural axiomatisation of the iterative conception, which upholds the Maximality thesis. It is argued that the modal approach is consonant with mathematical practice and a plausible metaphysics of sets and shown that MST interprets a natural extension of Zermelo set theory less the axiom of Infinity and, when extended with a further axiom concerning the extent of the hierarchy, interprets Zermelo–Fraenkel set theory. (shrink)

Could an object have only mass and no other property? In giving an affirmative answer to this question, Jonathan Schaffer (2003, pp. 136-8) proposes what he calls ‘the subtraction argument’ for ‘the possibility of free mass’. In what follows, we aim to assess the cogency of this argument in comparison with an argument of the same general form which has also been termed a subtraction argument, namely, Thomas Baldwin’s (1996) subtraction argument for metaphysical nihilism, which is the claim that there (...) might have been no concrete objects. The comparison will be instructive because Baldwin’s argument has been the subject of considerable recent debate (of particular relevance for current purposes are Paseau 2002, Authors 2005, and Paseau 2006), and the lesson of this debate seems to be that subtraction arguments, such as Baldwin’s and Schaffer’s, are faced with a dilemma: either they are invalid or they fail to be suasive. We outline how Baldwin’s argument can be reformulated so as to avoid both horns of this dilemma, and we then argue that Schaffer’s argument cannot so avoid the dilemma. (shrink)

On reading the last sentence, did you interpret me as saying falsely that everything — everything in the entire universe — was packed into my carry-on baggage? Probably not. In ordinary language, ‘everything’ and other quantifiers (‘something’, ‘nothing’, ‘every dog’, ...) often carry a tacit restriction to a domain of contextually relevant objects, such as the things that I need to take with me on my journey. Thus a sentence of the form ‘Everything Fs’ is true as uttered in a (...) context C if and only if everything that is relevant in C satisfies the predicate ‘F’; ‘everything’ ranges just over the contextually relevant things. Such generality is restricted in a context-relative way. (shrink)

Eternalists say that non-present entities (for instance dinosaurs) exist; presentists say that they do not. But some sceptics deny that this debate is genuine, claiming that presentists simply represent eternalists' quantifiers over non-present entities in different notation. This scepticism may be refuted on purely logical grounds: one of the leading candidate ‘presentist quantifiers’ over non-present things has the inferential role of a quantifier. The dispute over whether non-present objects exist is as genuine and non-verbal as the dispute over whether there (...) is life on other planets. (shrink)

A number of authors have recently weighed in on the issue of whether it is coherent to have bound variables that range over absolutely everything. Prima facie, it is difficult, and perhaps impossible, to coherently state the “relativist” position without violating it. For example, the relativist might say, or try to say, that for any quantifier used in a proposition of English, there is something outside of its range. What is the range of this quantifier? Or suppose we ask the (...) relativist if there are some things that cannot appear in the range of any bound variable. The likely response would be along these lines: “No. For each object o, it possible to include o in the range of quantifiers, but one cannot quantify over everything at once.” This sentence contains unrestricted quantifiers, or so it seems, pending some clever move from a relativist. On the other hand, in the context of set theory, the reasoning behind the Burali-Forti paradox strongly suggests that there are well-orderings strictly longer than the collection of all ordinals. And set theorists regularly do transfinite recursions and transfinite reductions along such well-orderings. The relativist simply points out that one can always define new ordinals, and thus expand the range of one’s bound variables. The purpose of this paper is to explore the iterative framework, proposed in Zermelo’s 1930 paper, “Über Grenzzahlen und Mengenbereiche” (“On boundary numbers and domains of sets”), in order to shed light on these issues, and see what is involved in resolving them. (shrink)

Cantor argued that absolute infinity is beyond mathematical comprehension. His arguments imply that the domain of mathematics cannot be grasped by mathematical means. We argue that this inability constitutes a foundational problem. For Cantor, however, the domain of mathematics does not belong to mathematics, but to theology. We thus discuss the theological significance of Cantor’s treatment of absolute infinity and show that it can be interpreted in terms of negative theology. Proceeding from this interpretation, we refer to the recent debate (...) on absolute generality and argue that the method of diagonalization constitutes a modern version of the vianegativa. On our reading, negative theology can evoke an attitude of humility with respect to the boundedness of the human condition. Along these lines, we think that the foundational problem of mathematics concerning its domain can be addressed through a methodological attitude of humility. (shrink)

Can one quantify over absolutely everything? Absolutists answer positively, while relativists answer negatively. Here, I focus on the absolutism versus relativism debate in the framework of theories of truth, where relativism becomes a form of contextualism about truth predications. Contextualist theories of truth provide elegant and uniform solutions to the semantic paradoxes while preserving classical logic. However, they interpret harmless generalizations (such as “everything is self-identical”) in less than absolutely comprehensive domains, thus systematically misconstruing them. In this article, I show (...) that contextualism is broadly compatible with absolute generality. More specifically, I develop a bipartite contextualist semantics, or “bicontextualism,” on which sentences are split in two groups: the unproblematic sentences, which are compatible with absolute generality, and the problematic ones, which are given a relativist semantics. I then argue that bicontextualism retains the advantages of (orthodox) contextualism and does not give rise to new revenge paradoxes. (shrink)

This volume announces a new era in the philosophy of God. Many of its contributions work to create stronger links between the philosophy of God, on the one hand, and mathematics or metamathematics, on the other hand. It is about not only the possibilities of applying mathematics or metamathematics to questions about God, but also the reverse question: Does the philosophy of God have anything to offer mathematics or metamathematics? The remaining contributions tackle stereotypes in the philosophy of religion. The (...) volume includes 35 contributions. It is divided into nine parts: 1. Who Created the Concept of God; 2. Omniscience, Omnipotence, Timelessness and Spacelessness of God; 3. God and Perfect Goodness, Perfect Beauty, Perfect Freedom; 4. God, Fundamentality and Creation of All Else; 5. Simplicity and Ineffability of God; 6. God, Necessity and Abstract Objects; 7. God, Infinity, and Pascal's Wager; 8. God and (Meta-)Mathematics; and 9. God and Mind. (shrink)

In Thin Objects: An Abstractionist Account, Linnebo offers what he describes as a “simple and definitive” solution to the bad company problem facing abstractionist accounts of mathematics. “Bad” abstraction principles can be rendered “good” by taking abstraction to have a predicative character. But the resulting predicative axioms are too weak to recover substantial portions of mathematics. Linnebo pursues two quite different strategies to overcome this weakness in the case of set theory and arithmetic. I argue that neither infinitely iterated abstraction (...) nor abstraction on possible specifications fully resolves the bad company problem. (shrink)

A survey of logical problems for the concept of omniscience.

Plural Logic is an extension of First-Order Logic with plural terms and quantifiers. When its plural terms are interpreted as denoting more than one object at once, Plural Logic is usually taken to be ontologically innocent: plural quantifiers do not require a domain of their own, but range plurally over the first-order domain of quantification. Given that Plural Logic is equi-interpretable with Monadic Second-Order Logic, it gives us its expressive power at the low ontological cost of a first-order language. This (...) makes it a valuable tool in various areas of philosophy. Some authors believe that Plural Logic can be extended into an even more expressive logic, Higher-Level Plural Logic, by adding higher-level plural terms and quantifiers to it. The basic idea is that second-level plurals stand to plurals like plurals stand to singulars. Allegedly, Higher-Level Plural Logic enjoys the expressive power of type theory while, again, committing us only to the austere ontology of a first-order language. Were this really the case, Higher-Level Plural Logic would be a very useful tool, extending and strengthening some of the applications of Plural Logic. However, while the notions of plural reference and quantification enjoy widespread acceptance today, their higher-level counterparts have been received with scepticism. The main objection raised against them is that higher-level plural reference is unintelligible. This has been argued, among others, on the grounds that there are no higher-level plurals in natural language and that, if there were any, they could be eliminated. In this thesis, after introducing the debate on plurals in Chapters 1 and 2, I turn to defending the legitimacy of the notion of higher-level plural reference. To this end, in Chapter 3, I present and elucidate the notion. Next, in Chapter 4, I show that some natural languages clearly contain these expressions and that they do so in an ineliminable manner. Finally, in Chapters 5 and 6, I develop a semantics for higher-level plurals that employs only devices previously well-understood by English speakers. To finish, in Chapter 7, I describe an application of Higher-level Plural Logic: a strengthening of the neo-Fregean programme. After describing my proposal, I turn to the issue of the logical status of this formalism and defend an optimistic take on the matter. (shrink)

In this paper, I motivate a modal account of propositions on the basis of an iterative conception of propositions. As an application, I suggest that the account provides a satisfying solution to the Russell-Myhill paradox. The account is in the spirit of recently developed modal accounts of sets motivated on the basis of the iterative conception of sets.

It can be shown by means of a paradox that, given the Principle of Sufficient Reason, there is no conjunction of all contingent truths. The question is, or ought to be, how to interpret that result: _Quid sibi velit?_ A celebrated argument against PSR due to Peter van Inwagen and Jonathan Bennett in effect interprets the result to mean that PSR entails that there are no contingent truths. But reflection on parallels in philosophy of mathematics shows it can equally be (...) interpreted either as a proof that there are "too many" contingent truths to combine in a single conjunction or as a proof that the concept _contingent truth_ is indefinitely extensible and there is no such thing as "all contingent truths." Either interpretation would reconcile PSR with contingent truth, but the natural rationales of those interpretations are at odds. This essay argues that the second interpretation is a more satisfactory explanation of why, if PSR is true, there should be no conjunction of all contingent truths. This sheds new light on the nature of the explanatory demand embedded in PSR and uncovers a number of surprising implications for the commitments of rationalism. (shrink)

This document presents a Gentzen-style deductive calculus and proves that it is complete with respect to a 3-valued semantics for a language with quantifiers. The semantics resembles the strong Kleene semantics with respect to conjunction, disjunction and negation. The completeness proof for the sentential fragment fills in the details of a proof sketched in Arnon Avron (2003). The extension to quantifiers is original but uses standard techniques.