The recent discovery of an interpretation of constructive type theory into abstract homotopy theory suggests a new approach to the foundations of mathematics with intrinsic geometric content and a computational implementation. Voevodsky has proposed such a program, including a new axiom with both geometric and logical significance: the Univalence Axiom. It captures the familiar aspect of informal mathematical practice according to which one can identify isomorphic objects. While it is incompatible with conventional foundations, it is a powerful addition to homotopy (...) type theory. It also gives the new system of foundations a distinctly structural character. (shrink)

Quantum gravity poses the problem of merging quantum mechanics and general relativity, the two great conceptual revolutions in the physics of the twentieth century. The loop and spinfoam approach, presented in this book, is one of the leading research programs in the field. The first part of the book discusses the reformulation of the basis of classical and quantum Hamiltonian physics required by general relativity. The second part covers the basic technical research directions. Appendices include a detailed history of the (...) subject of quantum gravity, hard-to-find mathematical material, and a discussion of some philosophical issues raised by the subject. This fascinating text is ideal for graduate students entering the field, as well as researchers already working in quantum gravity. It will also appeal to philosophers and other scholars interested in the nature of space and time. (shrink)

Bewildering features of modern physics, such as relativistic space-time structure and the peculiarities of so-called quantum statistics, challenge traditional ways of conceiving of objects in space and time. Interpreting Bodies brings together essays by leading philosophers and scientists to provide a unique overview of the implications of such physical theories for questions about the nature of objects. The collection combines classic articles by Max Born, Werner Heisenberg, Hans Reichenbach, and Erwin Schrodinger with recent contributions, including several papers that have never (...) before been published. -/- The book focuses on the microphysical objects that are at the heart of quantum physics and addresses issues central to both the "foundational" and the philosophical debates about objects. Contributors explore three subjects in particular: how to identify a physical object as an individual, the notion of invariance with respect to determining what objects are or could be, and how to relate objective and measurable properties to a physical entity. The papers cover traditional philosophical topics, common-sense questions, and technical matters in a consistently clear and rigorous fashion, illuminating some of the most perplexing problems in modern physics and the philosophy of science. (shrink)

This is a book that no one but Weyl could have written--and, indeed, no one has written anything quite like it since.

We propose a group-theoretical interpretation of the fact that the transition from classical to quantum mechanics entails a reduction in the number of observables needed to define a physical state and \ to \ or \ in the simplest case). We argue that, in analogy to gauge theories, such a reduction results from the action of a symmetry group. To do so, we propose a conceptual analysis of formal tools coming from symplectic geometry and group representation theory, notably Souriau’s moment (...) map, the Mardsen–Weinstein symplectic reduction, the symplectic “category” introduced by Weinstein, and the conjecture according to which “quantization commutes with reduction”. By using the generalization of this conjecture to the non-zero coadjoint orbits of an abelian Hamiltonian action, we argue that phase invariance in quantum mechanics and gauge invariance have a common geometric underpinning, namely the symplectic reduction formalism. This stance points towards a gauge-theoretical interpretation of Heisenberg indeterminacy principle. We revisit this principle in the light of the difference between the set-theoretic points of a phase space and its category-theoretic symplectic points. (shrink)

The main claim of the paper is that one can be ‘realist’ (in some sense) about quantum mechanics without requiring any form of realism about the wave function. We begin by discussing various forms of realism about the wave function, namely Albert’s configuration-space realism, Dürr Zanghi and Goldstein’s nomological realism about Ψ, Esfeld’s dispositional reading of Ψ Pusey Barrett and Rudolph’s realism about the quantum state. By discussing the articulation of these four positions, and their interrelation, we conclude that instrumentalism (...) about Ψ is by itself not sufficient to choose one over the other interpretations of quantum mechanics, thereby confirming in a different way the indetermination of the metaphysical interpretations of quantum mechanics. -/- Key words: . (shrink)

In the course of the discussion, Professor Quine pinpoints the difficulties involved in translation, brings to light the anomalies and conflicts implicit in our ...

An affirmative answer is given to the question quoted in the title.

The lectures have afforded me an opportunity of developing more fully than in my earlier books the principles of philosophic thought associated with the modern advances of physical science. It is often said that there is no "philosophy of ...

The distinction between mathematical and physical objects has probably played a greater role shaping the philosophy of mathematics than the distinction between observable and theoretical entities has had in defining the philosophy of science. All the major movements in the philosophy of mathematics may be seen as attempts to free mathematics of an abstract ontology or to come to terms with it. The reasons are epistemic. Most philosophers of mathematics believe that the abstractaess of mathematical objects introduces special difficulties in (...) accounting for our ability to know them, to refer to them and even to entertain beliefs about them. These difficulties—supposedly absent even in the case of the most theoretical physical objects—make mathematical objects especially problematic and philosophically unattractive.Few have questioned this epistemic thesis or the ontic distinction it presupposes. LaVerne Shelton (1980) challenged the abstract-concrete distinction some years ago in an unpublished APA address. (shrink)

The paper argues that there are structures rather than objects with an intrinsic identity in the domain of fundamental physics. We line out the standard metaphysics of objects with an intrinsic identity, recall the main objection against that position (section 1) and then retrace the development to epistemic structural realism (section 2) and to ontic structural realism (section 3). We elaborate on the arguments for ontic structural realism from quantum physics (section 4) and from space-time physics (section 5). Finally, we (...) claim that the main objection against the standard metaphysics of objects with an intrinsic identity is countered by structural realism only if the fundamental physical structures are conceived as causal structures (section 6). (shrink)

The popular view according to which category theory provides a support for mathematical structuralism is erroneous. Category-theoretic foundations of mathematics require a different philosophy of mathematics. While structural mathematics studies ‘invariant form’ (Awodey) categorical mathematics studies covariant and contravariant transformations which, generally, have no invariants. In this paper I develop a non-structuralist interpretation of categorical mathematics.

In this article we investigate putative counterexamples to Leibniz’s principle of the Identity of Indiscernibles. In particular, we look at the status of spacetime points: although these all possess exactly the same properties in symmetrical spacetimes and thus seem indiscernible, there are certainly more than one of them. However, we shall defend Leibniz’s principle, even for such highly symmetrical cases. Part of our strategy will be to invoke the notion of “weak discernibility”, as proposed in the recent literature. Weakly discernible (...) objects share all their properties but stand in irreflexive relations to one another—this irreflexivity makes it possible to show that Leibniz's principle implies their numerical diversity. However, we shall argue that this notion of weak discernibility only serves its purpose if it is supplemented by a criterion of physical meaningfulness of the relations and relata in question; and that in the final analysis weak discernibility only helps out when it can be seen as a degenerate case of strong, absolute discernibility. The case of spacetime points is an example of such a situation. (shrink)

A draft version of Chapter 11 of the edited volume 'Interpreting Bodies. Classical and Quantum Objects in Modern Physics',. The Chapter is devoted to illustrating the group-theoretic approach to the issue of physical objects. In particular, the Chapter discusses the group-theoretic constitution of classical and quantum particles in the nonrelativistic case.

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

Nothing has been more central to philosophy of mathematics than the distinction between mathematical and physical objects. Yet consideration of quantum particles shows the inadequacy of the popular spacetime and causal characterizations of the distinction. It also raises problems for an assumption used recently by Field, Hellman and Horgan, namely, that the mathematical realm is metaphysically independent of the physical one.