Quantum objects are vague objects

[FIRST PARAGRAPHS] Is vagueness a feature of the world or merely of our representations of the world? Of course, one might respond to this question by asserting that insofar as our knowledge of the world is mediated by our representations of it, any attribution of vagueness must attach to the latter. However, this is to trivialize the issue: even granted the point that all knowledge is representational, the question can be re-posed by asking whether vague features of our representations are ultimately eliminable or not. It is the answer to this question which distinguishes those who believe that vagueness is essentially epistemic from those who believe that it is, equally essentially, ontic. The eliminability of vague features according to the epistemic view can be expressed in terms of the supervenience of ‘vaguely described facts’ on ‘precisely describable facts’: If two possible situations are alike as precisely described in terms of physical measurements, for example, then they are alike as vaguely described with words like ‘thin’. It may therefore be concluded that the facts themselves are not vague, for all the facts supervene on precisely describable facts. (Williamson 1994, p. 248; see also pp. 201- 204) It is the putative vagueness of certain identity statements in particular that has been the central focus of claims that there is vagueness ‘in’ the world (Parfit 1984, pp. 238-241; Kripke 1972, p. 345 n. 18). Thus, it may be vague as to who is identical to whom after a brain-swap, to give a much discussed example. Such claims have been dealt a forceful blow by the famous Evans-Salmon argument which runs as follows: suppose for reductio that it is indeterminate whether a = b. Then b definitely possesses the property that it is indeterminate whether it is identical with a, but a definitely does not possess this property since it is surely not indeterminate whether a=a. Therefore, by Leibniz’s Law, it cannot be the case that a=b and so the identity cannot be indeterminate (Evans 1978; Salmon 1982)

Multiple actualities and ontically vague identity

Gareth Evans's argument against ontically vague identity has been picked over on many occasions. But extant proposals for blocking the argument do not meet well-motivated general constraints on a successful solution. Moreover, the pivotal position that defending ontically vague identity occupies vis a vis ontic vagueness more generally has not yet been fully appreciated. This paper advocates a way of resisting the Evans argument meeting all the mentioned constraints: if we can find referential indeterminacy in virtue of ontic vagueness, we can get out of the Evans argument while still preserving genuinely ontically vague identity. To show how this approach can vindicate particular cases of ontically vague identity, I develop a framework for describing ontic vagueness in general in terms of multiple actualities. The effect, overall, is to provide a principled and attractive approach to ontically vague identity that is immune from Evansian worries

Dilating and contracting arbitrarily

Standard accuracy-based approaches to imprecise credences have the consequence that it is rational to move between precise and imprecise credences arbitrarily, without gaining any new evidence. Building on the Educated Guessing Framework of Horowitz (2019), we develop an alternative accuracy-based approach to imprecise credences that does not have this shortcoming. We argue that it is always irrational to move from a precise state to an imprecise state arbitrarily, however it can be rational to move from an imprecise state to a precise state arbitrarily

Inconsistent boundaries

Research on this paper was supported by a grant from the Marsden Fund, Royal Society of New Zealand.Mereotopology is a theory of connected parts. The existence of boundaries, as parts of everyday objects, is basic to any such theory; but in classical mereotopology, there is a problem: if boundaries exist, then either distinct entities cannot be in contact, or else space is not topologically connected (Varzi in Noûs 31:26–58, 1997). In this paper we urge that this problem can be met with a paraconsistent mereotopology, and sketch the details of one such approach. The resulting theory focuses attention on the role of empty parts, in delivering a balanced and bounded metaphysics of naive space.PostprintPeer reviewe

Semantic Criteria of Correct Formalization

This paper compares several models of formalization. It articulates criteria of correct formalization and identifies their problems. All of the discussed criteria are so called “semantic” criteria, which refer to the interpretation of logical formulas. However, as will be shown, different versions of an implicitly applied or explicitly stated criterion of correctness depend on different understandings of “interpretation” in this context

Reanalyzing Chisholm Paradox. Structural Insights

In this paper I focus on the conditions that have to be met for Chisholm’s Paradox (CP) to occur. My claim is that identity and structure are notions closely related to each other. I propose a discussion in which the minimal framework for CP is set, then analyze the paradox in terms of S5, and suggest that in order to capture the core of the paradox one should use a dynamic valuation function for the model. Identity appears, at this point, to be dependent upon a structuralist point of vie