This book is intended to be used as a textbook by students of mathematics, and also within limitations as a reference work.

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

Although symbolic logic has grown considerably in the subsequent decades, this book remains a classic.

This exploration of a notorious mathematical problem is the work of the man who discovered the solution. Written by an award-winning professor at Stanford University, it employs intuitive explanations as well as detailed mathematical proofs in a self-contained treatment. This unique text and reference is suitable for students and professionals. 1966 edition. Copyright renewed 1994.

The paper defends Gareth Evan's argument against vague identity "de re" from a criticism that quantum mechanics provides actual counter-examples to its validity. A more general version of Evans's argument is stated in which identity involving properties are not essential and it is claimed that the scientific facts as so far known are consistent with the Evansian thesis that indeterminacy in truth-value must always be due to semantic indecision.

'Object' and 'criterion of identity' are philosophical terms of art whose application lies at a considerable theoretical remove from the surface phenomena of everyday linguistic usage. This partly explains their highly controversial status, for their point of application lies precisely where the concerns of linguists and philosophers of language merge with those of metaphysicians. This chapter explains the possession of determinate identity‐conditions. It argues that the distinction between 'abstract' and 'concrete' objects is itself a highly controversial one, and although it (...) has indeed been argued that this distinction turns ultimately upon differences between the criteria of identity governing objects of these two broad categories. It examines the role which criteria of identity play in our talk about objects of the least controversial varieties. The chapter concerns the problem of identity over time and the paradoxes to which identity criteria often appear to give rise when time is brought into the picture. (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.

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.

Lowe has recently argued that quantum particles offer examples of vague objects. While accepting the premise of the argument that such particles can be regarded as individuals, we point out that there is a lacuna here, to be filled by a detailed analysis of the nature of the entangled states which they enter into. We then elaborate the alternative view, according to which such particles should be regarded as non- individuals' and situate it in the context of recent developments of (...) a logic of non- individuality. Our conclusion is that it is here that one encounters genuine ontic vagueness. (shrink)

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.

Suitable for advanced undergraduates and graduate students from diverse fields and varying backgrounds, this self-contained course in mathematical logic features numerous exercises that vary in difficulty. The author is a Professor of Mathematics at the University of Wisconsin.

Originally published in Italian in 1976, this book describes the methods scientists use to investigate the physical world. It is ideal for students and teachers of science and the philosophy of science. It is both a high-level popularization and a critical appraisal of these methods, describing important advances in physics and analyzing the historical development, value, reliability and philosophical implications of the way physicists approach the problems confronting them. The introductory chapter on the meaning of physical theories and the mathematical (...) tools used to develop them is followed by a general discussion on the foundations of physics under four major headings: the physics of the reversible, the physics of the irreversible, microphysics, and cosmology. Throughout, the subject matter of physical theories is linked to discussion of the attendant philosophical and epistemological implications, such as the validity of the theories, inductive inference, causal explanation, probability, the role of observation and the reality of physical objects. (shrink)

Foundations of Set Theory discusses the reconstruction undergone by set theory in the hands of Brouwer, Russell, and Zermelo. Only in the axiomatic foundations, however, have there been such extensive, almost revolutionary, developments. This book tries to avoid a detailed discussion of those topics which would have required heavy technical machinery, while describing the major results obtained in their treatment if these results could be stated in relatively non-technical terms. This book comprises five chapters and begins with a discussion of (...) the antinomies that led to the reconstruction of set theory as it was known before. It then moves to the axiomatic foundations of set theory, including a discussion of the basic notions of equality and extensionality and axioms of comprehension and infinity. The next chapters discuss type-theoretical approaches, including the ideal calculus, the theory of types, and Quine's mathematical logic and new foundations; intuitionistic conceptions of mathematics and its constructive character; and metamathematical and semantical approaches, such as the Hilbert program. This book will be of interest to mathematicians, logicians, and statisticians. (shrink)

Quantum mechanics is a subject that has captured the imagination of a surprisingly broad range of thinkers, including many philosophers of science. Quantum field theory, however, is a subject that has been discussed mostly by physicists. This is the first book to present quantum field theory in a manner that makes it accessible to philosophers. Because it presents a lucid view of the theory and debates that surround the theory, An Interpretive Introduction to Quantum Field Theory will interest students of (...) physics as well as students of philosophy. -/- Paul Teller presents the basic ideas of quantum field theory in a way that is understandable to readers who are familiar with non-relativistic quantum mechanics. He provides information about the physics of the theory without calculational detail, and he enlightens readers on how to think about the theory physically. Along the way, he dismantles some popular myths and clarifies the novel ways in which quantum field theory is both a theory about fields and about particles. His goal is to raise questions about the philosophical implications of the theory and to offer some tentative interpretive views of his own. This provocative and thoughtful book challenges philosophers to extend their thinking beyond the realm of quantum mechanics and it challenges physicists to consider the philosophical issues that their explorations have encouraged. (shrink)

Die Grundlagen der Arithmetik. Eine Ionisch mathematische UoterciicboDn über den Begriff der Zahl Dr. 0. Frege, ao Profeuor an der Univer»ität Jena. -. ...

Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens / von Dr. Gottlob Frege,...Date de l'edition originale : 1879Ce livre est la reproduction fidele d'une oeuvre publiee avant 1920 et fait partie d'une collection de livres reimprimes a la demande editee par Hachette Livre, dans le cadre d'un partenariat avec la Bibliotheque nationale de France, offrant l'opportunite d'acceder a des ouvrages anciens et souvent rares issus des fonds patrimoniaux de la BnF.Les oeuvres faisant partie de cette collection ont ete numerisees (...) par la BnF et sont presentes sur Gallica, sa bibliotheque numerique.En entreprenant de redonner vie a ces ouvrages au travers d'une collection de livres reimprimes a la demande, nous leur donnons la possibilite de rencontrer un public elargi et participons a la transmission de connaissances et de savoirs parfois difficilement accessibles.Nous avons cherche a concilier la reproduction fidele d'un livre ancien a partir de sa version numerisee avec le souci d'un confort de lecture optimal. Nous esperons que les ouvrages de cette nouvelle collection vous apporteront entiere satisfaction.Pour plus d'informations, rendez-vous sur www.hachettebnf.frhttp://gallica.bnf.fr/ark:/12148/bpt6k65658c. (shrink)

Schrödinger discusses what an elementary particle is. This essay originally appeared in the journal Endeavour.

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.