A sorites argument is a symptom of the vagueness of the predicate with which it is constructed. A vague predicate admits of at least one dimension of variation (and typically more than one) in its intended range along which we are at a loss when to say the predicate ceases to apply, though we start out confident that it does. It is this feature of them that the sorites arguments exploit. Exactly how is part of the subject of this (...) paper. The majority of philosophers writing on vagueness take it to be a kind of semantic phenomenon. If we are right, they are correct in this assumption, which is surely the default position, but they have not so far provided a satisfactory account of the implications of this or a satisfactory diagnosis of the sorites arguments. Other philosophers have urged more exotic responses, which range from the view that the fault lies not in our language, but in the world, which they propose to be populated with vague objects which our semantics precisely reflects, to the view that the world and language are both perfectly in order, but that the fault lies with our knowledge of the properties of the words we use (epistemicism). In contrast to the exotica to which some philosophers have found themselves driven in an attempt to respond to the sorites puzzles, we undertake a defense of the commonsense view that vague terms are semantically vague. Our strategy is to take fresh look at the phenomenon of vagueness. Rather than attempting to adjudicate between different extant theories, we begin with certain pre-theoretic intuitions about vague terms, and a default position on classical logic. The aim is to see whether (i) a natural story can be told which will explain the vagueness phenomenon and the puzzling nature of soritical arguments, and, in the course of this, to see whether (ii) there arises any compelling pressure to give up the natural stance. We conclude that there is a simple and natural story to be told, and we tell it, and that there is no good reason to abandon our intuitively compelling starting point. The importance of the strategy lies in its dialectical structure. Not all positions on vagueness are on a par. Some are so incredible that even their defenders think of them as positions of last resort, positions to which we must be driven by the power of philosophical argument. We aim to show that there is no pressure to adopt these incredible positions, obviating the need to respond to them directly. If we are right, semantic vagueness is neither surprising, nor threatening. It provides no reason to suppose that the logic of natural languages is not classical or to give up any independently plausible principle of bivalence. Properly understood, it provides us with a satisfying diagnosis of the sorites argumentation. It would be rash to claim to have any completely novel view about a topic so well worked as vagueness. But we believe that the subject, though ancient, still retains its power to inform and challenge us. In particular, we will argue that taking seriously the central phenomenon of predicate vagueness—the “boundarylessness” of vague predicates—on the commonsense assumption that vagueness is semantic, leads ineluctably to the view that no sentences containing vague expressions (henceforth ‘vague sentences’) are truth-evaluable. This runs counter to much of the literature on vagueness, which commonly assumes that, though some applications of vague predicates to objects fail to be truth-evaluable, in clear positive and negative cases vague sentences are unproblematically true or false. It is clarity on this, and related points, that removes the puzzles associated with vagueness, and helps us to a satisfying diagnosis of why the sorites arguments both seem compelling and yet so obviously a bit of trickery. We give a proof that semantically vague predicates neither apply nor fail-to-apply to anything, and that consequently it is a mistake to diagnose sorites arguments, as is commonly done, by attempting to locate in them a false premise. Sorites arguments are not sound, but not unsound either. We offer an explanation of their appeal, and defend our position against a variety of worries that might arise about it. The plan of the paper is as follows. We first introduce an important distinction in terms of which we characterize what has gone wrong with vague predicates. We characterize what we believe to be our natural starting point in thinking about the phenomenon of vagueness, from which only a powerful argument should move us, and then trace out the consequences of accepting this starting point. We consider the charge that among the consequences of semantic vagueness are that we must give up classical logic and the principle of bivalence, which has figured prominently in arguments for epistemicism. We argue there are no such consequences of our view: neither the view that the logic of natural languages is classical, nor any plausible principle of bivalence, need be given up. Next, we offer a diagnosis of what has gone wrong in sorites arguments on the basis of our account. We then present an argument to show that our account must be accepted on pain of embracing (in one way or another) the epistemic view of “vagueness”, i.e., of denying that there are any semantically vague terms at all. Next, we discuss some worries that may arise about the intelligibility of our linguistic practices if our account is correct. We argue none of these worries should force us from our intuitive starting point. Finally, we cast a quick glance at other forms of semantic incompleteness. (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)

One feature of vague predicates is that, as far as appearances go, they lack sharp application boundaries. I argue that we would not be able to locate boundaries even if vague predicates had sharp boundaries. I do so by developing an idealized cognitive model of a categorization faculty which has mobile and dynamic sortals (`classes', `concepts' or `categories') and formally prove that the degree of precision with which boundaries of such sortals can be located is inversely (...) constrained by their flexibility. Given the literature, it is plausible that we are appropriately like the model. Hence, an inability to locate sharp boundaries is not necessarily because there are none; boundaries could be sharp and it is plausible that we would nevertheless be unable to locate them. (shrink)

Although arguments for and against competing theories of vagueness often appeal to claims about the use of vague predicates by ordinary speakers, such claims are rarely tested. An exception is Bonini et al. (1999), who report empirical results on the use of vague predicates by Italian speakers, and take the results to count in favor of epistemicism. Yet several methodological difficulties mar their experiments; we outline these problems and devise revised experiments that do not show the (...) same results. We then describe three additional empirical studies that investigate further claims in the literature on vagueness: the hypothesis that speakers confuse ‘P’ with ‘definitely P’, the relative persuasiveness of different formulations of the inductive premise of the Sorites, and the interaction of vague predicates with three different forms of negation. (shrink)

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)

Frege supposedly believes that vague predicates have no referent (Bedeutung). But given other things he evidently believes, such a position would seem to commit him to a suspect nihilism according to which assertoric sentences containing vague predicates are neither true nor false. I argue that we have good reason to resist ascribing to Frege the view that vague predicates have no Bedeutung and thus good reason to resist seeing him as committed to the suspect (...) nihilism. In the process, I call attention to several under-appreciated texts in which Frege suggests that a vague predicate, though lacking a Bedeutung of its own, can come to acquire a Bedeutung in certain contexts. The upshot of this suggestion is that vague predicates can serve the purposes of ordinary communication quite well, even if they are useless for logical purposes. (shrink)

In this paper I explore the implications of moral vagueness (viz., the vagueness of moral predicates) for non-naturalist metaethical theories like those recently championed by Shafer-Landau, Parfit, and others. I characterise non-naturalism in terms of its commitment to 7 theses: Cognitivism, Correspondence, Atomism, Objectivism, Supervenience, Non-reductivism, and Rationalism. I start by offering a number of reasons for thinking that moral predicates are vague in the same way in which ‘red’, ‘tall’, and ‘heap’ are said to be. I (...) then argue that the moral non-naturalist seeking to countenance moral vagueness faces a dilemma: are moral properties vague, or perfectly sharp? On either horn of the dilemma, serious problems arise for some of the central tenets of non-naturalism: vague properties seem to threaten Objectivism, Supervenience, and Non-reductivism; on the other hand, sharp properties raise problems for Supervenience and Rationalism. The difficulties on each horn of the dilemma are real, and while they may not be insuperable, they do, at the very least, drastically limit the things non-naturalists can consistently say about moral properties, facts, and reasons. (shrink)

This essay explores the thesis that for vague predicates, uncertainty over whether a borderline instance x of red/large/tall/good is to be understood as practical uncertainty over whether to treat x as red/large/tall/good. Expressivist and quasi-realist treatments of vague predicates due to John MacFarlane and Daniel Elstein provide the stalking-horse. It examines the notion of treating/counting a thing as F , and links a central question about our attitudes to vague predications to normative evaluation of plans (...) to treat a thing as F . The essay examines how the account applies to normatively defective or contested terms. The final section raises a puzzle about the mechanics of MacFarlane’s detailed implementation for the case of gradable adjectives. (shrink)

In this paper I will argue that to accept the principle of tolerance does not provide us with a good explanation of the phenomena of vagueness. I will be mainly concerned with the incoherentist strategy, which accepts tolerance and the consequent incoherence of vague predicates. In fact, incoherentism seems to be the most plausible way of accepting tolerance. Because of this, the rejection of incoherentism might be seen as a way to rescue the alternative theories from the objection (...) that they do not respect the principle of tolerance as a literal truth about vagueness. Despite this, I will conclude that neither incoherentism nor the main alternatives satisfy the criteria for an ideal theory of vagueness. (shrink)

According to extension-shifting theories of vagueness, the extensions of vague predicates have sharp boundaries, which shift as a function of certain psychological factors. Such theories have been claimed to provide an attractive explanation of the appeal of soritical reasoning. I challenge this claim: the demand for such an explanation need not constrain the semantics of vague predicates at all.

I argue that there can be no such thing as a borderline case of the predicate ‘phenomenally conscious’: for any given creature at any given time, it cannot be vague whether that creature is phenomenally conscious at that time. I first defend the Positive Characterization Thesis, which says that for any borderline case of any predicate there is a positive characterization of that case that can show any sufficiently competent speaker what makes it a borderline case. I then appeal (...) to the familiar claim that zombies are conceivable, and I argue that this claim entails that there can be no positive characterizations of borderline cases of ‘phenomenally conscious’. By the Positive Characterization Thesis, it follows that ‘phenomenally conscious’ can not have any borderline cases. (shrink)

In his essay ‘“Wang’s Paradox”’, Crispin Wright proposes a solution to the Sorites Paradox (in particular, the form of it he calls the ‘Paradox of Sharp Boundaries’) that involves adopting intuitionistic logic when reasoning with vague predicates. He does not give a semantic theory which accounts for the validity of intuitionistic logic (and the invalidity of stronger logics) in that area. The present essay tentatively makes good the deficiency. By applying a theorem of Tarski, it shows that intuitionistic (...) logic is the strongest logic that may be applied, given certain semantic assumptions about vague predicates. The essay ends with an inconclusive discussion of whether those semantic assumptions should be accepted. (shrink)

There are some who defend a view of vagueness according to which there are intrinsically vague objects or attributes in reality. Here, in contrast, we defend a view of vagueness as a semantic property of names and predicates. All entities are crisp, on this view, but there are, for each vague name, multiple portions of reality that are equally good candidates for being its referent, and, for each vague predicate, multiple classes of objects that are equally (...) good candidates for being its extension. We provide a new formulation of these ideas in terms of a theory of granular partitions. We show that this theory provides a general framework within which we can understand the relation between vague terms and concepts on the one hand and correlated portions of reality on the other. We also sketch how it might be possible to formulate within this framework a theory of vagueness which dispenses with the notion of truth-value gaps and other artifacts of more familiar approaches. (shrink)

Contemporary discussions do not always clearly distinguish two different forms of vagueness. Sometimes focus is on the imprecision of predicates, and sometimes the indefiniteness of statements. The two are intimately related, of course. A predicate is imprecise if there are instances to which it neither definitely applies nor definitely does not apply, instances of which it is neither definitely true nor definitely false. However, indefinite statements will occur in everyday discourse only if speakers in fact apply imprecise predicates (...) to such indefinite instances. (What makes an instance indefinite is, it should be clear, predicate-relative.) The basic issue in the present inquiry is whether this indefiniteness ever really occurs; the basic question is, Why should it ever occur? (shrink)

A constant of Frege’s writing is his rejection of indeterminate predicates as found in natural language. This paper follows Frege’s remarks on vagueness from the early "Begriffsschrift” to his mature works, drawing brief parallels with the main contemporary theories of vagueness. I critically examine Frege’s arguments for the inconsistency of natural language and argue that the inability to accommodate vagueness in his mature ontology is mainly due to heuristic rules of thumb which Frege took as essential, not to a (...) deep problem in his fundamental apparatus. (shrink)

Most descriptions of higher-order vagueness in terms of traditional modal logic generate so-called higher-order vagueness paradoxes. The one that doesn't is problematic otherwise. Consequently, the present trend is toward more complex, non-standard theories. However, there is no need for this.In this paper I introduce a theory of higher-order vagueness that is paradox-free and can be expressed in the first-order extension of a normal modal system that is complete with respect to single-domain Kripke-frame semantics. This is the system QS4M+BF+FIN. It corresponds (...) to the class of transitive, reflexive and final frames. With borderlineness defined logically as usual, it then follows that something is borderline precisely when it is higher-order borderline, and that a predicate is vague precisely when it is higher-order vague.Like Williamson's, the theory proposed here has no clear borderline cases in Sorites sequences. I argue that objections that there must be clear borderline cases ensue from the confusion of two notions of borderlineness—one associated with genuine higher-order vagueness, the other employed to sort objects into categories—and that the higher-order vagueness paradoxes result from superimposing the second notion onto the first. Lastly, I address some further potential objections. (shrink)

Abstract: We propose a view of vagueness as a semantic property of names and predicates. All entities are crisp, on this semantic view, but there are, for each vague name, multiple portions of reality that are equally good candidates for being its referent, and, for each vague predicate, multiple classes of objects that are equally good candidates for being its extension. We provide a new formulation of these ideas in terms of a theory of granular partitions. We (...) show that this theory provides a general framework within which we can understand the relation between vague terms and concepts and the corresponding crisp portions of reality. We also sketch how it might be possible to formulate within this framework a theory of vagueness which dispenses with the notion of truth-value gaps and other artifacts of more familiar approaches. Central to our approach is the idea that judgments about reality involve in every case (1) a separation of reality into foreground and background of attention and (2) the feature of granularity. On this basis we attempt to show that even vague judgments made in naturally occurring contexts are not marked by truth-value indeterminacy. We distinguish, in addition to crisp granular partitions, also vague partitions, and reference partitions, and we explain the role of the latter in the context of judgments that involve vagueness. We conclude by showing how reference partitions provide an effective means by which judging subjects are able to temper the vagueness of their judgments by means of approximations. (shrink)

Miriam Schoenfield argues that moral realism and moral vagueness imply ontic vagueness. In particular, she argues that neither shifty nor rigid semantic accounts of vagueness can provide a satisfactory explanation of moral vagueness for moral realists. This paper constitutes a response. I argue that Schoenfield's argument against the shifty semantic account presupposes that moral indeterminacies can, in fact, be resolved determinately by crunching through linguistic data. I provide different reasons for rejecting this assumption. Furthermore, I argue that Schoenfield's rejection of (...) the rigid semantic account is based on a presupposition that ultimately implies the very same claim that is under dispute: the vagueness of moral predicates in imperfect languages persists in the perfect language, as well. (shrink)

In The Boundary Stones of Thought, Rumfitt defends classical logic against challenges from intuitionistic mathematics and vagueness, using a semantics of pre-topologies on possibilities, and a topological semantics on predicates, respectively. These semantics are suggestive but the characterizations of negation face difficulties that may undermine their usefulness in Rumfitt’s project.

Contrary to the great bulk of philosophical work on vagueness, the core of vagueness is not to be found in vague monadic predicates such as ‘bald’, ‘tall’, or ‘old’. The true source of vagueness – at least vagueness of the type that typically appears in the sorites – lies beneath these, in a mechanism using a buried quantifier operative over the comparatives ‘balder’, ‘taller’ and ‘older’.

If the semantic value of predicates are, as Williamson assumes, properties, then epistemicism is immediate. Epistemicism fails, so also this properties view of predicates. I use examination of Williamsons position as a foil, showing that his two positive arguments for bivalence fail, and that his efforts to rescue epistemicism from obvious problems fail to the point of incoherence. In Part II I argue that, despite the properties view’s problems, it has an important role to play in combinatorial semantics. (...) We may separate the problem of how smallest parts of language get attached to the world from the problem of how those parts combine to form complex semantic values. For the latter problem we idealize and treat the smallest semantic values as properties (and referents). So doing functions to put to one side how the smallest parts get worldly attachment, a problem that would just get in the way of understanding the combinatorics. Attachment to the world has to be studied separately, and I review some of the options. As a bonus we see why, mostly, higher order vagueness is an artifact of taking properties as semantic values literally instead of as a simplifying idealization. (shrink)

This article provides an intuitive semantic account of a new logic for comparisons (CL), in which atomic statements are assigned both a classical truth-value and a “how much” value or extension in the range [0, 1]. The truth-value of each comparison is determined by the extensions of its component sentences; the truth-value of each atomic depends on whether its extension matches a separate standard for its predicate; everything else is computed classically. CL is less radical than Casari’s comparative logics, in (...) that it does not allow for the formation of comparative statements out of truth-functional molecules. It is argued that CL provides a better analysis of predicate vagueness than classical logic, fuzzy logic or supervaluation theory. (shrink)

On some accounts of vagueness, predicates like “is a heap” are tolerant. That is, their correct application tolerates sufficiently small changes in the objects to which they are applied. Of course, such views face the sorites paradox, and various solutions have been proposed. One proposed solution involves banning repeated appeals to tolerance, while affirming tolerance in any individual case. In effect, this solution rejects the reasoning of the sorites argument. This paper discusses a thorny problem afflicting this approach to (...) vagueness. In particular, it is shown that, on the foregoing view, whether an object is a heap will sometimes depend on factors extrinsic to that object, such as whether its components came from other heaps. More generally, the paper raises the issue of how to count heaps in a tolerance-friendly framework. (shrink)

Vagueness does not necessarily come in with vague predicates, nor need it be expressed by them , but undoubtedly 'vague predicates' are traditionally in the focus of main stream discussions of vagueness. In her current modal logic presentation and discussion of the Sorites paradox Susanne Bobzien[1] lists among the properties of a Sorites series a rather weak modal tolerance principle governing the 'grey zone' containing the borderline cases of the Sorites series, which later proves crucial for (...) her solution of the Sorites paradox by use of epistemic interpreted modal operators in 1st order modal logic. We suggest (for different research interest) instead a non-modal description of the switch in the grey zone (respecting tolerance), by resort to similarity sequences, thus getting tangent to two other areas of research in the field. Let's say -any way- the Sorites paradox vanishes, the Sorites series does not. (shrink)

This paper demarcates a theoretically interesting class of "evaluational adjectives." This class includes predicates expressing various kinds of normative and epistemic evaluation, such as predicates of personal taste, aesthetic adjectives, moral adjectives, and epistemic adjectives, among others. Evaluational adjectives are distinguished, empirically, in exhibiting phenomena such as discourse-oriented use, felicitous embedding under the attitude verb `find', and sorites-susceptibility in the comparative form. A unified degree-based semantics is developed: What distinguishes evaluational adjectives, semantically, is that they denote context-dependent measure (...) functions ("evaluational perspectives")—context-dependent mappings to degrees of taste, beauty, probability, etc., depending on the adjective. This perspective-sensitivity characterizing the class of evaluational adjectives cannot be assimilated to vagueness, sensitivity to an experiencer argument, or multidimensionality; and it cannot be demarcated in terms of pretheoretic notions of subjectivity, common in the literature. I propose that certain diagnostics for "subjective" expressions be analyzed instead in terms of a precisely specified kind of discourse-oriented use of context-sensitive language. I close by applying the account to `find x PRED' ascriptions. (shrink)

The purpose of this essay is to shed some light on a certain type of sentence, which I call a borderline contradiction. A borderline contradiction is a sentence of the form F a ∧ ¬F a, for some vague predicate F and some borderline case a of F , or a sentence equivalent to such a sentence. For example, if Jackie is a borderline case of ‘rich’, then ‘Jackie is rich and Jackie isn’t rich’ is a borderline contradiction. Many (...) theories of vague language have entailments about borderline contradictions; correctly describing the behavior of borderline contradictions is one of the many tasks facing anyone offering a theory of vague language. Here, I first briefly review claims made by various theorists about these borderline contradictions, attempting to draw out some predictions about the behavior of ordinary speakers. Second, I present an experiment intended to gather relevant data about the behavior of ordinary speakers. Finally, I discuss the experimental results in light of several different theories of vagueness, to see what explanations are available. My conclusions are necessarily tentative; I do not attempt to use the present experiment to demonstrate that any single theory is incontrovertibly true. Rather, I try to sketch the auxiliary hypotheses that would need to be conjoined to several extant theories of vague language to predict the present result, and offer some considerations regarding the plausibility of these various hypotheses. In the end, I conclude that two of the theories I consider are better-positioned to account for the observed data than are the others. But the field of logically-informed research on people’s actual responses to vague predicates is young; surely as more data come in we will learn a great deal more about which (if any) of these theories best accounts for the behavior of ordinary speakers. (shrink)

Conventional wisdom has it that truth is always evaluated using our actual linguistic conventions, even when considering counterfactual scenarios in which different conventions are adopted. This principle has been invoked in a number of philosophical arguments, including Kripke’s defense of the necessity of identity and Lewy’s objection to modal conventionalism. But it is false. It fails in the presence of what Einheuser (2006) calls c-monsters, or convention-shifting expressions (on analogy with Kaplan’s monsters, or context-shifting expressions). We show that c-monsters naturally (...) arise in contexts, such as metalinguistic negotiations, where speakers entertain alternative conventions. We develop an expressivist theory—inspired by Barker (2002) and MacFarlane (2016) on vague predications and Einheuser (2006) on counterconventionals—to model these shifts in convention. Using this framework, we reassess the philosophical arguments that invoked the conventional wisdom. (shrink)

This paper examines two puzzles of indeterminacy. The first puzzle concerns the hypothesis that there is a unified phenomenon of indeterminacy. How are we to reconcile this with the apparent diversity of reactions that indeterminacy prompts? The second puzzle focuses narrowly on borderline cases of vague predicates. How are we to account for the lack of theoretical consensus about what the proper reaction to borderline cases is? I suggest (building on work by Maudlin) that the characteristic feature of (...) indeterminacy is alethic normative silence, and use this to explain both plurality and lack of consensus. (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)

In Kripke’s classic paper on truth it is argued that by adding a new semantic category different from truth and falsity it is possible to have a language with its own truth predicate. A substantial problem with this approach is that it lacks the expressive resources to characterize those sentences which fall under the new category. The main goal of this paper is to offer a refinement of Kripke’s approach in which this difficulty does not arise. We tackle this characterization (...) problem by letting certain sentences belong to more than one semantic category. We also consider the prospect of generalizing this framework to deal with languages containing vague predicates. (shrink)

”It is often assumed that knowledge claims must be justified. But what kind of justification is required for knowledge ? . . . ” (*) -/- presupposition: the kind of epistemic justification depends on the type of the knowledge claim and its respective knowledge claim tradeoff ’vague vs. precise’. -/- procedere: in two - almost purely logical - case studies I account for this tradeoff and question in each case what (if any) were its general outcome wrt justification -/- (...) first for basic measurement statements of the form ′′ϕ(x) = r ∈ IR ± δ′′ (wrt ”measurement accuracy realism” debate) -/- and secondly predication statements of the form ′′x is ( a case of )P′′ (wrt ”epistemic vagueness” debate). (shrink)

‘Puzzles’, ‘word games’, ‘logical anomalies’, whatever we call them, they perplex us and challenge our familiar patterns of reasoning. One of these puzzles, among many others, originated from the mind of an ancient Megarian logician, Eubulides of Miletus, and endures to the modern day.1 Its name, ‘sorites’, can be traced to the Greek word soros, meaning ‘heap.’ The answer to whether one grain of sand ‘is a heap’ or ‘is not a heap’ seems quite simple: it is not a heap. (...) However, as we add grains to the one, at what future point does the non-heap become a heap? Our decision is fraught with uncertainty. Are the objects or the language we are using to describe them vague? In academic philosophy, the ancient Greek puzzle has gained the status of a paradox, as philosophers apply stoic and modern logic to these propositions considered to have vague predicates. The current debate has developed quite serious and wide-ranging implications, such as whether sorites issues provide adequate grounds for abandoning our standard ontology (or our understanding of what really exists), 2 and (germinating into another discipline) whether vagueness in the language of legal rules can generate disagreement as to whether there are right answers to questions of law. 3 Several unique solutions to the paradox have been proposed, yet all suffer from specific inadequacies that might, upon further reflection, disappear in the event that we endeavour to produce a synthesis. When we say that we are attempting to derive a synthesis, we seek to combine elements of two solutions for the sake of creating a new (and hopefully, though not necessarily, a better) one. The paradox of the sorites, or ‘the heap’, appeals to us because it challenges our assumption that we may categorically describe clear cases and their negations, yet fail to distinguish the borderline ones. I will demonstrate that some combinations of solutions are easy fits while others are extremely weak and awkward as attempts at resolving the paradox. Nonetheless, the process of synthesis produces three noteworthy combinations. (shrink)

Agent relativists about vagueness (henceforth ‘agent relativists’) hold that whether or not an object x falls in the extension of a vague predicate ‘P’ at a time t depends on the judgemental dispositions of a particular competent agent at t. My aim in this paper is to critically examine arguments that purport to support agent relativism by appealing to data from forced-march Sorites experiments. The most simple and direct versions of such forced-march Sorites arguments rest on the following (implicit) (...) premise: If competent speakers' judgements vary in a certain way, then the extensions of ‘P’ as used by these speakers must vary in the same way. This premise is in need of independent support, since otherwise opponents of agent relativism can simply reject it. In this paper, I focus on the idea that one cannot plausibly reject this premise, as that would commit one to implausible claims about linguistic competence. Against this, I argue that one can accommodate the data from forced-march Sorites experiments in a way that is compatible with a plausible picture of linguistic competence, without going agent relativist. Thus, there is reason to be sceptical of the idea that such data paired with considerations about linguistic competence can be invoked in order to lend any solid support to agent relativism. Forced-march Sorites arguments of this kind can, and should be, resisted. (shrink)

In this paper I provide some formal schemas for the analysis of vague predicates in terms of a set of semantic relations other than classical synonymy, including weak synonymy (as between "large" and "huge"), antonymy (as between "large" and "small"), relativity (as between "large" and "large for a dog"), and a kind of supervenience (as between "large" and "wide" or "long"). All of these relations are representable in the simple comparative logic CL, in accordance with the basic formula: (...) the more something is F, the more (or less) it is G. I use Carnapian meaning postulates to define these relations as constraints on interpretations of the formal language of CL. (shrink)

Mark Richard argues for truth-relativism about claims made using gradable adjectives. He argues that truth-relativism is the best explanation of two kinds of linguistic data, which I call: true cross-contextual reports and infelicitous denials of conflict. Richard claims that such data are generated by an example that he discusses at length. However, the consensus is that these linguistic data are illusory because they vanish when elaborations are added to examples of the same kind as Richard’s original. In this paper I (...) defend the reality of Richard’s data. I show that, in trying to make their point, Richard’s critics have focused upon examples that are similar in some respects to Richard’s original but which lack a crucial feature of that original. When we ensure that this feature is in place, elaborations which make the data vanish are not possible. Richard’s critics therefore fail to show that the data generated by Richard’s original example are illusory. (shrink)

A long-standing tension in semantic theory concerns the reconciliation of positive gradable adjective (GA) ascriptions and comparative GA ascriptions. Vagueness-based ap- proaches derive the comparative from the positive, and face non-trivial challenges with incommensurability and non-GA comparatives. Classic degree-based approaches effectively derive the positive from the comparative, out of sync with the direction of evidence from morphology, and create some difficulties in accounting for GA scale-mates with differing thresholds (e.g., cold ∼ warm ∼ hot). We propose a new reconciliation that (...) capitalizes on recent proposals analyzing GAs as predicates of states. On our account, GAs lexically involve both a threshold property and a background state structure. Positive occurrences of GAs make use of the threshold property, while comparative occurrences make use of degrees representing elements of the background structure. Our approach preserves the virtues of classic degree-based approaches while offering a natural account of scale-mates, and without appeal to covert morphemes like POS or related devices. As we show, it is possible to inject our solution back into the classic degree-based approach, but we find reasons to prefer our states-based account. (shrink)

Two competing accounts of value incomparability have been put forward in the recent literature. According to the standard account, developed most famously by Joseph Raz, ‘incomparability’ means determinate failure of the three classic value relations ( better than , worse than , and equally good ): two value-bearers are incomparable with respect to a value V if and only if (i) it is false that x is better than y with respect to V , (ii) it is false that x (...) is worse than y with respect to V and (iii) it is false that x and y are equally good with respect to V . Most philosophers have followed Raz in adopting this account of incomparability. Recently, however, John Broome has advocated an alternative view, on which value incomparability is explained in terms of vagueness or indeterminacy . In this paper I aim to further Broome’s view in two ways. Firstly, I want to supply independent reasons for thinking that the phenomenon of value incomparability is indeed a matter of the indeterminacy inherent in our comparative predicates. Secondly, I attempt to defend Broome’s account by warding off several objections that worry him, due mainly to Erik Carlson and Ruth Chang. (shrink)

John Broome has argued that value incommensurability is vagueness, by appeal to a controversial about comparative indeterminacy. I offer a new counterexample to the collapsing principle. That principle allows us to derive an outright contradiction from the claim that some object is a borderline case of some predicate. But if there are no borderline cases, then the principle is empty. The collapsing principle is either false or empty.

First-order normative theories concerning what’s right and wrong, good and bad, etc. and metanormative theories concerning the nature of first-order normative thought and talk are widely regarded as independent theoretical enterprises. This paper argues that several debates in metanormative theory involve views that have first-order normative implications, even as the implications in question may not be immediately recognizable as normative. I first make my claim more precise by outlining a general recipe for generating this result. I then apply this recipe (...) to three debates in metaethics: the modal status of basic normative principles, normative vagueness and indeterminacy, and the determination of reference for normative predicates. In each case I argue that certain views on each issue carry first-order normative commitments, in accordance with my recipe. (shrink)

This study examines the concept of “description” and its theoretical foundations. The literature about it is surprisingly limited, and its usage is vague, sometimes even conflicting. Description should be considered in relation to other processes, such as representation, data capturing, and categorizing, which raises the question about what it means to describe something. Description is often used for any type of predication but may better be limited to predications based on observations. Research aims to establish criteria for making optimal (...) descriptions; however, the problems involved in describing something have seldom been addressed. Specific ideals are often followed without examine their fruitfulness. This study provides evidence that description cannot be a neutral, objective activity; rather, it is a theory-laden and interest-based activity. In information science, description occurs in processes such as document description, descriptive metadata assignment, and information resource description. In this field, description has equally been used in conflicting ways that mostly do not evince a recognition of the value- and theory-laden nature of descriptions. It is argued that descriptive activities in information science should always be based on consciously explicit considerations of the goals that descriptions are meant to serve. (shrink)

The presentation of the “dual picture of vagueness” in my earlier work is supplemented here with a number of additional considerations. I emphasize how the picture lends itself naturally to treatments of the contribution of a typical degree adjective to propositional content and to truth conditions. A number of reasonable refinements of the picture are presented, especially concerning occasions of use of a degree adjective in which a class containing a sorites series is somehow involved in content fixing, but in (...) such a way that an extension ultimately gets fixed for the predicate. I also develop the observation that standard theories of the logical and semantic paradoxes rely on the idea that the content-fixing mechanisms for the paradoxical expressions work well in general but fail in some localized cases, and that while standard theories of the sorites paradox are clearly not based on this idea at all, the dual theory is fully based on the idea. Next, I offer a few remarks on some recent theories of vagueness and the sorites that are broadly in the spirit of the dual picture, emphasizing the aspects where the latter compares favorably against those recent theories. Finally, the question whether the dual theory is statable with truth according to the theory itself is considered in more detail than in my earlier presentation. (shrink)

Types are a crucial concept in conceptual modelling, logic, and knowledge representation as they are an ubiquitous device to un- derstand and formalise the classification of objects. We propose a logical treatment of types based on a cognitively inspired modelling that ac- counts for the amount of information that is actually available to a cer- tain agent in the task of classification. We develop a predicative modal logic whose semantics is based on conceptual spaces that model the ac- tual information (...) that a cognitive agent has about objects, types, and the classification of an object under a certain type. In particular, we ac- count for possible failures in the classification, for the lack of sufficient information, and for some aspects related to vagueness. (shrink)

Both patched versions of the Bostrom/Kulczycki simulation argument contain serious objective errors, discovered while attempting to formalize them in predicate logic. The English glosses of both versions involve badly misleading meanings of vague magnitude terms, which their impressiveness benefits from. We fix the errors, prove optimal versions of the arguments, and argue that both are much less impressive than they originally appeared. Finally, we provide a guide for readers to evaluate the simulation argument for themselves, using well-justified settings of (...) the argument parameters that have simple, accurate statements in English, which are easier to understand and critique than the statements in the original paper. (shrink)

In natural language we rarely use relation-words with more than three argument places. This paper studies one systematic device, rooted in natural language, by which relations of greater adicity can be expressed. It is based on a higher-order relation between 1-place, 2-place, and 4-place relations (and so on) of which the relation between the positive and comparative degrees of a predicate is a special case. Two formal languages are presented in this connection, one of which represents the language of communication (...) and the other the contextual information against which the first language is interpreted. A semantical theory is described, which treats the two languages in an interdependent way. Logical consequence is non-compact. Connections with issues about vagueness are made. (shrink)

This paper addresses the rights-ascription problem—the problem of determining what properties or characteristics one must have to qualify for fundamental rights. As argued here, one traditional response to this problem—the “humanity standard”—fails because rather than recognizing the problem as one of moral predication regarding actual individuals, it accepts nominal membership in a vaguely defined class (e.g., “humanity”) as adequate grounds for ascribing these rights. This failure encourages the hypothesis pursued here, viz., that qualifying for fundamental rights is a matter of (...) whether, given their specific nature, certain individuals (whether human or not) can benefit from the distinctive normative benefits of the fundamental rights ascribed to them. The paper uses a significantly modified rendition of Feinberg’s analysis to argue that only individuals who have or are capable of having certain interests, those that are for their own sake as is their due, qualify to make fundamental rights-claims. Of paramount importance here is the relationship between having such interests and having a “transitive due”; i.e. the psychological capacity to benefit from the moral respect and deference afforded oneself by others when asserting or exercising one’s fundamental rights. (shrink)

Definition has the following features in Aristotle’s philosophy: 1. Each thing has only one definition and ‘it is impossible that there should be more than one definition for the same thing.’ (To., Z, 5, 142b^25; cf. To., Z, 4, 141a26) 2. Definition is ‘a formula of the essence’ (Met., H, 1042a17-18) and, thus, signifies the essence of the thing. (To., I, 5, ^101b30-) About the relation between definition and essence Aristotle regards three possibilities (PsA., B, 94a11-14): a) A definition as (...) an indemonstrable statement of essential nature. b) A definition as a syllogism of essential nature differing from demonstration in grammatical form. c) A definition as the conclusion of a demonstration giving essential nature. 3. ‘The definition is a formula and a formula has parts.’ (Met., H, 1042a18-20) Therefore, only the composite substances are definable and the primary parts of a composite substance are not definable. The reason is that ‘a definitory formula predicates something of something and one part of the definition must play the part of matter and the other that of form.’ (Met., H, 1043b28-32) Thus, definition is a sort of number: a divisible including indivisible parts. (Met., H, 1043b32-36) 4. To define a thing, one should give the species or the genera of the thing which are the only other things that can be substances of it and not its accidents. (Cat., 5, 2b31-36) Aristotle also brings differentiae into the definition: ‘There is nothing in the definition except the first-named genus and the differentiae. The other genera are the first genus and along with this the differentiae that are taken with, e.g. the first may be animal, the next animal which is footed, and again animal which is two-footed and featherless and …’ (Met., Z, 1037b28-33) Among genera the nearer genera are more informative because they are more distinctive and less general. (Cat., 5, 2b10-13 and b32-34) However, to give the species is always more informative and apt than giving the genus. (Cat., 5, 2b8-10) 5. Primary substances admit the definition of the species they are their individuals and of their genera. In the same way, species admit the definition of the genus. The reason is that everything said of the predicate can be said of the subject. (Cat., 5, 3b2-6) Therefore, everything admits the definition of its higher classes. 6. ‘Both the species and the individuals admit the definition of the differentia.’ (Cat., 5, 3b6-7) 7. A formula exhibiting the cause of a thing’s existence is a definition. (PsA., B, 10, 93b38-94a1) 8. It is possible to achieve the definition by division only if we keep three conditions in view (PsA., B, 97a23-26): a) The admission only of elements in the definable form. b) The arrangement of these elements in the right order c) The omission of no element in the definable form The process of division (PsA., B, 97a37-b6) is the process of dividing the genus by its differentia to the right species, the one that the subject accepts as its predicate, and again dividing the whole such searched by its right differentia to a predicable species. This process will be continued until we reach to that which is not further divisible, ‘i.e. that as soon as we have taken the last differentia to form the concrete totality, this totality admits of no division into species.’ In this way we achieve to a series of elements all in the definable forms without superfluous addition and without omission of any necessary element. This series includes the primary genus with all the differentia until it achieves to that which would admit of no division. The second condition, the right order, is the order in which that which is posited as primary be the one that is predicable of all of the other and not vice versa. The order must, then, be from more predicables to less predicables: ‘The right order will be achieved if the right term is assumed as primary, and this will be ensured if the term selected is predicable of all the other but not all they of it; since there must be one such term. Having assumed this, we at once proceed in the same way with the lower terms; for our second term will be the first of the remainder, our third the first of those which follow the second in a ‘contiguous’ series, since when the higher term is excluded, the term of the remainder which is ‘contiguous’ to it will be primary, and so on.’ (PsA., B, 97a26-34) 9. Things that are not the same must have different definitions. However, this does not mean that things that are the same must necessarily have the same definition. (To., I, 5, ^102a17-) 10. ‘Everything applicable to property and genus and accident will be applicable to definition as well.’ (To., I, 6, 102b27-) 11. ‘A name, e.g. ‘round’, means vaguely a sort of whole: its definition analyses this into its particular senses.’ Definition must be done through terms that are prior and more familiar and ‘anyone who has not defined a thing through terms that are prior and more familiar has not defined it at all.’ (To., Z, 4, 141a26-) It is indeed this very point that is the basis of definition by genus and differentiae: ‘A correct definition must define a thing through its genus and its differentiae, and these belong to the order of things which are without qualification more familiar than, and prior to, the species.’ (To., Z, 4, 141b^15-) This more familiarity, however, must be without qualification, i.e. not more familiar to certain people or in certain times. Otherwise, definition could not come always to be one and the same. (To., Z, 4, ^142a1-) . (shrink)

Predicativity is a notable example of fruitful interaction between philosophy and mathematical logic. It originated at the beginning of the 20th century from methodological and philosophical reflections on a changing concept of set. A clarification of this notion has prompted the development of fundamental new technical instruments, from Russell's type theory to an important chapter in proof theory, which saw the decisive involvement of Kreisel, Feferman and Schütte. The technical outcomes of predica-tivity have since taken a life of their own, (...) but have also produced a deeper understanding of the notion of predicativity, therefore witnessing the " light logic throws on problems in the foundations of mathematics. " (Feferman 1998, p. vii) Predicativity has been at the center of a considerable part of Feferman's work: over the years he has explored alternative ways of explicating and analyzing this notion and has shown that predicative mathematics extends much further than expected within ordinary mathematics. The aim of this note is to outline the principal features of predicativity, from its original motivations at the start of the past century to its logical analysis in the 1950-60's. The hope is to convey why predicativity is a fascinating subject, which has attracted Feferman's attention over the years. (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.

Ted Sider has famously argued that existence, in the unrestricted sense of ontology, cannot be vague, as long as vagueness is modeled by means of precisifications. The first section of Chapter 9 exposes some controversial assumptions underlying Sider’s alleged reductio of vague existence. The upshot of the discussion is that, although existence cannot be vague, it can be super-vague, i.e. higher-order vague, for all orders. The second section develops and defends a novel framework, dubbed negative (...) supervaluationary semantics, which makes room for the possibility of super-vague existence. (shrink)

Recently, there’s been a lot of interest in a research program that tries to understand propositional representation in terms of the subject’s performance of sub-propositional mental acts like reference and predication (e. g. Burge 2010, Hanks 2015, Soames 2010, 2015). For example, on one version of the view, for a subject to predicate the property of being a composer of Arvo just is what it is to perform the to the basic propositional act of judging that Arvo is a composer (...) (e. g. Hanks 2015). In this paper I first present my own version of this view and contrast it with alternatives. I then argue that we must clearly separate the thin predication-resultant notion of judging (S(emantic)-judgment) from a much richer notion used in epistemology (E(pistemic)-judgment). The former is just the act of thinking a forceful thought. The latter is the act of making up one’s mind about how things are, a way of concluding theoretical or doxastic deliberation. I argue that these two acts differ in three ways: levels of propositional attitude, objective vs. subjective norms, and the possibility of sub-personal occurrence. (shrink)