Skip to main content
Log in

Vagueness Intuitions and the Mobility of Cognitive Sortals

  • Published:
Minds and Machines Aims and scope Submit manuscript

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

Notes

  1. See Halldén (1949), Körner (1960), and Tye (1994).

  2. See Goguen (1969) and Zadeh (1975).

  3. See Fine (1975) and Lewis (2001).

  4. For discussion of the ontological view, consider van Inwagen (1990), Morreau (2002), Smith (2005), Tye (1990) and Zemach (1991). For defences of epistemicism, see Sorensen (2001) and Williamson (1996).

  5. Evans (1978) has probably the most well known argument against the view that objects can be vague, which is discussed again in Lewis (1988). Briefly, the argument is that if there are vague objects, then there could also be vague identities. A vague object like the Sahara desert, for example, would be indefinitely identical to its sharply bounded counterpart. It turns out however, that if objects a and b are indefinitely identical, that entails that the two objects are not identical. This is an odd result in and of itself, but further strengthening of the assumptions with a definitely operator leads to a flat-out contradiction. Defenses of the view exist (Tye 1990), but has not gained widespread agreement. See Prinz (1998) for an overview.

  6. An epistemicist may insist that I can’t maintain a belief because: (1) I can’t maintain a justified belief, and (2) good epistemic agents refuse to maintain unjustified beliefs. Then the point being made can be recapitulated in terms of (1). That is, we need an explanation for why I cannot maintain a justified belief, where justification is something that can be entangled internally with the psychological inability we are attempting to explain.

  7. ‘Synthetic methodology’ is an allusion to the work of Braitenberg (1984).

  8. This is closely related to ideas in contextualism, discussed in “How Plausible is it that We are Like the Model?

  9. In fact, that would be to miss the purpose of representation altogether; the generality of a representation, i.e., that it can apply to numerous cases, is what makes it useful to an agent. We see this idea already back in Kant in his distinction between concepts (which are general) and intuitions (which are singular) (Kant 1996, B377).

  10. Of course both theories, either broadly construed or in their more detailed developments, differ on how exactly cases are encoded in the system. Prototype theories rely on a process of abstraction to generate a summary representation of statistically significant properties which are then used to determine the concept. In this way, the “prototype” need not correspond to specific cases. Exemplar theories do not rely on an abstract summary, but rather take exemplars to govern a concept. Exemplars are encoded property descriptions of a case or cases. The essential difference between exemplars and prototypes is that the former are encodings of many encountered cases where prototypes are encodings of parameters that characterize those cases. See Smith and Medin (1981) for a general overview and Smith and Medin (1999) for further discussion of the differences between prototypes and exemplar theories. See Malt (1989) who argues for both prototypes and exemplars and that subjects can use either in categorization tasks. See Barsalou (1990) who argues that we cannot empirically distinguish between exemplar and abstracted representations.

  11. Lists don’t literally contain cases like Dorothy, Lassie the dog, or grandma. Talking about adding or taking cases off a list is shorthand for the representational operations in a system of encodings.

  12. One might be inclined to object that such trend-matching could lead to complete expansion or contraction, which is neither advantageous, nor an accurate reflection of our categorization faculty. This objection is addressed in “Objection: Forced Marches”.

  13. I talk as if an projection were a projected entity of a (mental) representation. However, a projection is just the set of cases that an agent is disposed to accept as being equivalent.

  14. It may turn out that some updates are redundant. In this case, the projection at t n is extensionally identical to the projection at t n+1 because they include the same cases. An update is non-redundant when this fails to hold.

  15. One might ask whether adaptive lists are sets. Adaptive lists persist through time, they are not “destroyed” when the encodings are changed. This means their identities are not determined extensionally, and consequently that they are not sets. What ontological commitments we have regarding adaptive lists, especially given that a projection can shift, is a question that deserves more exploration in its own right. The current objective however, is to represent the operational nature of a classification system. For that reason I leave the question about ontology to the side.

  16. See Sturgeon (1993) and Goldman (1988) for discussion.

  17. Interestingly, peoples’ dispositions, and accordingly their intuitions, vary widely about which examples are and are not instances of knowledge (Goldman 2003), which is evidence that people encode different membership conditions.

  18. Any time we speak of an update, we mean a non-redundant one.

  19. With the way we have designed the system, updating occurs when a test yields a positive result. To handle cases of updating where the first test yields a negative result, we consider the complementary concept for which it is a positive result and then proceed likewise. This is not an ad hoc amendment, for it is quite plausible that a concept and its complement are connected by a rule so that updating one automatically updates the other. We simply consider tests with positive results first for ease of proof.

  20. Variations on this idea are discussed, though not necessarily endorsed, in Graff (2002), Kamp (1981), Raffman (1994, 1996), Stanley (2003) and Ludlow (1989).

  21. The work of Raffman (1996, 2004) comes closest, since mental states are included as constituents of contexts. However, our account focuses solely on the inner workings.

  22. The reader may nevertheless want to know which semantic views are compatible with Sortal Mobility. Obviously, it is compatible with contextualist views of the kind mentioned. One might even extend our model, for example, to something like what appears in the work of Barker (2002). Roughly speaking, we could let the sortal be a gradable adjective in a shared discourse and let the updating rules of our model be determined by how uses of the term update the shared knowledge in discourse.

    Generally speaking, however, Sortal Mobility is compatible with a view that vague predicates express properties whose extensions have exact boundaries, where the given property a predicate expresses varies across contexts. It is also compatible with views where the properties expressed do not vary across contexts, though one needs to be more subtle about what the constituents of a context are. If mental states are constituents of context, then clearly a change in mental state is a change in context, which is the preceding contextualist view. If, however, the properties expressed by vague predicates do not vary by context, then there seem to be at least two options. One is to give up that properties have crisp boundaries. Though compatible, this would unnecessarily double up explanatory work for our inability to locate sharp boundaries. The second option is to maintain that properties are crisp and then explain why appearances are to the contrary. This would need to allow for some separation between the property and its representation, which is perfectly compatible with Sortal Mobility.

    Alternatively, one may hold that predicates do not express properties at all. Semantic content may be, for example, entirely ‘in the head’. The details such a view would take us too far adrift. Suffice it to say that Sortal Mobility is relatively non-committal to views on semantic content, as it is a claim about our classification dispositions and not the meanings of terms.

  23. See RoboCup (http://www.robocup.org). It is an international research initiative targeted to combine technology from artificial intelligence and robotics. The ultimate goal is to create soccer-playing humanoid robots that can eventually play at a competitive level with human players.

  24. Natural lighting in particular changes much more frequently than controlled indoor lighting.

  25. The way ACT does this is by calculating the mean value.

  26. One obvious reason why it received all the attention it did was because it overthrew the classical view that concepts or categories encode the necessary and sufficient conditions for their application. See Margolis and Laurence (1999) for further reasons why prototypical theories received widespread attention. See Rosch and Mervis (1975) for the influence of Wittgenstein in this regard.

  27. One difficulty of the view is that it is not compositional (Fodor and Lepore 1996), which has been disputed (Hampton and Jönsson 2009; Hampton 2007). We can safely ignore this debate, since we are not concerned with the thesis that concepts, the constituents of compositional thoughts, are prototypes. Even if that thesis turns out to be false, prototype theory stands as a thesis of categorization behaviour.

  28. One might not find this response entirely compelling. If concepts compete for members, the result might be that we end up with (briefly) immobile boundaries, and a forced march would reveal them. For example, let us consider a scenario as above, where we march our model’s middle age class from 45 up to 68, at which point its old age class kicks in and forces it to say that 68 is not middle aged (although it has just said ‘yes’ that 67 is middle aged). Has the forced march thereby exposed a boundary? If it has, it is very short lived. By having considered 68 as old aged, the old age class may expand its boundary as well, requiring the middle age class to retract. So if we were to test the model’s middle age class against 67 again, the model would respond in the negative.

References

  • Barker, C. (2002). The dynamics of vagueness. Linguistics and Philosophy, 25(1), 1–36.

    Article  Google Scholar 

  • Barsalou, L. (1987). The instability of graded structure: Implications for the nature of concepts. In U. Neisser (Ed.), Concepts and conceptual development: Ecological and intellectual factors in categorization (pp. 101–140). Cambridge: Cambridge University Press.

    Google Scholar 

  • Barsalou, L. (1990). On the indistinguishability of exemplar memory and abstraction in category representation. In Content and process specificity in the effects of prior experiences (Vol. III, pp. 61–88). London: Lawrence Erlbaum.

  • Barsalou, L. (1992). Frames, concepts, and conceptual fields. In A. Lehrer, & E. F. Kittay (Eds.), Frames, fields, and contrasts (pp. 21–74). Hillsdale, NJ: Lawrence Erlbaum Associates.

    Google Scholar 

  • Barsalou, L. (1993). Flexibility, structure, and linguistic vagary in concepts: Manifestations of a compositional system of perceptual symbols. In A. C. Collins, S. E. Gathercole, & M. A. Conway (Eds.). Theories of memory, pp. 29–101. London: Lawrence Erlbaum Associates.

  • Bleys, J., Loetzsch. M., Spranger. M., & Steels, L. (2009). The grounded colour naming game. In Proceedings of Roman-09.

  • Braitenberg, V. (1984). Vehicles, experiments in synthetic psychology. Cambridge: Bradford Book.

    Google Scholar 

  • Evans, G. (1978). Can there be vague objects?. Analysis 38(4), 208.

    Article  Google Scholar 

  • Fine, K. (1975). Vagueness, truth and logic. Synthese 30(3), 265–300.

    Article  MATH  Google Scholar 

  • Fodor, J., & Lepore, E. (1996). The pet fish and the red herring: Why concepts arent prototypes. Cognition 58, 243–276.

    Article  Google Scholar 

  • Goguen, J. (1969). The logic of inexact concepts. Synthese 19, 325–373.

    Article  MATH  Google Scholar 

  • Goldman, A. (1988). Epistemology and cognition. Cambridge: Harvard University Press.

    Google Scholar 

  • Goldman, A. (2003). Epistemology and the evidential status of introspective reports. In A. Jack, A. Roepstorff (Eds.), Trusting the subject?: The Use of Introspective Evidence in Cognitive Science (Vol. 2, pp. 1–16). Charlottesville: Imprint Academic.

  • Graff, D. (2002). Shifting sands: An interest-relative theory of vagueness. Philosophical Topics 28(1), 45–82.

    MathSciNet  Google Scholar 

  • Halldén, S. (1949). The logic of nonsense. Uppsala: Uppsala Universitets Arsskrift.

    Google Scholar 

  • Hampton, J. (2007). Typicality, graded membership, and vagueness. Cognitive Science: A Multidisciplinary Journal 31(3), 355–384.

    Article  Google Scholar 

  • Hampton, J., & Jönsson, M. L. (2009). Typicality and compositionality: The logic of combining vague concepts. In E. Machery, W. H., Werning M. (Eds.), Handbook on Compositionality. Oxford: Oxford University Press.

    Google Scholar 

  • Heinemann P., Sehnke F., Streichert F., & Zell A. (2007). Towards a calibration-free robot: The ACT algorithm for automatic online color training. In RoboCup 2006: Robot Soccer World Cup X, Lecture Notes in Computer Science (Vol. 4434, pp. 363–370). Berlin: Springer.

  • van Inwagen, P. (1990). Material beings. Ithaca, NY: Cornell University Press.

    Google Scholar 

  • Kamp, H. (1981). The paradox of the heap. In U. Mönnich (Ed.), Aspects of philosophical logic. Dordrecht: Reidel.

    Google Scholar 

  • Kant, I. (1996). The critique of pure reason (Werner S. Pluhar, Trans.). Indianapolis: Hackett Publishing Company.

  • Keefe, R. (2000). Theories of vagueness. Cambridge: Cambridge University Press.

    Google Scholar 

  • Körner, S. (1960). The philosophy of mathematics. London: Hutchinson.

    Google Scholar 

  • Lewis, D. (1979). Scorekeeping in a language game. Journal of Philosophical Logic, 8(1), 339–359.

    Article  Google Scholar 

  • Lewis, D. (1988). Vague identity: Evans misunderstood. Analysis, 48(3), 128.

    Article  Google Scholar 

  • Lewis, D. (2001). On the plurality of worlds. New York: Wiley-Blackwell.

    Google Scholar 

  • Ludlow, P. (1989). Implicit comparison classes. Linguistics and Philosophy, 12(4), 519–533.

    Article  Google Scholar 

  • Malt, B. (1989). An on-line investigation of prototype and exemplar strategies in classification. Journal of Experimental Psychology: Learning, Memory, and Cognition, 15(4), 539–555.

    Article  Google Scholar 

  • Margolis, E., & Laurence, S. (1999). Concepts: Core readings. Cambridge: MIT Press.

    Google Scholar 

  • Morreau, M. (2002). What vague objects are like. Journal of Philosophy, 99, 333–361.

    Article  Google Scholar 

  • Prinz, J. (1998). Vagueness, language, and ontology. Electronic Journal of Analytical Philosophy, 6.

  • Raffman, D. (1994). Vagueness without paradox. The Philosophical Review 103(1), 41–74.

    Article  Google Scholar 

  • Raffman, D. (1996). Vagueness and context-relativity. Philosophical Studies, 81, 175–192.

    Article  Google Scholar 

  • Raffman, D. (2004). Borderline cases and bivalence. The Philosophical Review, 103, 41–74.

    Article  Google Scholar 

  • Rosch, E. (1999). Principles of categorization. In E. Margolis, & S. Laurence (Eds.), Concepts: Core readings (p. 189). Cambridge: MIT Press.

    Google Scholar 

  • Rosch, E., & Mervis, C. (1975). Family resemblances: Studies in the internal structure of categories. Cognitive Psychology, 7, 573–605.

    Article  Google Scholar 

  • Shapiro, S. (2003). Vagueness and conversation. In Beall (Ed.), Liars and heaps: New essays on paradox (pp. 39–72). Oxford, England: Clarendon Press.

  • Shapiro, S. (2006). Vagueness in context. USA: Oxford University Press.

    Book  Google Scholar 

  • Smith, E., & Medin, D. (1981). Categories and concepts. Cambridge, MA: Harvard University Press.

    Google Scholar 

  • Smith, E., & Medin, D. (1999). The exemplar view. In Concepts: Core readings (pp. 207–222). Cambridge: Bradford Book.

  • Smith, N. (2005). A plea for things that are not quite all there: Or, is there a problem about vague composition and vague existence? Journal of Philosophy, 102, 381–421.

    Google Scholar 

  • Sorensen, R. (2001). Vagueness and contradiction. New York: Oxford University Press.

    MATH  Google Scholar 

  • Stanley, J. (2003). Context, interest-relativity, and the sorites. Analysis, 63, 269–280.

    Article  MathSciNet  MATH  Google Scholar 

  • Sturgeon, S. (1993). The gettier problem. Analysis, 53(3), 156–164.

    Article  MathSciNet  MATH  Google Scholar 

  • Swain, S., Alexander, J., & Weinberg, J. (2008). The instability of philosophical intuitions: Running hot and cold on truetemp. Philosophy and Phenomenological Research, 76(1), 138–155.

    Article  Google Scholar 

  • Tye, M. (1990). Vague objects. Mind, 99, 535–557.

    Article  MathSciNet  Google Scholar 

  • Tye, M. (1994). Sorites paradoxes and the semantics of vagueness. In J. Tomberlin (Ed.), Philosophical perspectives: Logic and language. Atascadero, CA: Ridgeview.

    Google Scholar 

  • Williamson, T. (1996). Vagueness. London: Routledge.

    Google Scholar 

  • Zadeh, L. (1975). Fuzzy logic and approximate reasoning. Synthese, 30, 407–428.

    Article  MATH  Google Scholar 

  • Zemach, E. (1991). Vague objects. Nous, 25, 323–340.

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgments

Thanks goes first and foremost to Bernard Molyneux for his extensive feedback on this work, from its conception to the final version. Thanks also to Aldo Antonelli, Adam Sennet, Paul Teller, and an anonymous referee for invaluable comments on drafts. For helpful discussions at various points in the development of this paper I am indebted to Lawrence Barsalou, Jeff Schank, Miguel Sebastian, and Matthew Stone.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Bert Baumgaertner.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Baumgaertner, B. Vagueness Intuitions and the Mobility of Cognitive Sortals. Minds & Machines 22, 213–234 (2012). https://doi.org/10.1007/s11023-012-9273-3

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11023-012-9273-3

Keywords

Navigation