In some recent articles, Cobreros, Egré, Ripley, & van Rooij have defended the idea that abandoning transitivity may lead to a solution to the trouble caused by semantic paradoxes. For that purpose, they develop the Strict-Tolerant approach, which leads them to entertain a nontransitive theory of truth, where the structural rule of Cut is not generally valid. However, that Cut fails in general in the target theory of truth does not mean that there are not certain safe instances of Cut (...) involving semantic notions. In this article we intend to meet the challenge of answering how to regain all the safe instances of Cut, in the language of the theory, making essential use of a unary recovery operator. To fulfill this goal, we will work within the so-called Goodship Project, which suggests that in order to have nontrivial naïve theories it is sufficient to formulate the corresponding self-referential sentences with suitable biconditionals. Nevertheless, a secondary aim of this article is to propose a novel way to carry this project out, showing that the biconditionals in question can be totally classical. In the context of this article, these biconditionals will be essentially used in expressing the self-referential sentences and, thus, as a collateral result of our work we will prove that none of the recoveries expected of the target theory can be nontrivially achieved if self-reference is expressed through identities. (shrink)

It is widely supposed that one family of sorites paradoxes, perhaps the most perplexing versions of the puzzle, owe at least in part to the nontransitivity of perceptual indiscriminability. To a first approximation, perceptual indiscriminability is the relationship obtaining among objects (stimuli) that appear identical in some perceptual respect—for example hue, or pitch, or texture. Indiscriminable objects look the same, or sound the same, or feel the same. Received wisdom has it that there are or could be series of (...) objects _o__1…_o__n in which _o_₁ and _o_₂ are indiscriminable, _o_₂ and _o_3 are indiscriminable, etc., and _o_n-1 and_ o_n are indiscriminable, but _o_1 and _o_n are discriminably different. For example, there could be a series of colored patches so ordered that each patch looks the same in hue as its immediate neighbors but the whole progresses from a clear case of red to a clear case of orange. On the assumption that an observational word like ‘red’ applies to both if to either of a pair of perceptually indiscriminable items, the absurd conclusion of the sorites comes into view. Crispin Wright explains. (shrink)

The principle of tolerance characteristic of vague predicates is sometimes presented as a soft rule, namely as a default which we can use in ordinary reasoning, but which requires care in order to avoid paradoxes. We focus on two ways in which the tolerance principle can be modeled in that spirit, using special consequence relations. The first approach relates tolerant reasoning to nontransitive reasoning; the second relates tolerant reasoning to nonmonotonic reasoning. We compare the two approaches and examine three specific (...) consequence relations in relation to those, which we call: strict-to-tolerant entailment, pragmatic-to-tolerant entailment, and pragmatic-to-pragmatic entailment. The first two are nontransitive, whereas the latter two are nonmonotonic. (shrink)

In a recent series of papers, I and others have advanced new logical approaches to familiar paradoxes. The key to these approaches is to accept full classical logic, and to accept the principles that cause paradox, while preventing trouble by allowing a certain sort ofnontransitivity. Earlier papers have treated paradoxes of truth and vagueness. The present paper will begin to extend the approach to deal with the familiar paradoxes arising in naive set theory, pointing out some of the promises and (...) pitfalls of such an approach. (shrink)

In his book Rethinking the Good: Moral Ideals and the Nature of PracticalReasoning Larry Temkin contrasts two views of ideals for evaluating outcomes:the Internal Aspects View and the Essentially Comparative View. He claimsthat the latter view can make the relation of being better/worse than all thingsconsidered nontransitive, while the former can’t. This paper argues that theInternal Aspects View can also be a source of nontransitivity. The gist of theargument is that perfect similarity as regards supervenient properties, likevalue, is compatible (...) with differences as regards their subvenient propertiesand that it’s logically possible that such sets of insufficient differences add upto differences that are sufficient for supervenient differences. Thus, perfectsimilarity or identity is nontransitive as regards the supervenient property ofvalue, and this implies that the relation of being better/worse than all thingsconsidered is also nontransitive. (shrink)

This short paper states a new objection against “spectrum arguments” for nontransitive betterness. It is shown that defenders of such arguments must reject one of two very plausible principles.

Nontransitive responses to the validity Curry paradox face a dilemma that was recently formulated by Barrio, Rosenblatt and Tajer. It seems that, in the nontransitive logic ST enriched with a validity predicate, either you cannot prove that all derivable metarules preserve validity, or you can prove that instances of Cut that are not admissible in the logic preserve validity. I respond on behalf of the nontransitive approach. The paper argues, first, that we should reject the detachment principle for naive validity. (...) Secondly, I show how to add a validity predicate to ST while avoiding the dilemma. (shrink)

The perhaps most important criticism of the nontransitive approach to semantic paradoxes is that it cannot truthfully express exactly which metarules preserve validity. I argue that this criticism overlooks that the admissibility of metarules cannot be expressed in any logic that allows us to formulate validity-Curry sentences and that is formulated in a classical metalanguage. Hence, the criticism applies to all approaches that do their metatheory in classical logic. If we do the metatheory of nontransitive logics in a nontransitive logic, (...) however, there is no reason to think that the argument behind the criticism goes through. In general, asking a logic to express its own admissible metarules may not be a good idea. (shrink)

Why should ‘better than’ be transitive? The leading answer in ethics is that values do not change with context. But this cannot be the entire source of transitivity, I argue, since transitivity can fail even if values never change, so long as they are complex, with multiple dimensions combined non-additively. I conclude by exploring a new hypothesis: that all alleged cases of nontransitive betterness, such as Parfit’s Repugnant Conclusion, can and should be modelled as the result of complexity, not context-relativity.

Substructural theories of truth are theories based on logics that do not include the full complement of usual structural rules. Existing substructural approaches fall into two main families: noncontractive approaches and nontransitive approaches. This paper provides a sketch of these families, and argues for two claims: first, that substructural theories are better-positioned than other theories to grapple with the truth-theoretic paradoxes, and second—more tentatively—that nontransitive approaches are in turn better-positioned than noncontractive approaches.

This paper explores lexicographically additive representations of multi-attribute preferences on finite sets. Lexicographic additivity combines a lexicographic feature with local value tradeoffs. Tradeoff structures are governed by either transitive or nontransitive additive conjoint measurement. Alternatives are locally traded off when they are close enough within threshold associated with a dominant subset of attributes.

In substructural logics, structural principles may hold in some fragments of a consequence relation without holding globally. I look at this phenomenon in my preferred substructural logic, in which Weakening and Cut fail but which is supra-intuitionistic. I introduce object language operators that keep track of the admissibility of Weakening and of intuitionistic implications. I end with some ideas about local transitivity.

If A is better than B and B is better than C, then A is better than C, right? Larry Temkin and Stuart Rachels say: No! Betterness is nontransitive, they claim. In this paper, I discuss the central type of argument advanced by Temkin and Rachels for this radical idea, and argue that, given this view very likely has sceptical implications for practical reason, we would do well to identify alternative responses. I propose one such response, which employs the idea (...) that rational agents might regard some options as incommensurate in value, and will reasonably employ a heuristic of status quo maintenance to avoid suboptimal choices from incommensurate goods. (shrink)

One of the most fruitful applications of substructural logics stems from their capacity to deal with self-referential paradoxes, especially truth-theoretic paradoxes. Both the structural rules of contraction and the rule of cut play a crucial role in typical paradoxical arguments. In this paper I address a number of difficulties affecting noncontractive approaches to paradox that have been discussed in the recent literature. The situation was roughly this: if you decide to go substructural, the nontransitive approach to truth offers a lot (...) of benefits that are not available in the noncontractive account. I sketch a noncontractive theory of truth that has these benefits. In particular, it has both a proof- and a model-theoretic presentation, it can be extended to a first-order language, and it retains every classically valid inference. (shrink)

Textual entailment is a relationship that obtains between fragments of text when one fragment in some sense implies the other fragment. The automation of textual entailment recognition supports a wide variety of text-based tasks, including information retrieval, information extraction, question answering, text summarization, and machine translation. Much ingenuity has been devoted to developing algorithms for identifying textual entailments, but relatively little to saying what textual entailment actually is. This article is a review of the logical and philosophical issues involved in (...) providing an adequate definition of textual entailment. We show that many natural definitions of textual entailment are refuted by counterexamples, including the most widely cited definition of Dagan et al. We then articulate and defend the following revised definition: T textually entails H = df typically, a human reading T would be justified in inferring the proposition expressed by H from the proposition expressed by T. We also show that textual entailment is context-sensitive, nontransitive, and nonmonotonic. (shrink)

A claim by David K. Lewis (1986) that his counterpart theory provides a semantics for intensional languages is critiqued by showing that basic principles of modal logic fail to be valid in counterpart theory & by investigating problematic counterpart-theoretical translations of instances of universal instantiation. From Lewis's postulate that individuals inhabit only one world & have counterparts in other worlds, it follows that the relation between an object & its counterparts is nontransitive & nonsymmetric; consequently, an object does not need (...) to have exactly one counterpart in any world. The failure of modal principles in counterpart theory is ascribed to the possibility that an object has no counterpart in a given world, whereas universal instantiation becomes invalid when an object has more than one counterpart in a given world. 3 References. Adapted from the source document. (shrink)

The paper critically discusses two prominent arguments against closure principles for knowledge. The first one is the “argument from aggregation”, claiming that closure under conjunction has the consequence that, if one individually knows i premises, one also knows their i-fold conjunction—yet, every one of the premises might exhibit interesting positive epistemic properties while the i-fold conjunction might fail to do so. The second one is the “argument from concatenation”, claiming that closure under entailment has the consequence that, if one knows (...) a premise, one also knows each of its remote consequences one arrives at—yet, again, the premise might exhibit interesting positive epistemic properties while some of its remote consequences might fail to do so. The paper firstly observes that the ways in which these two arguments try to establish that the relevant closure principle has the relevant problematic consequence are strikingly similar. They both crucially involve showing that, given the features of the case, the relevant closure principle acts in effect as a soritical principle, which is in turn assumed to lead validly to the relevant problematic consequence. There are however nontransitive logics of vagueness where soritical principles do not have any problematic consequence. Assuming that one of these logics is the correct logic of vagueness, the paper secondly observes that both arguments describe situations where knowledge is arguably vague in the relevant respects, so that a tolerant logic should be used in reasoning about it, with the effect that the relevant soritical principle no longer validly leads to the relevant problematic consequence. This shows an interesting respect in which the gap between validity and good inference that arguably arises in a transitive framework can be bridged in a tolerant one, thereby approximating better certain features of our epistemic lives as finite subjects. Moreover, even for those who do not subscribe to tolerant logics, the paper’s two observations jointly indicate that, for all the arguments from aggregation and concatenation show, the status of the relevant closure principles should be no worse than that assigned by one’s favoured theory of vagueness to soritical principles, which only rarely is plain falsity and can indeed get arbitrarily close to full truth. (shrink)

This paper shows how to conservatively extend classical logic with a transparent truth predicate, in the face of the paradoxes that arise as a consequence. All classical inferences are preserved, and indeed extended to the full (truth—involving) vocabulary. However, not all classical metainferences are preserved; in particular, the resulting logical system is nontransitive. Some limits on this nontransitivity are adumbrated, and two proof systems are presented and shown to be sound and complete. (One proof system allows for Cut—elimination, but (...) the other does not.). (shrink)

Dave Ripley has recently argued against the plausibility of multiset consequence relations and of contraction-free approaches to paradox. For Ripley, who endorses a nontransitive theory, the best arguments that buttress transitivity also push for contraction—whence it is wiser for the substructural logician to go nontransitive from the start. One of Ripley’s allegations is especially insidious, since it assumes the form of a trivialisation result: it is shown that if a multiset consequence relation can be associated to a closure operator in (...) the expected way, then it necessarily contracts. We counter Ripley’s objection by presenting an approach to multiset consequence that escapes this trap. This approach is multiple-conclusioned in a heterodox way, for multiple succedents are given a conjunctive, rather than a disjunctive reading. Finally, we address a further objection by French and Ripley to the effect that the informational interpretation of sequents in linear logic does not motivate cut. (shrink)

In a series of works, Pablo Cobreros, Paul Égré, David Ripley and Robert van Rooij have proposed a nontransitive system (call it ‘_K__3__L__P_’) as a basis for a solution to the semantic paradoxes. I critically consider that proposal at three levels. At the level of the background logic, I present a conception of classical logic on which _K__3__L__P_ fails to vindicate classical logic not only in terms of structural principles, but also in terms of operational ones. At the level of (...) the theory of truth, I raise a cluster of philosophical difficulties for a _K__3__L__P_-based system of naive truth, all variously related to the fact that such a system proves things that would seem already by themselves repugnant, even in the absence of transitivity. At the level of the theory of validity, I consider an extension of the _K__3__L__P_-based system of naive validity that is supposed to certify that validity in that system does not fall short of naive validity, argue that such an extension is untenable in that its nontriviality depends on the inadmissibility of a certain irresistible instance of transitivity (whence the advertised “final cut”) and conclude on this basis that the _K__3__L__P_-based system of naive validity cannot coherently be adopted either. At all these levels, a crucial role is played by certain metaentailments and by the extra strength they afford over the corresponding entailments: on the one hand, such strength derives from considerations that would seem just as compelling in a general nontransitive framework, but, on the other hand, such strength wreaks havoc in the particular setting of _K__3__L__P_. (shrink)

This paper considers some issues to do with valuational presentations of consequence relations, and the Galois connections between spaces of valuations and spaces of consequence relations. Some of what we present is known, and some even well-known; but much is new. The aim is a systematic overview of a range of results applicable to nonreflexive and nontransitive logics, as well as more familiar logics. We conclude by considering some connectives suggested by this approach.

This paper considers some issues to do with valuational presentations of consequence relations, and the Galois connections between spaces of valuations and spaces of consequence relations. Some of what we present is known, and some even well-known; but much is new. The aim is a systematic overview of a range of results applicable to nonreflexive and nontransitive logics, as well as more familiar logics. We conclude by considering some connectives suggested by this approach.

Does the relation of seeing something as another really differ from seeing the one as resembling the other? Does seeing a cloud as a camel really differ from seeing a resemblance between the cloud and a camel? It is easy to think not, but I claim that the logic of the relation B sees x as resembling y differs markedly from that of B sees x as y and thus that we have two relations, not one. Aspect-perception is nontransitive, nonsymmetric, (...) irreflexive and categorical. Perceived or subjective resemblance is weakly or faintly transitive, symmetric, reflexive and graded. (shrink)

I defend my attempt to explain causal priority by means of one-way causal conditionship by answering an argument by J. A. Cover about Charles'' law. Then I attempt to say what makes a philosophical analysis a counterfactual analysis, so I can understand Cover''s claim that my account is at its base a counterfactual one. Finally I examine Cover''s discussion of my contention that necessary for in the circumstances is nontransitive.

Value pluralists believe in multiple dimensions of value. What does betterness along a dimension have to do with being better overall? Any systematic answer begins with the Strong Pareto principle: one thing is overall better than another if it is better along one dimension and at least as good along all others. We defend Strong Pareto from recent counterexamples and use our discussion to develop a novel view of dimensions of value, one which puts Strong Pareto on firmer footing. We (...) conclude by defending Dimensionalism, the hypothesis that overall value relations are determined solely by how things compare along value dimensions. These are first steps towards a more systematic value pluralism. (shrink)

Several authors have argued that a version of Curry's paradox involving validity motivates rejecting the structural rule of contraction. This paper criticizes two recently suggested alternative responses to “validity Curry.” There are three salient stages in a validity Curry derivation. Rejecting contraction blocks the first, while the alternative responses focus on the second and third. I show that a distinguishing feature of validity Curry, as contrasted with more familiar forms of Curry's paradox, is that paradox arises already at the first (...) stage. Accordingly, blocking the second or third stages won't suffice for resolving the paradox. (shrink)

This paper provides a defense of the full strength of classical logic, in a certain form, against those who would appeal to semantic paradox or vagueness in an argument for a weaker logic. I will not argue that these paradoxes are based on mistaken principles; the approach I recommend will extend a familiar formulation of classical logic by including a fully transparent truth predicate and fully tolerant vague predicates. It has been claimed that these principles are not compatible with classical (...) logic; I will argue, by both drawing on previous work and presenting new work in the same vein, that this is not so. We can combine classical logic with these intuitive principles, so long as we allow the result to be nontransitive. In the end, I hope the paper will help us to handle familiar paradoxes within classical logic; along the way, I hope to shed some light on what classical logic might be for. (shrink)

The recent development and exploration of mixed metainferential logics is a breakthrough in our understanding of nontransitive and nonreflexive logics. Moreover, this exploration poses a new challenge to theorists like me, who have appealed to similarities to classical logic in defending the logic ST, since some mixed metainferential logics seem to bear even more similarities to classical logic than ST does. There is a whole ST-based hierarchy, of which ST itself is only the first step, that seems to become more (...) and more classical at each level. I think this seeming is misleading: for certain purposes, anyhow, metainferential hierarchies give us no reason to move on from ST. ST is indeed only the first step on a grand metainferential adventure; but one step is enough. This paper aims to explain and defend that claim. Along the way, I take the opportunity also to develop some formal tools and results for thinking about metainferential logics more generally. (shrink)

We investigate two different broad traditions in the abstract valuational model theory for nontransitive and nonreflexive logics. The first of these traditions makes heavy use of the natural Galois connection between sets of valuations and sets of arguments. The other, originating with work by Grzegorz Malinowski on nonreflexive logics, and best systematized in Blasio et al. : 233–262, 2017), lets sets of arguments determine a more restricted set of valuations. After giving a systematic discussion of these two different traditions in (...) the valuational model theory for substructural logics, we turn to looking at the ways in which we might try to compare two sets of valuations determining the same set of arguments. (shrink)

The present note investigates the connection between nonreflexive and nontransitive logics from a bounds-theoretic perspective. What will emerge is one way in which, if we focus on the ways in which strict and tolerant acts constrain one another, nonreflexive and nontransitive notions of consequence can be seen as simply reflecting different aspects of the same underlying reality.

This article provides a discussion of the principle of transmission of evidential support across entailment from the perspective of belief revision theory in the AGM tradition. After outlining and briefly defending a small number of basic principles of belief change, which include a number of belief contraction analogues of the Darwiche-Pearl postulates for iterated revision, a proposal is then made concerning the connection between evidential beliefs and belief change policies in rational agents. This proposal is found to be suffcient to (...) establish the truth of a much-discussed intuition regarding transmission failure. (shrink)

It is well known that interval orders are particularly interesting in decision theory, since they are reflexive, complete and nontransitive binary relations which may be fully represented by means of two real-valued functions. In this paper, we discuss the existence of a pair of nonnegative, positively homogeneous and semicontinuous real-valued functionals representing an interval order on a real cone in a topological vector space. We recover as a particular case a result concerning the existence of a nonnegative, positively homogeneous and (...) continuous utility functional for a complete preorder on a real cone in a topological vector space. (shrink)

Ordinary measurement using a standard scale, such as a ruler or a standard set of weights, has two fundamental properties. First, the results are approximate, for example, within 0.1 g. Second, the resulting indistinguishability is transitive, rather than nontransitive, as in the standard psychological comparative judgments without a scale. Qualitative axioms are given for structures having the two properties mentioned. A representation theorem is then proved in terms of upper and lower measures.

This article responds to Ingmar Persson’s article “Internal or External Grounds for the Nontransitivity of ‘Better/Worse than’”. In his article, Persson argues in favor of an account of supervenience that would be compatible with both an Internal Aspects View, and the nontransitivity of the “better or worse than” relations. This article points out that the Internal Aspects View that Persson favors would fail to capture many features of practical reasoning that most advocates of an Internal Aspects View favor, (...) and that the version of the Internal Aspects View that I discuss in Rethinking the Good does capture. I note, however, that Persson’s view would not only be compatible with my book’s main claims and arguments, it would substantially buttress my results. Accordingly, I would welcome it if Persson could successfully develop and defend his view. Unfortunately, however, my article raises a number of worries about Persson’s view. I consider various different ways of understanding Persson’s position, and argue that none of them ultimately succeed in establishing a plausible version of a genuinely Internal Aspects View that would be compatible with the nontransitivity of the “better or worse than” relations. I acknowledge that if Persson can ultimately make good on his claims, he will have made a substantial contribution to our understanding of the good and the nature of ideals. However, as matters now stand, I am not moved by his arguments to revise the claims I made in Rethinking the Good, correlating the nontransitivity of the “better or worse than” relations with the Essentially Comparative View, rather than the Internal Aspects View. (shrink)

We say that a sentence A is a permissive consequence of a set X of premises whenever, if all the premises of X hold up to some standard, then A holds to some weaker standard. In this paper, we focus on a three-valued version of this notion, which we call strict-to-tolerant consequence, and discuss its fruitfulness toward a unified treatment of the paradoxes of vagueness and self-referential truth. For vagueness, st-consequence supports the principle of tolerance; for truth, it supports the (...) requisite of transparency. Permissive consequence is non-transitive, however, but this feature is argued to be an essential component to the understanding of paradoxical reasoning in cases involving vagueness or self-reference. (shrink)

The primary purpose of the system of linear notation is to make the logic of the syllogism more convenient to use by eliminating many of the operations required by its traditional forms. Except for its employment of the distinction between symmetric and nonsymmetric relations and the distinction between transitive and nontransitive relations, linear notation introduces no new principles into syllogistic logic. It is new only as a system of notation. As a system of notation it radically simplifies the application of (...) the principles of syllogistic logic to the analysis of arguments.The use of linear notation enables us to state subject-predicate propositions in such a way that their formal relations with each other are revealed directly without the necessity of performing any of the separate operations required by the traditional methods of syllogistic logic. Very complex arguments, involving any number of related premises, can be stated in such form that all possible conclusions that are obtainable by any combination of syllogistic operations may be read directly from the premises. (shrink)

The recent development and exploration of mixed metainferential logics is a breakthrough in our understanding of nontransitive and nonreflexive logics. Moreover, this exploration poses a new challenge to theorists like me, who have appealed to similarities to classical logic in defending the logic ST, since some mixed metainferential logics seem to bear even more similarities to classical logic than ST does. There is a whole ST-based hierarchy, of which ST itself is only the first step, that seems to become more (...) and more classical at each level. I think this seeming is misleading: for certain purposes, anyhow, metainferential hierarchies give us no reason to move on from ST. ST is indeed only the first step on a grand metainferential adventure; but one step is enough. This paper aims to explain and defend that claim. Along the way, I take the opportunity also to develop some formal tools and results for thinking about metainferential logics more generally. (shrink)

The foundationalism in irrealism is structural foundationalism, according to which reason giving must terminate with some affair beyond the reach of noncircular inferential justification or critique. Even relativist irrealists are structural foundationalists. But structural foundationalism is only as good as the regress argument for it, which presupposes that the relevant forms of inferential justification are all transitive. Since they are not, structural foundationalism fails. So too does the “God’s-eye-view” or look-see argument against realism, to the effect that when it comes (...) to correspondence and universals or samenesses found not made, realists have no noncircular argumentative recourse, hence must gaze on reality bare, looking to see that the categories of our language or thought conform to something in reality. Furthermore, realists can justify their view via nontransitive forms of inferential justífication, without recourse either to look-see or to morally problematic notions of sameness and difference made rather than lovingly found. (shrink)

The foundationalism in irrealism is structural foundationalism, according to which reason giving must terminate with some affair beyond the reach of noncircular inferential justification or critique. Even relativist irrealists are structural foundationalists. But structural foundationalism is only as good as the regress argument for it, which presupposes that the relevant forms of inferential justification are all transitive. Since they are not, structural foundationalism fails. So too does the “God’s-eye-view” or look-see argument against realism, to the effect that when it comes (...) to correspondence and universals or samenesses found not made, realists have no noncircular argumentative recourse, hence must gaze on reality bare, looking to see that the categories of our language or thought conform to something in reality. Furthermore, realists can justify their view via nontransitive forms of inferential justífication, without recourse either to look-see or to morally problematic notions of sameness and difference made rather than lovingly found. (shrink)

In Persons and Bodies, Lynne Baker defends what she calls the “Constitution View” of human persons, according to which human persons are constituted by their bodies, and constitution is an asymmetric, nontransitive relation that is somehow “intermediate between identity and separate existence”. Thesis, or something like it, is precisely what we would expect from someone who believes that persons and bodies both are material objects. But thesis is distinctive. Materialists who treat constitution as identity arrive at the view that human (...) persons are identical with their bodies, their brains, or some other material object in the vicinity of their heads. At the other extreme, materialists who treat constitution as nothing more than complete overlap without identity arrive at a simple coincidence theory of the relation between persons and bodies. Baker’s view is supposed to stake out a position between these two extremes, and it does so by offering a novel account of the nature of constitution. (shrink)

This paper sketches an understanding of conflation and vagueness according to which the latter is a special kind of the former. First, I sketch a particular understanding of conflation. Then, I go on to argue that vague concepts fit directly into this understanding. This picture of vagueness is related, but not identical, to a number of existing accounts.