Semantic theories based on a hierarchy of types have prominently been used to defend the possibility of unrestricted quantification. However, they also pose a prima facie problem for it: each quantifier ranges over at most one level of the hierarchy and is therefore not unrestricted. It is difficult to evaluate this problem without a principled account of what it is for a quantifier to be unrestricted. Drawing on an insight of Russell’s about the relationship between (...) class='Hi'>quantification and the structure of predication, we offer such an account. We use this account to examine the problem in three different type-theoretic settings, which are increasingly permissive with respect to predication. We conclude that unrestricted quantification is available in all but the most permissive kind of type theory. (shrink)

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)

There are four broad grounds upon which the intelligibility of quantification over absolutely everything has been questioned—one based upon the existence of semantic indeterminacy, another on the relativity of ontology to a conceptual scheme, a third upon the necessity of sortal restriction, and the last upon the possibility of indefinite extendibility. The argument from semantic indeterminacy derives from general philosophical considerations concerning our understanding of language. For the Skolem–Lowenheim Theorem appears to show that an understanding of quanti- fication over (...) absolutely everything (assuming a suitably infinite domain) is semantically indistinguishable from the understanding of quantification over something less than absolutely everything; the same first-order sentences are true and even the same first-order conditions will be satisfied by objects from the narrower domain. From this it is then argued that the two kinds of understanding are indistinguishable tout court and that nothing could count as having the one kind of understanding as opposed to the other. (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)

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)

This paper revisits a challenge for contextualist approaches to paradoxes such as the Liar paradox and Russell’s paradox. Contextualists argue that these paradoxes are to be resolved by appeal to context dependence. This can offer some nice and effective ways to avoid paradox. But there is a problem. Context dependence is, at least to begin with, a phenomenon in natural language. Is there really such context dependence as the solutions to paradoxes require, and is it really just a familiar linguistic (...) phenomenon at work? Not so clearly. In earlier work, I argued that the required form of context dependence does not look like our most familiar instances of context dependence in natural language. I called this extraordinary context dependence. In this paper, I shall explore, somewhat tentatively, a way that we can see the context dependence needed to address paradoxes as not so extraordinary. Doing so will also allow us to connect thinking about the context dependence of quantifier domains with some interesting ideas about the distinctive semantic properties of certain quantifiers. (shrink)

In my book, Worlds and Individuals, Possible and Otherwise , I use the novel idea of modal tense to respond to a number of arguments against modal realism. Peter van Inwagen’s million-carat-diamond objection is one of them. It targets the version of modal realism by David Lewis and exploits the fact that Lewis accepts absolutely unrestricted quantification. The crux of my response is to use modal tense to neutralize absolutely unrestricted quantification. Seahwa Kim says that even (...) when equipped with modal tense, I am unsuccessful, given my view of reality and the proper use of modal tense in speaking of reality. I counter her attempt at resurrecting van Inwagen’s objection and clarify how we should use modal tense and how we should talk about reality. (shrink)

This paper revisits a challenge for contextualist approaches to paradoxes such as the Liar paradox and Russell’s paradox. Contextualists argue that these paradoxes are to be resolved by appeal to context dependence. This can offer some nice and effective ways to avoid paradox. But there is a problem. Context dependence is, at least to begin with, a phenomenon in natural language. Is there really such context dependence as the solutions to paradoxes require, and is it really just a familiar linguistic (...) phenomenon at work? Not so clearly. In earlier work, I argued that the required form of context dependence does not look like our most familiar instances of context dependence in natural language. I called this extraordinary context dependence. In this paper, I shall explore, somewhat tentatively, a way that we can see the context dependence needed to address paradoxes as not so extraordinary. Doing so will also allow us to connect thinking about the context dependence of quantifier domains with some interesting ideas about the distinctive semantic properties of certain quantifiers. (shrink)

Call a quantifier unrestricted if it ranges over absolutely all things: not just over all physical things or all things relevant to some particular utterance or discourse but over absolutely everything there is. Prima facie, unrestricted quantification seems to be perfectly coherent. For such quantification appears to be involved in a variety of claims that all normal human beings are capable of understanding. For instance, some basic logical and mathematical truths appear to involve unrestricted (...) class='Hi'>quantification, such as the truth that absolutely everything is self-identical and the truth that the empty set has absolutely no members. Various metaphysical views too appear to involve unrestricted quantification, such as the physicalist view that absolutely everything is physical. (shrink)

Quantification is haunted by the specter of paradoxes. Since Russell, it has been a persistent idea that the paradoxes show what might have appeared to be absolutely unrestricted quantification to be somehow restricted. In the contemporary literature, this theme is taken up by Dummett (1973, 1993) and Parsons (1974a,b). Parsons, in particular, argues that both the Liar and Russell’s paradoxes are to be resolved by construing apparently absolutely unrestricted quantifiers as appropriately restricted.

The Russellian argument against the possibility of absolutely unrestricted quantification can be answered by the partisan of that quantification in an apparently easy way, namely, arguing that the objects used in the argument do not exist because they are defined in a viciously circular fashion. We show that taking this contention along as a premise and relying on an extremely intuitive Principle of Determinacy, it is possible to devise a reductio of the possibility of absolutely unrestricted (...) quantification. Therefore, there are intuitive reasons to believe that the counter-argument fails to support the possibility of absolutely unrestricted quantification. (shrink)

Many of those who accept the universalist thesis that mereological composition is unrestricted also maintain that the folk typically restrict their quantifiers in such a way as to exclude strange fusions when they say things that appear to conflict with universalism. Despite its prima facie implausibility, there are powerful arguments for universalism. By contrast, there is remarkably little evidence for the thesis that strange fusions are excluded from the ordinary domain of quantification. Furthermore, this reconciliatory strategy seems hopeless (...) when applied to the more fundamental conflict between universalism and the intuitions that tell against it. (shrink)

It is common in metaphysical discourse to make claims like “Everything is self-identical” in which “everything” is intended to range over everything. This sort of “unrestricted” generality appears central to metaphysical discourse. But there is debate whether such generality, which appears to involve quantification over an all-inclusive domain, is even meaningful. To address this concern, Shaughan Lavine and Vann McGee supply competing accounts of the generality expressed by this use of “everything.” I argue that, from the perspective of (...) the metaphysician, neither of their proposals is entirely suitable. But their central insights, as well as their shortcomings, suggest an account which is suitable for metaphysical discourse, what I call “genuinely unrestricted quantification.” For while genuinely unrestricted quantification does not directly supply an account of the metaphysician's “everything,” it disentangles what are properly metaphysical issues from issues concerning how we ought to understand the quantifiers. It makes clear that whether the metaphysician's “everything” is meaningful cannot simply be resolved by supplying an appropriate account of our understanding of quantification. It depends on addressing certain substantive ontological questions. (shrink)

Following David Lewis, Ted Sider has famously argued that unrestricted first-order quantification cannot be vague. His argument was intended as a type of reductio: its strategy was to show that the mere hypothesis of unrestricted quantifier vagueness collapses into the claim that unrestricted quantification is precise. However, this short article considers two natural reconstructions of the argument, and shows that each can be resisted. The theme will be that each reconstruction of the argument involves assumptions (...) which advocates of vague quantification have independent reason to reject. (shrink)

The Quantified argument calculus (Quarc) has received a lot of attention recently as an interesting system of quantified logic which eschews the use of variables and unrestricted quantification, but nonetheless achieves results similar to the Predicate calculus (PC) by employing quantifiers applied directly to predicates instead. Despite this noted similarity, the issue of the relationship between Quarc and PC has so far not been definitively resolved. We address this question in the present paper, and then expand upon that (...) result. Utilizing recent developments in structural proof theory, we develop a G3-style sequent calculus for Quarc and briefly demonstrate its structural properties. We put these properties to use immediately to construct direct proofs of the meta-theoretical properties of the system. We then incorporate an abstract (and, as we shall see, logical) predicate into the system in a way that preserves all the structural properties. This allows us to identify a system of Quarc which is deductively equivalent to PC, and also yields a constructive method of demonstrating the Craig interpolation theorem (which speaks in favor of the aforementioned predicate being logical). We further generalize this extension to develop a bivalent system of Quarc with defining clauses that still maintains all the desirable properties of a good proof system. (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)

Temporal ontology is concerned with the ontological status of the past, the present and the future, with presentism and eternalism as main contenders since the second half of the last century. In recent years several philosophers have argued that the presentism/eternalism dispute is not substantial. They have embraced, one may say, deflationism. Denying or downplaying the meaningfulness of tenseless language and wielding the so-called triviality objection have been their main argumentative tools. Other philosophers have opposed this trend, thereby holding fast (...) to what could be named substantialism. Their leading defensive strategy has consisted in bringing to the fore tenselessness or unrestricted quantification in an attempt to resist the triviality objection. Despite this reaction, the past few years have hosted a new wave of deflationism, wherein the triviality objection and qualms about the legitimacy of tenselessness and unrestricted quantification still loom large. This paper counters this trend, by providing a new clarification of tenseless predication, unrestricted quantifiers and their role in rescuing substantialism from the triviality objection. A crucial ingredient is this: the appeal to unrestricted quantifiers and to tenseless predication are not alternative strategies, but rather two sides of the same coin, since substantialism requires quantifiers that are both tenseless and unrestricted. (shrink)

Andrew Bacon, John Hawthorne, and Gabriel Uzquiano have recently argued that free logics—logics that reject or restrict Universal Instantiation—are ultimately not promising approaches to resolving a family of intensional paradoxes due to Arthur Prior. These logics encompass ramified and contextualist approaches to paradoxes, and broadly speaking, there are two kinds of criticism they face. First, they fail to address every version of the Priorean paradoxes. Second, the theoretical considerations behind the logics make absolutely general statements about all propositions, properties of (...) propositions, etc., but because this sort of intensional quantification is always restricted in the logics, they cannot even express those considerations. I present a novel sort of free logic, which rejects the standard Universal Instantiation but validates a restricted form of the rule, and which addresses both kinds of criticism by allowing some propositions to be unrestricted in their quantification. (shrink)

In this paper, I examine Takashi Yagisawa’s response to van Inwagen’s ontic objection against David Lewis. Van Inwagen criticizes Lewis’s commitment to the absolutely unrestricted sense of ‘there is,’ and Yagisawa claims that by adopting modal tenses he avoids commitment to absolutely unrestricted quantification. I argue that Yagisawa faces a problem parallel to the one Lewis faces. Although Yagisawa officially rejects the absolutely unrestricted sense of a quantifying expression, he is still committed to the absolutely (...) class='Hi'>unrestricted sense of ‘is a real.’. (shrink)

For various reasons several authors have enriched classical first order syntax by adding a predicate abstraction operator. “Conservatives” have done so without disturbing the syntax of the formal quantifiers but “revisionists” have argued that predicate abstraction motivates the universal quantifier’s re-classification from an expression that combines with a variable to yield a sentence from a sentence, to an expression that combines with a one-place predicate to yield a sentence. My main aim is to advance the cause of predicate abstraction while (...) cautioning against revisionism. In so doing, however, I shall pursue a secondary aim by conveying mixed blessings to those who hold the view that in the logical sense of “existence” some existing object is such as to exist contingently. Advocates of this view must concede Williamson’s recent contention that the domain of unrestricted objectual quantification could not have been narrower than it is actually, but predicate abstraction affords them some hope of accommodating this concession. (shrink)

How can a metaphysics of abstract entities be built upon a metaphysics of time? In this paper, I address the question of how to accommodate abstract entities in a presentist world. I consider both the traditional metaontological approach of unrestricted fundamental quantification and then ontological pluralism. I argue that under the former we need to impose two constraints in the characterization of presentism in order to avoid undesired commitments to abstract entities: we have to characterize presentism as a (...) thesis only about the concrete, and we also need to avoid the widely held distinction between tensed and tenseless senses of existence. Under ontological pluralism, instead, I argue that we can naturally accommodate any view of abstract objects in a presentist world. (shrink)

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)

There are certain metaphysically interesting arguments ‘from vagueness’, for unrestricted mereological composition and for four-dimensionalism, which involve a claim to the effect that idioms for unrestricted quantification are precise. An elaboration of Lewis’ argument for this claim, which assumes the view of vagueness as semantic indecision, is presented. It is argued that the argument also works according to other views on the nature of vagueness, which also require for an expression to be vague that there are different (...) admissible alternatives of the relevant sort, such as epistemicism, as defended by Williamson. Recent attempts to resist the argument are discussed and rejected. (shrink)

This chapter considers Geach's claims solely as pertaining to the philosophy of language and philosophical logic, though much of the interest of the concept of relative identity concerns its applicability to other areas: the metaphysical controversy about personal identity and the debate in philosophical theology on the doctrine of the Trinity. It describes Geach's views under six headings: the non‐existence of absolute identity; the sortal relativity of identity; the derelativization thesis; the counting thesis; the thesis of the irreducibility of restricted (...) quantification; and the 'name for an A'/'name of an A' distinction. The sortal relativity thesis depends for its significance on the distinction between sortal terms and non‐sortal terms. An important component of Geach's position is his thesis that for any sortal term 'A' there is a distinction between restricted quantification over As and unrestricted quantification over things that are As. (shrink)

This is a review of Kris McDaniel's book, 'The Fragmentation of Being'. In the book McDaniel defends ontological pluralism -- the doctrine that there are multiple 'ways of being' (i.e., multiple modes, or degrees, or orders, or levels, or gradations of existence). In defending ontological pluralism, McDaniel must reject the rival, Quinean position that there is at root just one generic way for a thing to exist: viz., by its falling in the domain of unrestricted quantification. McDaniel argues (...) against Quine by contending that the unrestricted quantifier is really just shorthand for a ‘gruesome’ disjunction of restricted quantifiers. On McDaniel's view, the unrestricted quantifier plays ontological 'second fiddle' to these restricted quantifiers, which are ontologically fundamental, and which each represent one particular mode of being. Against this, I contend that if the disjunction in question was as gruesome as McDaniel makes out then logic would be apt to explode in our faces. If I am right then McDaniel's response to Quine falls flat. (shrink)

Plena are large-scale macro-totalities appropriate to the realms of all facts, all truths, and all things. Our attempt here is to take some first technical steps toward an adequate conception of plena.

Recent debates in metaphysics have highlighted the significance of type theories, such as Simple Type Theory (STT), for our philosophical analysis. In this chapter, I present the salient features of a constructive type theory in the style of Martin-Löf, termed CTT. My principal aim is to convey the flavour of this rich, flexible and sophisticated theory and compare it with STT. I especially focus on the forms of quantification which are available in CTT. A further aim is to argue (...) that a comparison between a plurality of theories is beneficial to the philosophical analysis. We may, for example, discover helpful features of one theory that we may want to import into another context, thus enriching our repertoire of formal tools. Or, through comparison with a less well-known theory, we may gain a better understanding of the characteristics of the theories we are familiar with. As argued in this chapter, CTT has much to offer in all of these respects. (shrink)

In this paper we present BTC, which is a complete logic for branchingtime whose modal operator quantifies over histories and whose temporal operators involve a restricted quantification over histories in a given possible choice. This is a technical novelty, since the operators of the usual logics for branching-time such as CTL express an unrestricted quantification over histories and moments. The value of the apparatus we introduce is connected to those logics of agency that are interpreted on branching-time, (...) as for instance Stit Logics. (shrink)

I present a puzzle for absolutely unrestricted quantification. One important advantage of absolutely unrestricted quantification is that it allows us to entertain perfectly general theories. Whereas most of our theories restrict attention to one or another parcel of reality, other theories are genuinely comprehensive taking absolutely all objects into their domain. The puzzle arises when we notice that absolutely unrestricted theories sometimes impose incompatible constraints on the size of the universe.

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)

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

In recent years, many people writing on set theory have invoked the notion of an indefinitely extensible concept. The notion, it is usually claimed, plays an important role in solving the paradoxes of absolute infinity. It is not clear, however, how the notion should be formulated in a coherent way, since it appears to run into a number of problems concerning, for example, unrestricted quantification. In fact, the notion makes perfectly good sense if one endorses a dialetheic solution (...) to the paradoxes. It then morphs from a supposed solution to the paradoxes into a diagnosis of their structure. In this paper I show how. (shrink)

ZFC has sentences that quantify over all sets or all ordinals, without restriction. Some have argued that sentences of this kind lack a determinate meaning. We propose a set theory called TOPS, using Natural Deduction, that avoids this problem by speaking only about particular sets.

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)

According to Kant, concepts can be used in three different ways, i.e. an empirical (= pre-philosophical) use, a transcendentally real (= philosophically inadequate) use, and a transcendentally ideal (= philosophically reasonable) use. Regarding the concept of the world as a whole, however, Kant misrepresents the empirical meaning and therefore overlooks the transcendentally ideal understanding of “everything”. Along this guiding line, the paper defends Kant’s program of showing that spatiotemporal objects are conditioned by subjective, non-empirical conditions against the charge that it (...) is inconsistent with Kant’s alleged solution of the antinomies. It turns out that Kant’s program is consistent both with ontological realism about the world and with empirical realism about, e.g., the Big Bang. The remaining problem is how to formalize in modal logic unrestricted quantification in its transcendentally ideal usage. (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.

[Ian Rumfitt] Frege's logicism in the philosophy of arithmetic consisted, au fond, in the claim that in justifying basic arithmetical axioms a thinker need appeal only to methods and principles which he already needs to appeal in order to justify paradigmatically logical truths and paradigmatically logical forms of inference. Using ideas of Gentzen to spell out what these methods and principles might include, I sketch a strategy for vindicating this logicist claim for the special case of the arithmetic of the (...) finite cardinals. /// [Timothy Williamson]The paper defends the intelligibility of unrestricted quantification. For any natural number n, 'There are at least n individuals' is logically true, when the quantifier is unrestricted. In response to the objection that such sentences should not count as logically true because existence is contingent, it is argued by consideration of cross-world counting principles that in the relevant sense of 'exist' existence is not contingent. A tentative extension of the upward Löwenheim-Skolem theorem to proper classes is used to argue that a sound and complete axiomatization of the logic of unrestricted universal quantification results from adding all sentences of the form 'There are at least n individuals' as axioms to a standard axiomatization of the first-order predicate calculus. (shrink)

This paper is a reaction to G. Küng's and J. T. Canty's Substitutional Quantification and Leniewskian quantifiers'Theoria 36 (1970), 165–182. I reject their arguments that quantifiers in Ontology cannot be referentially interpreted but I grant that there is what can be called objectual — referential interpretation of quantifiers and that because of the unrestricted quantification in Ontology the quantifiers in Ontology should not be given a so-called objectual-referential interpretation. I explain why I am in agreement with Küng (...) and Canty's recommendation that Ontology's quantifiers not be substitutionally interpreted even if Leniewski intended them to be so interpreted. A notion of an interpretation which is referential but yet which does not interpret as an assertor of existence of objects in a domain is developed. It is then shown that a first order version of Ontology is satisfied by those special kind of referential interpretations which read as Something as epposed to Something existing. (shrink)

In a well-known passage in the last chapter of Frege: Philosophy of Mathematics Michael Dummett suggests that Frege’s major “mistake”—the key to the collapse of the project of Grundgesetze—consisted in “his supposing there to be a totality containing the extension of every concept defined over it; more generally [the mistake] lay in his not having the glimmering of a suspicion of the existence of indefinitely extensible concepts” (Dummett [1991, 317]). Now, claims of the form, Frege fell into paradox because……. are (...) notoriously difficult to assess even when what replaces the dots is relatively straightforward. Offerings have included, for instance, that — (A) Unrestricted quantification: Frege fell into paradox because he allowed himself to quantify over a single, all-inclusive domain of objects (Russell, Dummett). (shrink)

[Ian Rumfitt] Frege's logicism in the philosophy of arithmetic consisted, au fond, in the claim that in justifying basic arithmetical axioms a thinker need appeal only to methods and principles which he already needs to appeal in order to justify paradigmatically logical truths and paradigmatically logical forms of inference. Using ideas of Gentzen to spell out what these methods and principles might include, I sketch a strategy for vindicating this logicist claim for the special case of the arithmetic of the (...) finite cardinals. /// [Timothy Williamson]The paper defends the intelligibility of unrestricted quantification. For any natural number n, 'There are at least n individuals' is logically true, when the quantifier is unrestricted. In response to the objection that such sentences should not count as logically true because existence is contingent, it is argued by consideration of cross-world counting principles that in the relevant sense of 'exist' existence is not contingent. A tentative extension of the upward Löwenheim-Skolem theorem to proper classes is used to argue that a sound and complete axiomatization of the logic of unrestricted universal quantification results from adding all sentences of the form 'There are at least n individuals' as axioms to a standard axiomatization of the first-order predicate calculus. (shrink)

[Ian Rumfitt] Frege's logicism in the philosophy of arithmetic consisted, au fond, in the claim that in justifying basic arithmetical axioms a thinker need appeal only to methods and principles which he already needs to appeal in order to justify paradigmatically logical truths and paradigmatically logical forms of inference. Using ideas of Gentzen to spell out what these methods and principles might include, I sketch a strategy for vindicating this logicist claim for the special case of the arithmetic of the (...) finite cardinals. /// [Timothy Williamson]The paper defends the intelligibility of unrestricted quantification. For any natural number n, 'There are at least n individuals' is logically true, when the quantifier is unrestricted. In response to the objection that such sentences should not count as logically true because existence is contingent, it is argued by consideration of cross-world counting principles that in the relevant sense of 'exist' existence is not contingent. A tentative extension of the upward Löwenheim-Skolem theorem to proper classes is used to argue that a sound and complete axiomatization of the logic of unrestricted universal quantification results from adding all sentences of the form 'There are at least n individuals' as axioms to a standard axiomatization of the first-order predicate calculus. (shrink)

There are certain metaphysically interesting arguments ‘from vagueness’, for unrestricted mereological composition and for four‐dimensionalism, which involve a claim to the effect that idioms for unrestricted quantification are precise. An elaboration of Lewis’ argument for this claim, which assumes the view of vagueness as semantic indecision, is presented. It is argued that the argument also works according to other views on the nature of vagueness, which also require for an expression to be vague that there are different (...) admissible alternatives of the relevant sort, such as epistemicism, as defended by Williamson. Recent attempts to resist the argument are discussed and rejected. (shrink)

Poincaré in a 1909 lecture in Göttingen proposed a solution to the apparent incompatibility of two results as viewed from a definitionist perspective: on the one hand, Richard’s proof that the definitions of real numbers form a countable set and, on the other, Cantor’s proof that the real numbers make up an uncountable class. Poincaré argues that, Richard’s result notwithstanding, there is no enumeration of all definable real numbers. We apply previous research by Luna and Taylor on Richard’s paradox, indefinite (...) extensibility and unrestricted quantification to evaluate Poincaré’s proposal. We emphasize that Poincaré’s solution involves an early recourse to indefinite extensibility and argue that his proposal, if it is to completely avoid Richard’s paradox, requires rejecting absolutely unrestricted quantification: Richard’s paradox provides a context in which paradox seems inescapable if unrestricted quantification is possible. In proposing his solution to the apparent conflict between Richard’s and Cantor’s results, Poincaré employs temporal expressions whose exact meaning he does not clarify. We suggest an interpretation of these expressions in terms of order of availability and briefly discuss its explanatory power in topics like paradoxes, limitation theorems and indefinite extensibility. (shrink)

In light of the close connection between the ontological hierarchy of set theory and the ideological hierarchy of type theory, Øystein Linnebo and Agustín Rayo have recently offered an argument in favour of the view that the set-theoretic universe is open-ended. In this paper, we argue that, since the connection between the two hierarchies is indeed tight, any philosophical conclusions cut both ways. One should either hold that both the ontological hierarchy and the ideological hierarchy are open-ended, or that neither (...) is. If there is reason to accept the view that the set-theoretic universe is open-ended, that will be because such a view is the most compelling one to adopt on the purely ontological front. (shrink)

According to the iterative conception of set, each set is a collection of sets formed prior to it. The notion of priority here plays an essential role in explanations of why contradiction-inducing sets, such as the Russell set, do not exist. Consequently, these explanations are successful only to the extent that a satisfactory priority relation is made out. I argue that attempts to do this have fallen short: understanding priority in a straightforwardly constructivist sense threatens the coherence of the empty (...) set and raises serious epistemological concerns; but the leading realist interpretations---ontological and modal interpretations of priority---are deeply problematic as well. I conclude that the purported explanatory virtues of the iterative conception are, at present, unfounded. (shrink)

The paper defends the intelligibility of unrestricted quantification. For any natural number n, 'There are at least n individuals' is logically true, when the quantifier is unrestricted. In response to the objection that such sentences should not count as logically true because existence is contingent, it is argued by consideration of cross-world counting principles that in the relevant sense of 'exist' existence is not contingent. A tentative extension of the upward L?wenheim-Skolem theorem to proper classes is used (...) to argue that a sound and complete axiomatization of the logic of unrestricted universal quantification results from adding all sentences of the form 'There are at least n individuals' as axioms to a standard axiomatization of the first-order predicate calculus. (shrink)

An argument opposing the unrestricted use of quantification in modal logic has been put forward by Quine. Central to this argument are the two phrases, The Morning Star, The Evening Star.One form of the argument is obtained by considering the following two statements: It is necessary that the Morning Star is identical with the Morning Star. It is not necessary that the Evening Star is identical with the Morning Star.