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.

Recent years have seen increasing interest in interventionist analyses of metaphysical explanation. One area where interventionism traditionally shines, is in providing an account of explanatory depth; the sense in which explanation comes in degrees. However, the literature on metaphysical explanation has left the notion of depth almost entirely unexplored. In this paper I shall attempt to rectify this oversight by motivating an interventionist analysis of metaphysical explanatory depth (MED), in terms of the range of interventions under which a metaphysically explanatory (...) generalization remains invariant. After elucidating the notion through a toy-example, I demonstrate the important work which MED can perform in characterizing debate within contemporary metaphysics. Focusing upon rival approaches to explaining the identity and distinctness of concrete objects, I argue that the progress achieved in this debate can be characterized in terms of increasing explanatory depth. Having made an initial case for the utility of MED, I then turn this analysis to the metaphysics of explanation itself. By adopting an interventionist framework with respect to MED, I will show that we can assess the depth of competing theories of explanation. This application has two interesting results: first, it suggests that an interventionist analysis of explanation provides deeper explanations of the connection between explanans and explanandum than rival accounts; and second, it suggests that explanations provided by interventionism become deeper still, if one accepts that this methodology ranges over metaphysical, as well as causal, instances. (shrink)

I present a new perspective on the meaning of indistinguishability of classical particles. This leads to a solution to the problem in statistical mechanics of justifying the inclusion of a factor N! in a probability distribution over the phase space of N indistinguishable classical particles.

ABSTRACTAccording to many naturalists, our ordinary conception of the world is in tension with the scientific image: the conception of the world provided by the natural sciences. But in this paper, I present a critique of naturalism with precedents in the post-Kantian idealist tradition. I argue that, when we consider our actual linguistic behavior, there is no evidence that the truth of our ordinary judgments hinges on what the scientific image turns out to be like. I then argue that the (...) best explanation of this result is that the norms and presuppositions operating in ordinary discourse are different from the norms and presuppositions operating in scientific discourse. So naturalistic attempts to undermine the manifest image are illegitimate attempts to critique a practice ‘from the outside’. (shrink)

This essay examines the underdetermination problem that plagues structuralist approaches to spacetime theories, with special emphasis placed on the epistemic brands of structuralism, whether of the scientific realist variety or not. Recent non-realist structuralist accounts, by Friedman and van Fraassen, have touted the fact that different structures can accommodate the same evidence as a virtue vis-à-vis their realist counterparts; but, as will be argued, these claims gain little traction against a properly constructed liberal version of epistemic structural realism. Overall, a (...) broad construal of spacetime theories along epistemic structural realist lines will be defended which draws upon both Friedman’s earlier work and the convergence of approximate structure over theory change, but which also challenges various claims of the ontic structural realists. (shrink)

Identity and distinctness facts are ones like “The Eiffel Tower is identical to the Eiffel Tower,” and “The Eiffel Tower is distinct from the Louvre.” This paper concerns one question in the metaphysics of identity: Are identity and distinctness facts metaphysically fundamental or are they nonfundamental? I provide an overview of answers to this question.

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)

Ladyman and Ross argue that analytic metaphysics is a misguided enterprise that should give way to a naturalized metaphysics that aims to reconcile everyday and special-scientific ontologies with fundamental physics as the authoritative source of knowledge on the general structure of the universe. Le Bihan and Barton (argue, as against this, that analytic metaphysics remains useful as a basis for the body of work in AI known as “applied ontology.” They stop short of claiming, however, that analytic metaphysics is useful (...) as metaphysics. I consider a basis for making the stronger claim: Smith's project for building what he claims to be metaphysical foundations for applied ontology (and for AI generally). Ultimately, the stronger claim is rejected; but in the course of this dialectic new aspects of the naturalistic metaphysical project come to light, including relationships between it and the traditional metaphysical project of providing foundations for philosophical semantics of truth and reference. (shrink)

In the last years, the surprising bosonic behavior that a many-fermion system may acquire has raised interest because of theoretical and practical reasons. This trans-statistical behavior is usually considered to be the result of approximation modeling methods generally employed by physicists when faced with complexity. In this paper, we take a tensor product structure and an ontology of properties approach and provide two versions of a toy model in order to argue that trans-statistical behavior allows for a realistic interpretation.

We investigate the higher-order modal logic , which is a variant of the system presented in our previous work. A semantics for that system, founded on the theory of quasi sets, is outlined. We show how such a semantics, motivated by the very intuitive base of Schrödinger logics, provides an alternative way to formalize some intensional concepts and features which have been used in recent discussions on the logical foundations of quantum mechanics; for example, that some terms like 'electron' have (...) no precise reference and that 'identical' particles cannot be named unambiguously. In the last section, we sketch a classical semantics for quasi set theory. (shrink)

We maximally extend the quantum‐mechanical results of Muller and Saunders ( 2008 ) establishing the ‘weak discernibility’ of an arbitrary number of similar fermions in finite‐dimensional Hilbert spaces. This confutes the currently dominant view that ( A ) the quantum‐mechanical description of similar particles conflicts with Leibniz’s Principle of the Identity of Indiscernibles (PII); and that ( B ) the only way to save PII is by adopting some heavy metaphysical notion such as Scotusian haecceitas or Adamsian primitive thisness. We (...) take sides with Muller and Saunders ( 2008 ) against this currently dominant view, which has been expounded and defended by many. *Received July 2008; revised May 2009. †To contact the authors, please write to: F. A. Muller, Faculty of Philosophy, Erasmus University Rotterdam, Burg. Oudlaan 50, H5–16, 3062 PA Rotterdam, The Netherlands; e‐mail: [email protected] , and Institute for the History and Foundations of Science, Utrecht University, Budapestlaan 6, IGG–3.08, 3584 CD Utrecht, The Netherlands; e‐mail: [email protected] . M. P. Seevinck, Institute for the History and Foundations of Science, Utrecht University, Budapestlaan 6, IGG–3.08, 3584 CD Utrecht, The Netherlands; e‐mail: [email protected]. (shrink)

This paper puts forward the hypothesis that the distinctive features of quantum statistics are exclusively determined by the nature of the properties it describes. In particular, all statistically relevant properties of identical quantum particles in many-particle systems are conjectured to be irreducible, ‘inherent’ properties only belonging to the whole system. This allows one to explain quantum statistics without endorsing the ‘Received View’ that particles are non-individuals, or postulating that quantum systems obey peculiar probability distributions, or assuming that there are primitive (...) restrictions on the range of states accessible to such systems. With this, the need for an unambiguously metaphysical explanation of certain physical facts is acknowledged and satisfied. (shrink)

In recent years Structural Realism has been revived as a compromise candidate to resolve the long-standing question of scientific realism. Recent debate over structural realism originates with Worrall's (1989) paper "Structural Realism: The best of Both Worlds". However, critics such as Psillos contend that structural realism incorporates an untenable distinction between structure and nature, and is therefore unworkable. In this paper I consider three versions of structural realism that purport to avoid such criticism. The first is Chakravartty's "semirealism" which proceeds (...) by trying to show that structural realism and entity realism entail one another. I demonstrate that this position will not work, but follow Chakravartty's contention that structural realism need not imply that scientific knowledge can only be of mathematical structure. I advance from this conclusion to sketch a version of structural realism that is consistent with recent deflationary approaches to the scientific realism question. Finally, I consider a third approach to structural realism Ladyman's "metaphysical structural realism" which tries to avoid the difficulties of earlier versions by taking structure to be ontologically primary. I show that the deflationary approach to structural realism undermines the rationale behind Ladyman's approach. (shrink)

In recent years Structural Realism has been revived as a compromise candidate to resolve the long-standing question of scientific realism. Recent debate over structural realism originates with Worrall’s (1989) paper “Structural Realism: The best of Both Worlds”. However, critics such as Psillos contend that structural realism incorporates an untenable distinction between structure and nature, and is therefore unworkable. In this paper I consider three versions of structural realism that purport to avoid such criticism. The first is Chakravartty’s “semirealism” which proceeds (...) by trying to show that structural realism and entity realism entail one another. I demonstrate that this position will not work, but follow Chakravartty’s contention that structural realism need not imply that scientific knowledge can only be of mathematical structure. I advance from this conclusion to sketch a version of structural realism that is consistent with recent deflationary approaches to the scientific realism question. Finally, I consider a third approach to structural realism Ladyman’s “metaphysical structural realism” which tries to avoid the difficulties of earlier versions by taking structure to be ontologically primary. I show that the deflationary approach to structural realism undermines the rationale behind Ladyman’s approach. (shrink)

Los criterios de identidad propuestos por la metafísica tradicional debieron ser sometidos a una profunda revisión cuando entró en escena la mecánica cuántica con sus característicos sistemas indistinguibles. En este trabajo aplicamos el modelo de espacios controversiales de Oscar Nudler para analizar la controversia sobre la identidad en el ámbito de la mecánica cuántica y proponer la introducción en el debate de una ontología cuántica de propiedades sin objetos.

In this article I deal with time as a notion of epistemological content associated though with the notion of a subjective consciousness co-constitutive of physical reality. In this phenomenologically grounded approach I attempt to establish a ‘metaphysical’ aspect of time, within a strictly pistemological context, in the sense of an underlying absolute subjectivity which is non-objectifiable within objective temporality and thus non-susceptible of any ontological designation. My arguments stem, on the one hand, from a version of quantum-mechanical theory in view (...) of its formal treatment of two different aspects of time within a quantum context. The discrete, partial-ordering properties and the dynamical-parameter properties reflected in the wave equations of motion. On the other hand, to strengthen my arguments for a transcendental factor of temporality, I attempt an interpretation of some relevant conclusions in the work of J. Eccles and of certain results of experimental research of S. Deahaene et al. and others. (shrink)

In this article I deal with the notion of observation, from a phenomenologically motivated point of view, and its representation mainly by means of the formal language of quantum mechanics. In doing so, I have taken the notion of observation in two diverse contexts. In one context as a notion related with objects of a logical-mathematical theory taken as registered facts of phenomenological perception ( Wahrnehmung ) inasmuch as this phenomenological idea can also be linked with a process of measurement (...) on the quantum-mechanical level. In another context I have taken it as connected with a notion of temporal constitution basically as it is described in E. Husserl’s texts on the phenomenology of temporal consciousness. Given that mathematical objects as formal-ontological objects can be thought of as abstractions of perceptual objects by means of categorial intuition, the question is whether and under what theoretical assumptions we can, in principle, include quantum objects in abstraction in the class of formal-ontological objects and thus inquire on the limits of their description within a formal-axiomatical theory. On the one hand, I derive an irreducibility on the level of individuals taken in formal representation as syntactical atoms-substrates without any further content and on the other hand a transcendental subjectivity of consciousness objectified as a self-constituted temporal unity upon which it is ultimately grounded the possibility of generation of an abstract predicative universe of discourse. (shrink)

In this article I intend to show that certain aspects of the axiomatical structure of mathematical theories can be, by a phenomenologically motivated approach, reduced to two distinct types of idealization, the first-level idealization associated with the concrete intuition of the objects of mathematical theories as discrete, finite sign-configurations and the second-level idealization associated with the intuition of infinite mathematical objects as extensions over constituted temporality. This is the main standpoint from which I review Cantor’s conception of infinite cardinalities and (...) also the metatheoretical content of some later well-known theorems of mathematical foundations. These are, the Skolem-Löwenheim Theorem which, except for its importance as such, it is also chosen for an interpretation of the associated metatheoretical paradox (Skolem Paradox), and Gödel’s (first) incompleteness result which, notwithstanding its obvious influence in the mathematical foundations, is still open to philosophical inquiry. On the phenomenological level, first-level and second-level idealizations, as above, are associated respectively with intentional acts carried out in actual present and with certain modes of a temporal constitution process. (shrink)

In a recent book, Anjan Chakravartty builds a case for a particular conception of the relationship of science to metaphysics. The main novel feature in his account of scientific ontology is his construction of a metaphysical distance measure. Some ontological claims are close to the science that informs those claims, and some are further away. The distance is a measure of the epistemic risk one takes in asserting the claim: the further from the empirical base, the greater the risk. But (...) conversely, claims far from the empirical base can serve explanatory and unificatory purposes regarding claims closer in. Since different philosophers have different attitudes towards epistemic risk, Chakravartty endorses a pluralism about scientific ontology. Chakravartty illustrates his arguments concerning scientific ontology by considering what we can infer from the Standard Model of particle physics concerning the ontological status of the structures and entities it describes. I argue that, while this case study initially appears to support Chakravartty’s arguments, on closer inspection it suggests a more deflationary approach to scientific ontology. (shrink)

The apparent chasm between two camps in metaphysics, analytic metaphysics and scientific metaphysics, is well recognized. I argue that the relationship between them is not necessarily a rivalry; a division of labour that resembles the relationship between pure mathematics and science is possible. As a case study, I look into the metaphysical underdetermination argument for ontic structural realism, a well‐known position in scientific metaphysics, together with an argument for the position in analytic metaphysics known as ontological nihilism. I argue that (...) we can ascribe the same schema to both arguments, which indicates that analytic metaphysics can offer an abstract model that scientific metaphysics may find useful. (shrink)

In a series of publications, L. A. Paul has defended a version of the bundle theory according to which material objects are nothing but mereological sums of ‘their’ properties. This ‘mereological’ bundle theory improves in important ways on earlier bundle theories, but here I present a new argument against it. The argument is roughly this: Material objects occupy space; even if properties have spatial characteristics, they do not quite occupy space; on no plausible construal of mereological composition does a mereological (...) sum of non-space-occupying entities occupy space; therefore, material objects are not mereological sums of properties. (shrink)

H. Post's conception of quantal particles as non-individuals is set in a formal logico-mathematical framework. By means of this approach certain metaphysical implications of quantum mechanics can be further explored.

Physical theories continue to be interpreted in terms of particles. The idea of a particle required modification with the advent of quantum theory, but remains central to scientific explanation. Particle ontologies also have the virtue of explaining basic epistemic features of the world, and so remain appealing for the scientific realist. However, particle ontologies are untenable when coupled with the empirically necessary postulate of permutation invariance—the claim that permuting the roles of particles in a representation of a physical state results (...) in a representation of the same physical state. I demonstrate that any theory which is permutation invariant in this sense is incompatible with a particle ontology. (shrink)

Biological individuals are usually defined by evolutionists through a reference to natural selection. This article looks for a concept of individuality that would hold at the same time for organisms and for communities or ecosystems, the latter being unaffected by natural selection. In the wake of Simon’s notion of “quasi-independence,” I elaborate a concept of “weak individuality” defined by probabilistic connections between sub-entities, read off our knowledge of their interactions. This formal scheme of connections allows one to infer what are (...) the individuals in the domain addressed by the theory of the interactions. The article argues that if ecosystems do not have strong individuality, they still possess a weak individuality, ecological theories providing the values of the variables in the formula for individuality. (shrink)

In previous works, an ontology of properties for quantum mechanics has been proposed, according to which quantum systems are bundles of properties with no principle of individuality. The aim of the present article is to show that, since quasi-set theory is particularly suited for dealing with aggregates of items that do not belong to the traditional category of individual, it supplies an adequate meta-language to speak of the proposed ontology of properties and its structure.

The treatment of identical particles in quantum mechanics rests on two (related) principles: the spin-statistics connection and the Symmetrization Postulate. In light of recent theories (such as q-deformed commutators) that allow for ‘small’ violations of the spin-statistics connection and the Symmetrization Postulate, we revisit the issue of how quantum mechanics deals with identical particles and how it supports or fails to support various philosophical stances concerning individuality. As a consequence of the expanded possibilities for quantum statistics, we argue that permutation (...) symmetry is best formulated as a formal property of the state function describing the system of particles rather than as a property of the individual particles. 1 Introduction 2 Philosophical background 2.1 Important terminology 2.1.1 Identity 2.1.2 Indistinguishability 2.1.3 Indiscernibility 2.2 When are particles indistinguishable? 2.3 The Principle of the Identity of Indiscernibles and quantum mechanics 2.4 The Principle of the Identity of Indiscernibles and logic 2.5 Particle history 2.6 Transcendental individuality 3 Some quantum formalism 3.1 The Principle of Permutation Invariance and the Symmetrization Postulate 3.2 The configuration-space approach 3.3 Commutators and anticommutators, and identical particle statistics 3.4 Q-mutators 4 Identical particle statistics: a holistic point of view 5 Conclusions. (shrink)

Ontic structural realism (OSR) claims that all there is to the world is structure. But how can this slogan be turned into a worked-out metaphysics? Here I consider one potential answer: a metaphysical framework known as generalism (Dasgupta, 2009, 2016). According to the generalist, the most fundamental description of the world is not given in terms of individuals bearing properties, but rather, general facts about which states of affairs obtain. However, I contend that despite several apparent similarities between the positions, (...) generalism is unable to capture the two main motivations for OSR. I suggest instead that OSR should be construed as a meta-metaphysical position. (shrink)

Ontic structural realism claims that all there is to the world is structure. But how can this slogan be turned into a worked-out metaphysics? Here I consider one potential answer: a metaphysical framework known as ‘generalism’. According to the generalist, the most fundamental description of the world is not given in terms of individuals bearing properties, but rather, general facts about which states of affairs obtain. However, I contend that despite several apparent similarities between the positions, generalism is unable to (...) capture the two main motivations for OSR. I suggest instead that OSR should be construed as a meta-metaphysical position. 1Introduction 2Motivations 2.1Theory change 2.2Permutation invariance 3Metaphysics 4Generalism 4.1Quantifier generalism 4.2Algebraic generalism 5Why Generalism Is Not Ontic Structural Realism 6Ontic Structural Realism as Meta-metaphysics 7Conclusion. (shrink)

Faced with strong arguments to the effect that Leibniz''sPrinciple of the Identity of Indiscernibles (PII) is not a necessary truth, many supporters of the Principle have staged a strategic retreat to the claim that it is contingently true in this, the actual, world. The purpose of this paper is to examine the status of the various forms of PII in both classical and quantum physics, and it is concluded that this latter view is at best doubtful, at worst, simply wrong.

Howard argues that the existence of unitarily inequivalent representations in Quantum Field Theory presents a problem for structural realism in this context. I consider two potential ways round this problem: 1), follow Wallace in adopting the 'naive' Lagrangian form of QFT with cut-offs; 2), adapt Ruetsche's 'Swiss Army Knife' approach. The first takes us into the current debate between Wallace and Fraser on conventional vs. algebraic QFT. The second involves consideration of the role of inequivalent representations in understanding spontaneous symmetry (...) breaking and quantum statistics. In both cases, I suggest, the structural realist has sufficient room to manoeuvre. (shrink)

Within the philosophy of science there has been a great deal of rather vague talk about the 'heuristic fruitfulness' (or what Peirce called the 'esperable uberty') of theories. It is my aim in the present paper to add some precision to these discussions by linking this 'fruitfulness' to the satisfaction of certain heuristic criteria. In this manner the demarcation between 'discovery' and 'pursuit' becomes blurred. As a case study, I present the competition between the paraparticle and colour models of quarks (...) in the late 1960s. I argue that the eventual appraisal of the latter as the more fruitful of the two was based on the incorporation of a particular symmetry principle, regarded as a heuristic guideline, rather than on non-epistemic factors concerning 'cognitive resources' and the like. (shrink)

We outline Ladyman's 'metaphysical' or 'ontic' form of structuralrealism and defend it against various objections. Cao, in particular, has questioned theview of ontology presupposed by this approach and we argue that by reconceptualisingobjects in structural terms it offers the best hope for the realist in thecontext of modern physics.

It has been suggested that quantum particles are genuinelyvague objects (Lowe 1994a). The present work explores thissuggestion in terms of the various metaphysical packages that areavailable for describing such particles. The formal frameworksunderpinning such packages are outlined and issues of identityand reference are considered from this overall perspective. Indoing so we hope to illuminate the diverse ways in whichvagueness can arise in the quantum context.

Various forms of underdetermination that might threaten the realist stance are examined. That which holds between different 'formulations' of a theory (such as the Hamiltonian and Lagrangian formulations of classical mechanics) is considered in some detail, as is the 'metaphysical' underdetermination invoked to support 'ontic structural realism'. The problematic roles of heuristic fruitfulness and surplus structure in attempts to break these forms of underdetermination are discussed and an approach emphasizing the relevant structural commonalities is defended.

Some recent work in the philosophy of quantum mechanics has suggested that quantum systems can be thought of as non-separable and therefore non-individual, in some sense, in Bell and E.P.R. type situations. This suggestion is set in the context of previous work regarding the individuality of quantal particles and it is argued that such entities can be considered as individuals if their non-classical statistical correlations are understood in terms of non-supervenient relations holding between them. We conclude that such relations are (...) strongly non-supervenient in Cleland's sense and note a possible connection between this idea and the realist quantum logic programme. (shrink)

Theories that posit metaphysical structure are able to do much work in philosophy. Some, however, find the notion of ‘metaphysical structure’ unintelligible. In this paper, I argue that their charge of unintelligibility fails. There is nothing distinctively problematic about the notion. At best, their charge of unintelligibility is a mere reiteration of previous complaints made toward similar notions. In developing their charge, I clarify several important concepts, including primitiveness, intelligibility, and the Armstrong-inspired “ontologism” view of the world. I argue that, (...) ultimately, their charge is best understood as an objection whose central premise is that the notion of ‘structure’ runs contrary to an important presupposition of contemporary metaphysics. But that central premise is, on closer inspection, implausible. I respond to the objection by identifying three popular metaphysical theories that violate the alleged presupposition but are still generally regarded as intelligible. The objection thus fails to show that a theory that posits metaphysical structure is unintelligible. (shrink)

Offering a engaging and accessible portrait of the current state of the field, A Companion to Naturaslim shows students how to think about the relation between Philosophy and Science, and why is both essencial and fascinating to do so. All the authors in this collection reconsider the core questions in Philosophical Naturalism in light of the challenges raised in Contemporary Philosophy. They explore how philosophical questions are connected to vigorous current debates - including complex questions about metaphysics, semantics, religion, intentionality, (...) pragmatism, reductionism, ontology, metaethics, mind, science, belief and delusion, among others – showing how these issues, and philosopher’s attempts to answer them, matter in the Philosophy. In this sense, this collection is also compelling and illuminating reading for philosophers, philosophy students, and anyone interested in Naturalism and their place in current discussions. (shrink)

Schrödinger logics are logical systems in which the principle of identity is not true in general. The intuitive motivation for these logics is both Erwin Schrödinger's thesis that identity lacks sense for elementary particles of modern physics, and the way which physicists deal with this concept; normally, they understand identity as meaning indistinguishability . Observing that these concepts are equivalent in classical logic and mathematics, which underly the usual physical theories, we present a higher-order logical system in which these concepts (...) are systematically separated. A 'classical' semantics for the system is presented and some philosophical related questions are mentioned. One of the main characteristics of our system is that Leibniz' Principle of the Identity of Indiscernibles cannot be derived. This fact is in accordance with some authors who maintain that quantum mechanics violates this principle. Furthermore, our system may be viewed as a way of making sense some of Schrödinger's logical intuitions about the nature of elementary particles. (shrink)

This paper explores the consequences of the two most prominent forms of contemporary structural realism for the notion of objecthood. Epistemic structuralists hold that we can know structural aspects of reality, but nothing about the natures of unobservable relata whose relations define structures. Ontic structuralists hold that we can know structural aspects of reality, and that there is nothing else to know—objects are useful heuristic posits, but are ultimately ontologically dispensable. I argue that structuralism does not succeed in ridding a (...) structuralist ontology of objects. (shrink)

Structural realism has recently re-entered mainstream discussions in the philosophy of science. The central notion of structure, however, is contested by both advocates and critics. This paper briefly reviews currently prominent structuralist accounts en route to proposing a metaphysics of structure that is capable of supporting the epistemic aspirations of realists, and that is immune to the charge most commonly levelled against structuralism. This account provides an alternative to the existing epistemic and ontic forms of the position, incorporating elements of (...) both. Structures are here identified with relations between first order, causal properties: properties that confer specific dispositions for relations. This form of structuralism constitutes an explicit proposal for what seem implicit structuralist tendencies in sophisticated but more traditional characterizations of realism. An outline of the proposal's response to the anti-realist's pessimistic induction on the history of scientific theories is considered. (shrink)

This paper is concerned with the problem of the validity of Leibniz's principle of the identity of indiscernibles in physics. After briefly surveying how the question is currently discussed in recent literature and which is the actual meaning of the principle for what concerns physics, we address the question of the physical validity of Leibniz's principle in terms of the existence of a sufficient number of naming predicates in the formal language of physics. This approach allows us to obtain in (...) a formal way the result that a principle of the identity of indiscernibles can be justified in the domain of classical physics, while this is not the case in the domain of quantum physics. (shrink)

Throughout the last two decades, Newton da Costa and his collaborators have developed some frameworks to help the interpretation of science. Two of them are particularly noteworthy: partial structures and quasi-truth (that provide a way of accommodating the openness and partiality of scientific activity), and quasi-set theory (that allows one to take seriously the idea, put forward by several physicists, that we can't meaningfully apply the notion of identity to quantum particles). In this paper I explore the interconnection between these (...) two frameworks. After reviewing the extant formulations of quasi-truth and quasi-set theory, I suggest a way of combining them, advancing a formulation of quasi-truth in quasi-set theory. In this way, a good sense can be made of the idea that quantum mechanics, if not true, is at least quasi-true. I then explore an application of this combined framework, arguing that it provides a conceptual setting appropriate to overcome two (philosophical) difficulties in van Fraassen's modal interpretation of quantum mechanics. (shrink)

Broadly speaking, there are three views on whether Leibniz’s Principle of the Identity of Indiscernibles (PII) is violated in the case of similar particles. According to the earliest view, PII is always violated (call this the no discernibility view); according to the more recent weak discernibility view, PII is at least valid in a weak sense. No and weak discernibility have been referred to as orthodoxy. Steven French has argued that although PII is violated, similar particles can still be regarded (...) as individuals, or, alternatively, as non-individuals: French famously concluded therefore that metaphysics is underdetermined by physics. Call this thesis orthodox underdetermination. Most recently, some authors have turned against orthodoxy by arguing that PII is valid in more than a weak sense – call this the new discernibility view, also referred to as heterodoxy. Since heterodoxy is backed up by physical considerations, metaphysics now seems to be determined by physics: physics indicates that PII is valid. In this paper, I argue that with respect to entangled states, there are two ways to establish PII’s validity, which yield two different ontological interpretations of entanglement. Therefore, a form of underdetermination returns within the heterodox framework. I argue that heterodox underdetermination deserves some attention, because the two ontological interpretations might yield different explanations of the violation of Bell inequalities. (shrink)