A proof of Specker's principle.

Specker's principle, the condition that pairwise orthogonal propositions must be jointly orthogonal (or rather, the 'exclusivity principle' that follows from it), has been much investigated recently within the programme of finding physical principles to characterize quantum mechanics. Specker's principle, however, largely appears to lack a physical justification. In this paper, I present a proof of Specker's principle from three assumptions (made suitably precise): the existence of 'maximal entanglement', the existence of 'non-maximal measurements' and no-signalling. I discuss these three assumptions and describe canonical examples of non-Specker sets of propositions satisfying any two of them. These examples display analogies with various approaches to the interpretation of quantum mechanics, including retrocausation. I also discuss connections with the work of Popescu & Rohrlich. The core of the proof (and the main example violating no-signalling) is illustrated by a variant of Specker's tale of the seer of Nineveh, with which I open the paper. This article is part of the theme issue 'Quantum contextuality, causality and freedom of choice'.