Terry Horgan

The ancient sorites paradox has important implications for metaphysics, for logic, and for semantics. Metaphysically, the paradox can be harnessed to produce a powerful argument for the claim that there cannot be vague objects or vague properties. With respect to logic, the paradox forces a choice between the highly counterintuitive ‘epistemic’ account of vagueness and the rejection of classical two-valued logic. Regarding semantics, nonclassical approaches to the logic of vagueness lead naturally to the idea that truth, for vague discourse, is not direct language-world correspondence grounded in referential connections linking a statement’s basic subsentential constituents (names, predicates, the apparatus of quantification) to real objects and real properties; rather, truth is a matter of indirect correspondence between vague language and nonvague reality