Presents a guide to the basics of quantum mechanics and measurement.

Quantum theory is our deepest theory of the nature of matter. It is a theory that, notoriously, produces results which challenge the laws of classical logic and suggests that the physical world is illogical. This book gives a critical review of work on the foundations of quantum mechanics at a level accessible to non-experts. Assuming his readers have some background in mathematics and physics, Peter Gibbins focuses on the questions of whether the results of quantum theory require us to abandon (...) classical logic and whether quantum logic can resolve the paradoxes produced by quantum mechanics. He argues that quantum logic does not dispose of the problems faced by classical logic, that no reasonable interpretation of quantum mechanics in terms of 'hidden variables' can be found, and that after all these years quantum mechanics remains a mystery to us. Particles and Paradoxes provides a much-needed and valuable introduction to the philosophy of quantum mechanics and, at the same time, an example of just what it is to do the philosophy of physics. (shrink)

This book, written by one of philosophy's pre-eminent logicians, argues that many of the basic assumptions common to logic, philosophy of mathematics and metaphysics are in need of change. It is therefore a book of critical importance to logical theory. Jaakko Hintikka proposes a new basic first-order logic and uses it to explore the foundations of mathematics. This new logic enables logicians to express on the first-order level such concepts as equicardinality, infinity, and truth in the same language. The famous (...) impossibility results by Gödel and Tarski that have dominated the field for the last sixty years turn out to be much less significant than has been thought. All of ordinary mathematics can in principle be done on this first-order level, thus dispensing with the existence of sets and other higher-order entities. (shrink)

R.I.G Hughes offers the first detailed and accessible analysis of the Hilbert-space models used in quantum theory and explains why they are so successful.

§1. The mission of axiomatic set theory. What is set theory needed for in the foundations of mathematics? Why cannot we transact whatever foundational business we have to transact in terms of our ordinary logic without resorting to set theory? There are many possible answers, but most of them are likely to be variations of the same theme. The core area of ordinary logic is by a fairly common consent the received first-order logic. Why cannot it take care of itself? (...) What is it that it cannot do? A large part of every answer is probably that first-order logic cannot handle its own model theory and other metatheory. For instance, a first-order language does not allow the codification of the most important semantical concept, viz. the notion of truth, for that language in that language itself, as shown already in Tarski. In view of such negative results it is generally thought that one of the most important missions of set theory is to provide the wherewithal for a model theory of logic. For instance Gregory H. Moore asserts in his encyclopedia article “Logic and set theory” thatSet theory influenced logic, both through its semantics, by expanding the possible models of various theories and by the formal definition of a model; and through its syntax, by allowing for logical languages in which formulas can be infinite in length or in which the number of symbols is uncountable. (shrink)