I am a friend of supervaluationism. A statement lacks a definite truth value if, and only if, it comes out true on some admissible ways of precisifying the semantics of the relevant vocabulary and false on others. In this paper, I focus on the special case of identity statements. I take it that such statements, too, may occasionally suffer a truth-value gap, including philosophically significant instances. Yet there is a potentially devastating objection that can be raised against the supervaluationist treatment (...) of such cases—in fact two objections. Luckily, both can be resisted. But seeing how requires that we take a closer look at the ontological presuppositions of supervaluationism, allowing for more leeway than is usually supposed. (shrink)

This paper outlines the often striking parallels of various approaches to ontic vagueness, as well as their even more striking differences. Though circling around the same idea, some of these approaches were developed to solve quite diverse theoretical problems and encounter different challenges. In addition to these difficulties, the frequently disregarded epistemological problems of all theories of ontic vagueness turn out to be even more serious under critical scrutiny. The same holds for the difficulties of deciding, for every case of (...) vagueness, whether the vagueness involved is semantic or ontic. (shrink)

Can we solve the Problem of the Many, and give a general account of the indeterminacy in definite descriptions that give rise to it, by appealing to metaphysically indeterminate entities? I argue that we cannot. I identify a feature common to the relevant class of definite descriptions, and derive a contradiction from the claim that each such description is satisfied by a metaphysically indeterminate entity.

The standard Leibnizian view of identity allows for substitutivity of identicals and validates transitivity of identity within classical semantics. However, in a series of works, Graham Priest argues that Leibnizian identity invalidates both principles when formalized in paraconsistent semantics. This paper aims to show the Leibnizian view of identity validates substitutivity of identicals and transitivity of identity whether the logic is classical or paraconsistent. After presenting Priest's semantics of identity, I show what a semantic expression of Leibnizian identity does amount (...) to. Then, I argue that Priest's semantic definition of identity is not Leibnizian. Finally, I offer a semantics characterization of identity in paraconsistent logic that is truly Leibnizian. I demonstrate that the correct formalization of Leibnizian identity in paraconsistent logic also validates substitutivity of identicals and transitivity of identity. (shrink)