Hofweber (Ontology and the ambitions of metaphysics, Oxford University Press, 2016) argues for a thesis he calls “internalism” with respect to natural number discourse: no expressions purporting to refer to natural numbers in fact refer, and no apparent quantification over natural numbers actually involves quantification over natural numbers as objects. He argues that while internalism leaves open the question of whether other kinds of abstracta exist, it precludes the existence of natural numbers, thus establishing what he calls “restricted nominalism” about (...) natural numbers. We argue that Hofweber’s internalism fails to establish restricted nominalism. Not only is his primary argument for restricted nominalism invalid, the analysis of quantification proposed threatens to collapse internalism into either a traditional form of error theory or realism. (shrink)

Since the publication of his seminal monograph "The scientific image", Bas van Fraassen is a key figure in philosophy of science. In this book, other philosophers with various outlooks critically discuss his work on theories, empiricism and philosophical stances. The book starts with a new article by van Fraassen on his preferred account of theories, the so-called semantic view. This account is now 50 years old, and van Fraassen takes this anniversary as an opportunity to review the account, its history (...) and the philosophical discussion about it. In the main part of the book, Nancy Cartwright, Finnur Dellsén, Matthias Egg, Steven French, Michael Friedman, Milena Ivanova and Michela Massimi discuss van Fraassen's contributions to philosophy. Three chapters focus on his engagement with realism (French, Friedman, Ivanova). Others study his voluntarism (Cartwright) and his view on representation (Massimi). Finally, there are contributions about his elaboration of empiricism (Dellsén) and his proposal to consider philosophical positions as stances (Egg). The volume includes a laudatio written by Steven French and finishes with a reply by van Fraassen to his critics. (shrink)

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.

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)

This volume announces a new era in the philosophy of God. Many of its contributions work to create stronger links between the philosophy of God, on the one hand, and mathematics or metamathematics, on the other hand. It is about not only the possibilities of applying mathematics or metamathematics to questions about God, but also the reverse question: Does the philosophy of God have anything to offer mathematics or metamathematics? The remaining contributions tackle stereotypes in the philosophy of religion. The (...) volume includes 35 contributions. It is divided into nine parts: 1. Who Created the Concept of God; 2. Omniscience, Omnipotence, Timelessness and Spacelessness of God; 3. God and Perfect Goodness, Perfect Beauty, Perfect Freedom; 4. God, Fundamentality and Creation of All Else; 5. Simplicity and Ineffability of God; 6. God, Necessity and Abstract Objects; 7. God, Infinity, and Pascal's Wager; 8. God and (Meta-)Mathematics; and 9. God and Mind. (shrink)

According to actualism about possible worlds everything that exists is actual. Possible worlds and individuals are actually existing abstract parts of the actual world. Aristotelian actualism is a view that there are only actual individuals but no possible ones, nor their individual abstract representatives. Because of that, our actualist account of modality should differ depending on whether it concerns actual individuals or possible ones. The main goal of the dissertation is to develop a metaphysical framework for Aristotelian actualism. Chapter 1 (...) explains basic issues associated with the possible world approach to modality. I overview modal realist and actualist views on possible worlds and explain why I support the actualist approach. Subsequently, I introduce a distinction between Platonic and Aristotelian actualism, and discuss some semantic issues associated with actualism as such. In Chapter 2 I argue that Aristotelian actualism, modeled on linguistic ersatzism, is preferable over its Platonic counterpart. Subsequently, I propose a metaphysical framework for Aristotelian ersatzism which is based on a claim that our modal concepts work differently for actual and possible individuals. In order to explain that claim I introduce three specific differences concerning modal features of actual and possible individuals: (a) Representational Difference, according to which actual and possible individuals are represented differently by possible worlds; (b) Metaphysical Difference, according to which actual and possible individuals are represented by possible worlds as having different metaphysical nature; (c) Modal Difference, which says while there are singular and contingent possibilities involving actual individuals, all possibilities about possible individuals are general and necessary. I propose to interpret those differences in terms of the doctrines of haecceitism, antihaecceitism and existentialism. There is however no consensus on how those views should be characterized. Chapters 3, 4, and 5 focus on providing a precise characterization of those doctrines. Chapter 3 focuses on the doctrines of modal haecceitism and antihaecceitism, which I view as opposite accounts of how possible worlds represent possibilities. According to modal haecceitism what possible worlds say about particular individuals does not supervene on what they say qualitatively. Modal antihaecceitism is a denial of such a claim. Chapter 4 concerns metaphysical haecceitism and antihaecceitism, which I take to be alternative accounts of the fundamental structure of reality. For the metaphysical haecceitist reality contains irreducible singular facts, while for the metaphysical antihaecceitist reality is purely qualitative and general. Chapter 5 focuses on an argument between existentialists and antiexistentialists. Existentialists claim that there are contingent singular propositions, while antiexistentialists deny that. I defend existentialism against antiexistentialist counterarguments, as well as criticize some of the antiexistentialist accounts of singular propositions modeled on the notion of individual essence. In Chapter 6, by appealing to the results of investigations conducted in Chapters 3, 4 and 5, I reconsider Representational, Metaphysical and Modal Differences. According to a view that I propose: (a) Representational Difference entails (extreme) modal haecceitism for actual individuals but (extreme) modal antihaecceitism for possible individuals; (b) Metaphysical Difference entails metaphysical haecceitism (individualism) for actual individuals, but metaphysical antihaecceitism (generalism) for possible individuals; finally (c) Modal Difference entails existentialism: while there are singular and contingent possibilities involving actual individuals, all possibilities about possible individuals are general and necessary. In Chapter 6, I also explain the implications of those views for the various issues, including transworld identity, essentialism, or the modal status of modal space. Lastly, Chapter 7 overviews some semantic and metaphysical applications of Aristotelian ersatzism. I explain how it manages to accommodate Kripkean semantics and how it is able to account for the possibilities of indiscernibles, alien individuals and iterated modalities. I also address some possible objections to my proposal, including an issue of implicit representation and the Humphrey objection. (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.

Quantum theory offers mathematical descriptions of measurable phenomena with great facility and accuracy, but it provides absolutely no understanding of why any particular quantum outcome is observed. It is the province of genuine explanations to tell us how things actually work—that is, why such descriptions hold and why such predictions are true. Quantum theory is long on the what, both mathematically and observationally, but almost completely silent on the how and the why. What is even more interesting is that, in (...) some sense, this state of affairs seems to be a necessary consequence of the empirical adequacy of quantum descriptions. One of the most noteworthy achievements of quantum theory is the accurate prediction of phenomena that, on pain of experimental contradiction, have no physical explanation. It is the purpose of this essay to make clear why quantum mechanics and quantum field theory are complete physical descriptions that describe the metaphysical incompleteness of the physical world, then to press the negative implications of this fact for naturalistic metaphysics. (shrink)

This paper develops the metaphysical hypothesis that there are irreducibly collective pluralities, pluralities of objects that do not have a singular object among them. A way to formulate this hypothesis using plural quantification will be proposed and the coherence of irreducibly collective existence will be defended. Furthermore, irreducibly collective existence will be shown to allow for bottomless scenarios that do not involve things standing in relations of parthood. This will create logical space for an anti-atomistic form of mereological nihilism.

Eine Rezension des Buches "Every Thing Must Go - Metaphysics Naturalized" von James Ladyman und Don Ross.

We articulate a distinction between ontology, understood as involving existence questions, and metaphysics, understood as either providing for metaphysical profiles of entities or else as dealing with fundamentality and/or grounding and dependence questions. The distinction, we argue, allows a better understanding of the roles of metaontology and metametaphysics when it comes to discussing the relations between ontology and science on the one hand, and metaphysics and science on the other. We argue that while ontology, as understood in this paper, may (...) have reasonable perspectives for naturalization, given its relation to science, the same cannot be said for metaphysics, given that it is typically understood as an additional theoretical layer over science, not participating in the scientific investigation. That may result either in skepticism over metaphysics, or else on accepting that metaphysics is an autonomous branch of investigation, depending on one’s concern for metaphysics. (shrink)

The emerging field of quantum mereology considers part-whole relations in quantum systems. Entangled quantum systems pose a peculiar problem in the field, since their total states are not reducible to that of their parts. While there exist several established proposals for modelling entangled systems, like monistic holism or relational holism, there is considerable unclarity, which further positions are available. Using the lambda operator and plural logic as formal tools, we review and develop conceivable models and evaluate their consistency and distinctness. (...) The main result is an exhaustive taxonomy of six distinct and precise models that both provide information about the mereological features as well as about the entangled property. The taxonomy is well-suited to serve as the basis for future systematic investigations. (shrink)

The identity of indiscernibles states that indiscernible objects must be identical. Many philosophers have held that the PII turns out to be either true but trivial, or non-trivial but false, depending on how the notion of discernibility is spelled out. In this paper, I propose and defend an account of this notion which aims to yield a minimally non-trivial and yet plausible version of the PII. I argue moreover that this version of the principle is immune to a number of (...) well-known and recent objections to the PII. (shrink)

It has been argued that non-relativistic quantum mechanics is the best hunting ground for genuine examples of metaphysical indeterminacy. Approaches to metaphysical indeterminacy can be divided into two families: meta-level and object-level accounts. It has been shown :27–245, 2010. https://doi.org/10.1080/00048400903097786; Skow in Philosophical Quarterly 60:851–858, 2010) that the most popular version of the meta-level accounts, namely the metaphysical supervaluationism proposed by Barnes and Williams, fails to deal with quantum indeterminacy. Such a fact has been taken by many as a challenge (...) to adapt supervaluationism to quantum cases. In this paper, I will focus on the very last of these attempts, i.e. the situation semantics account proposed by Darby and Pickup. After having shown where quantum indeterminacy arises and having surveyed the assumptions endorsed by the participants of the debate, I turn to Darby and Pickup’s proposal. I argue that, despite the machinery introduced, their account still fails to account for quantum indeterminacy. After considering some possible counterarguments, I suggest in the conclusion that one can plausibly extend the argument to those meta-level approaches that treat quantum indeterminacy as worldly indecision. (shrink)

This thesis inquires what it means to interpret non-relativistic quantum mechanics (QM), and the philosophical limits of this interpretation. In pursuit of a scientific-realist stance, a metametaphysical method is expanded and applied to evaluate rival interpretations of QM, based on the conceptual distinction between ontology and metaphysics, for objective theory choice in metaphysical discussions relating to QM. Three cases are examined, in which this metametaphysical method succeeds in indicating what are the wrong alternatives to interpret QM in metaphysical terms. The (...) first two cases failed in doing so due to different kinds of underdetermination. In the third case, unlike underdetermination, where there are many choices to be made, a “null-determination” is proposed where there may be no metaphysical choices in the available metaphysical literature. Considering what has been discussed, an agnostic philosophic position is adopted concerning the possibility of interpreting QM from a scientific-realistic point of view. (shrink)

Is identity fundamental to every conceptual systems? In this article I intend to present reasons against the claim that every conceptual system presupposes the notion of identity. To address this debate I analyze the positions of Bueno (2014; 2016) and Krause and Arenhart (2015). While Bueno argues that identity is necessary for all conceptual systems, Krause and Arenhart present a series of objections against such position, thus defending that identity is not fundamental. I intend to show that the main objections (...) presented by Krause and Arenhart do not affect Bueno’s theory because of a misinterpretation of his arguments. Finally, I will present some objections against Bueno that, hopefully, does not miss the target. (shrink)

Is identity fundamental to formal systems? Even if a system have no the identity relation, is that concept is not assumed in any way – whether in a metalinguistic or intuitive level? In this paper we shall discuss this issue. Otávio Bueno (2014, 2016) argues against the elimination of identity, holding that this concept is fundamental and non-eliminable (even in does systems that claim to do so). Décio Arenhart Krause and Jonas (2015), by the other hand, have a number of (...) objections to Bueno’s thesis. Firstly, we look at how the concept of identity was accounted in the philosophical tradition, as well as part of its formal account. We will also examine the notion of indiscernibility that, according to the traditional approach to identity, is equivalent to the notion of identity, but (arguably) is not it logically equivalent. Thus, we shall state Krause and Arenhart’s strategy, according to, in a formal system we can eliminate identity in favor of the indiscernibility notion. Finally, we shall expose Bueno’s criticism to such strategy, and then to put forward some objections against it. (shrink)

One recent debate in philosophy of physics has centered whether quantum particles are individuals or not. The received view is that particles are not individuals and the standard methodology is to approach the question via the structure of quantum theory. I challenge both the received view and the standard methodology. I contend not only that the structure of quantum theory is not the right place to look for conditions of individuality that quantum particles may or may not satisfy, but also (...) that there is an important role for traditional metaphysics to play. Consequently, my work brings together the philosophy of physics and traditional metaphysics literatures to shed new light on the debate over the individuality of quantum particles. I defend a set of conditions of individuality and argue that quantum particles satisfy these conditions thereby defending the view that particles are individuals in opposition to the received view. I also challenge a second feature of the standard methodology insofar as I challenge the significance of the Principle of the Identity of Indiscernibles in terms of which much discussion in the philosophy of physics literature is framed. My work is significant in a number of additional ways as well. My work implies that the dominant explanation for quantum statistics in terms of non-individuality is incorrect and it also undermines the ontic-structural realists metaphysical underdetermination challenge to the scientific realist. (shrink)

This unique anthology of new, contributed essays offers a range of perspectives on various aspects of ontic vagueness. It seeks to answer core questions pertaining to onticism, the view that vagueness exists in the world itself. The questions to be addressed include whether vague objects must have vague identity, and whether ontic vagueness has a distinctive logic, one that is not shared by semantic or epistemic vagueness. The essays in this volume explain the motivations behind onticism, such as the plausibility (...) of mereological vagueness and indeterminacy in quantum mechanics and they offer various arguments both for and against ontic vagueness; onticism is also compared with other, competing theories of vagueness such as semanticism, the view that vagueness exists only in our linguistic representation of the world. Gareth Evans’s influential paper of 1978, “Can There Be Vague Objects?” gave a simple but cogent argument against the coherence of ontic vagueness. Onticism was subsequently dismissed by many. However, in recent years, researchers have become aware of the logical gaps in Evans’s argument and this has triggered a new wave of interest in onticism. Onticism is now widely regarded as at least a coherent view. Reflecting this growing consensus, the present anthology for the first time puts together essays that are focused on onticism and its various facets and it fills in the lacuna in the literature on vagueness, a much-discussed subject in contemporary philosophy. (shrink)

This paper offers a metaphysical explanation of the identity and distinctness of concrete objects. It is tempting to try to distinguish concrete objects on the basis of their possessing different qualitative features, where qualitative features are ones that do not involve identity. Yet, this criterion for object identity faces counterexamples: distinct objects can share all of their qualitative features. This paper suggests that in order to distinguish concrete objects we need to look not only at which properties and relations objects (...) instantiate but also how they instantiate these properties and relations. I propose that objects are identical when they stand in certain qualitative relations in virtue of their existence. And concrete objects are distinct when they do not stand in the same kinds of relations to one another in virtue of their existence. (shrink)

According to classical physics particles are basic building blocks of the world. These classical particles are distinguishable objects, individuated by unique combinations of physical properties. By contrast, in quantum mechanics the received view is that particles of the same kind are physically indistinguishable from each other and lack identity. This doctrine rests on the quantum mechanical symmetrization postulates together with the “factorist” assumption that each single particle is represented in exactly one factor space of the tensor product Hilbert space of (...) a many-particle system. Even though standard in theoretical physics and the philosophy of physics, the assumption of factorism and the ensuing indistinguishability of particles are problematic. Particle indistinguishability is irreconcilable with the everyday meaning of “particle”, and also with how this term is used in the practice of physics. Moreover, it is a consequence of the standard view that identical quantum particles remain indistinguishable even in the classical limit, which makes a smooth transition to the classical particle concept impossible. Lubberdink and Dieks and Lubberdink have proposed an alternative conception of quantum particles that does not rely on factorism and avoids these difficulties. We further explain and discuss this alternative framework here. One of its key consequences is that particles in quantum theory are not fundamental but emergent; another that once they have emerged, quantum particles are always physically distinguishable and thus possess a physically grounded identity. (shrink)

This book presents a collection of studies by Romanian philosophers, addressing foundational issues currently debated in contemporary philosophy of science. It offers a historical survey of the tradition of scientific philosophy in Romania. It examines some problems in the foundations of logic, mathematics, linguistics, the natural and social sciences. Among the more specific topics, it discusses scientific explanation, models, and mechanisms, as well as memory, artifacts, and rules of research. The book is useful to those interested in the philosophy of (...) real science, but also to those interested in Romanian philosophy. (shrink)

Ladyman and Ross argue that quantum objects are not individuals and use this idea to ground their metaphysical view, ontic structural realism, according to which relational structures are primary to things. LR acknowledge that there is a version of quantum theory, namely the Bohm theory, according to which particles do have denite trajectories at all times. However, LR interpret the research by Brown et al. as implying that "raw stuff" or haecceities are needed for the individuality of particles of BT, (...) and LR dismiss this as idle metaphysics. In this paper we note that Brown et al.'s research does not imply that haecceities are needed. Thus BT remains as a genuine option for those who seek to understand quantum particles as individuals. However, we go on to discuss some problems with BT which led Bohm and Hiley to modify it. This modified version underlines that, due to features such as context-dependence and non-locality, Bohmian particles have a very limited autonomy in situations where quantum effects are non-negligible. So while BT restores the possibility of quantum individuals, it also underlines the primacy of the whole over the autonomy of the parts. The later sections of the paper also examine the Bohm theory in the general mathematical context of symplectic geometry. This provides yet another way of understanding the subtle, holistic and dynamic nature of Bohmian individuals. We finally briefly consider Bohm's other main line of research, the "implicate order", which is in some ways similar to LR's structural realism. (shrink)

Two entities are weakly discernible when an irreflexive and symmetric relation holds between them. That weak discernibility holds in quantum mechanics is fairly uncontroversial nowadays. The ontological consequences of weak discernibility, however, are far from clear. Part of the literature seems to imply that weak discernibility points to a definite metaphysics to quantum mechanics. In this paper we shall discuss the metaphysical contribution of weak discernibility to quantum mechanics and argue that, contrary to part of current literature, it does not (...) provide for a fully naturalistic determination of metaphysics. Underdetermination of the metaphysics still plagues the way of the naturalist. (shrink)

The literature on quantum logic emphasizes that the algebraic structures involved with orthodox quantum mechanics are non distributive. In this paper we develop a particular algebraic structure, the quasi-lattice ( $${\mathfrak{I}}$$ -lattice), which can be modeled by an algebraic structure built in quasi-set theory $${\mathfrak{Q}}$$. This structure is non distributive and involve indiscernible elements. Thus we show that in taking into account indiscernibility as a primitive concept, the quasi-lattice that ‘naturally’ arises is non distributive.

This project investigates naturalized metaphysics as a recent trend in analytic metaphysics originating in the naturalist attitude of James Ladyman and Don Ross in their seminal work Everything must Go: Metaphysics Naturalized (2007). The primary focus, however, will be the more recent article “Neo-Positivist Metaphysics” (2012) by Alyssa Ney that originates in this tradition. The project will conclude that naturalized metaphysics is an unsuccessful attempt at an answer to the question ’how is metaphysics possible’. More precisely, the project will establish (...) that any answer to this question must instruct how to succeed at attempts at assertions about the Kantian thing in itself. This requirement is the result of an argument that no other conception of ’reality’ is robust enough to accommodate an ambitious metaphysics. Subsequently, it will be argued that naturalized metaphysics is conceived by its proponents as an attempt at such an answer, but that naturalized metaphysics does not provide the required instruction. This problem occurs because of Carnap’s challenge to metaphysics. Carnap observes that no assertion can be made outside a linguistic framework which has the consequence that metaphysical assertions must be about the conceptual conventions of the linguistic framework rather than the thing in itself. It is the view of Ney and the other proponents of naturalized metaphysics that metaphysics is possible as a naturalized metaphysics; a metaphysics that appropriately defers or yields to the findings of science. The project argues that this requirement does nothing to ensure that Carnap’s challenge is avoided. The challenge is equally significant to naturalized and non-naturalized metaphysics, so long as both require that successful attempts at metaphysics must be assertions about the thing in itself. -/- The project concludes that until or unless Carnap’s challenge is refuted, naturalized metaphysics remain impossible, just like the metaphysics it is supposed to replace. (shrink)

. In this paper, I examine three models of reduction. The first, and the most restrictive, is the model developed by Ernest Nagel as part of the logical empiricist program. The second, articulated by Jerry Fodor, is significantly broader, but it seems unable to make sense of a salient feature of scientific practice. The third, and the most lenient, model is developed within Newton da Costa and Steven French’s partial structures approach. I argue that the third model preserves the benefits (...) of Fodor’s proposal, and it is still able to accommodate relevant aspects of scientific practice. In particular, it offers a conception of reduction without reductionism, and an account of the relation between reduced and reducing theories via unsharp mappings and partial structures—even in the presence of incomplete information. (shrink)

In celebration of Newton da Costa’s place in the history of paraconsistency, this paper considers the use and abuse of deliberate self-contradiction. Beginning with Parmenides, developed by Plato, and continued by Cicero, an ancient philosophical tradition used deliberately paraconsistent discourses to reveal the truth. In modern times, decisionism has used deliberate self-contradiction against Judeo-Christian revelation. • DOI:10.5007/1808-1711.2010v14n1p1.

When it comes to name-calling, structural realists have heard pretty much all of it. Among the many insults, they have been called ‘empiricist anti-realists’ but also ‘traditional scientific realists’. Obviously the collapse accusations that motivate these two insults cannot both be true at the same time. The aim of this paper is to defend the epistemic variety of structural realism against the accusation of collapse to traditional scientific realism. In so doing, I turn the tables on traditional scientific realists by (...) presenting them with a dilemma. They can either opt for a construal of their view that permits epistemic access to non-structural features of unobservables but then face the daunting task of substantiating a claim that seems to have little hope of being true or they can drop the requirement of epistemic access to non-structural features but then face a collapse to epistemic structural realism. There is thus only one well supported way to be a realist. No wonder then that many traditional scientific realists have over the years expressed views that are strikingly similar to epistemic structural realism. It is high time to let these epistemic structural realists out of the closet. (shrink)

Can identity itself be vague? Can there be vague objects? Does a positive answer to either question entail a positive answer to the other? In this paper we answer these questions as follows: No, No, and Yes. First, we discuss Evans’s famous 1978 argument and argue that the main lesson that it imparts is that identity itself cannot be vague. We defend the argument from objections and endorse this conclusion. We acknowledge, however, that the argument does not by itself establish (...) either that there cannot be vague objects or that there cannot be identity statements that are indeterminate for ontic reasons. And we further acknowledge that it does not by itself establish that there cannot be identity statements that are indeterminate in virtue of the existence of vague objects. We then go on to argue that, despite this, one who believes in vague objects cannot endorse Evans’s argument. To establish this we offer supplementary arguments that show that if vague objects exist then identity is vague, and that if identity is vague then vague objects exist. Finally we draw attention to an argument parallel to that of Evans’s, but safer, which can be employed against the putative ontic indeterminacy in identity of vague objects which can be differentiated by identity-free properties. (shrink)

In der modernen Physik spielen Symmetrien eine herausragende Rolle zur Identifikation und Klassifizierung der fundamentalen Theorien und Entitäten. Symmetrien dienen der Darstellung invarianter Strukturen, das geeignete mathematische Werkzeug hierfür ist die Gruppentheorie. Eine Struktur lässt sich als eine Menge von Relationen verstehen, die einer Menge von Objekten aufgeprägt sind. Strukturell charakterisierte Objekte sind daher wesentlich über ihre relationalen Eigenschaften charakterisiert. Sieht man die theoretischen Entitäten wissenschaftlicher Theorien vornehmlich in dieser strukturellen Weise an, vertritt man eine moderate Variante eines wissenschaftlichen Realismus, (...) die als Strukturenrealismus bekannt ist. Im Umfeld dieser drei Konzepte – Symmetrien, Strukturen, Realismus – bewegt sich der folgende Aufsatz. (shrink)

On the one hand, non-reflexive logics are logics in which the principle of identity does not hold in general. On the other hand, quantum mechanics has difficulties regarding the interpretation of ‘particles’ and their identity, also known in the literature as ‘the problem of indistinguishable particles’. In this article, we will argue that non-reflexive logics can be a useful tool to account for such quantum indistinguishability. In particular, we will provide a particular non-reflexive logic that can help us to analyze (...) and discuss this problem. From a more general physical perspective, we will also analyze the limits imposed by the orthodox quantum formalism to consider the existence of indistinguishable particles in the first place, and argue that non-reflexive logics can also help us to think beyond the limits of classical identity. (shrink)

Ontic Structural Realism is a version of realism about science according to which by positing the existence of structures, understood as basic components of reality, one can resolve central difficulties faced by standard versions of scientific realism. Structures are invoked to respond to two important challenges: one posed by the pessimist meta-induction and the other by the underdetermination of metaphysics by physics, which arises in non-relativistic quantum mechanics. We argue that difficulties in the proper understanding of what a structure is (...) undermines the realist component of the view. Given the difficulties, either realism should be dropped or additional metaphysical components not fully endorsed by science should be incorporated. (shrink)

he relationship between metaphysics and science has recently become the focus of increased attention. Ladyman and Ross, in particular, have accused even naturalistically inclined metaphysicians of pursuing little more than the philosophy of A-level chemistry and have suggested that analytic metaphysics should simply be discontinued. In contrast, we shall argue, first of all, that even metaphysics that is disengaged from modern science may offer a set of resources that can be appropriated by philosophers of physics in order to set physics (...) within an interpretational framework. Secondly, however, we shall urge that insofar as metaphysics is intended to be more than just a toolbox it needs to accommodate the implications of physics if many of its core claims are to be sustained. We shall illustrate this last point with a discussion of the nature of laws and modality in the context of modern physics. (shrink)

This volume collects papers presented at the Founding Conference of the European Philosophy of Science Association meeting, held November 2007. It provides an excellent overview of the state of the art in philosophy of science in different European countries.

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)

Recently, in the debate about the ontology of quantum mechanics some authors have defended the view that quantum particles are individuals in a primitive sense, so that individuality should be preferred over non-individuality (the alternative option). Primitive individuality involves two main claims: (1) every item is identical with itself and (2) it is distinct from every other item. Non-relativistic quantum mechanics is said to provide positive evidence for that position, since in every situation comprising multiple particles there is a well-defined (...) number of them to begin with, and so they must be distinct from each other. We argue that the link between a well-defined number of items and the relation of identity that is being claimed to hold is not imposed by quantum mechanics, but rather by a metaphysical view. Formal evidence is advanced in favor of the thesis that counting may be performed for items without identity (non-individuals), so that quantum mechanics needs not be viewed as endorsing an ontology of individuals. (shrink)

In a series of recent papers, Simon Saunders, Fred Muller, and Michael Seevinck have collectively argued, against the folklore, that some nontrivial version of Leibniz’s principle of the identity of indiscernibles is upheld in quantum mechanics. They argue that all particles—fermions, paraparticles, anyons, even bosons—may be weakly discerned by some physical relation. Here I show that their arguments make illegitimate appeal to nonsymmetric, that is, permutation-noninvariant, quantities and that therefore their conclusions do not go through. However, I show that alternative, (...) symmetric quantities may be found to do the required work. I conclude that the Saunders-Muller-Seevinck heterodoxy can be saved. (shrink)

While there are many examples of metaphysical theorising being heuristically and intellectually important in the progress of scientific knowledge, many people wonder how metaphysics not closely informed and inspired by empirical science could lead to rival or even supplementary knowledge about the world. This paper assesses the merits of a popular defence of the a priori methodology of metaphysics that goes as follows. The first task of the metaphysician, like the scientist, is to construct a hypothesis that accounts for the (...) phenomena in question. It is then argued that among the possible metaphysical theories, the empirical evidence underdetermines the right one, just as the empirical evidence underdetermines the right scientific theory. In the latter case it is widely agreed that we must break the underdetermination by appeal to theoretical virtues, and this is just what should be and largely is done in metaphysics. This is part of a more general line of argument that defends metaphysics on the basis of its alleged continuity with highly theoretical science. In what follows metaphysics and theoretical science are compared in order to see whether the above style of defence of a priori metaphysics is successful. (shrink)

A close examination of the literature on ontology may strike one with roughly two distinct senses of this word. According to the first of them, which we shall call traditional ontology , ontology is characterized as the a priori study of various “ontological categories”. In a second sense, which may be called naturalized ontology , ontology relies on our best scientific theories and from them it tries to derive the ultimate furniture of the world. From a methodological point of view (...) these two senses of ontology are very far away. Here, we discuss a possible relationship between these senses and argue that they may be made compatible and complement each other. We also examine how logic, understood as a linguistic device dealing with the conceptual framework of a theory and its basic inference patterns must be taken into account in this kind of study. The idea guiding our proposal may be put as follows: naturalized ontology checks for the applicability of the ontological categories proposed by traditional ontology and give substantial feedback for it. The adequate expression of some of the resulting ontological frameworks may require a different logic. We conclude with a discussion of the case of orthodox quantum mechanics, arguing that this theory exemplifies the kind of relationship between the two senses of ontology. We also argue that the view proposed here may throw some light in ontological questions concerning this theory. (shrink)

The general question to be considered in this paper points to the nature of the world described by chemistry: what is macro-chemical ontology like? In particular, we want to identify the ontological categories that underlie chemical discourse and chemical practice. This is not an easy task, because modern Western metaphysics was strongly modeled by theoretical physics. For this reason, we attempt to answer our question by contrasting macro-chemical ontology with the mainstream ontology of physics and of traditional metaphysics. In particular, (...) we introduce the distinction between stuff-ontology, proper of chemistry, and individual-ontology, proper of physics. These two ontologies differ from each other in the basic categories of their own structures. On this basis, we characterize individual-ontology in such a way that the features of stuff-ontology will arise by contrast with it. (shrink)

The Weak Principle of the Identity of Indiscernibles (weak PII), states that numerically distinct items must be discernible by a symmetrical and irreflexive relation. Recently, some authors have proposed that weak PII holds in non relativistic quantum mechanics, contradicting a long tradition claiming PII to be simply false in that theory. The question that arises then is: are relations allowed in the scope of PII? In this paper, we propose that quantum mechanics does not help us in deciding matters concerning (...) that problem, since that is a metaphysical problem rather than a quantum mechanical one. We argue further that weak PII is unmotivated on metaphysical grounds. We examine three metaphysical theses (bundle theory, counting, empiricism) that may provide reasons for one to sustain PII, and we conclude that weak PII gets no independent motivation from them. (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)

This article presents a trope bundle theory of simple substances, the Strong Nuclear Theory[SNT] building on the schematic basis offered by Simons's (1994) Nuclear Theory[NT]. The SNT adopts Ellis's (2001) dispositional essentialist conception of simple substances as powerful particulars: all of their monadic properties are dispositional. Moreover, simple substances necessarily belong to some natural kind with a real essence formed by monadic properties. The SNT develops further the construction of substances the NT proposes to obtain an adequate trope bundle theory (...) of powerful particulars. The SNT allows for co-located powerful particulars. However, every powerful particular is necessarily co-located with its constituent tropes, which determine its causal powers. Every constituent trope of substance i is part of a trope aggregate (the n-bundle or c-bundle) that forms an individual figuring in the basic spatio-temporal relations. The location of these individuals determines the location of individual tropes. Since they are necessarily co-located with substance i when they exist, every trope t of i is necessarily co-located with i when it exits. Every simple substance has nuclear tropes necessary to it. It belongs to certain primary natural kind K because its nuclear tropes belong to certain distinct determinate kinds. (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)

Everything you always wanted to know about structural realism but were afraid to ask Content Type Journal Article Pages 227-276 DOI 10.1007/s13194-011-0025-7 Authors Roman Frigg, Department of Philosophy, Logic and Scientific Method, London School of Economics and Political Science, Houghton Street, London, WC2A 2AE UK Ioannis Votsis, Philosophisches Institut, Heinrich-Heine-Universität Düsseldorf, Universitätsstraße 1, Geb. 23.21/04.86, 40225 Düsseldorf, Germany Journal European Journal for Philosophy of Science Online ISSN 1879-4920 Print ISSN 1879-4912 Journal Volume Volume 1 Journal Issue Volume 1, Number 2.