We introduce and formalize a notion of “a priori knowledge ” about a quantum system, and show some properties about this form of knowledge. Finally, we show that the Kochen-Specker theorem follows directly from this study. 1

PACS. 03.65.Ud – Entanglement and quantum nonlocality. Abstract. – The theorem of Bell is a variant of Boole’s legendary consistency “conditions of possible experience. ” Such an interpretation appears to be immune to arguments involving time dependencies put forward recently by Hess and Philipp [Europhysics Letters 57(6), 775-781, 2002], although experiments need not be. Boole’s “conditions of possible experience ” and Pitowsky correlation polytopes. – In the middle of the 19th century the English mathematician George Boole formulated a theory of “conditions of possible experience ” (COPE) [1–5]. These conditions subsume the consistency requirements satisfied by relative frequencies or probabilities of classical events. They are expressed by certain equations or inequalities. Here, the term “classical ” refers to the fact that events can be joined and united by the usual rules of Boolean algebra. More recently, similar equations for a particular setup relevant in the quantum mechanical context have been discussed by Bell, Clauser&Horne and others [6–9]. Pitowsky has given a geometrical interpretation of COPE in terms of correlation polytopes [4,5,10,11]. Thereby, the rows of the truth tables of events and their joints are interpreted as vectors in a real linear