This paper constructs a model of metaphysical indeterminacy that can accommodate a kind of ‘deep’ worldly indeterminacy that arguably arises in quantum mechanics via the Kochen-Specker theorem, and that is incompatible with prominent theories of metaphysical indeterminacy such as that in Barnes and Williams (2011). We construct a variant of Barnes and Williams's theory that avoids this problem. Our version builds on situation semantics and uses incomplete, local situations rather than possible worlds to build a model. We evaluate the resulting (...) theory and contrast it with similar alternatives, concluding that our model successfully captures deep indeterminacy. (shrink)

This paper explores quantum indeterminacy, as it is operative in the failure of value‐definiteness for quantum observables. It first addresses questions about its existence, its nature, and its relations to extant quantum interpretations. Then, it provides a critical discussions of the main accounts of quantum indeterminacy.

This is one of two papers about emergence, reduction and supervenience. It expounds these notions and analyses the general relations between them. The companion paper analyses the situation in physics, especially limiting relations between physical theories. I shall take emergence as behaviour that is novel and robust relative to some comparison class. I shall take reduction as deduction using appropriate auxiliary definitions. And I shall take supervenience as a weakening of reduction, viz. to allow infinitely long definitions. The overall claim (...) of this paper will be that emergence is logically independent both of reduction and of supervenience. In particular, one can have emergence with reduction, as well as without it; and emergence without supervenience, as well as with it. Of the subsidiary claims, the four main ones are: : I defend the traditional Nagelian conception of reduction ; : I deny that the multiple realizability argument causes trouble for reductions, or ``reductionism'' ; : I stress the collapse of supervenience into deduction via Beth's theorem ; : I adapt some examples already in the literature to show supervenience without emergence and vice versa. (shrink)

It has frequently been suggested that quantum mechanics may provide a genuine case of ontic vagueness or metaphysical indeterminacy. However, discussions of quantum theory in the vagueness literature are often cursory and, as I shall argue, have in some respects been misguided. Hitherto much of the debate over ontic vagueness and quantum theory has centered on the “indeterminate identity” construal of ontic vagueness, and whether the quantum phenomenon of entanglement produces particles whose identity is indeterminate. I argue that this way (...) of framing the debate is mistaken. A more thorough examination of quantum theory and the phenomenon of entanglement reveals that quantum mechanics is best interpreted as supporting what I call the “vague property” construal of ontic vagueness, where vague properties are understood in terms of determinable properties without the corresponding determinates. (shrink)

In this paper I develop a framework for understanding ontic vagueness. The project of the paper is two-fold. I first outline a definitional account of ontic vagueness – one that I think is an improvement on previous attempts because it remains neutral on other, independent metaphysical issues. I then develop one potential manifestation of that basic definitional structure. This is a more robust (and much less neutral) account which gives a fully classical explication of ontic vagueness via modal concepts. The (...) overarching aim is to systematically investigate the puzzling question of what exactly it could be for the world itself to be vague. (shrink)

In this paper I aim to answer two questions: Can spin be treated as a determinable? Can a treatment of spin as a determinable be used to understand quantum indeterminacy? In response to the first question I show that the relations among spin number, spin components and spin values cannot be captured by a single determination relation; instead we need to look at spin number and spin value separately. In response to the second question I discuss three ways in which (...) the determinables model might be modified to account for indeterminacy, and argue that none of them is fully successful in helping us to understand quantum indeterminacy. (shrink)

ABSTRACT Many phenomena appear to be indeterminate, including material macro-object boundaries and certain open future claims. Here I provide an account of indeterminacy in metaphysical, rather than semantic or epistemic, terms. Previous accounts of metaphysical indeterminacy have typically taken this to involve its being indeterminate which of various determinate states of affairs obtain. On my alternative account, MI involves its being determinate that an indeterminate state of affairs obtains. I more specifically suggest that MI involves an object's having a determinable (...) property, but not having any unique determinate of that determinable. I motivate the needed extension of the traditional understanding of determinables, then argue that a determinable-based account of MI accommodates, in illuminating fashion, both ‘glutty’ and ‘gappy’ cases of MI, while satisfactorily treating concerns about MI stemming from Evans’ argument and the problem of the many. (shrink)

An influential theory has it that metaphysical indeterminacy occurs just when reality can be made completely precise in multiple ways. That characterization is formulated by employing the modal apparatus of ersatz possible worlds. As quantum physics taught us, reality cannot be made completely precise. I meet the challenge by providing an alternative theory which preserves the use of ersatz worlds but rejects the precisificational view of metaphysical indeterminacy. The upshot of the proposed theory is that it is metaphysically indeterminate whether (...) p just in case it is neither true nor false that p, and no terms in ‘p’ are semantically defective. In other words, metaphysical indeterminacy arises when the world cannot be adequately described by a complete set of sentences defined in a semantically nondefective language. Moreover, the present theory provides a reductive analysis of metaphysical indeterminacy, unlike its influential predecessor. Finally, I argue that any adequate logic of a language with an indeterminate subject matter is neither compositional nor bivalent. (shrink)

This paper defends the idea that there might be vagueness or indeterminacy in the world itself---as opposed to merely in our representations of the world---against the charges of incoherence and unintelligibility. First we consider the idea that the world might contain vague *properties and relations*; we show that this idea is already implied by certain well-understood views concerning the semantics of vague predicates (most notably the fuzzy view). Next we consider the idea that the world might contain vague *objects*; we (...) argue that an object is indeterminate in a certain respect (colour, size, etc.) just in case it is a borderline case of a maximally specific colour (size, etc.) property. Finally we consider the idea that the *world as a whole* might be indeterminate; we argue that the world is indeterminate just in case it lacks a determinate division into determinate objects. (shrink)

It, is shown that Birkhoff –von Neumann quantum logic (i.e., an orthomodular lattice or poset) possessing an ordering set of probability measures S can be isomorphically represented as a family of fuzzy subsets of S or, equivalently, as a family of propositional functions with arguments ranging over S and belonging to the domain of infinite-valued Łukasiewicz logic. This representation endows BvN quantum logic with a new pair of partially defined binary operations, different from the order-theoretic ones: Łukasiewicz intersection and union (...) of fuzzy sets in the first case and Łukasiewicz conjunction and disjunction in the second. Relations between old and new operations are studied and it is shown that although they coincide whenever new operations are defined, they are not identical in general. The hypothesis that quantum-logical conjunction and disjunction should be represented by Łukasiewicz operations, not by order-theoretic join and meet is formulated and some of its possible consequences are considered. (shrink)

The question of how to interpret spontaneous collapse theories of quantum mechanics is an open one. One issue involves what link one should use to go from wave function talk to talk of ordinary macroscopic objects. Another issue involves whether that link should be taken ontologically seriously. In this paper, I ague that the link should be taken ontologically seriously; I argue against an ontology consisting solely of the wave function. I then consider three possible links: the fuzzy link, the (...) accessible mass density link, and the mass density simpliciter link. I show that the first two links have serious anomalies which render them unacceptable. I show that the mass density simpliciter link, in contrast, is viable. (shrink)

David Lewis is a natural target for those who believe that findings in quantum physics threaten the tenability of traditional metaphysical reductionism. Such philosophers point to allegedly holistic entities they take both to be the subjects of some claims of quantum mechanics and to be incompatible with Lewisian metaphysics. According to one popular argument, the non-separability argument from quantum entanglement, any realist interpretation of quantum theory is straightforwardly inconsistent with the reductive conviction that the complete physical state of the world (...) supervenes on the intrinsic properties of and spatio-temporal relations between its point-sized constituents. Here I defend Lewis's metaphysical doctrine, and traditional reductionism more generally, against this alleged threat from quantum holism. After presenting the non-separability argument from entanglement, I show that Bohmian mechanics, an interpretation of quantum mechanics explicitly recognized as a realist one by proponents of the non-separability argument, plausibly rejects a key premise of that argument. Another holistic worry for Humeanism persists, however, the trouble being the apparently holistic character of the Bohmian pilot wave. I present a Humean strategy for addressing the holistic threat from the pilot wave by drawing on resources from the Humean best system account of laws. (shrink)

Barnes (2014) has argued in this journal for the following conditional: If there is any metaphysical indeterminacy, this must be at the most fundamental level of reality. To argue for this claim, Barnes relies on two principles that I shall call bivalent completeness and determinate link. According to the former, a complete description is a bivalent assignment of truth values to every sentence. The determinate link, instead, establishes that the determination relation between levels of reality preserves determinacy from one level (...) to another. In response to Barnes’ conclusion, Eva (2018) has recently pointed out that bivalent completeness is question begging. In this paper, I will first show why Eva's line of reasoning can be resisted. My aim will then be to present a stronger case against Barnes’ argument by challenging the determinate link. In the presence of metaphysical indeterminacy, the link between fundamental and derivative facts might itself be the locus of indeterminacy. I will conclude by showing that Barnes and Eva make many unwarranted assumptions regarding both indeterminacy and fundamentality. The logical space around the connection between these two notions appears to be much wider than what they seem to be aware of, or so I will argue. (shrink)

This paper defends the idea that there might be vagueness or indeterminacy in the world itself--as opposed to merely in our representations of the world--against the charges of incoherence and unintelligibility. First we consider the idea that the world might contain vague properties and relations ; we show that this idea is already implied by certain well-understood views concerning the semantics of vague predicates (most notably the fuzzy view). Next we consider the idea that the world might contain vague objects (...) ; we argue that an object is indeterminate in a certain respect (colour, size, etc.) just in case it is a borderline case of a maximally specific colour (size, etc.) property. Finally we consider the idea that the world as a whole might be indeterminate; we argue that the world is indeterminate just in case it lacks a determinate division into determinate objects. (shrink)

A growing literature is premised on the claim that quantum mechanics provides evidence for metaphysical indeterminacy. But does it? None of the currently fashionable realist interpretations involve fundamental indeterminacy and the ‘standard interpretation’, to the extent that it can be made out, doesn't require indeterminacy either.

With reference to recently proposed theoretical models accounting for reduction in terms of a unified dynamics governing all physical processes, we analyze the problem of working out a worldview accommodating our knowledge about natural phenomena. We stress the relevant conceptual differences between the considered models and standard quantum mechanics. In spite of the fact that both theories describe systems within a genuine Hilbert space framework, the peculiar features of the spontaneous reduction models limit drastically the states which are dynamically stable. (...) This fact by itself allows one to work out an interpretation of the formalism which makes it possible to give a satisfactory description of the world in terms of the values taken by an appropriately defined mass density function in ordinary configuration space. A topology based on this function and which is radically different from the one characterizing the Hilbert space is introduced, and in terms of it the idea of similarity of macroscopic situations is precisely defined. Finally, the formalism and the interpretation are shown to yield a natural criterion for establishing the psychophysical parallelism. The conclusion is that, within the considered theories and at the nonrelativistic level, one can satisfy all sensible requirements for a completely satisfactory macro-objective description of reality. (shrink)

This paper deals with the truth-Conditions and the logic for vague languages. The use of supervaluations and of classical logic is defended; and other approaches are criticized. The truth-Conditions are extended to a language that contains a definitely-Operator and that is subject to higher order vagueness.

In recent years, a number of authors have defended the coherence and philosophical utility of the notion of metaphysical indeterminacy. Concurrently, the idea that reality can be stratified into more or less fundamental ‘levels’ has gained significant traction in the literature. Here, I examine the relationship between these two notions. Specifically, I consider the question of what metaphysical determinacy at one level of reality tells us about the possibility of metaphysical determinacy at other more or less fundamental levels. Towards this (...) end, I propose a novel conception of the way in which fundamental states of affairs determine derivative states of affairs in the presence of indeterminacy and construct a corresponding formal model of multilevel systems that demonstrates the compatibility of determinacy at the fundamental level with indeterminacy at higher levels, thereby rebutting Barnes' suggestion that indeterminacy at any level of reality implies indeterminacy at the fundamental level. (shrink)

On the now dominant Quinean view, metaphysics is about what there is. Metaphysics so conceived is concerned with such questions as whether properties exist, whether meanings exist, and whether numbers exist. I will argue for the revival of a more traditional Aristotelian view, on which metaphysics is about what grounds what. Metaphysics so revived does not bother asking whether properties, meanings, and numbers exist (of course they do!) The question is whether or not they are fundamental.

This paper distinguishes two kinds of realist issue -- the issue of whether the propositions of a given domain are factual and the issue of whether they are fundamental. It criticizes previous accounts of what these issues come to and suggests that they are to be understood in terms of a basic metaphysical concept of reality. This leaves open the question of how such issues are to be resolved; and it is argued that this may be done through consideration of (...) what grounds the facts of a given domain, when fundamentality is in question, and what grounds our engagement with the putative facts, when factuality is in question. (shrink)