What are Quantum Logics and What Ought They to be?

S?awomir Bugajski

Michael R. Gardner

Putnam and Finkelstein have proposed the abandonment of distributivity in the logic of quantum theory. This change results from defining the connectives, not truth-functionally, but in terms of a certain empirical ordering of propositions. Putnam has argued that the use of this ordering (“implication”) to govern proofs resolves certain paradoxes. But his resolutions are faulty; and in any case, the paradoxes may be resolved with no changes in logic. There is therefore no reason to regard the partially ordered set of propositions as a logic—i.e. as embodying a criterion for soundness of proofs. Its role in quantum theory ought to be understood in an entirely different way.

D. M. Appleby

Quantum mechanics is a fundamentally probabilistic theory (at least so far as the empirical predictions are concerned). It follows that, if one wants to properly understand quantum mechanics, it is essential to clearly understand the meaning of probability statements. The interpretation of probability has excited nearly as much philosophical controversy as the interpretation of quantum mechanics. 20th century physicists have mostly adopted a frequentist conception. In this paper it is argued that we ought, instead, to adopt a logical or Bayesian conception. The paper includes a comparison of the orthodox and Bayesian theories of statistical inference. It concludes with a few remarks concerning the implications for the concept of physical reality.

Peter Mittelstaedt

Michael E. Miller

Quantum field theory accurately describes the world on the finest scales to which we have empirical access. There has been significant disagreement, however,about which mathematical structures ought to be taken as constitutive of the theory, and thus over which structures should serve as the basis for its interpretation. Perturbative methods allow for successful empirical prediction but require mathematical manipulations that are at odds with the canonical approach to interpreting physical theories that has been passed down from the logical positivists. Axiomatic characterizations of the theory, on the other hand, have not been shown to admit empirically interesting models. This dissertation shows how to understand the empirical success of quantum field theory by reconsidering widely held commitments about how physical meaning accrues to mathematical structure.

Heinrich Saller