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

This classic undergraduate treatment examines the deductive method in its first part and explores applications of logic and methodology in constructing mathematical theories in its second part. Exercises appear throughout.

We extend the work of French and Redhead [1988] further examining the relation of quantum statistics to the assumption that quantum entities have the sort of identity generally assumed for physical objects, more specifically an identity which makes them susceptible to being thought of as conceptually individuatable and labelable even though they cannot be experimentally distinguished. We also further examine the relation of such hypothesized identity of quantum entities to the Principle of the Identity of Indiscernibles. We conclude that although (...) such an assumption of identity is consistent with the facts of quantum statistics, methodological considerations show that we should take quantum entities to be entirely unindividuatable, in the way suggested by a Fock space description. (shrink)

Department of History and Philosophy of Science. University of Cambridge, Free School Lane, Cambridge CB2 3RH This paper is concerned with the question of whether atomic particles of the same species, i. e. with the same intrinsic state-independent properties of mass, spin, electric charge, etc, violate the Leibnizian Principle of the Identity of Indiscernibles, in the sense that, while there is more than one of them, their state-dependent properties may also all be the same. The answer depends on what exactly (...) the state-dependent properties of atomic particles are taken to be. On the plausible interpretation that these should comprise all monadic and relational properties that can be expressed in terms of physical magnitudes associated with self-adjoint operators that can be defined for the individual particles, then the weakest form of the Principle is shown to be violated for bosons, fermions and higher-order paraparticles, treated in first quantization *Some of the arguments inn this paper appeared in a thesis submited by one of us (S.F.) In partial fulfilment of the requirements for the PhD degree of the University of London, in 1984. entitled 'Identity and ‘Individuality in Classical and Quantum Physics’. (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)

Now in its fourth edition, this classic work clearly and concisely introduces the subject of logic and its applications. The first part of the book explains the basic concepts and principles which make up the elements of logic. The author demonstrates that these ideas are found in all branches of mathematics, and that logical laws are constantly applied in mathematical reasoning. The second part of the book shows the applications of logic in mathematical theory building with concrete examples that draw (...) upon the concepts and principles presented in the first section. Numerous exercises and an introduction to the theory of real numbers are also presented. Students, teachers and general readers interested in logic and mathematics will find this book to be an invaluable introduction to the subject. (shrink)

The metaphysical commitments of quantum field theory are examined. A thesis of underdetermination as between field and particle approaches to the "elementary particles" is argued for but only if a disputed notion of transcendental individuality is admitted. The superiority of the field approach is further emphasized in the context of heuristics.

The practice of describing multiparticle quantum systems in terms of labeled particles indicates that we think of quantum entities as individuatable. The labels, together with particle indistinguishability, create the need for symmetrization or antisymmetrization (or, in principle, higher-order symmetries), which in turn results in “surplus formal structure” in the formalism, formal structure which corresponds to nothing in the real world. We argue that these facts show quanta to be unindividuatable entities, things in principle incapable of supporting labels, and so things (...) which support no factual difference_if two of them are thought of as being switched. When thinking of the metaphysics of quanta, we should eschew the misleading labels of the tensor product Hilbert space formalism and prefer the ontologically more faithful description of the Fock space formalism. This conception eliminates puzzles about the quantum statistics of bosons. (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.

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)

Empirical adequacy, formal explanation and understanding are distinct goals of science. While no a priori criterion for understanding should be laid down, there may be inherent limitations on the way we are able to understand explanations of physical phenomena. I examine several recent contributions to the exercise of fashioning an explanatory discourse to mold the formal explanation provided by quantum mechanics to our modes of understanding. The question is whether we are capable of truly understanding (or comprehending) quantum phenomena, as (...) opposed to simply accepting the formalism and certain irreducible quantum correlations. The central issue is that of understanding versus merely redefining terms to paper over our ignorance. (shrink)