This paper sets out a moderate version of metaphysical structural realism that stands in contrast to both the epistemic structural realism of Worrall and the—radical—ontic structural realism of French and Ladyman. According to moderate structural realism, objects and relations (structure) are on the same ontological footing, with the objects being characterized only by the relations in which they stand. We show how this position fares well as regards philosophical arguments, avoiding the objections against the other two versions of structural realism. (...) In particular, we set out how this position can be applied to space-time, providing for a convincing understanding of space-time points in the standard tensor formulation of general relativity as well as in the fibre bundle formulation. (shrink)

After decades of neglect philosophers of physics have discovered gauge theories--arguably the paradigm of modern field physics--as a genuine topic for foundational and philosophical research. Incidentally, in the last couple of years interest from the philosophy of physics in structural realism--in the eyes of its proponents the best suited realist position towards modern physics--has also raised. This paper tries to connect both topics and aims to show that structural realism gains further credence from an ontological analysis of gauge theories--in particular (...) U(1) gauge theory. In the first part of the paper the framework of fiber bundle gauge theories is briefly presented and the interpretation of local gauge symmetry will be examined. In the second part, an ontological underdetermination of gauge theories is carved out by considering the various kinds of non-locality involved in such typical effects as the Aharonov-Bohm effect. The analysis shows that the peculiar form of non-separability figuring in gauge theories is a variant of spatiotemporal holism and can be distinguished from quantum theoretic holism. In the last part of the paper the arguments for a gauge theoretic support of structural realism are laid out and discussed. (shrink)

In the first part of the paper I argue that an ontology of events is precise, flexible and general enough so as to cover the three main alternative formulations of quantum mechanics as well as theories advocating an antirealistic view of the wave function. Since these formulations advocate a primitive ontology of entities living in four-dimensional spacetime, they are good candidates to connect that quantum image with the manifest image of the world. However, to the extent that some form of (...) realism about the wave function is also necessary, one needs to endorse also the idea that the wave function refers to some kind of power. In the second part, I discuss some difficulties raised by the recent proposal that in Bohmian mechanics this power is holistically possessed by all the particles in the universe. (shrink)

In a recent paper in this journal, Kosso ([2000]) discussed the observational status of continuous symmetries of physics. While we are in broad agreement with his approach, we disagree with his analysis. In the discussion of the status of gauge symmetry, a set of examples offered by 't Hooft ([1980]) has influenced several philosophers, including Kosso; in all cases the interpretation of the examples is mistaken. In this paper, we present our preferred approach to the empirical significance of symmetries, re-analysing (...) the cases of gauge symmetry and general covariance. Direct and indirect empirical significance Global and local continuous symmetries Gauge symmetry 3.1 Local gauge symmetry 3.1.1 Discussion of the first claim 3.1.2 Discussion of the second claim 3.2 Global gauge symmetry Space-time symmetries Direct and indirect empirical significance again Conclusion. (shrink)

I would like to attack a certain view: The view that the concept of identity can fail to apply to some things although, for some positive integer n, we have n of them. The idea of entities without self-identity is seriously entertained in the philosophy of quantum mechanics. It is so pervasive that it has been labelled the Received View. I introduce the Received View in Section 1. In Section 2 I explain what I mean by entity, and I argue (...) that supporters of the Received View should agree with my characterization of the corresponding notion of entity. I also explain what I mean by identity, and I show that supporters of the Received View agree with my characterization of that notion. In Section 3 I argue that the concept of identity, so characterized, is one with the concept of oneness. Thus, it cannot but apply to what belongs to a collection with n elements, n being a positive integer. In Section 4 I add some considerations on the primitiveness of identity or unity and the status of the Identity of Indiscernibles. In Section 5 I address the problem of how reference to indiscernible objects with identity can be achieved. (shrink)

We analyze the geometric foundations of classical Yang-Mills theory by studying the relationships between internal relativity, locality, global/local invariance, and background independence. We argue that internal relativity and background independence are the two independent defining principles of Yang-Mills theory. We show that local gauge invariance -heuristically implemented by means of the gauge argument- is a direct consequence of internal relativity. Finally, we analyze the conceptual meaning of BRST symmetry in terms of the invariance of the gauge fixed theory under general (...) local gauge transformations. (shrink)

The elucidation of the gauge principle ‘‘is the most pressing problem in current philosophy of physics’’ said Michael Redhead in 2003. This paper argues for two points that contribute to this elucidation in the context of Yang–Mills theories. (1) Yang–Mills theories, including quantum electrodynamics, form a class. They should be interpreted together. To focus on electrodynamics is potentially misleading. (2) The essential role of gauge and BRST symmetries is to provide a local field theory that can be quantized and would (...) be equivalent to the quantization of the non-local reduced theory. If this is correct, the gauge symmetry is significant, not so much because it implies ontological consequences, but because it allows us to quantize theories that we would not be able to quantize otherwise. Thus, in the context of Yang–Mills theories, it is essentially a pragmatic principle. This does not seem to be the case for the gauge symmetry in general relativity. (shrink)

Four empirically equivalent versions of general relativity, namely standard GR, Lorentz-invariant gravitational theory,and the gravitational gauge theories of the Lorentz and translation groups, are investigated in the form of a case study for theory underdetermination. The various ontological indeterminacies (both underdetermination and inscrutability of reference) inherent in gravitational theories are analyzed in a detailed comparative study. The concept of practical underdetermination is proposed, followed by a discussion of its adequacy to describe scientific progress.

The standard $\mathbb{U}(1)$ “gauge principle” or “gauge argument” produces an exact potential A=dλ and a vanishing field F=d 2 λ=0. Weyl (in Z. Phys. 56:330–352, 1929; Rice Inst. Pam. 16:280–295, 1929) has his own gauge argument, which is sketchy, archaic and hard to follow; but at least it produces an inexact potential A and a nonvanishing field F=dA≠0. I attempt a reconstruction.

This paper analyses the actual meaning of a transcendental philosophy of biology, and does so by exploring and actualising the epistemological and metaphysical value of Kant's viewpoint on living systems. It finds inspiration in the Kantian idea of living systems intrinsically resisting objectification, but critically departs from Kant's philosophical solution in as far as it is based in a subjectivist dogmatism. It attempts to overcome this dogmatism, on the one hand by explicitly taking into account the conditions of possibility at (...) the side of the subject, and on the other hand by embedding both the living and the knowing system into an ontology of complexly organized dynamical systems. This paper fits into the transcendental perspective in acknowledging the need to analyse the conditions of knowability, prior to the contents of what is known. But it also contributes to an expansion and an actualisation of the issue of transcendentality itself by considering the conditions of possibility at the side of the object as intrinsically linked to the conditions of possibility at the side of the subject. (shrink)

We propose the conjecture according to which the fact that quantum mechanics does not admit sharp value attributions to both members of a complementary pair of observables can be understood in the light of the symplectic reduction of phase space in constrained Hamiltonian systems. In order to unpack this claim, we propose a quantum ontology based on two independent postulates, namely the phase postulate and the quantum postulate. The phase postulate generalizes the gauge correspondence between first-class constraints and gauge transformations (...) to the observables of unconstrained Hamiltonian systems. The quantum postulate specifies the relationship between the numerical values of the observables that permit us to individualize a physical system and the symmetry transformations generated by the operators associated to these observables. We argue that the quantum postulate and the phase postulate are formally implemented by the two independent stages of the geometric quantization of a symplectic manifold, namely the prequantization formalism and the election of a polarization of pre-quantum states respectively. (shrink)

Based on three common interpretive commitments in general relativity, I raise a conceptual problem for the usual identification, in that theory, of timelike curves as those that represent the possible histories of particles in spacetime. This problem affords at least three different solutions, depending on different representational and ontological assumptions one makes about the nature of particles, fields, and their modal structure. While I advocate for a cautious pluralism regarding these options, I also suggest that re-interpreting particles as field processes (...) offers the most promising route for natural integration with the physics of material phenomena, including quantum theory. (shrink)

Mind is not some mysterious mind stuff; no such stuff exists and the universe comprises only physical matter. It is an emergent property of certain complex material entities, not brains alone but whole human beings living and coping in the physical and social world. This thesis involves three ideas: materialism, emergent properties, and intentionality. The first two belong to the mind-body problem and the status of mental properties in the material universe. The third refers to the mind-world relation, the symbiotic (...) relation between subject and object in cognition and experience. (shrink)

We propose a definition of physical objects that aims to clarify some interpretational issues in quantum mechanics. We claim that the transformations generated by the objective properties of a physical system must be strictly interpreted as gauge transformations. We will argue that the uncertainty principle is a consequence of the mutual intertwining between objective properties and gauge-dependant properties. The proposed definition implies that in classical mechanics gauge-dependant properties are wrongly considered objective. We will conclude that, unlike classical mechanics, quantum mechanics (...) provides a complete objective description of physical systems. (shrink)

Brukner and Dakić proposed a very simple axiom system as a foundation for quantum theory. It implies the qubit and quantum entanglement. Because this axiom system aims at the core of our understanding of nature, it must be brought to the forum of the philosophy of nature. For philosophical reasons, a completely denied champion of quantum theory, imaginarity i, is added into this axiom system. In relation to Bell’s inequality, this leads to a deeper ‘philosophical’ understanding of quantum nature based (...) on qubits and entanglement. Both opens a way as well as one can get to the fundamental Schrödinger equation of quantum mechanics with the help of a complex valued Brownian motion. (shrink)

The aim of this paper is to contribute to a more balanced judgement than the widespread impression that the changes which are called for in today's philosophy of physics and which centre around the concept of holism amount to a rupture with the framework of Cartesian philosophy of physics. I argue that this framework includes a sort of holism: As a result of the identification of matter with space, any physical property can be instantiated only if there is the whole (...) of matter. Relating this holism to general relativity, I maintain that this holism cannot be directly applied to today's philosophy of physics consequent upon the failure of geometrodynamics. I show in what respect precisely the holism in quantum physics amounts to a revision of the holism within Cartesianism. (shrink)

Since its discovery in 1959 the Aharonov-Bohm effect has continuously been the cause for controversial discussions of various topics in modern physics, e.g. the reality of gauge potentials, topological effects and nonlocalities. In the present paper we juxtapose the two rival interpretations of the Aharonov-Bohm effect. We show that the conception of nonlocality encountered in the Aharonov-Bohm effect is closely related to the nonseparability which is common in quantum mechanics albeit distinct from it due to its topological nature. We propose (...) a third alternative interpretation based on the loop space of holonomies which serves to solve some of the problems and we trace back the topological nonlocality and thereby the Aharonov-Bohm effect to their quantum mechanical origin. All three discussed interpretations are, of course, empirically equivalent. In fact, they present us with an instructive case study for the thesis of theory underdetermination by empirical data. (shrink)

In this paper it will be argued that any realist interpretation of quantum mechanics intending to preserve the objectivity of the set of the definite-valued observables should require such a set to be invariant under the symmetry group of the theory. In particular, it will be shown that the natural way to reach this goal is to appeal to the Casimir operators of the Galilean group. Additionally, this idea will be generalized in two ways: by selecting the definite-valued observables of (...) a system in quantum field theory as those represented by the Casimir operators of the Poincaré group, and by extending the strategy to gauge symmetries. (shrink)

In this paper we argue that physical theories, including quantum mechanics, refer to some kind of ‘objects’, even if only implicitly. We raise questions about the logico-mathematical apparatuses commonly employed in such theories, bringing to light some metaphysical presuppositions underlying such apparatuses. We point out to some incongruities in the discourse holding that quantum objects would be entities of some ‘new kind’ while still adhering to the logico-mathematical framework we use to deal with classical objects. The use of such apparatus (...) would hinder us from being in complete agreement with the ontological novelties the theories of quanta seem to advance. Thus, we join those who try to investigate a ‘logic of quantum mechanics’, but from a different point of view: looking for a formal foundation for a supposed new ontology. As a consequence of this move, we can revisit Einstein’s ideas on physical reality and propose that, by considering a new kind of object traditionally termed ‘non-individuals’, it is possible to sustain that they still obey some of Einstein’s conditions for ‘physical realities’, so that it will be possible to talk of a ‘principle of separability’ in a sense which is not in complete disagreement with quantum mechanics. So, Einstein’s departure from quantum mechanics might be softened at least concerning a form of his realism, which sees separated physical objects as distinct ‘physical realities’. (shrink)

The ''gauge argument'' is often used to 'deduce' interactions from a symmetry requirement. A transition---whose justification can take some effort---from global to local transformations is typically made at the beginning of the argument. But one can spare the trouble by \emph{starting} with local transformations, as global ones do not exist in general. The resulting economy seems noteworthy.

The logic of gauge theory is considered by tracing its development from general relativity to Yang-Mills theory, through Weyl's two gauge theories. A handful of elements---which for want of better terms can be called \emph{geometrical justice}, \emph{matter wave}, \emph{second clock effect}, \emph{twice too many energy levels}---are enough to produce Weyl's second theory; and from there, all that's needed to reach the Yang-Mills formalism is a \emph{non-Abelian structure group} (say $\mathbb{SU}\textrm{(}N\textrm{)}$).