Skip to main content Accessibility help
×
Home
  • Print publication year: 2019
  • Online publication date: September 2019

5 - Intuitionism and the Sorites Paradox

from Part I - Solutions to the Sorites Paradox

Summary

The vagueness-intuitionist credits epistemicism with a crucial insight, namely that vagueness is a cognitive, rather than a semantic phenomenon: the vagueness of the distinction between, say, yellow and orange consists in our inability to, so to speak, bring those two concepts up against one another to mark a sharp and stable boundary. The chapter proposes a knowledge-theoretic semantics for a first-order logic of vagueness that respects this conception of the nature of the phenomenon. The semantics diverges from traditional intuitionist-style semantics (Heyting, Beth, Kripke) in the treatment of negation, taking the idea of incompatibility between atomic vague predications as primitive, and setting the negation of atomic A as acceptable just when some statement is acceptable which is incompatible with A. It is shown how a semantics based on this idea vindicates an intuitionist-style repudiation of the principle of Bivalence and thereby the law of excluded middle, and thus enables the reasoning of the Sorites Paradox to go through as a demonstration of the negation of its major premise without thereby incurring the unwelcome implication, sustained by classical logic, of the existence of a sharp boundary to the extension of the relevant predicate.