Recently, Yalcin (Epistemic modals. Mind, 116 , 983–1026, 2007) put forward a novel account of epistemic modals. It is based on the observation that sentences of the form ‘ & Might ’ do not embed under ‘suppose’ and ‘if’. Yalcin concludes that such sentences must be contradictory and develops a notion of informational consequence which validates this idea. I will show that informational consequence is inadequate as an account of the logic of epistemic modals: it cannot deal with reasoning from (...) uncertain premises. Finally, I offer an alternative way of explaining the relevant linguistic data. (shrink)

It’s not clear what supervaluationists should say about propositional content. Does a vague sentence, e.g., ‘Harry is bald’, express one proposition, or a barrage of propositions, or none at all? Or is the matter indeterminate? The supervaluationist canon is not decisive on the issue; authoritative passages can be cited in favor of each of the proposals just mentioned. Furthermore, some detractors have argued that supervaluationism is incapable of providing any coherent account of propositional content. This paper considers each of the (...) proposals for how many propositions are expressed by a vague sentence: none, some, all, or it’s indeterminate. Most of these proposals turn out to be unworkable in the metalanguage. I conclude that orthodox supervaluationists—those who identify truth with supertruth—must either relax the standard requirement that propositions be bivalent, or else alter the standard relation between sentences and propositions in which a sentence inherits its truth-conditions from the proposition it expresses. The best option going forward for the orthodox supervaluationist is perhaps the most surprising—amend the requirement that propositions be bivalent. I argue that propositions having supervaluational truth-conditions are best suited to fill the propositional roles in the semantic theory of a vague language. These propositions admit of truth-value gaps, and gappy propositions are controversial, but I argue that they earn their keep. (shrink)

Vagueness manifests itself (among other things) in our inability to find boundaries to the extension of vague predicates. A semantic theory of vagueness plans to justify this inability in terms of the vague semantic rules governing language and thought. According to a supporter of semantic theory, the inability to find such a boundary is not dependent on epistemic limits and an omniscient being like God would be equally unable. Williamson (Vagueness, 1994 ) argued that cooperative omniscient beings adequately instructed would (...) find a precise boundary in a sorites series and that, for this reason, the semantic theory misses its target, while Hawthorne (Philosophical Studies 122:1–25, 2005 ) stood with the semantic theorists and argued that the linguistic behaviour of a cooperative omniscient being like God would clearly demonstrate that he does not find a precise boundary in the sorites series. I argue that Hawthorne’s definition of God’s cooperative behaviour cannot be accepted and that, contrary to what has been assumed by both Williamson and Hawthorne, an omniscient being like God cannot be a cooperative evaluator of a semantic theory of vagueness. (shrink)

This piece gives an overview of the supervaluationist theory of vagueness. According to that theory, a sentence is true if and only if it is true on all ways of making it precise. This yields borderline case predications that are neither true nor false, but yet classical logic is preserved almost entirely. The article presents the view and some of its merits and briefly compares it with other theories of vagueness. It raises issues about higher-order vagueness and the definitely operator (...) and about the supervaluationist's accounts of truth and validity. (shrink)

Logical Pluralists maintain that there is more than one genuine/true logical consequence relation. This paper seeks to understand what the position could amount to and some of the challenges faced by its formulation and defence. I consider in detail Beall and Restall’s Logical Pluralism—which seeks to accommodate radically different logics by stressing the way that they each fit a general form, the Generalised Tarski Thesis (GTT)—arguing against the claim that different instances of GTT are admissible precisifications of logical consequence. I (...) then consider what it is to endorse a logic within a pluralist framework and criticise the options Beall and Restall entertain. A case study involving many-valued logics is examined. I next turn to issues of the applications of different logics and questions of which logic a pluralist should use in particular contexts. A dilemma regarding the applicability of admissible logics is tackled and it is argued that application is a red herring in relation to both understanding and defending a plausible form of logical pluralism. In the final section, I consider other ways to be and not to be a logical pluralist by examining analogous positions in debates over religious pluralism: this, I maintain, illustrates further limitations and challenges for a very general logical pluralism. Certain less wide-ranging pluralist positions are more plausible in both cases, I suggest, but assessment of those positions needs to be undertaken on a case-by-case basis. (shrink)

This paper claims that there is a plausible sense in which validity is a matter of truth preservation relative to interpretations of the sentences that occur in an argument, although it is not the sense one might have in mind. §1 outlines three independent problems: the first is the paradox of the sorites, the second concerns the fallacy of equivocation, and the third arises in connection with the standard treatment of indexicals. §2 elucidates the claim about validity, while §§3-5 show (...) how the three problems outlined can be handled in accordance with it. §6 explains how the claim squares with the traditional idea that validity is related to formality, and in particular with a broadly accepted definition based on that idea, the model-theoretic definition of logical consequence. Unlike other works on the subject, this paper does not focus on necessity. It is not its intention to provide a characterization of necessity that conforms to some ideal of rigour or to some pre-theoretical understanding of validity. What follows can be taken as conditional on the assumption that such a characterization can be provided. (shrink)

It might be thought that vagueness precludes the possibility of classical conceptual analysis and, thus, that the classical or definitional view of the nature of complex concepts is incorrect. The present paper argues that classical analysis can be had for concepts expressed by vague language since (1) all of the general theories of vagueness are compatible with the thesis that all complex concepts have classical analyses and also that (2) the meaning of vague expressions can be analyzed by having the (...) degree of vagueness of a given analysandum be mapped onto the vagueness of an analysans. (shrink)

Though it is standardly assumed that supervaluationism applied to vagueness is committed to global validity, Achille Varzi (2007) argues that the supervaluationist should take seriously the idea of adopting local validity instead. Varzi’s motivation for the adoption of local validity is largely based on two objections against the global notion: that it brings some counterexamples to classically valid rules of inference and that it is inconsistent with unrestricted higher-order vagueness. In this discussion I review these objections and point out ways (...) to address them not considered in Varzi’s paper. (shrink)

This article deals with supervaluationism and the failure of truth-functionality. It draws some distinctions that may contribute to a better understanding of this semantic framework.

In this paper we investigate a semantics for first-order logic originally proposed by R. van Rooij to account for the idea that vague predicates are tolerant, that is, for the principle that if x is P, then y should be P whenever y is similar enough to x. The semantics, which makes use of indifference relations to model similarity, rests on the interaction of three notions of truth: the classical notion, and two dual notions simultaneously defined in terms of it, (...) which we call tolerant truth and strict truth. We characterize the space of consequence relations definable in terms of those and discuss the kind of solution this gives to the sorites paradox. We discuss some applications of the framework to the pragmatics and psycholinguistics of vague predicates, in particular regarding judgments about borderline cases. (shrink)

Paraconsistent approaches have received little attention in the literature on vagueness (at least compared to other proposals). The reason seems to be that many philosophers have found the idea that a contradiction might be true (or that a sentence and its negation might both be true) hard to swallow. Even advocates of paraconsistency on vagueness do not look very convinced when they consider this fact; since they seem to have spent more time arguing that paraconsistent theories are at least as (...) good as their paracomplete counterparts, than giving positive reasons to believe on a particular paraconsistent proposal. But it sometimes happens that the weakness of a theory turns out to be its mayor ally, and this is what (I claim) happens in a particular paraconsistent proposal known as subvaluationism. In order to make room for truth-value gluts subvaluationism needs to endorse a notion of logical consequence that is, in some sense, weaker than standard notions of consequence. But this weakness allows the subvaluationist theory to accommodate higher-order vagueness in a way that it is not available to other theories of vagueness (such as, for example, its paracomplete counterpart, supervaluationism). (shrink)

I argue that the ‘aoristic’ operators, which are intended to describe the logic of vagueness, do not form a standard modal logic. I redefine the operators so that they do form a standard modal logic, provide a semantics of that logic, and argue that the logic is not as strong as standardly claimed.

How to handle vagueness? One way is to introduce the machinery of acceptable sharpenings, and reinterpret truth as truth-in-all-sharpenings or truth-in-some-sharpenings. A major selling point has been the conservativism of the resulting systems with respect to classical theoremhood and inference. Supervaluationism and subvaluationism possess interesting formal symmetries, a fact that has been used to argue for the subvaluationist approach. However, the philosophical motivation behind each is a different matter. Subvaluationism comes with a standard story that is difficult to sign up (...) to. In this paper, I make use of a variant of Putnam’s well-known idea of linguistic deference, and some results in voting theory, to answer this criticism of subvaluationism. The acceptability intuitions of each member of a linguistic community amount to their voting for one or more acceptable sharpenings, with truth then characterised as truth-in-a--sufficiency-of-sharpenings. This produces a family of logical systems that are close relations of subvaluationism, share its conservatism results, yet have stronger philosophical foundations in the workings of externalist content. (shrink)

Supervaluational accounts of vagueness have come under assault from Timothy Williamson for failing to provide either a sufficiently classical logic or a disquotational notion of truth, and from Crispin Wright and others for incorporating a notion of higher-order vagueness, via the determinacy operator, which leads to contradiction when combined with intuitively appealing ‘gap principles’. We argue that these criticisms of supervaluation theory depend on giving supertruth an unnecessarily central role in that theory as the sole notion of truth, rather than (...) as one mode of truth. Allowing for the co-existence of supertruth and local truth, we define a notion of local entailment in supervaluation theory, and show that the resulting logic is fully classical and allows for the truth of the gap principles. Finally, we argue that both supertruth and local truth are disquotational, when disquotational principles are properly understood. (shrink)