Allen Stairs

In this paper, I want to present a family of results that may seem to add up to a new proof of the impossibility of hidden variables. In fact, I very much doubt that that’s really what really emerges, but I think the results are nonetheless interesting because they help to sharpen the discussion of Jon Jarrett’s very useful decompostion theorem, in particular, of the condition he calls locality. Jarrett (1984) and Ballentine and Jarrett (1987) have suggested that the so-called condition of locality is the one that provides the conceptual link between hidden variable theories and relativity: if locality is violated, so is relativity. On the other hand, a theory may violate the condition Jarrett calls completeness without running afoul of relativity. Now I agree with Jarrett and Ballentine about completeness, but I strongly suspect that we have quite a way to go before we really understand what would be involved in a violation of locality.

MEDIEVAL AND RENAISSANCE LOGICSIMON OF FAVERSHAM, Quaestiones super Libro Elenchorum. Text in Latin with introduction and notes in English, edited by Sten Ebbesen, Thomas Izbicki, John Longeway, Francesco del Punta, Eileen Serene and Eleonore Stump. Toronto: Pontifical Institute of Mediaeval Studies, 1984. xiv + 270 pp. $3 1.OO.JACOPO ZABARELLA, De methodis libri quatuor; Liber de regressu. Edited by Cesare Vasoli. Bologna: Editrice CLUEB, 1985. xxxviii+ 193 pp. Lire 57,000.EDITIONSG. W. F. HEGEL, Wissenschafl der Logik. Erster Teil. Die objektive Logik, Erster Band. Die Lehre von Sein. Herausgegeben von F. Hogemann und W. Jaeschke. Hamburg: Felix Meiner Verlag, 1985. x + 448 S. DM 140.BERNARD BOLZANO, Wissenschaftslehre, Sects. 1-45. Edited and introduction Jan Berg. Stuttgart-Bad Cannstatt: Friedrich Fromman, 1985. 269 pp. No price stated.MAX H. FISCH, C. J. W. KLOESEL, E. C. MOORE and DON D.ROBERTS, LYNN A. ZIEGLER, Writings of Charles S. Peirce: a chronological edition. Bloomington, Indiana: Indiana University Press. Vol. I 1857-1866. 1982. xxxv + 698 pp. $32.50. Vo l. I1 1867-1871. 1984. xlviii + 649 pp. with introductory essays by Max H. Fisch, C. F. Delaney and Daniel D. -Merrill. $35.00.ALFRED TARSKI, Logic, semantics, metamathematics. Translated by J. H. Woodger. Second edition, edited and introduced by John Corcoran. Philadelphia: Hackett, 1983, xxx+ 506 pp. $50.00/£37.50 ; $29.50/&27.50.J. MITTELSTRASS, Enzyklopadie Philosophie und Wissenschaftstheorie, Bd.2: H-0. Mannheim, Wien, Zurich: Bibliographisches Institut, 1984. 1105 pp. DM 156.LOGIC AND MATHEMATICSA. GROTE, Anzahl, Zahl und Menge. Die phanomenologische Grundlagen der Arithmetik. Hamburg: Meiner, 1983. vii + 143 pp. DM 36.VICTOR LOWE, Alfred North Whitehead: the man and his work. Volume 1: 1861-1910. Baltimore and London: The Johns Hopkins University Press, 1985. xi+ 351 pp. $27.50/£26.40.MURIEL SELTMAN and PETER SELTMAN, Piaget's logic: a critique of genetic epistemology. London, Boston and Sydney: George Allen and Unwin, 1985. ix+ 353 pp. £30.00.MORRIS KLINE, Mathemafics: the loss of certainty. New York: Oxford University Press, 1980. vi + 366 pp. $19.95.RACHEL WALLACE GARDEN, Modern logic and quantum mechanics. Bristol: Adam Hilger, 1983. xii+ 178 pp. £18.00.LOGIC AND LANGUAGEH. LEBLANC, E. MENDELSON and A. ORESTEIN, Logic, language, and mathematics. Dordrecht and Boston: D. Reidel Publishing Company, 1984, 282 pp. Dfl.90/$34.50.R. M. MARTIN, Mind, modality, meaning and method. Albany, New York: State University of New York Press, 1983. xiv+ 225 pp. $44.50 /$16.95.HERBERT HOCHBERG, Logic, ontology, and language-essays on truth and reality. Miinchen and Wein: Philosophia Verlag, 1984. 448 pp., $74.00.

Jarrett (1984) and Ballentine and Jarrett (1987) have argued that violations of Jarrett's locality condition are strictly forbidden by the theory of relativity. In Ballentine and Jarrett, this claim is supported by an appeal to the fact that superluminal signalling gives rise to causal paradoxes. In this paper, it is argued that if violations of locality are permitted, certain puzzles indeed arise. The result takes the form of a set of apparent "no go" theorems. However, it is argued that the results may not really show what they seem to, and that contrary to Ballentine and Jarrett, it is by no means clear that relativity forbids violations of Jarrett's locality condition.

We define a family of ‘no signaling’ bipartite boxes with arbitrary inputs and binary outputs, and with a range of marginal probabilities. The defining correlations are motivated by the Klyachko version of the Kochen-Specker theorem, so we call these boxes Kochen-Specker-Klyachko boxes or, briefly, KS-boxes. The marginals cover a variety of cases, from those that can be simulated classically to the superquantum correlations that saturate the Clauser-Horne-Shimony-Holt inequality, when the KS-box is a generalized PR-box (hence a vertex of the ‘no signaling’ polytope). We show that for certain marginal probabilities a KS-box is classical with respect to nonlocality as measured by the Clauser-Horne-Shimony-Holt correlation, i.e., no better than shared randomness as a resource in simulating a PR-box, even though such KS-boxes cannot be perfectly simulated by classical or quantum resources for all inputs. We comment on the significance of these results for contextuality and nonlocality in ‘no signaling’ theories

Quantum theory is a probabilistic theory that embodies notoriously striking correlations, stronger than any that classical theories allow but not as strong as those of hypothetical ‘super-quantum’ theories. This raises the question ‘Why the quantum?’—whether there is a handful of principles that account for the character of quantum probability. We ask what quantum-logical notions correspond to this investigation. This project isn’t meant to compete with the many beautiful results that information-theoretic approaches have yielded but rather aims to complement that work

In a recent paper, Michael Friedman and Hilary Putnam argued that the Luders rule is ad hoc from the point of view of the Copenhagen interpretation but that it receives a natural explanation within realist quantum logic as a probability conditionalization rule. Geoffrey Hellman maintains that quantum logic cannot give a non-circular explanation of the rule, while Jeffrey Bub argues that the rule is not ad hoc within the Copenhagen interpretation. As I see it, all four are wrong. Given that there is to be a projection postulate, there are at least two natural arguments which the Copenhagen advocate can offer on behalf of the Luders rule, contrary to Friedman and Putnam. However, the argument which Bub offers is not a good one. At the same time, contrary to Hellman, quantum logic really does provide an explanation of the Luders rule, and one which is superior to that of the Copenhagen account, since it provides an understanding of why there should be a projection postulate at all

Emilio Santos has argued (Santos, Studies in History and Philosophy of Physics http: //arxiv-org/abs/quant-ph/0410193) that to date, no experiment has provided a loophole-free refutation of Bell’s inequalities. He believes that this provides strong evidence for the principle of local realism, and argues that we should reject this principle only if we have extremely strong evidence. However, recent work by Malley and Fine (Non-commuting observables and local realism, http: //arxiv-org/abs/quant-ph/0505016) appears to suggest that experiments refuting Bell’s inequalities could at most confirm that quantum mechanical quantities do not commute. They also suggest that experiments performed on a single system could refute local realism. In this paper, we develop a connection between the work of Malley and Fine and an argument by Bub from some years ago [Bub, The Interpretation of Quantum Mechanics, Chapter VI(Reidel, Dodrecht,1974)]. We also argue that the appearance of conflict between Santos on the one hand and Malley and Fine on the other is a result of differences in the way they understand local realism