According to one prominent strand of mainstream logic and metaphysics, identity is indistinguishability. Priest has recently argued that this permits counterexamples to the transitivity and substitutivity of identity within dialetheic metaphysics, even in paradigmatically extensional contexts. This paper investigates two alternative regimentations of indistinguishability. Although classically equivalent to the standard regimentation on which Priest focuses, these alternatives are strictly stronger than it in dialetheic settings. Both regimentations are transitive, and one satisfies substitutivity. It is argued that both regimentations provide better (...) candidates to occupy the core theoretical role of numerical identity than does the standard regimentation. (shrink)

In some recent articles, Cobreros, Egré, Ripley, & van Rooij have defended the idea that abandoning transitivity may lead to a solution to the trouble caused by semantic paradoxes. For that purpose, they develop the Strict-Tolerant approach, which leads them to entertain a nontransitive theory of truth, where the structural rule of Cut is not generally valid. However, that Cut fails in general in the target theory of truth does not mean that there are not certain safe instances of Cut (...) involving semantic notions. In this article we intend to meet the challenge of answering how to regain all the safe instances of Cut, in the language of the theory, making essential use of a unary recovery operator. To fulfill this goal, we will work within the so-called Goodship Project, which suggests that in order to have nontrivial naïve theories it is sufficient to formulate the corresponding self-referential sentences with suitable biconditionals. Nevertheless, a secondary aim of this article is to propose a novel way to carry this project out, showing that the biconditionals in question can be totally classical. In the context of this article, these biconditionals will be essentially used in expressing the self-referential sentences and, thus, as a collateral result of our work we will prove that none of the recoveries expected of the target theory can be nontrivially achieved if self-reference is expressed through identities. (shrink)

The article introduces a special issue of the journal _Metaphysica_ on vagueness and ontology. The conventional view has it that all vagueness is semantic or representational. Russell, Dummett, Evans and Lewis, inter alia, have argued that the notion of “ontic” or “metaphysical” vagueness is not even intelligible. In recent years, a growing minority of philosophers have tried to make sense of the notion and have spelled it out in various ways. The article gives an overview and relates the idea of (...) ontic vagueness to the unquestioned phenomenon of fuzzy spatiotemporal boundaries and to the associated “problem of the many”. It briefly discusses the question of whether ontic vagueness can be spelled out in terms of “vague identity”, emphasizes the often neglected role of the difference between sortal and non-sortal ontologies and suggests a deflationary answer to the ill-conceived question of whether the “ultimate source” of vagueness lies either in language or in the world. (shrink)