This chapter argues that the general philosophy of science should learn metaphilosophical lessons from the case of metaphysical underdetermination, as it occurs in non-relativistic quantum mechanics. Section presents the traditional discussion of metaphysical underdetermination regarding the individuality and non-individuality of quantum particles. Section discusses three reactions to it found in the literature: eliminativism about individuality; conservatism about individuality; eliminativism about objects. Section wraps it all up with metametaphysical considerations regarding the epistemology of metaphysics of science.

Gauge symmetries play a central role, both in the mathematical foundations as well as the conceptual construction of modern (particle) physics theories. However, it is yet unclear whether they form a necessary component of theories, or whether they can be eliminated. It is also unclear whether they are merely an auxiliary tool to simplify (and possibly localize) calculations or whether they contain independent information. Therefore their status, both in physics and philosophy of physics, remains to be fully clarified. In this (...) overview we review the current state of affairs on both the philosophy and the physics side. In particular, we focus on the circumstances in which the restriction of gauge theories to gauge invariant information on an observable level is warranted, using the Brout-Englert-Higgs theory as an example of particular current importance. Finally, we determine a set of yet to be answered questions to clarify the status of gauge symmetries. (shrink)

Structural realist interpretations of generally relativistic spacetimes have recently come to enjoy a remarkable degree of popularity among philosophers. I present a challenge to these structuralist interpretations that arises from considering cosmological models in general relativity. As a consequence of their high degree of spacetime symmetry, these models resist a structuralist interpretation. I then evaluate the various strategies available to the structuralist to react to this challenge. †To contact the author, please write to: Department of Philosophy, 9500 Gilman Drive, 0119, (...) University of California, San Diego, La Jolla, CA 92093‐0119; e‐mail: [email protected]. (shrink)

I argue that the best interpretation of the general theory of relativity has need of a causal entity, and causal structure that is not reducible to light cone structure. I suggest that this causal interpretation of GTR helps defeat a key premise in one of the most popular arguments for causal reductionism, viz., the argument from physics.

The analysis of the temporal structure of canonical general relativity and the connected interpretational questions with regard to the role of time within the theory both rest upon the need to respect the fundamentally dual role of the Hamiltonian constraints found within the formalism. Any consistent philosophical approach towards the theory must pay dues to the role of these constraints in both generating dynamics, in the context of phase space, and generating unphysical symmetry transformations, in the context of a hypersurface (...) embedded within a solution. A first denial of time in the terms of a position of reductive temporal relationalism can be shown to be troubled by failure on the first count, and a second denial in the terms of Machian temporal relationalism can be found to be hampered by failure on the second. A third denial of time, consistent with both of the Hamiltonian constraints roles, is constituted by the implementation of a scheme for constructing observables in terms of correlations and leads to a radical Parmenidean timelessness. The motivation for and implications of each of these three denials are investigated. (shrink)

Esfeld has proposed a minimalist ontology of nature called ‘super-Humeanism’ that purports to accommodate quantum phenomena and avoid standard objections to neo-Humean metaphysics. I argue that Esfeld’s sparse ontology has counterintuitive consequences and generates two self-undermining dilemmas concerning the nature of time and space. Contrary to Esfeld, I deny that super-Humeanism supports an ontology of microscopic particles that follow continuous trajectories through space.

It is widely accepted that the notion of an inertial frame is central to Newtonian mechanics and that the correct space-time structure underlying Newton’s methods in Principia is neo-Newtonian or Galilean space-time. I argue to the contrary that inertial frames are not needed in Newton’s theory of motion, and that the right space-time structure for Newton’s Principia requires the notion of parallelism of spatial directions at different times and nothing more. Only relative motions are definable in this framework, never absolute (...) ones. (shrink)

The concept of classical indistinguishability is analyzed and defended against a number of well-known criticisms, with particular attention to the Gibbs’paradox. Granted that it is as much at home in classical as in quantum statistical mechanics, the question arises as to why indistinguishability, in quantum mechanics but not in classical mechanics, forces a change in statistics. The answer, illustrated with simple examples, is that the equilibrium measure on classical phase space is continuous, whilst on Hilbert space it is discrete. The (...) relevance of names, or equivalently, properties stable in time that can be used as names, is also discussed. (shrink)

We demonstrate that the quantum-mechanical description of composite physical systems of an arbitrary number of similar fermions in all their admissible states, mixed or pure, for all finite-dimensional Hilbert spaces, is not in conflict with Leibniz's Principle of the Identity of Indiscernibles (PII). We discern the fermions by means of physically meaningful, permutation-invariant categorical relations, i.e. relations independent of the quantum-mechanical probabilities. If, indeed, probabilistic relations are permitted as well, we argue that similar bosons can also be discerned in all (...) their admissible states; but their categorical discernibility turns out to be a state-dependent matter. In all demonstrated cases of discernibility, the fermions and the bosons are discerned (i) with only minimal assumptions on the interpretation of quantum mechanics; (ii) without appealing to metaphysical notions, such as Scotusian haecceitas, Lockean substrata, Postian transcendental individuality or Adamsian primitive thisness; and (iii) without revising the general framework of classical elementary predicate logic and standard set theory, thus without revising standard mathematics. This confutes: (a) the currently dominant view that, provided (i) and (ii), the quantum-mechanical description of such composite physical systems always conflicts with PII; and (b) that if PII can be saved at all, the only way to do it is by adopting one or other of the thick metaphysical notions mentioned above. Among the most general and influential arguments for the currently dominant view are those due to Schrodinger, Margenau, Cortes, Dalla Chiara, Di Francia, Redhead, French, Teller, Butterfield, Giuntini, Mittelstaedt, Castellani, Krause and Huggett. We review them succinctly and critically as well as related arguments by van Fraassen and Massimi. (shrink)

Particle indistinguishability has always been considered a purely quantum mechanical concept. In parallel, indistinguishable particles have been thought to be entities that are not properly speaking objects at all. I argue, to the contrary, that the concept can equally be applied to classical particles, and that in either case particles may (with certain exceptions) be counted as objects even though they are indistinguishable. The exceptions are elementary bosons (for example photons).

This paper explores the status of causation in structuralist metaphysics of physics. What role (if any) does causation play in understanding ‘structure’ in ontological structural realism? I address this question by examining, in a structuralist setting, arguments for and against the idea that fundamental physics deals, perhaps exclusively, with causal properties. I will argue (against Esfeld, Dorato and others) that a structuralist interpretation of fundamental physics should diverge from ‘causal structuralism’. Nevertheless, causation outside fundamental physics, and the basic motivation for (...) causal structuralism outside fundamental physics, can be captured with an appropriate conception of causation. (shrink)

I examine three ‘anti-object’ metaphysical views: nihilism, generalism, and anti-quantificationalism. After setting aside nihilism, I argue that generalists should be anti-quantificationalists. Along the way, I attempt to articulate what a ‘metaphysically perspicuous’ language might even be.

Meinard Kuhlmann has recently provided an interpretation of quantum field theory that seems to offer an alternative to the particle and field interpretations. The main idea is to adopt a trope ontology and, then, consider particles and fields as derivative entities. The aim of this paper is to discuss Kuhlmann's proposal. In the first part of the paper I will offer a reconstruction of his position. I will then show that this interpretation faces some problems about the distinction between essential (...) and non-essential tropes and their link to the formalism of algebraic quantum field theory, which is the formulation of the theory that Kuhlmann adopts in his interpretation. Finally, I will show how Kuhlmann's proposal might share some problems with the particle and field interpretations, namely the localization problem and the Unruh effect. (shrink)

The notion of identity is investigated through Aristotle and Hegel as supporters of two different ontological conceptions: pluralism of substances and relational holism. Through Aristotle, I examine both the thesis according to which the identity of an object is constituted by its properties and the difficulties which this thesis encounters. Aristotle easily defines the identity in species, in genus, and in number; some problems arise regarding the identity of individuals: for these, it is not enough to indicate the definition and (...) the proper qualities, but matter is needed. Matter cannot, however, be a criterion for identifying duplicate objects: in this case, it plays at most the role of a “weak individuator.” A weak individuator involves relations with other entities. The use of relations in determining the identity of an entity is extensively treated by Hegel, according to whom, in order to define the identity of an object a multiplicity of particular objects is required and, therefore, relations among entities. I conclude by proposing a notion of the object understood not as an independent, separate, and autonomous item, but as a portion of the world, which is given in a phenomenological context and identifies a dialectical context. (shrink)

Relationism holds that objects entirely depend on relations or that they must be eliminated in favour of the latter. In this article, I raise a problem for relationism. I argue that relationism cannot account for the order in which non-symmetrical relations apply to their relata. In Section 1, I introduce some concepts in the ontology of relations and define relationism. In Section 2, I present the Problem of Order for non-symmetrical relations, after distinguishing it from the Problem of Differential Application. (...) I also examine four main existing strategies to solve it. In Section 3, I develop my argument. The first step consists in arguing that—among those strategies—relationism can only accept directionalism. The second step consists in arguing that directionalism is affected by a serious problem: the Problem of Converses. I also show that relationists who embrace directionalism cannot solve this problem. In Section 4, I introduce and rebut several strategies on behalf of relationists to cope with my argument. In Section 5, I briefly draw some conclusions. (shrink)

Some authors have attempted to defend Leibniz’s Identity of Indiscernibles through weak discernibility. The idea is that if there is a symmetric, nonreflexive physical relation that holds between two particles, then those particles cannot be identical. In this article I focus only on Muller and Saunders’s account and argue that the means by which they achieve weak discernibility is not through a quantum mechanical observable but an alternate mathematical construction that is both unorthodox and incomplete.

I begin by criticizing an elaboration of an argument in this journal due to Hawley , who argued that, where Leibniz’s Principle of the Identity of Indiscernibles faces counterexamples, invoking relations to save PII fails. I argue that insufficient attention has been paid to a particular distinction. I proceed by demonstrating that in most putative counterexamples to PII , the so-called Discerning Defence trumps the Summing Defence of PII. The general kind of objects that do the discerning in all cases (...) form a category that has received little if any attention in metaphysics. This category of objects lies between indiscernibles and individuals and is called relationals: objects that can be discerned by means of relations only and not by properties. Remarkably, relationals turn out to populate the universe. (shrink)

In his 2009 PSA Recent Ph.D. Award winning contribution to the bi-annual PSA Conference at Pittsburgh in 2008, C. Wu ̈thrich mounted an argument against struc- turalism about space-time in the context of the General Theory of Relativity, to the effect that structuralists cannot discern space-time points. An “abysmal embarrass- ment” for the structuralist, Wu ̈thrich judged. Wu ̈thrich’s characterisation of space-time structuralism is however incorrect. We demonstrate how, on the basis of a correct char- acterisation of space-time structuralism, it (...) is possible to discern space-time points in the GTR-structures under consideration. Thus Wu ̈thrich’s argument crumbles. (shrink)

Saunders' recent arguments in favour of the weak discernibility of (certain) quantum particles seem to be grounded in the 'generalist' view that science only provides general descriptions of the worlIn this paper, I introduce the ‘generalist’ perspective and consider its possible justification and philosophical basis; and then look at the notion of weak discernibility. I expand on the criticisms formulated by Hawley (2006) and Dieks and Veerstegh (2008) and explain what I take to be the basic problem: that the properties (...) invoked by Saunders cannot be pointed to as ‘individuators’ of otherwise indiscernible (and thus numerically identical) entities because their ontological status remains underdetermined by the evidence and the established interpretation of the theory. In addition to to this, I suggest that Saunders does not deal adequately with bosons, and cannot do so exactly because he subscribes to PII and the generalist picture. The last part of the paper contains a critical examination of the claim (or at least implicit assumption) that the generalist picture should be regarded as obviously compelling by the modern-day empiricist. (shrink)

In a recent paper, Jiri Benovsky argues that the bundle theory and the substratum theory, traditionally regarded as ‘deadly enemies’ in the metaphysics literature, are in fact ‘twin brothers’. That is, they turn out to be ‘equivalent for all theoretical purposes’ upon analysis. The only exception, according to Benovsky, is a particular version of the bundle theory whose distinguishing features render unappealing. In the present reply article, I critically analyse these undoubtedly relevant claims, and reject them.

In this article I assess the Invariance Principle, which states that only quantities that are invariant under the symmetries of our theories are physically real. I argue, contrary to current orthodoxy, that the variance of a quantity under a theory’s symmetries is not a sufficient basis for interpreting that theory as being uncommitted to the reality of that quantity. Rather, I argue, the variance of a quantity under symmetries only ever serves as a motivation to refrain from any commitment to (...) the quantity in question. (shrink)

Ontic structural realism is a thesis of fundamentality metaphysics: the thesis that structure, not objects, has fundamental status. Claimed as the metaphysic most befitting of modern physics, OSR first emerged as an entreaty to eliminate objects from the metaphysics of fundamental physics. Such elimination was urged by Steven French and James Ladyman on the grounds that only it could resolve the ‘underdetermination of metaphysics by physics’ that they claimed reduced any putative objectual commitment to a merely ‘ersatz’ form of realism. (...) Few, however, have joined French and Ladyman either in acknowledging that such underdetermination exists or in attributing to it such drastic consequences. However, an alternative view that physics does sanction objects, albeit merely as ontologically secondary entities, represents a different and seemingly less extreme route to the same conclusion regarding the fundamentality of structure. But since what it means to be ‘ontologically prior’ is itself a vexed philosophical question, a stance must be taken as to how we are to understand priority before its prospects may be evaluated. In an earlier paper, I outlined how Fine’s notion of ontological dependence might be utilized to defend the priority-based approach to structuralism. Since then, however, I have become convinced that that ontological dependence is not a relation of priority after all. As a result, the arguments outlined in that paper stand in need of reassessment. In this work, I consider the prospects for priority-based structuralism when expressed in the idiom of determination. My conclusion will be that it has yet to be vindicated by our best physical theories, owing to the failure of symmetry structures to determine the world’s inventory of fundamental kinds. Nevertheless, the same symmetry considerations point towards there being renewed prospects for eliminativism—an eliminativism, moreover, of more naturalistic appeal than that hitherto associated with OSR. 1Introduction 2Structuralist Strategies 3Defining Ontological Priority: Dependence or Determination? 4Structuralism in the Idiom of Determination 4.1Determining plurality 4.2Determining kind properties 5A Reinvigorated Eliminativism. (shrink)

In this article, I address concerns that the ontological priority claims definitive of ontic structural realism are as they stand unclear, and I do so by placing these claims on a more rigorous formal footing than they typically have been hitherto. I first of all argue that Kit Fine’s analysis of ontological dependence furnishes us with an ontological priority relation that is particularly apt for structuralism. With that in place, and with reference to two case studies prominent within the structuralist (...) literature, I consider whether any of structuralism’s distinctive priority claims may be regarded as warranted. The discussion as a whole has largely negative implications for the radical structuralism of French and Ladyman (including their ‘eliminativist’ interpretation of it), largely positive implications for the moderate structuralism primarily advocated by Esfeld and Lam, and some broad lessons for contemporary fundamentalist metaphysics as a whole. 1 Introduction2 The Right Priority Relation for Structuralism: Supervenience or Dependence?3 Introducing Ontological Dependence4 Fine’s System5 The Priority of Structure 1: Entangled Quantum Particles6 The Priority of Structure 2: The Group-Theoretic Conception of Elementary Particles7 Concluding Remarks. (shrink)

The view that the fundamental kind properties are intrinsic properties enjoys reflexive endorsement by most metaphysicians of science. But ontic structural realists deny that there are any fundamental intrinsic properties at all. Given that structuralists distrust intuition as a guide to truth, and given that we currently lack a fundamental physical theory that we could consult instead to order settle the issue, it might seem as if there is simply nowhere for this debate to go at present. However, I will (...) argue that there exists an as-yet untapped resource for arguing for ontic structuralism – namely, the way that fundamentality is conceptualized in our most fundamental physical frameworks. By arguing that physical objects must be subject to the ‘Goldilock's principle’ if they are to count as fundamental at all, I argue that we can no longer view the majority of properties defining them as intrinsic. As such, ontic structural realism can be regarded as the most promising metaphysics for fundamental physics, and that this is so even though we do not yet claim to know precisely what that fundamental physics is. (shrink)

A common adage runs that, given a theory manifesting symmetries, the syntax of that theory should be modified in order to construct a new theory, from which symmetry-variant structure of the original theory has been excised. Call this strategy for explicating the underlying ontology of symmetry-related models reduction. Recently, Dewar has proposed an alternative to reduction as a means of articulating the ontology of symmetry-related models—what he calls sophistication, in which the semantics of the original theory is modified, and symmetry-related (...) models of that theory are treated as if they are isomorphic. In this paper, we undertake a critical evaluation of sophistication about symmetries—we find the programme underdeveloped in a number of regards. In addition, we clarify the interplay between sophistication about symmetries, and a separate debate to which Dewar has contributed—viz., that between interpretational versus motivational approaches to symmetry transformations. (shrink)

Absolutism about mass within Newtonian gravity claims that mass ratios obtain in virtue of absolute masses. Comparativism denies this. Defenders of comparativism promise to recover all the empirical and theoretical virtues of absolutism, but at a lower ‘metaphysical cost’. This article develops a Machian form of comparativism about mass in Newtonian gravity, obtained by replacing Newton’s constant in the law of universal gravitation by another constant divided by the sum over all masses. Although this form of comparativism is indeed empirically (...) equivalent to the absolutist version of Newtonian gravity—thereby meeting the challenge posed by the comparativist’s bucket argument—it is argued that the explanatory power and metaphysical parsimony of comparativism are highly questionable. (shrink)

In the recent philosophical debate about the relationship between symmetries and physical equivalence, two approaches have been distinguished: motivationalism and interpretationalism. In this paper, I point out that there are variants of interpretationalism that have not been taken into account by the proponents of motivationalism. I also argue that some of these overlooked variants of interpretationalism are not prone to the motivationalists’ criticism and overall are the most attractive positions available.

Two views on the direction of time can be distinguished—primitivism and non-primitivism. According to the former, time’s direction is an in-built, fundamental property of the physical world. According to the latter, time’s direction is a derivative property of a fundamentally directionless reality. In the literature, non-primitivism has been widely supported since most our fundamental dynamical laws are time-reversal invariant. In this paper, I offer a way out to the primitivist. I argue that we do have good grounds to support a (...) primitive direction of time in the quantum realm. The rationale depends on exploiting the metaphysical and dynamical underdetermination of quantum theories to make a case in favor of primitivism. In particular, primitivism can be grounded in spontaneous collapse theories. The specific sense in which these theories capture a primitive direction of time is that, when the ontology of the theory is seriously taken into account, it does not remain invariant under time reversal. In taking GRW with a matter-density field, I will argue that primitivism about the direction of time can be defended in the quantum case. (shrink)

In the context of discussions about the nature of ‘identical particles’ and the status of Leibniz’s Principle of the Identity of Indiscernibles in Quantum Mechanics, a novel kind of physical discernibility has recently been proposed, which we call witness-discernibility. We inquire into how witness-discernibility relates to known kinds of discernibility. Our conclusion will be that for a wide variety of cases, including the intended quantum-mechanical ones, witness-discernibility collapses extensionally to absolute discernibility, that is, to discernibility by properties.

A ‘duality’ is a formal mapping between the spaces of solutions of two empirically equivalent theories. In recent times, dualities have been found to be pervasive in string theory and quantum field theory. Naïvely interpreted, duality-related theories appear to make very different ontological claims about the world—differing in e.g. space-time structure, fundamental ontology, and mereological structure. In light of this, duality-related theories raise questions familiar from discussions of underdetermination in the philosophy of science: in the presence of dual theories, what (...) is one to say about the ontology of the world? In this paper, we undertake a comprehensive and non-technical survey of the landscape of possible ontological interpretations of duality-related theories. We provide a significantly enriched and clarified taxonomy of options—several of which are novel to the literature. (shrink)

Questions about the relation between identity and discernibility are important both in philosophy and in model theory. We show how a philosophical question about identity and dis- cernibility can be ‘factorized’ into a philosophical question about the adequacy of a formal language to the description of the world, and a mathematical question about discernibility in this language. We provide formal definitions of various notions of discernibility and offer a complete classification of their logical relations. Some new and surprising facts are (...) proved; for instance, that weak dis- cernibility corresponds to discernibility in a language with constants for every object, and that weak discernibility is the most discerning nontrivial discernibility relation. (shrink)

The identity and diversity of individual objects may be grounded or ungrounded, and intrinsic or contextual. Intrinsic individuation can be grounded in haecceities, or absolute discernibility. Contextual individuation can be grounded in relations, but this is compatible with absolute, relative or weak discernibility. Contextual individuation is compatible with the denial of haecceitism, and this is more harmonious with science. Structuralism implies contextual individuation. In mathematics contextual individuation is in general primitive. In physics contextual individuation may be grounded in relations via (...) weak discernibility. (shrink)

We critically examine the claim that identity is a fundamental concept. According to those putting forward this thesis, there are four related reasons that can be called upon to ground the fundamental character of identity: identity is presupposed in every conceptual system; identity is required to characterize individuality; identity cannot be defined; the intelligibility of quantification requires identity. We address each of these points and argue that none of them advances compelling reasons to hold that identity is fundamental; in fact, (...) most of the tasks that seem to require identity may be performed without identity. So, in the end, identity may not be a fundamental concept after all. (shrink)

Tim Räz has presented what he takes to be a new objection to Stewart Shapiro's ante rem structuralism. Räz claims that ARS conflicts with mathematical practice. I will explain why this is similar to an old problem, posed originally by John Burgess in 1999 and Jukka Keränen in 2001, and show that Shapiro can use the solution to the original problem in Räz's case. Additionally, I will suggest that Räz's proposed treatment of the situation does not provide an argument for (...) the in re over the ante rem approach. (shrink)

The notion of strict identity is sometimes given an explicit second-order definition: objects with all the same properties are identical. Here, a somewhat different problem is raised: Under what conditions is the identity relation on the domain of a structure first-order definable? A structure may have objects that are distinct, but indiscernible by the strongest means of discerning them given the language (the indiscernibility formula). Here a number of results concerning the indiscernibility formula, and the definability of identity, are collected (...) and a number of applications discussed. (shrink)

Is it possible to get by with just one ontological category? We evaluate L.A. Paul's attempt to do so: the mereological bundle theory. The upshot is that Paul's attempt to construct a one category ontology may be challenged with some of her own arguments. In the positive part of the paper we outline a two category ontology with property universals and kind universals. We will also examine Paul's arguments against a version of universal bundle theory that takes spatiotemporal co-location instead (...) of compresence or coinstantiation as the feature by which we can identify genuine bundles. We compare this novel theory, bundle theory with kinds, and Paul's mereological bundle theory and apply them to a case study concerning entangled fermions and co-located bosons. (shrink)

It has been suggested that puzzles in the interpretation of quantum mechanics motivate consideration of entities that are numerically distinct but do not stand in a relation of identity with themselves or non-identity with others. Quite apart from metaphysical concerns, I argue that talk about such entities is either meaningless or not about such entities. It is meaningless insofar as we attempt to take the foregoing characterization literally. It is meaningful, however, if talk about entities without identity is taken as (...) elliptical for either nominal or predicative use of a special class of mass terms. (shrink)

The presence of symmetries in physical theories implies a pernicious form of underdetermination. In order to avoid this theoretical vice, philosophers often espouse a principle called Leibniz Equivalence, which states that symmetry-related models represent the same state of affairs. Moreover, philosophers have claimed that the existence of non-trivial symmetries motivates us to accept the Invariance Principle, which states that quantities that vary under a theory’s symmetries aren’t physically real. Leibniz Equivalence and the Invariance Principle are often seen as part of (...) the same package. I argue that this is a mistake: Leibniz Equivalence and the Invariance Principle are orthogonal to each other. This means that it is possible to hold that symmetry-related models represent the same state of affairs whilst having a realist attitude towards variant quantities. Various arguments have been presented in favour of the Invariance Principle: a rejection of the Invariance Principle is inter alia supposed to cause indeterminism, undetectability or failure of reference. I respond that these arguments at best support Leibniz Equivalence. (shrink)

It is now standard to interpret symmetry-related models of physical theories as representing the same state of affairs. Recently, a debate has sprung up around the question when this interpretational move is warranted. In particular, Møller-Nielsen :1253–1264, 2017) has argued that one is only allowed to interpret symmetry-related models as physically equivalent when one has a characterisation of their common content. I disambiguate two versions of this claim. On the first, a perspicuous interpretation is required: an account of the models’ (...) common ontology. On the second, stricter, version of this claim, a perspicuous formalism is required in addition: one whose mathematical structures ‘intrinsically’ represent the physical world, in the sense of Field. Using Dewar’s :485–521, 2019) distinction between internal and external sophistication as a case study, I argue that the second requirement is decisive. This clarifies the conditions under which it is warranted to interpret symmetry-related models as physically equivalent. (shrink)

It is often claimed that one can avoid the kind of underdetermination that is a typical consequence of symmetries in physics by stipulating that symmetry-related models represent the same state of affairs (Leibniz Equivalence). But recent commentators (Dasgupta 2011; Pooley 2021; Pooley and Read 2021; Teitel 2021a) have responded that claims about the representational capacities of models are irrelevant to the issue of underdetermination, which concerns possible worlds themselves. In this paper I distinguish two versions of this objection: (1) that (...) a theory’s formalism does not (fully) determine the space of physical possibilities, and (2) that the relevant notion of possibility is not physical possibility. I offer a refutation of each. (shrink)

Muller and Saunders ([2008]) purport to demonstrate that, surprisingly, bosons and fermions are discernible; this article disputes their arguments, then derives a similar conclusion in a more satisfactory fashion. After briefly explicating their proof and indicating how it escapes earlier indiscernibility results, we note that the observables which Muller and Saunders argue discern particles are (i) non-symmetric in the case of bosons and (ii) trivial multiples of the identity in the case of fermions. Both problems undermine the claim that they (...) have shown particles to be physically discernible. We then prove two results concerning observables that are truly physical: one showing when particles are discernible and one showing when they are not (categorically) discernible. Along the way we clarify some frequently misunderstood issues concerning the interpretation of quantum observables. 1 Background2 Criticisms2.1 Bosons2.2 Fermions3 Reformulating the Insight3.1 What weakly discerns?3.2 General results4 Conclusion. (shrink)

The indistinguishability of bosons and fermions has been an essential part of our ideas of quantum mechanics since the 1920s. But what is the mathematical basis for this indistinguishability? An answer was provided in the group representation theory that developed alongside quantum theory and quickly became a major part of its mathematical structure. In the 1930s such a complex and seemingly abstract theory came to be rejected by physicists as the standard functional analysis picture presented by John von Neumann took (...) hold. The purpose of the present account is to show how indistinguishability is explained within representation theory. (shrink)