Abstract
This paper examines a theory of vague language often taken to support supervaluationist logic, and argues that the theory supports subvaluationism equally well, which is to say not well at all. Instead, it’s shown that the theory naturally gives rise to truth-functional theories of vague language. Two such theories are presented and evaluated; the theory based on the logic LP is preferred. A potential objection stemming from higher-order vagueness is examined and responded to. Finally, the import of an LP-based theory for the sorites argument itself is examined.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Although there are many different ways of presenting a supervaluational system, I’ll ignore these distinctions here; my remarks should be general enough to apply to them all, or at least all that adopt the so-called ‘global’ account of consequence. (For discussion, see Varzi 2007.) Similarly for subvaluational systems.
- 2.
- 3.
- 4.
NB: S’valuationists differ in the extent to which they take vagueness to be like ambiguity, but they all take it to be like ambiguity in at least this minimal sense. Smith (2008) draws a helpful distinction between supervaluationism and what Smith calls ‘plurivaluationism’. Although both of these views have both travelled under the name ‘supervaluationism’, they are distinct. Supervaluationism makes use of non-bivalent semantic machinery (for example, the machinery in Fine 1975), while plurivaluationism makes do with purely classical models, insisting merely that more than one of these models is the intended one. My discussion of supervaluationism here is restricted to the view Smith calls supervaluationism.
- 5.
At least in most normal contexts. Vague predicates seem particularly context-sensitive, although they are not the only predicates that have been claimed to be (see e.g., Recanati 2004; Wilson and Sperber 2002). For the purposes of this paper, I’ll assume a single fixed (non-wacky) context; these are theories about what happens within that context. Some philosophers (e.g., Raffman 1994) have held that taking proper account of context is itself sufficient to dissolve the problems around vagueness. I disagree, but won’t address the issue here.
- 6.
There are many ways to build s’valuational models. In particular, one might not want to have to fully precisify the language in order to assign truth-values to just a few sentences. Nonetheless, the approach to be presented here will display the logical behaviour of s’valuational approaches, and it’s pretty simple to boot. So we can get the picture from this simple approach.
- 7.
And from propositional variables directly to classical truth-values, if one wants bare propositional variables in the language. Vague propositional variables can be accommodated in this way as well as precise ones.
- 8.
Note that this is a multiple-conclusion consequence relation. One can recover a single-conclusion consequence relation from this if one is so inclined, but for present purposes the symmetrical treatment will be more revealing. See e.g., Restall (2005) for details, or Hyde (1997) for application to s’valuations. See also Keefe (2000) for arguments against using multiple-conclusion consequence, and Hyde (2010) for response.
- 9.
Explosive sentences are sentences from which one can derive any conclusions at all, just as logical truths are sentences that can be derived from any premises at all. It’s a bit sticky calling them ‘logical falsehoods’, as may be tempting, since some sentences (in SB at least) can be false without failing to be true. And I want to shy away from ‘contradiction’ here too, since I understand by that a sentence of the form A ∧ ¬A, and such a sentence will be explosive here but not in the eventual target system.
- 10.
Here I prove only the LTR directions, but both directions indeed hold; see Hyde (1997) for details.
- 11.
This, essentially, is Tappenden’s ‘objection from upper-case letters’ (Tappenden 1993). With multiple conclusions, there’s no need for upper-case letters; the point can be made in any typeface you like.
- 12.
For example, consider the sentence ‘There is a last noonish second’. It is true for the supervaluationist, but there is no second x such that ‘x is the last noonish second’ is true for the supervaluationist.
- 13.
Pace Fine (1975), which, in a footnote, proposes SP as a logic for ambiguous language. As noted above, this would make it impossible to explain how one resolves a contradiction by finding an ambiguity—a very bad result.
- 14.
Lewis (1982) argues for LP, in particular, as a logic of ambiguity, and mentions vagueness as one sort of ambiguity.
- 15.
See Ripley (2011) for evidence that ordinary speakers agree with such claims as (64c) and (64d).
- 16.
See e.g., Beall (2008) for a discussion of revenge.
- 17.
- 18.
Again, assume a context where this is true.
- 19.
For simplicity, we look at only one predicate: N for ‘noonish’. This set is then a set of sets of precisifications for ‘noonish’. Let {x–y} be the set of times between x and y inclusive.
- 20.
Actually I don’t see that anything does.
- 21.
For proof, see Priest (1984).
- 22.
Proof and details can be found in Priest (1984). Note as well that the result can be iterated past ω into the transfinite; I don’t think that’ll be necessary here, since every new level is created to address the vagueness of some finite predicate.
- 23.
Some have accepted the conclusion or rejected the first premise (e.g., Unger 1979), but to take such a position seriously is to remove much of the sense of ‘noonish’. And to take it seriously for every vague predicate would make it very hard indeed to talk truly at all. There are other more radical approaches, too: we might reject transitivity of entailment (as in Zardini 2008 or Cobreros et al. 2012), or universal instantiation (as in Kamp 1981). The LP-based solution offered here keeps to the more conservative side of the street.
- 24.
This is because modus ponens on ⊃ is equivalent to disjunctive syllogism, which anyone who takes contradictions seriously ought to reject. See Priest (1979) for discussion.
References
Beall, J.C. 2008. Prolegomenon to future revenge. In Revenge of the liar: New essays on the paradox, ed. J.C. Beall, 1–30. Oxford: Oxford University Press.
Beall, J.C., and M. Colyvan. 2001. Heaps of gluts and hyde-ing the sorites. Mind 110: 401–408.
Beall, J.C., and D. Ripley. 2004. Analetheism and dialetheism. Analysis 64(1): 30–35.
Cobreros, P., P. Égré, D. Ripley, and R. van Rooij. 2012. Tolerant, classical, strict. Journal of Philosophical Logic. 41(2): 347–385.
Colyvan, M. 2008. Vagueness and truth. In From truth to reality: New essays in logic and metaphysics, ed. H. Duke, 29–40. New York: Routledge.
Fine, K. 1975. Vagueness, truth, and logic. Synthèse 30: 265–300.
Hyde, D. 1997. From heaps and gaps to heaps of gluts. Mind 106: 641–660.
Hyde, D. 2001. A reply to beall and colyvan. Mind 110: 409–411.
Hyde, D. 2010. The prospects of a paraconsistent approach to vagueness. In Cuts and clouds: Vagueness, its nature, and its logic, ed. R. Dietz and S. Moruzzi, 385–406. Oxford: Oxford University Press.
Hyde, D., and M. Colyvan. 2008. Paraconsistent vagueness: Why not? Australasian Journal of Logic 6: 107–121.
Kamp, H. 1981. Two theories about adjectives. In Aspects of philosophical logic, ed. U. Mönnich. Dordrecht: Reidel.
Keefe, R. 2000. Theories of vagueness. Cambridge: Cambridge University Press.
Kripke, S. 1975. Outline of a theory of truth. Journal of Philosophy 72(19): 690–716.
Lewis, D. 1970. General semantics. Synthèse 22: 18–67.
Lewis, D. 1982. Logic for equivocators. Noûs 16(3): 431–441.
Machina, K.F. 1972. Vague predicates. American Philosophical Quarterly 9: 225–233.
Parsons, T. 1984. Assertion, denial, and the liar paradox. Journal of Philosophical Logic 13: 137–152.
Priest, G. 1979. Logic of paradox. Journal of Philosophical Logic 8: 219–241.
Priest, G. 1984. Hyper-contradictions. Logique et Analyse 107: 237–243.
Priest, G. 2002. Beyond the limits of thought. Oxford: Oxford University Press.
Raffman, D. 1994. Vagueness without paradox. The Philosophical Review 103(1): 41–74.
Recanati, F. 2004. Literal meaning. Cambridge: Cambridge University Press.
Restall, G. 2005. Multiple conclusions. In Logic, methodology, and philosophy of science: Proceedings of the twelfth international congress, ed. P. Hajek, L. Valdes-Villanueva, and D. Westerståhl, 189–205. Kings’ College.
Ripley, D. 2011. Contradictions at the borders. In Vagueness and communication, ed. R. Nouwen, R. van Rooij, H.-C. Schmitz, and Uli Sauerland, 169–188. Heidelberg: Springer.
Routley, R., R.K. Meyer, V. Plumwood, and R.T. Brady. 1982. Relevant logics and their rivals, vol. 1. Atascadero: Ridgeview.
Smith, N.J.J. 2008. Vagueness and degrees of truth. Oxford: Oxford University Press.
Sorensen, R. 2001. Vagueness and contradiction. Oxford: Oxford University Press.
Tappenden, J. 1993. The liar and sorites paradoxes: Toward a unified treatment. The Journal of Philosophy 90(11): 551–577.
Unger, P. 1979. There are no ordinary things. Synthèse 41: 117–154.
Varzi, A. 2000. Supervaluationism and paraconsistency. In Frontiers in paraconsistent logic, ed. D. Batens, C. Mortensen, G. Priest, and J.-P. Van Bendegem, 279–297. Baldock: Research Studies Press.
Varzi, A. 2007. Supervaluationism and its logics. Mind 116: 633–676.
Williamson, T. 1994. Vagueness. London/New York: Routledge.
Wilson, D., and D. Sperber. 2002. Truthfulness and relevance. Mind 111: 583–632.
Zardini, E. 2008. A model of tolerance. Studia Logica 90: 337–368.
Acknowledgements
Research partially supported by the French government, Agence Nationale de la Recherche, grant ANR-07-JCJC-0070, program “Cognitive Origins of Vagueness”, and by the Spanish government, grant “Borderlineness and Tolerance” ref. FFI2010-16984, MICINN. Many thanks as well to Jc Beall, Rachael Briggs, Mark Colyvan, Dominic Hyde, Joshua Knobe, William Lycan, Ram Neta, Graham Priest, Greg Restall, Keith Simmons, Mandy Simons, and Zach Weber, as well as audiences at the Fourth World Congress of Paraconsistency, the University of Queensland, and Carnegie Mellon University for valuable discussion, insight, and support.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer Science+Business Media Dordrecht.
About this chapter
Cite this chapter
Ripley, D. (2013). Sorting out the Sorites. In: Tanaka, K., Berto, F., Mares, E., Paoli, F. (eds) Paraconsistency: Logic and Applications. Logic, Epistemology, and the Unity of Science, vol 26. Springer, Dordrecht. https://doi.org/10.1007/978-94-007-4438-7_18
Download citation
DOI: https://doi.org/10.1007/978-94-007-4438-7_18
Published:
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-007-4437-0
Online ISBN: 978-94-007-4438-7
eBook Packages: Humanities, Social Sciences and LawPhilosophy and Religion (R0)