A consequence relation is strongly classical if it has all the theorems and entailments of classical logic as well as the usual meta-rules (such as Conditional Proof). A consequence relation is weakly classical if it has all the theorems and entailments of classical logic but lacks the usual meta-rules. The most familiar example of a weakly classical consequence relation comes from a simple supervaluational approach to modelling vague language. This approach is formally equivalent to an account of logical consequence according (...) to which α1, ..., αn entails β just in case □α1, ..., □αn entails □β in the modal logic S5. This raises a natural question: If we start with a different underlying modal logic, can we generate a strongly classical logic? This paper explores this question. In particular, it discusses four related technical issues: (1) Which base modal logics generate strongly classical logics and which generate weakly classical logics? (2) Which base logics generate themselves? (3) How can we directly characterize the logic generated from a given base logic? (4) Given a logic that can be generated, which base logics generate it? The answers to these questions have philosophical interest. They can help us to determine whether there is a plausible supervaluational approach to modelling vague language that yields the usual meta-rules. They can also help us to determine the feasibility of other philosophical projects that rely on an analogous formalism, such as the project of defining logical consequence in terms of the preservation of an epistemic status. (shrink)

This paper is concerned with the claim that supervaluationist consequence is not classical for a language including an operator for definiteness. Although there is some sense in which this claim is uncontroversial, there is a sense in which the claim must be qualified. In particular I defend Keefe's position according to which supervaluationism is classical except when the inference from phi to Dphi is involved. The paper provides a precise content to this claim showing that we might provide complete (...) (and sound) systems of deduction for supervaluationist consequence in which proofs are completely classical with the exception of a single last step (involving the above mentioned inference). (shrink)

Can supervaluationism successfully handle indirect speech reports? This chapter considers, and rejects, Schiffer’s claim that they cannot. One alleged problem with indirect speech reports is that the truth of “Carla said that Bob is tall” implausibly requires that Carla said all of a huge number of precise things (i.e. that Bob was over n feet tall, for values of n corresponding to precisifications of “tall”). The paper shows why the supervaluationist is not committed to this. Vague singular terms are (...) no particular problem for supervaluationism within indirect speech reports, it is argued, but there remain some issues surrounding certain vague demonstratives. The supervaluationist has good responses available, however, and any remaining questions face all theories of vagueness and are more appropriately addressed within a theory of demonstratives rather than a theory of vagueness. (shrink)

In the literature on supervaluationism, a central source of concern has been the acceptability, or otherwise, of its alleged logical revisionism. I attack the presupposition of this debate: arguing that when properly construed, there is no sense in which supervaluational consequence is revisionary. I provide new considerations supporting the claim that the supervaluational consequence should be characterized in a ‘global’ way. But pace Williamson (1994) and Keefe (2000), I argue that supervaluationism does not give rise to counterexamples to familiar inference-patterns (...) such as reductio and conditional proof. (shrink)

What sort of logic do we get if we adopt a supervaluational semantics for vagueness? As it turns out, the answer depends crucially on how the standard notion of validity as truth preservation is recasted. There are several ways of doing that within a supervaluational framework, the main alternative being between “global” construals (e.g., an argument is valid iff it preserves truth-under-all-precisifications) and “local” construals (an argument is valid iff, under all precisifications, it preserves truth). The former alternative is by (...) far more popular, but I argue in favor of the latter, for (i) it does not suffer from a number of serious objections, and (ii) it makes it possible to restore global validity as a defined notion. (shrink)

Schiffer has given an argument against supervaluationist accounts of vagueness, based on reports of vague contents. Suppose that Al tells Bob ‘Ben was there’, pointing to a certain place, and later Bob says, ‘Al said that Ben was there’, pointing in the same direction. According to supervaluationist semantics, Schiffer contends, both Al’s and Bob’s utterances of ‘there’ indeterminately refer to myriad precise regions of space; Al’s utterance is true just in case Ben was in any of those precisely (...) bounded regions of space, and Bob’s is true just in case Al said of each of them that it is where Ben was. However, while the supervaluationist truth-conditions for Al’s utterance might be satisfied, those for Bob’s cannot; for Al didn’t say, of any of those precisely delimited regions of space, that it is where Ben was. In an earlier version of the material presented here (García-Carpintero 2000) I replied to Schiffer’s argument that supervaluationism has an independently well-motivated defense. The response is essentially based on the point that the occurrence of ‘there’ in Bob’s utterance (and of ‘tall’ in Wright’s argument) occurs in indirect discourse, and supervaluationists may allow that it shifts its referent there. Schiffer’s reply to this response shows that it was not made sufficiently clearly. In this paper I will try to improve on that score. In his more recent reply, Schiffer (2000b, 325) dismisses a proposal like the one I will make, mainly because it “undermines … a leading virtue of supervaluationism … its implication that vagueness is … not a feature of the world.” I will argue that my reply does not undermine the fundamental contentions of the supervaluationist account. (shrink)

Many classically valid meta-inferences fail in a standard supervaluationist framework. This allegedly prevents supervaluationism from offering an account of good deductive reasoning. We provide a proof system for supervaluationist logic which includes supervaluationistically acceptable versions of the classical meta-inferences. The proof system emerges naturally by thinking of truth as licensing assertion, falsity as licensing negative assertion and lack of truth-value as licensing rejection and weak assertion. Moreover, the proof system respects well-known criteria for the admissibility of inference rules. (...) Thus, supervaluationists can provide an account of good deductive reasoning. Our proof system moreover brings to light how one can revise the standard supervaluationist framework to make room for higher-order vagueness. We prove that the resulting logic is sound and complete with respect to the consequence relation that preserves truth in a model of the non-normal modal logic _NT_. Finally, we extend our approach to a first-order setting and show that supervaluationism can treat vagueness in the same way at every order. The failure of conditional proof and other meta-inferences is a crucial ingredient in this treatment and hence should be embraced, not lamented. (shrink)

It has been argued that quantum mechanics forces us to accept the existence of metaphysical, mind-independent indeterminacy. In this paper we provide an interpretation of the indeterminacy involved in the quantum phenomena in terms of a view that we call Plural Metaphysical Supervaluationism. According to it, quantum indeterminacy is captured in terms of an irreducibly plural relation between the actual world and various misrepresentations of it.

Since its first appearance in 1966, the notion of a supervaluation has been regarded by many as a powerful tool for dealing with semantic gaps. Only recently, however, applications to semantic gluts have also been considered. In previous work I proposed a general framework exploiting the intrinsic gap/glut duality. Here I also examine an alternative account where gaps and gluts are treated on a par: although they reflect opposite situations, the semantic upshot is the same in both cases--the value of (...) some expressions is not uniquely defined. Other strategies for generalizing supervaluations are considered and some comparative facts are discussed. (shrink)

I present a ‘stage-theoretical’ interpretation of the supervaluationist semantics for the growing-block theory of time according to which the ‘nodes’ on the branching tree of historical possibilities are taken to be possible stages of the growth of the growing-block. As I will argue, the resulting interpretation (i) is very intuitive, (ii) can easily ward off an objection to supervaluationist treatments of the growing-block theory presented by Fabrice Correia and Sven Rosenkranz, and (iii) is also not saddled by the (...) problems affecting the supervaluationist version of the growing-block theory defended by R. A. Briggs and Graeme A. Forbes. (shrink)

This paper discusses Fara's so-called 'Paradox of Higher-Order Vagueness' concerning supervaluationism. In the paper I argue that supervaluationism is not committed to global validity, as it is largely assumed in the literature, but to a weaker notion of logical consequence I call 'regional validity'. Then I show that the supervaluationist might solve Fara's paradox making use of this weaker notion of logical consequence. The paper is discussed by Delia Fara in the same volume.

Written as a comment on Crispin Wright's "Vagueness: A Fifth Column Approach", this paper defends a form of supervaluationism against Wright's criticisms. Along the way, however, it takes up the question what is really wrong with Epistemicism, how the appeal of the Sorities ought properly to be understood, and why Contextualist accounts of vagueness won't do.

How does vagueness interact with metaphysical modality and with restrictions of it, such as nomological modality? In particular, how do definiteness, necessity (understood as restricted in some way or not), and actuality interact? This paper proposes a model-theoretic framework for investigating the logic and semantics of that interaction. The framework is put forward in an ecumenical spirit: it is intended to be applicable to all theories of vagueness that express vagueness using a definiteness (or: determinacy) operator. We will show how (...) epistemicists, supervaluationists, and theorists of metaphysical vagueness like Barnes and Williams (2010) can interpret the framework.  We will also present a complete axiomatization of the logic we recommend to both epistemicists and local supervaluationists. . (shrink)

This paper develops a novel problem for representationalism (also known as "intentionalism"), a popular contemporary account of perception. We argue that representationalism is incompatible with supervaluationism, the leading contemporary account of vagueness. The problem generalizes to naive realism and related views, which are also incompatible with supervaluationism.

In this paper I investigate an alternative to imprecise probabilism. Imprecise probabilism is a popular revision of orthodox Bayesianism: while the orthodox Bayesian claims that a rational agent’s belief-state can be represented by a single credence function, the imprecise probabilist claims instead that a rational agent’s belief-state can be represented by a set of such functions. The alternative that I put forward in this paper is to claim that the expression ‘credence’ is vague, and then apply the theory of supervaluationism (...) to sentences containing this expression. This gives us a viable alternative to imprecise probabilism, and I end by comparing the two accounts. I show that supervaluationism has a simpler way of handling sentences relating the belief-states of two different people, or of the same person at two different times; that both accounts may have the resources to develop plausible decision theories; and finally that the supervaluationist can accommodate higher-order vagueness in a way that is not available to the imprecise probabilist. (shrink)

In this article I shall consider two seemingly contradictory claims: first, the claim that everybody who thinks that there are ordinary objects has to accept that they are vague, and second, the claim that everybody has to accept the existence of sharp boundaries to ordinary objects. The purpose of this article is of course not to defend a contradiction. Indeed, there is no contradiction because the two claims do not concern the same ‘everybody’. The first claim, that all ordinary objects (...) are vague, is a claim that stems both from common sense intuitions as well as from various types of ontologies of ordinary objects. This puts then pressure on theories of vagueness to account for the vague nature of ordinary objects – but, as we shall see, all theories of vagueness have to accept the existence of sharp thresholds. This is obvious in the case of epistemicism, and it is a well-known defect of supervaluationism, but as we will see friends of metaphysical vagueness do have to endorse the existence of sharp thresholds in their theory as well. Consequently, there are reasons for dissatisfaction with these accounts, since they do not seem to be able to do the job we asked them to do. (shrink)

The claim that all vagueness must be a feature of language or thought is the current orthodoxy. This is a claim about the “location” of vagueness. “Locating Vagueness” argues that this claim is false, largely by defending the possibility of borderline cases in the absence of language and thought. If the orthodoxy about the location of vagueness is false, then so too is any account of the “nature” of vagueness that implies that orthodoxy. So this paper concludes that various accounts (...) of the nature of vagueness are false. Among such accounts, so this paper argues, are the standard versions of supervaluationism and the standard versions of epistemicism. So I conclude that those accounts are false. Along the way, I present, and uncover ways to motivate, several heretical accounts of the nature of vagueness, including nonstandard versions of both supervaluationism and epistemicism. (shrink)

This dissertation explores several illuminating points of intersection between the philosophy of perception and the philosophy of vagueness. Among other things, I argue: (i) that it is entirely unhelpful to theorize about perception or consciousness using Nagelian "what it's like" talk; (ii) that a popular recent account of perceptual phenomenology (representationalism) conflicts with our best theory of vagueness (supervaluationism); (iii) that there are no vague properties, for Evans-esque reasons; (iv) that it is impossible to insert "determinacy" operators into representationalism in (...) a truth-preserving manner; and (v) that strong versions of dualism are unable to accommodate the possibility of borderline consciousness. (shrink)

In this paper, I argue that the disjunction elimination rule presupposes the principle that a true disjunction contains at least one true disjunct. However, in some contexts such as supervaluationism or quantum logic, we have good reasons to reject this principle. Hence, disjunction elimination is restricted in at least one respect: it is not applicable to disjunctions for which this principle does not hold. The insight that disjunction elimination presupposes the principle that a true disjunction contains at least one true (...) disjunct is applied to two arguments which argue for this very principle. I show that these arguments are rule-circular since they rest on disjunction elimination. I claim that rule-circularity better explains why the arguments fail than the explanations provided by Rumfitt (2015), which, for instance, rely on controversial principles about truth. (shrink)

Supervaluationism is often described as the most popular semantic treatment of indeterminacy. There’s little consensus, however, about how to fill out the bare-bones idea to include a characterization of logical consequence. The paper explores one methodology for choosing between the logics: pick a logic thatnorms beliefas classical consequence is standardly thought to do. The main focus of the paper considers a variant of standard supervaluational, on which we can characterizedegrees of determinacy. It applies the methodology above to focus ondegree logic. (...) This is developed first in a basic, single-premise case; and then extended to the multipremise case, and to allowdegreesof consequence. The metatheoretic properties of degree logic are set out. On the positive side, the logic is supraclassical—all classical valid sequents are degree logic valid. Strikingly, metarules such as cut and conjunction introduction fail. (shrink)

Is there an interesting relation between the Preface paradox and the Sorites paradox that might be used to illuminate either or both of those paradoxes and the phenomena of rationality and vagueness with which they, respectively, are bound up? In particular, if we consider the analogy alongside a familiar response to the Preface Paradox that employs degrees of belief, does this give any support to the thought that we should adopt some kind of degree-theoretic treatment of vagueness and the sorites? (...) This chapter argues that it does not; indeed exploring the disanalogies contributes to a case against such a treatment of vagueness more generally. Among other views, it considers Edgington’s account of vagueness that employs a probabilistic structure of “verities”. It then contends that appeal to the framework of supervaluationism yields a better guide to reasoning in vague language than the degree-theoretic treatment can sustain. (shrink)

The supervaluationist approach to branching time (‘SBT-theory’) appears to be threatened by the puzzle of retrospective determinacy: if yesterday I uttered the sentence ‘It will be sunny tomorrow’ and only in some worlds overlapping at the context of utterance it is sunny the next day, my utterance is to be assessed as neither true nor false even if today is indeed a sunny day. John MacFarlane (“Truth in the Garden of Forking Paths” 81) has recently criticized a promising solution (...) to this puzzle for falling short of an adequate account of ‘actually’. In this paper, I aim to rebut MacFarlane's criticism. To this effect, I argue that: (i) ‘actually’ can be construed either as an indexical or as a nonindexical operator; (ii) if ‘actually’ is nonindexical, MacFarlane's criticism is invalid; (iii) there appear to be independent reasons for SBT-theorists to claim that ‘actually’ is a nonindexical expression. (shrink)

Supervaluationism is a well known theory of vagueness. Subvaluationism is a less well known theory of vagueness. But these theories cannot be taken apart, for they are in a relation of duality that can be made precise. This paper provides an introduction to the subvaluationist theory of vagueness in connection to its dual, supervaluationism. A survey on the supervaluationist theory can be found in the Compass paper of Keefe (2008); our presentation of the theory in this paper will be (...) short to get rapidly into the logical issues. This paper is relatively self-contained. A modest background on propositional modal logic is, though not strictly necessary, advisable. The reader might find useful the Compass papers Kracht (2011) and Negri (2011) (though these papers cover issues of more complexity than what is demanded to follow this paper). (shrink)

Growing-Block theorists hold that past and present things are real, while future things do not yet exist. This generates a puzzle: how can Growing-Block theorists explain the fact that some sentences about the future appear to be true? Briggs and Forbes develop a modal ersatzist framework, on which the concrete actual world is associated with a branching-time structure of ersatz possible worlds. They then show how this branching structure might be used to determine the truth values of future contingents. They (...) point out three different ways of interpreting the logical connectives, which give rise to three different logics of the open future: one supervaluationist, one corresponding to Lukasiewicz's strong Kleene logic, and one intuitionist. (shrink)

The truthmaker theory rests on the thesis that the link between a true judgment and that in the world to which it corresponds is not a one-to-one but rather a one-to-many relation. An analogous thesis in relation to the link between a singular term and that in the world to which it refers is already widely accepted. This is the thesis to the effect that singular reference is marked by vagueness of a sort that is best understood in supervaluationist (...) terms. In what follows we show that the supervaluationist approach to singular reference, when wedded to the truthmaker idea, yields a framework of surprising power, which offers a uniform set of solutions to a range of problems regarding identity, reference and knowledge, problems which have hitherto been dealt with on an ad hoc basis. (shrink)

Kilimanjaro is an example of what some philosophers would call a ‘vague object’: it is only roughly 5895 m tall, its weight is not precise and its boundaries are fuzzy because some particles are neither determinately part of it nor determinately not part of it. It has been suggested that this vagueness arises as a result of semantic indecision: it is because we didn’t make up our mind what the expression “Kilimanjaro” applies to that we can truthfully say such things (...) as “It is indeterminate whether this particle is part of Kilimanjaro”. After reviewing some of the limitations of this approach, I will propose an alternative account, based on a new semantic relation—multiple reference—capable of holding in a one-many pattern between a term and several objects in the domain. I will explain how multiple reference works, what differentiates it from plural reference and how it might be used to accommodate at least some aspects of our ordinary discourse about vague objects. (shrink)

The purpose of this paper is to challenge some widespread assumptions about the role of the modal axiom 4 in a theory of vagueness. In the context of vagueness, axiom 4 usually appears as the principle ‘If it is clear (determinate, definite) that A, then it is clear (determinate, definite) that it is clear (determinate, definite) that A’, or, more formally, CA → CCA. We show how in the debate over axiom 4 two different notions of clarity are in play (...) (Williamson-style "luminosity" or self-revealing clarity and concealeable clarity) and what their respective functions are in accounts of higher-order vagueness. On this basis, we argue first that, contrary to common opinion, higher-order vagueness and S4 are perfectly compatible. This is in response to claims like that by Williamson that, if vagueness is defined with the help of a clarity operator that obeys axiom 4, higher-order vagueness disappears. Second, we argue that, contrary to common opinion, (i) bivalence-preservers (e.g. epistemicists) can without contradiction condone axiom 4 (by adopting what elsewhere we call columnar higher-order vagueness), and (ii) bivalence-discarders (e.g. open-texture theorists, supervaluationists) can without contradiction reject axiom 4. Third, we rebut a number of arguments that have been produced by opponents of axiom 4, in particular those by Williamson. (The paper is pitched towards graduate students with basic knowledge of modal logic.). (shrink)

Indeterminacy in its various forms has been the focus of a great deal of philosophical attention in recent years. Much of this discussion has focused on the status of vague predicates such as ‘tall’, ‘bald’, and ‘heap’. It is determinately the case that a seven-foot person is tall and that a five-foot person is not tall. However, it seems difficult to pick out any determinate height at which someone becomes tall. How best to account for this phenomenon is, of course, (...) a controversial matter. For example, some (such as Sorensen (2001) and Williamson (2002)) maintain that there is a precise height at which someone becomes tall and such apparent cases of indeterminacy merely reflects our ignorance of this fact. Others maintain that there is some genuine – and not merely epistemic – indeterminacy present is such cases and offer various accounts of how best to account for it. Supervaluationists (such as Keefe (2008)), for example, claim that the indeterminacy with respect to vague terms lies in their not having a single definite extension. Rather, each term is associated with a range of possible precise extensions or precisifications such that it is semantically unsettled which is the correct extension. One precisification of ‘tall’ might allow that anyone over five feet ten inches is tall, whereas another would only allow those over six foot to qualify; but no precisification will take someone who is five foot to be tall, and someone who is seven foot will count as tall on all precisifications. Thus – while someone who is seven foot will be determinately tall and someone who is five foot determinately not so – it will be indeterminate whether someone who stands at five foot eleven inches is tall. -/- Yet, it is important to stress that putative cases of indeterminacy are not limited to vague predicates of this kind. Philosophers have invoked indeterminacy in discussions of topics as diverse as moral responsibility (Bernstein (forthcoming)), identity over time (Williams (2014)), and the status of the future (Barnes and Cameron (2009)). In this paper, we focus on two areas where discussion of various kinds of indeterminacy has been commonplace: physics and fiction. We propose a new model for understanding indeterminacy across these domains and argue that it has some notable advantages when compared to earlier accounts. Treating physics and fiction cases univocally also indicates an interesting connection between indeterminacy in these two areas. (shrink)

At least since Aristotle’s famous 'sea-battle' passages in On Interpretation 9, some substantial minority of philosophers has been attracted to the doctrine of the open future--the doctrine that future contingent statements are not true. But, prima facie, such views seem inconsistent with the following intuition: if something has happened, then (looking back) it was the case that it would happen. How can it be that, looking forwards, it isn’t true that there will be a sea battle, while also being true (...) that, looking backwards, it was the case that there would be a sea battle? This tension forms, in large part, what might be called the problem of future contingents. A dominant trend in temporal logic and semantic theorizing about future contingents seeks to validate both intuitions. Theorists in this tradition--including some interpretations of Aristotle, but paradigmatically, Thomason (1970), as well as more recent developments in Belnap, et. al (2001) and MacFarlane (2003, 2014)--have argued that the apparent tension between the intuitions is in fact merely apparent. In short, such theorists seek to maintain both of the following two theses: (i) the open future: Future contingents are not true, and (ii) retro-closure: From the fact that something is true, it follows that it was the case that it would be true. It is well-known that reflection on the problem of future contingents has in many ways been inspired by importantly parallel issues regarding divine foreknowledge and indeterminism. In this paper, we take up this perspective, and ask what accepting both the open future and retro-closure predicts about omniscience. When we theorize about a perfect knower, we are theorizing about what an ideal agent ought to believe. Our contention is that there isn’t an acceptable view of ideally rational belief given the assumptions of the open future and retro-closure, and thus this casts doubt on the conjunction of those assumptions. (shrink)

A plausible thought about vagueness is that it involves semantic incompleteness. To say that a predicate is vague is to say (at the very least) that its extension is incompletely specified. Where there is incomplete specification of extension there is indeterminacy, an indeterminacy between various ways in which the specification of the predicate might be completed or sharpened. In this paper we show that this idea is bound to founder by presenting an argument to the effect that there are vague (...) predicates which cannot be sharpened in such a way as to meet certain basic constraints (of penumbral connection and public accessibility) that must be imposed on the very notion of a sharpening. (shrink)

There are two ways of understanding the notion of a contradiction: as a conjunction of a statement and its negation, or as a pair of statements one of which is the negation of the other. Correspondingly, there are two ways of understanding the Law of Non-Contradiction (LNC), i.e., the law that says that no contradictions can be true. In this paper I offer some arguments to the effect that on the first (collective) reading LNC is non-negotiable, but on the second (...) (distributive) reading it is perfectly plausible to suppose that LNC may, in some rather special and perhaps undesirable circumstances, fail to hold. (shrink)

Simple taste predications come with an `acquaintance requirement': they require the speaker to have had a certain kind of first-hand experience with the object of predication. For example, if I tell you that the crème caramel is delicious, you would ordinarily assume that I have actually tasted the crème caramel and am not simply relying on the testimony of others. The present essay argues in favor of a lightweight expressivist account of the acquaintance requirement. This account consists of a recursive (...) semantics and an account of assertion; it is compatible with a number of different accounts of truth and content, including contextualism, relativism, and purer forms of expressivism. The principal argument in favor of this account is that it correctly predicts a wide range of data concerning how the acquaintance requirement interacts with Boolean connectives, generalized quantifiers, epistemic modals, and attitude verbs. (shrink)

Logical consequence is typically construed as a metalinguistic relation between sentences. Deflationism is an account of logic that challenges this orthodoxy. In Williamson’s recent presentation of deflationism, logic’s primary concern is with universal generalizations over absolutely everything. As well as an interesting account of logic in its own right, deflationism has also been recruited to decide between competing logics in resolving semantic paradoxes. This paper defends deflationism from its most important challenge to date, due to Ole Hjortland. It then presents (...) two new problems for the view. Hjortland’s objection is that deflationism cannot discriminate between distinct logics. I show that his example of classical logic and supervaluationism depends on equivocating about whether the language includes a “definitely” operator. Moreover, I prove a result that blocks this line of objection no matter the choice of logics. I end by criticizing deflationism on two fronts. First, it cannot do the work it has been recruited to perform. That is, it cannot help adjudicate between competing logics. This is because a theory of logic cannot be as easily separated from a theory of truth as its proponents claim. Second, deflationism currently has no adequate answer to the following challenge: what does a sentence’s universal generalization have to do with its logical truth? I argue that the most promising, stipulative response on behalf of the deflationist amounts to an unwarranted change of subject. (shrink)

A number of Bayesians claim that, if one has no evidence relevant to a proposition P, then one's credence in P should be spread over the interval [0, 1]. Against this, I argue: first, that it is inconsistent with plausible claims about comparative levels of confidence; second, that it precludes inductive learning in certain cases. Two motivations for the view are considered and rejected. A discussion of alternatives leads to the conjecture that there is an in-principle limitation on formal representations (...) of belief: they cannot be both fully accurate and maximally specific. (shrink)

One might suppose that Everettian quantum mechanics (EQM) is inhospitable to metaphysial indeterminacy (MI), given that, as A. Wilson (2020) puts it, "the central idea of EQM is to replace indeterminacy with multiplicity" (77). But as Wilson goes on to suggest, the popular decoherence-based understanding of EQM (henceforth: DEQM) appears to admit of indeterminacy in both world number and world nature, where the latter indeterminacy---our focus here---is plausibly metaphysical. After a brief presentation of DEQM (S1), we bolster the case for (...) there being MI in world nature in DEQM (S2). The remainder of the paper is devoted to a comparative assessment of the two main approaches to MI for purposes of accommodating this MI---namely, a metaphysical supervaluationist approach (as per Barnes and Williams 2011) and a determinable-based approach (as per Wilson 2013 and Calosi and Wilson 2018 and 2021). We briefly describe each approach (S3), then offer arguments in favour of a determinable-based approach to world nature MI in DEQM (S4). (shrink)

Abstract: I argue that practically all vague language is context-sensitive in a covert and unfamiliar way. I first outline a novel puzzle concerning the interaction of conditionals and vagueness. I then argue that the best way of resolving the puzzle is through positing context-sensitive penumbral connections between sundry parts of language. I argue that these penumbral connections shift through a distinct form of Lewisian accommodation. The upshot is that meaning is a far shiftier thing than has typically been thought.

In a recent paper, Lee Kerckhove and Sara Waller (hereafter K & W) argue that the concept of personhood is irrelevant for the abortion debate.1 Surprisingly, this irrelevance is due merely to the fact that the predicate ‘being a person’ — hereafter ‘personhood’ — is inherently vague. This vagueness, they argue, reduces ‘personhood’ to incoherency and disqualifies the notion from being a useful moral concept. In other words, if ‘personhood’ isn’t a precise notion with well-defined boundaries, then it cannot be (...) of any use in the debate over the permissibility of abortion. This argument is mistaken. While it may be true that ‘personhood’ is irrelevant for the debate over abortion (a substantive issue not dealt with in this paper), it is not true that ‘personhood’ should be disqualified merely because it is vague. Section 2 of the paper is a quick survey in which I briefly review the importance of ‘personhood’ in some of the more recent literature concerning the moral status of abortion. Section 3 is a reconstruction of K & W’s argument against the relevancy of ‘personhood’ and a criticism showing why their argument fails. Section 4 approaches the use of a vague predicate in moral debate and explores the application of ‘personhood’ given three contemporary solutions to vagueness: degree theory, epistemicism and supervaluationism. (shrink)

We provide a framework for understanding agnosticism. The framework accounts for the varieties of agnosticism while vindicating the unity of the phenomenon. This combination of unity and plurality is achieved by taking the varieties of agnosticism to be represented by several agnostic stances, all of which share a common core provided by what we call the minimal agnostic attitude. We illustrate the fruitfulness of the framework by showing how it can be applied to several philosophical debates. In particular, several philosophical (...) positions can be aptly conceived of as instances of agnosticism whilst retaining their differences and distinguishing features. (shrink)

If one believes that vagueness is an exclusively representational phenomenon, one faces the problem of the many. In the vicinity of Kilimanjaro, there are many many ‘mountain candidates’ all, apparently, with more-or-less equal claim to be mountains. David Lewis has defended a radical claim: that all the billions of mountain candidates are mountains. This paper argues that the supervaluationist about vagueness should adopt Lewis’ proposal, on pain of losing their best explanation of the seductiveness of the sorites.

There are three main traditional accounts of vagueness : one takes it as a genuinely metaphysical phenomenon, one takes it as a phenomenon of ignorance, and one takes it as a linguistic or conceptual phenomenon. In this paper I first very briefly present these views, especially the epistemicist and supervaluationist strategies, and shortly point to some well-known problems that the views carry. I then examine a 'statistical epistemicist' account of vagueness that is designed to avoid precisely these problems – (...) it will be a view that provides an account of the phenomenon of vagueness as coming from our linguistic practices, while insisting that meaning supervenes on use, and that our use of vague terms does yield sharp and precise meanings, which we ignore, thus allowing bivalence to hold. (shrink)

The truthmaker theory rests on the thesis that the link between a true judgment and that in the world to which it corresponds is not a one-to-one but rather a one-to-many relation. An analogous thesis in relation to the link between a singular term and that in the world to which it refers is already widely accepted. This is the thesis to the effect that singular reference is marked by vagueness of a sort that is best understood in supervaluationist (...) terms. In what follows we show that the supervaluationist approach to singular reference, when wedded to the truthmaker idea, yields a framework of surprising power, which offers a uniform set of solutions to a range of problems regarding identity, reference and knowledge, problems which have hitherto been dealt with on an ad hoc basis. (shrink)

Imprecise probabilities are often modelled with representors, or sets of probability functions. In the recent literature, two ways of interpreting representors have emerged as especially prominent: vagueness interpretations, according to which each probability function in the set represents how the agent's beliefs would be if any vagueness were precisified away; and comparativist interpretations, according to which the set represents those comparative confidence relations that are common to all probability functions therein. I argue that these interpretations have some important limitations. I (...) also propose an alternative—the functional interpretation—according to which representors are best interpreted by reference to the roles they play in the theories that make use of them. (shrink)

Deflationists about truth hold that the function of the truth predicate is to enable us to make certain assertions we could not otherwise make. Pragmatists claim that the utility of negation lies in its role in registering incompatibility. The pragmatist insight about negation has been successfully incorporated into bilateral theories of content, which take the meaning of negation to be inferentially explained in terms of the speech act of rejection. We implement the deflationist insight in a bilateral theory by taking (...) the meaning of the truth predicate to be explained by its inferential relation to assertion. We combine this account of the meaning of the truth predicate with a new diagnosis of the Liar Paradox: its derivation requires the truth rules to preserve evidence, but these rules only preserve commitment. The result is a novel inferential deflationist theory of truth, which solves the Liar Paradox in a principled manner. We end by showing that our theory and simple extensions thereof have the resources to axiomatize the internal logic of several supervaluational hierarchies, including Cantini’s. This solves open problems of Halbach (2011) and Horsten (2011). (shrink)

In this chapter we consider three philosophical perspectives (including those of Stalnaker and Lewis) on the question of whether and how the principle of conditional excluded middle should figure in the logic and semantics of counterfactuals. We articulate and defend a third view that is patterned after belief revision theories offered in other areas of logic and philosophy. Unlike Lewis’ view, the belief revision perspective does not reject conditional excluded middle, and unlike Stalnaker’s, it does not embrace supervaluationism. We adduce (...) both theoretical and empirical considerations to argue that the belief revision perspective should be preferred to its alternatives. The empirical considerations are drawn from the results of four empirical studies (which we report below) of non-experts’ judgments about counterfactuals and conditional excluded middle. (shrink)

In matters of personal taste, faultless disagreement occurs between people who disagree over what is tasty, fun, etc., in those cases when each of these people seems equally far from the objective truth. Faultless disagreement is often taken as evidence that truth is relative. This article aims to help us avoid the truth-relativist conclusion. The article, however, does not argue directly against relativism; instead, the article defends non-relative truth constructively, aiming to explain faultless disagreement with the resources of semantic contextualism. (...) To this end the article describes and advocates a contextualist solution inspired by supervaluationist truth-value gap approaches. The solution presented here, however, does not require truth value gaps; it preserves both logical bivalence and non-relative truth, even while it acknowledges and explains the possibility of faultless disagreement. The solution is motivated by the correlation between assertions’ being true and their being useful. This correlation, furthermore, is used not only to tell which assertions are true, but also to determine which linguistic intuitions are reliable. (shrink)

This commentary is devoted to offer a rejoinder to an argument by Schiffer against semantic accounts of vagueness (typically relying on supervaluationist techniques) based on indirect discourse. A short sketch of the argument can be found on pp. 246-48 of ‘Vagueness and Partial Belief’ ; a more elaborated presentation occurs in “TWOIs sues of Vagueness”.

Recently four different papers have suggested that the supervaluational solution to the Problem of the Many is flawed. Stephen Schiffer (1998, 2000a, 2000b) has argued that the theory cannot account for reports of speech involving vague singular terms. Vann McGee and Brian McLaughlin (2000) say that theory cannot, yet, account for vague singular beliefs. Neil McKinnon (2002) has argued that we cannot provide a plausible theory of when precisifications are acceptable, which the supervaluational theory needs. And Roy Sorensen (2000) argues (...) that supervaluationism is inconsistent with a directly referential theory of names. McGee and McLaughlin see the problem they raise as a cause for further research, but the other authors all take the problems they raise to provide sufficient reasons to jettison supervaluationism. I will argue that none of these problems provide such a reason, though the arguments are valuable critiques. In many cases, we must make some adjustments to the supervaluational theory to meet the posed challenges. The goal of this paper is to make those adjustments, and meet the challenges. (shrink)

If Mont Blanc is a vague object, then its vagueness will depend on the context in which reference is made. In a geological context the mountain might include only rock, perhaps together with a certain amount of air in the crevices and tunnels which have been formed beneath its surface. In a context of soil chemistry we might include also a surrounding thin layer of organic matter. In a skiing context we might include some snow. This essay sketches in informal (...) terms the theory of granular partitions, which is designed to do justice to this context-dependence of vagueness by means of what might be described as a contextualized supervaluationism. Granularity and vagueness, it is argued, are two sides of a single coin: what is vague at one level of granularity may appear crisp at another. The resultant theory can be shown to resolve certain problems in our description of perceptual content, for example when John says that he sees the wall, but that he does not see the molecules by which the wall is constituted. (shrink)

This chapter discusses the defence of metaphysical indeterminacy by Elizabeth Barnes and Robert Williams and discusses a classical and bivalent theory of such indeterminacy. Even if metaphysical indeterminacy arguably is intelligible, Barnes and Williams argue in favour of it being so and this faces important problems. As for classical logic and bivalence, the chapter problematizes what exactly is at issue in this debate. Can reality not be adequately described using different languages, some classical and some not? Moreover, it is argued (...) that the classical and bivalent theory of Barnes and Williams does not avoid the problems that arise for rival theories. (shrink)

This paper explores the interaction of well-motivated (if controversial) principles governing the probability conditionals, with accounts of what it is for a sentence to be indefinite. The conclusion can be played in a variety of ways. It could be regarded as a new reason to be suspicious of the intuitive data about the probability of conditionals; or, holding fixed the data, it could be used to give traction on the philosophical analysis of a contentious notion—indefiniteness. The paper outlines the various (...) options, and shows that ‘rejectionist’ theories of indefiniteness are incompatible with the results. Rejectionist theories include popular accounts such as supervaluationism, non-classical truth-value gap theories, and accounts of indeterminacy that centre on rejecting the law of excluded middle. An appendix compares the results obtained here with the ‘impossibility’ results descending from Lewis ( 1976 ). (shrink)