## Speakable in quantum mechanics: babbling on

## Ronnie Hermens

Department of Theoretical Philosophy University of Groningen r.hermens@rug.nl

This paper summarizes and elaborates on some of the results in [14]. The summary consists of a short version of the derivation of the intuitionistic quantum logic LQM (which was originally introduced in [6]). The elaboration consists of extending this logic to a classical logic CLQM . Some first steps are then taken towards setting up a probabilistic framework based on CLQM in terms of R´ enyi's conditional probability spaces. Comparisons are then made with the traditional framework for quantum probabilities.

## 1 Introduction

In the Hilbert space formalism of quantum mechanics (QM), a quantum probability function is a function P from the lattice L ( H ) of projection operators acting on the Hilbert space H , to the unit interval [ 0 1 , , ] which satisfies the rules

- · P ( 1 ) = 1,

/negationslash

- · P ( P 1 ∨ P 2 ∨ . . . ) = P ( P 1 ) + P ( P 2 ) + . . . whenever PiPj = 0 for all i = j .

This characterization of quantum probabilities is reminiscent (at least in form) of the classical structure, where a probability function is specified by a pair ( F , P ) where F denotes a σ -algebra of subsets of some space Ω and P : F → [ 0 1 , ] is a function which satisfies

- · P ( Ω ) = 1,

/negationslash

- · P ( ∆ 1 ∪ ∆ 2 ∪ . . . ) = P ( ∆ 1 ) + P ( ∆ 2 ) + . . . whenever ∆ i ∩ ∆ j = ∅ for all i = j .

Because of the resemblance in structure between the two definitions, it is tempting to think that one must be able to find resemblances between admissible interpretations of the probabilities. However, as indicated in [27], such a program has to face the problem of explaining the non-Boolean nature of L ( H ) . This issue may best be understood by contrasting the quantum structure with the classical structure of σ -algebras. By far the majority of philosophical approaches to classical probability agree on one thing. Namely, that the probability P ( ∆ ) can be understood as the probability that some proposition S ∆ codified by ∆ is true. For example, if Ω is understood as the set of all possible worlds, then ∆ corresponds to the subset of all possible worlds in which S ∆ is true. The question for the quantum case is now straightforward: if the elements of L ( H ) correspond to propositions, what do these propositions express?

The most prominent early contribution to this question is undoubtedly the work of Birkhoff and von Neumann [3]. The backbone of this paper already appeared in [18] where the idea of taking projections as propositions was introduced. It is roughly motivated as follows. If A is an observable, and ∆ a (measurable) subset of the reals, then the proposition A ∈ ∆ is taken to be true if and only if the probability that a measurement of A reveals some value in ∆ equals one. This is then the case if and only if the state

of the system lies in P A ∆ H , with H the Hilbert space describing the system, and PA the projection valued measure generated by A . Or, in terms of density operators, if and only if Tr ( ρ P A ∆ ) = 1.

Of course this raises the question of what is meant by 'a measurement of A reveals some value in ∆ '. The most tempting answer is the one suggested by the notation A ∈ ∆ , i.e., that a measurement of A reveals some value in ∆ if and only if the observable A has some value in ∆ , independent of the measurement. A straightforward adoption of this realist reading is bound to run into difficulties posed by results such as the Kochen-Specker theorem [16] or the Bell inequalities [2, 7]. A possible escape is to deny that A ∈ ∆ expresses a proposition (or has a truth value) for every pair ( A , ∆ ) at every instant. This can be done by, for example, adopting the strong property postulate ( A has a value if and only if the system is in an eigen state of A ). Another possibility is to deny the bijection between observables and self-adjoint operators such as in Bohmian mechanics, where position observables play a privileged role. 1 Or one may suggest that these propositions do not obey the laws of classical logic. This last option was the one suggested by Putnam in [21]. He argued that, apart from coinciding with a set of propositions about values possessed by observables, the lattice L ( H ) also describes the correct logic for these propositions. However, this realist interpretation of the quantum logic L ( H ) is known to lead to problems [10, 26] and the consensus seems to be that there is no hope for this direction [17].

In contrast to these difficulties encountered in realist approaches to understanding L ( H ) , it is often thought that an operationalist interpretation is unproblematic, and perhaps even straightforward:

If we put aside scruples about 'measurement' as a primitive term in physical theory, and accept a principled distinction between 'testable' and non-testable properties, then the fact that L ( H ) is not Boolean is unremarkable, and carries no implication about logic per se. Quantum mechanics is, on this view, a theory about the possible statistical distributions of outcomes of certain measurements, and its non-classical 'logic' simply reflects the fact that not all observable phenomena can be observed simultaneously. - Wilce [27, § 2]

The idea is that the task of interpreting the structure of L ( H ) is tied up with explicating the notion of measurement. Then, since the operationalist takes the notion of measurement as primitive, the structure of L ( H ) may also be taken as primitive. This line of reasoning seems unsatisfactory to me and I think that the questions of what the propositions in L ( H ) express, and what the logic is that governs them, are also meaningful and require study from an operationalist point of view. And as a guide to such a logic one may take into account Bohr's demand that all well-defined experimental evidence, even if it cannot be analyzed in terms of classical physics, must be expressed in ordinary language making use of common logic. - Bohr [4]

In this paper I continue the work done in [14] to meet this demand. Specifically, in section 2 I first introduce a lattice of experimental propositions SQM which is then extended to an intuitionistic logic LQM in section 3. These results comprise a summary of some of the results in [14]. Then, also in section 3, this logic is extended to a classical logic CLQM for experimental propositions. In section 4 R´ enyi's theory of conditional probability spaces [23] is applied to CLQM and it is shown that the quantum probabilities as given by the Born rule can be reproduced. This is followed by a short discussion on the issue that non-quantum probabilities are also allowed in this framework. Finally, in section 5, the results of this paper are evaluated and some ideas on what further role they may play in foundational debates are given.

1 In this approach, observables are associated with functions on the configuration space of particle positions. Every proposition A ∈ ∆ then reduces to a proposition on particle positions. This reduction is contextual in a sense; the function associated with A is not the same for every experimental setup used to measure A .

## 2 The lattice of experimental propositions

The idea to focus on the experimental side of QM is reminiscent of the approach of Birkhoff and von Neumann in [3]. They start by introducing 'experimental propositions' which are identified with subsets of 'observation spaces'. An observation space is the Cartesian product of the spectra of a set of pairwise commuting observables. However, once such a subset is associated with a projection operator in the familiar way, the experimental context (i.e., the set of pairwise commuting observables) is no longer being considered. For example, one may have that P A ∆ 1 1 = P A ∆ 2 2 even though A 1 and A 2 may be incompatible. This indicates that whatever is encoded by propositions in L ( H ) , they do not refer to actual experiments.

To avoid a cumbersome direct discussion of L ( H ) , it is then appropriate to instead develop a logic of propositions that do encode these experimental contexts. As an elementary example of what Bohr may have had in mind when speaking of 'well-defined experimental evidence' I take propositions of the form

$$M _ { A } ( \Delta ) = \text{``A is measured and the result lies in } \Delta. \text{``}$$

Of course, no logical structure can be derived for these propositions without some structural assumptions. I will adopt the following two assumptions which I believe to be quite innocent 2 :

LMR (Law-Measurement Relation) If A 1 and A 2 are two observables that can be measured together, and if f is a function such that whenever A 1 and A 2 are measured together the outcomes a 1 and a 2 satisfy a 1 = f ( a 2 ) (i.e., f represents a law), then a measurement of A 2 alone also counts as a measurement of A 1 with outcome f ( a 2 ) . 3

- IEA (Idealized Experimenter Assumption) Every experiment has an outcome, i.e., for every observable A MA ( ∅ ) is understood as a contradiction.

The following lemma describes the structure arising from these assumptions for QM. A more elaborate exposition may be found in [14].

Lemma 2.1. Under the assumptions LMR and IEA the set of (equivalence classes of) experimental propositions for quantum mechanics lead to the lattice

$$S _ { Q M } \, \coloneqq \, \{ ( \mathcal { A }, P ) \, ; \, \mathcal { A } \in \mathfrak { A }, P \in L ( \mathcal { A } ) \, \langle \{ 0 \} \} \cup \{ \perp \},$$

where A denotes the set of all Abelian operator algebras on H and L ( A ) the Boolean lattice A ∩ L ( H ) . The partial order is given by

$$( \mathcal { A } _ { 1 }, P _ { 1 } ) \leq ( \mathcal { A } _ { 2 }, P _ { 2 } ) \text{ iff } P _ { 1 } = 0 \text{ or } \mathcal { A } _ { 1 } \supset \mathcal { A } _ { 2 }, P _ { 1 } \leq P _ { 2 }.$$

Proof. A proposition MA 1 ( ∆ 1 ) implies MA 2 ( ∆ 2 ) if and only if a measurement of A 1 implies a measurement of A 2 and every outcome in ∆ 1 implies an outcome in ∆ 2 for the measurement of A 2 (or if MA 1 ∆ 1 expresses a contradiction). By LMR, this is the case if and only if the Abelian algebra A 2 generated by A 2 is a subalgebra of the Abelian algebra A 1 generated by A 1 and P A ∆ 1 1 ≤ P A ∆ 2 2 (or P A ∆ 1 1 = 0). This also establishes that MA 1 ( ∆ 1 ) and MA 2 ( ∆ 2 ) are equivalent if and only if ( A 1 , P A ∆ 1 1 ) = ( A 2 , P A ∆ 2 2 ) (or both express a contradiction).

2 These assumptions are the ones also adopted in [14] although there the second was implicit and the first was formulated to also apply to other theories.

3 This assumption is reminiscent of the FUNC rule adopted in the Kochen-Specker theorem (c.f. [22, p.121]). However, FUNCis a much stronger assumption stating that whenever measurement outcomes for a pair of observables satisfy a functional relation, the values possessed by these observables must satisfy the same relationship. That is, FUNC is the conjunction of LMR together with the idea that measurements reveal pre-existing values.

The meet on SQM is given by

/negationslash

$$( \mathcal { A } _ { 1 }, P _ { 1 } ) \wedge ( \mathcal { A } _ { 2 }, P _ { 2 } ) = \begin{cases} ( \mathcal { A } _ { 1 } ( \mathcal { A } _ { 1 }, \mathcal { A } _ { 2 } ), P _ { 1 } \wedge P _ { 2 } ), & \text{if } [ \mathcal { A } _ { 1 }, \mathcal { A } _ { 2 } ] = 0, P _ { 1 } \wedge P _ { 2 } \neq 0, \\ \perp, & \text{otherwise}, \end{cases}$$

where P 1 ∧ P 2 is the meet on L ( H ) . It is consistent with the interpretation given to MA ( ∆ ) in the sense that this meet 'distributes' over the 'and' in ' A is measured and the result lies in ∆ '. In particular, it assigns a contradiction to a simultaneous measurement of two observables whenever their corresponding operators do not commute.

It is harder to interpret the join on this lattice as a disjunction. When restricting to joins of two elements of SQM with the same algebra, the results seem intuitively correct. In this case one has

$$( \mathcal { A }, P _ { 1 } ) \vee ( \mathcal { A }, P _ { 2 } ) = ( \mathcal { A }, P _ { 1 } \vee P _ { 2 } ).$$

And indeed, ' A is measured and the measurement reveals some value in ∆ 1 ∪ ∆ 2' sounds like a good paraphrase of ' A is measured and the measurement reveals some value in ∆ 1 or A is measured and the measurement reveals some value in ∆ 2'. But in more general cases problems arise. For example, one has ( A 1 , 1 ) ∨ ( A 2 , 1 ) = ( A 1 ∩ A 2 , 1 . ) Then, if the two algebras are completely incompatible (i.e. A 1 ∩ A 2 = C 1), this equation states that ' A 1 is measured or A 2 is measured' is a tautology even though one can consider situations in which neither is measured.

The example can further be used to show that SQM is not distributive. Let A 3 be a third observable that is totally incompatible with both A 1 and A 2. One then has

/negationslash

$$( \mathcal { A } _ { 3 }, 1 ) \wedge ( ( \mathcal { A } _ { 1 }, 1 ) \vee ( \mathcal { A } _ { 2 }, 1 ) ) = ( \mathcal { A } _ { 3 }, 1 ) \neq \perp = ( ( \mathcal { A } _ { 3 }, 1 ) \wedge ( \mathcal { A } _ { 1 }, 1 ) ) \vee ( ( \mathcal { A } _ { 3 }, 1 ) \wedge ( \mathcal { A } _ { 2 }, 1 ) ). \quad \text{(6)}$$

Hence, when it comes to providing a logic that fares well with natural language, SQM doesn't perform much better than the original L ( H ) .

## 3 Deriving the logics LQM and CLQM

To solve the problem of non-distributivity of SQM the lattice has to be extended by formally introducing disjunctions which in general are stronger than the join on SQM . The outcome of this process is described by the following theorem. 4

Theorem 3.1. Formally introducing disjunctions to SQM while respecting (5) results in the complete distributive lattice with partial order on LQM defined by

$$? \tan c e \\ L _ { Q M } & = \left \{ S \colon \mathfrak { A } \to L ( \mathcal { H } ) \, ; \, \underset { S ( \mathcal { A } _ { 1 } ) \leq S ( \mathcal { A } _ { 2 } ) } { S ( \mathcal { A } _ { 2 } ) \text{ whenever } \mathcal { A } _ { 1 } \subset \mathcal { A } _ { 2 } } \right \} \\ \omega \, \text{order on } L _ { Q M } \, \text{defined by}$$

$$S _ { 1 } \leq S _ { 2 } \text{ iff } S _ { 1 } ( \mathcal { A } ) \leq S _ { 2 } ( \mathcal { A } ) \forall \mathcal { A } \in \mathfrak { A }$$

giving the meet and join

$$( S _ { 1 } \vee S _ { 2 } ) ( \mathcal { A } ) & = S _ { 1 } ( \mathcal { A } ) \vee S _ { 2 } ( \mathcal { A } ), \\ ( S _ { 1 } \wedge S _ { 2 } ) ( \mathcal { A } ) & = S _ { 1 } ( \mathcal { A } ) \wedge S _ { 2 } ( \mathcal { A } ).$$

4 Again, more details may be found in [14].

The embedding of SQM into LQM is given by 5

↦

$$i \colon ( \mathcal { A }, P ) \mapsto S _ { ( \mathcal { A }, P ) }, \, S _ { ( \mathcal { A }, P ) } ( \mathcal { A } ^ { \prime } ) \coloneqq \begin{cases} P, & \mathcal { A } \subset \mathcal { A } ^ { \prime }, \\ 0, & \text{otherwise}. \end{cases}$$

Proof. The key to the extension of SQM to LQM lies in noting that the embedding (10) satisfies the relation

$$S = \bigvee _ { \mathcal { A } \in \mathfrak { A } } i ( \mathcal { A }, S ( \mathcal { A } ) ). \quad \quad \quad$$

This gives the intended reading of elements of LQM , namely, as a disjunction of experimental propositions. By LMR it follows that i preserves the interpretation of elements of SQM . The conjunctions on LQM further agree with those on SQM :

$$S _ { ( \mathcal { A } _ { 1 }, P _ { 1 } ) } \wedge S _ { ( \mathcal { A } _ { 2 }, P _ { 2 } ) } = S _ { ($$

Further, LQM respects (5) while introducing 'new' elements for other disjunctions, i.e.,

$$S _ { ( \mathcal { A } ^ { \prime } _ { 1 }, P _ { 1 } ) } \vee S _ { ( \mathcal { A } ^ { \prime } _ { 2 }, P _$$

with equality if and only if either P 1 or P 2 equals 0, or A 1 = A 2. Finally, that LQM is a complete distributive lattice follows from (9) and observing that L ( A ) is a complete distributive lattice for every A ∈ A .

The lattice LQM is turned into a Heyting algebra by obtaining the relative pseudo-complement in the usual way:

$$S _ { 1 } \to S _ { 2 } & = \bigvee \{ S \in L _ { Q M } \, ; \, S \wedge S _ { 1 } \leq S _ { 2 } \$$

And negation is introduced by ¬ S : = S →⊥ thus obtaining an intuitionistic logic for reasoning with experimental propositions. The logic LQM is also a proper Heyting algebra and, in fact, is radically nonclassical. That is, the law of excluded middle only holds for the top and bottom element. This is easily checked by observing that S ( C 1 ) = 1 if and only if S = /latticetop . It then follows that S ∨¬ S = /latticetop if and only if S = /latticetop or ¬ S = /latticetop .

The strong non-classical behavior can be understood by noting that the logic is entirely built up from propositions about performed measurements. The negation of MA ( ∆ ) is identified with other propositions about measurements that exclude the possibility of MA ( ∆ ) but leave open the option of no experiment having been performed:

/negationslash

An unexcluded middle thus presents itself as the proposition ¬ MA =' A is not measured'. It was suggested in [14, § 2] that incorporating such propositions could lead to a classical logic. I will now show that this is indeed the case.

$$\neg S _ { ( \mathcal { A } ^ { \prime }, P ) } = \bigvee \left \{ S _ { ( \mathcal { A } ^ { \prime }, P ^ { \prime }$$

It is tempting to start the program for a classical logic for experimental propositions by formally adding the suggested propositions ¬ MA and building on from there. However, it turns out that it is much more convenient to introduce new elementary experimental propositions, namely

MA ! ( ∆ ) = ' A is measured with result in ∆ , and no finer grained measurement has been performed' .

(16)

5 For notational convenience ( A , 0 ) is identified with ⊥∈ SQM .

The notion of fine graining here relies on LMR. Another way of expressing the conjunct added is to state that 'only A and all the observables implied to be measured by the measurement of A have been measured'. With this concept the following can now be shown. 6

Theorem 3.2. The classical logic for experimental propositions is given by 7

$$C L _ { Q M } = \mathcal { P } ( S ^ {! } _ { Q M } ), \, S ^ {! } _ { Q M } \, \coloneqq \left \{ ( \mathcal { A } ^ {! }, P ) \, ; \, \mathcal { A } \in \mathfrak { A }, P \in L _ { 0 } ( \mathcal { A } ) \right \}, \\ L _ { 0 } ( \mathcal { A } ) \, \text{ denotes the set of atoms of the lattice } L ( \mathcal { A } ).$$

where L 0 ( A ) denotes the set of atoms of the lattice L ( A ) .

Proof. Being defined as a power set, it is clear that CLQM is a classical propositional lattice. So it only has to be shown that every element signifies an experimental proposition, and that it is rich enough to incorporate the propositions already introduced by LQM . The first issue is readily established by the identification

↦

$$M _ { A } ^ {! } ( \Delta ) \mapsto \{ ( \mathcal { A } ^ {! }, P ) \in S _ { Q M } ^ {! } \, ; \, P \leq \mu _ { A } ( \Delta ) \},$$

with A the algebra generated by A . Identifying A with A is again justified by LMR, and IEA is incorporated by the fact that, whenever ∆ contains no elements in the spectrum of A M A , ! ( ∆ ) is identified with the empty set. Thus (18) ensures that every element of CLQM is understood as a disjunction of experimental propositions, i.e., every singleton set in CLQM encodes a proposition of the form MA ! ( { } a ) .

That CLQM is indeed rich enough follows by observing that the map

↦

$$c \colon L _ { Q M } \to C L _ { Q M }, \, S \mapsto \bigcup _ { \mathcal { A } \in \mathfrak { A } } \left \{ ( \mathcal { A } ^ {! }, P ) \in S _ { Q M } ^ {! } ; \, P \leq S ( \mathcal { A } ) \right \} & & ( 1 9 ) \\. \dots \dots \dots \dots \dots \dots \dots \dots & & \exists$$

is an injective complete homomorphism.

Some additional reflections are helpful to get a grip on CLQM . First one may note that the map ( c ◦ i ) : SQM → CLQM , encoding propositions of the form MA ( ∆ ) , acts as

↦

$$c \circ i \colon ( \mathcal { A }, P ) \mapsto \left \{ ( \mathcal { A } ^ { \prime \prime }, P ^ { \prime } ) \in S _ { Q M } ^ {! } \, ; \, ( \mathcal { A } ^ { \prime }, P ^ { \prime } ) \leq ( \mathcal { A }, P ) \right \}. & & ( 2 0 ) \\ \text{provision ``and no finer grained measurement has been performed`` that distinguishes M _ { A } ^ {! } ( \Delta )$$

/negationslash

Thus the provision 'and no finer grained measurement has been performed' that distinguishes MA ! ( ∆ ) from MA ( ∆ ) precisely excludes all the ( A ′ ! , P ′ ) ∈ ( c ◦ i )( A , P ) with A ′ = A , i.e., the finer grained measurements (c.f. (18) and (20)).

The non-classicality of LQM is also explicated by CLQM . For any ( A , P ) ∈ SQM , the complement of

$$c ( S _ { ( \mathcal { A }, P ) } \vee \neg S _ { ( \mathcal { A }, P ) } )$$

consists of all the ( A ′ ! , P ′ ) ∈ S QM ! with A ′ /subsetnoteql A and P ′ ≤ P . This is because only the added provision in (16) makes ( A ′ ! , P ′ ) exclude the measurement of A , while within LQM there is nothing to denote a possible incompatibility for A and A ′ . A proposition in CLQM of special interest in this context is the singleton { ( C 1 1 , ) } which expresses that only the trivial measurement is performed. In light of IEA this is just the same as saying that no measurement is performed; the most typical proposition in CLQM not present in LQM .

6 In the remainder of this paper it is tacitly assumed that H is finite-dimensional.

7 The exclamation mark is merely a notational artifact introduced to discern the elements of S QM ! from those of SQM . That is, without the exclamation mark, S QM ! would be a subset of SQM .

To conclude this section I compare the constructions of LQM and CLQM to another way of extending SQM to a distributive lattice, namely, by using the Bruns-Lakser theory of distributive hulls [5] as advocated in [8]. In this approach SQM is embedded into the lattice of its distributive ideals 8 DI ( SQM ) by taking each element to its downward set, i.e.,

↦

$$( \mathcal { A }, P ) \mapsto \downarrow ( \mathcal { A }, P ) \coloneqq \{ ( \mathcal { A } ^ { \prime }, P ^ { \prime } ) \in S _ { Q M } \, ; \, ( \mathcal { A } ^ { \prime }, P ^ { \prime } ) \leq ( \mathcal { A }, P ) \}.$$

Generally, the abstract nature of the extension DI ( L ) for some non-distributive lattice L prevents a straightforward identification of distributive ideals with propositions. In the present situation, for example, it is not immediately clear whether the resulting lattice operations behave consistently with respect to the intended reading of the elements ↓ ( A , P ) given by (1). Fortunately, this issue can be resolved for SQM by noting that the resulting lattice of its distributive ideals is isomorphic to the power set of the atoms in SQM :

$$\mathcal { D I } ( S _ { Q M } ) \simeq \mathcal { P } ( S _ { Q M } ^ { * } ), \, S _ { Q M } ^ { * } \colon = \{ ( \mathcal { A }, P ) \in S _ { Q M } \, ; \, \mathcal { A } \in \mathfrak { A } _ { \max }, P \in L _ { 0 } ( \mathcal { A } ) \},$$

where A max is the set of maximal Abelian algebras. Here then one sees that the proposition identified with ( A , P ) ∈ SQM is understood in P ( S QM ∗ ) as a disjunction over all possible complete measurements compatible with a measurement of A . That is, MA ( ∆ ) in this setting may be rephrased as 'some complete measurement A ′ has been performed with outcome a ′ which implies MA ( ∆ ) '. Although this provides a consistent reading, the underlying presupposition that every measurement in fact constitutes a complete measurement seems somewhat reckless.

## 4 Quantum logic and probability

If the logic CLQM is to play any significant role in quantum mechanics, it has to be connected with quantum probability theory. That is, one has to know how the Born rule can be expressed using the language of CLQM . Ideally this consists of two parts. First, to show that probability functions on CLQM can be introduced that are in accordance with the Born rule. And secondly, to show that the Born rule comes out as a necessary consequence holding for all probability functions on CLQM (i.e., a result similar to Gleason's theorem for L ( H ) ([12])). In this section some first investigations in this direction are made.

The first approach for probabilities on CLQM undoubtedly is to note that ( S QM ! , CLQM ) is a measure space. Hence, it is tempting to state that all probability functions are simply all probability measures on this space. However, this does not do justice to the quantum formalism. For example, one possible probability measure is the Dirac measure peaked at { ( C 1 1 , ) } expressing certainty that no measurement will be performed. This is likely to be too minimalistic even for the hardened instrumentalist. That is, although one may adhere to the idea that 'unperformed experiments have no results' [19], a central idea in QM is that possible outcomes for measurements do have probabilities irrespective of whether the measurements are performed. Indeed, it is a trait of QM that certain conditional probabilities have definite values even if the propositions on which one conditions have prior probability zero. The Dirac measure does not provide these conditional probabilities.

8 A distributive ideal is a subset I ⊂ SQM that is downward closed and further contains the join ∨ { ( A , P ) ∈ J } for every subset J ⊂ I that satisfies (∨ ( A , P ) ∈ J ( A , P ) ) ∧ ( A ′ , P ′ ) = ∨ ( A , P ) ∈ J ( ( A , P ) ∧ ( A ′ , P ′ ) ) for all ( A ′ , P ′ ) ∈ SQM .

To get around this it is natural to take conditional probabilities as primitive in the quantum case. 9 For this approach the axiomatic scheme of R´ enyi is an appropriate choice. 10

Definition 4.1. Let ( Ω , F ) be a measurable space and C ⊂ F \{ ∅ } be a non-empty set, then ( Ω , F C , , P ) is called a conditional probability space (CPS) if P : F × C → [ 0 1 , ] satisfies

↦

- 1. for every C ∈ C the function A → P ( A C | ) is a probability measure on ( Ω , F ) ,
- 2. for all A B C , , ∈ F with C B , ∩ C ∈ C one has

$$\mathbb { P } ( A \cap B | C ) = \mathbb { P } ( A | B \cap C ) \, \mathbb { P } ( B | C ).$$

If in addition to these criteria C is closed under finite unions, the space is called an additive CPS , and if C = F \{ ∅ } it is called a full CPS .

In the present situation it is straightforward to take ( S QM ! , CLQM ) as the measure space. For the set of conditions a modest choice is to take the set of propositions expressing the performance of a measurement:

$$\mathcal { C } _ { Q M } \coloneqq \{ F _ { \mathcal { A } } \, ; \, \mathcal { A } \in \mathfrak { A } \} \,, \, F _ { \mathcal { A } } \coloneqq ( c \circ i ) ( \mathcal { A }, 1 ).$$

For this set of conditions the Born rule can easily be captured with the CPS ( S QM ! , CLQM , C QM , P ρ ) with the probability function given by

$$\psi _ { 0 } \quad \Phi _ { \rho } ( F | F _ { \mathcal { A } } ) \coloneqq \sum _ { \begin{subarray} { c } \left \{ P \in L ( \mathcal { H } ) ; \\ ( \mathcal { A } ^ { \prime }, P ) \in F \end{subarray} \right \} } \text{Tr} ( \rho P ), & & ( 2 6 )$$

for F ∈ CLQM and with ρ a density operator on H . 11

It would however be more interesting to take C = CLQM \{ ∅ } for the set of conditions. At the present it is not clear to me if this is possible, as extending the set of conditions seems a non-trivial matter. There is a positive result on this matter however, namely, the CPS ( S QM ! , CLQM , C QM , P ρ ) can be extended to an additive CPS. The proof for this claim relies on the following definition and theorem.

Definition 4.2. A family of measures ( µ i ) i ∈ I on ( Ω , F ) is called a generating family of measures for the CPS ( Ω , F C , , P ) if and only if for all C ∈ C there exists i ∈ I such that 0 &lt; µ i ( C ) &lt; ∞ and for all F ∈ F , for all C ∈ C and for all i ∈ I with 0 &lt; µ i ( C ) &lt; ∞

$$\mathbb { P } ( F | C ) = \frac { \mu _ { i } ( F \cap C ) } { \mu _ { i } ( C ) }.$$

9 Quantum mechanics has even been used as an example to advocate that conditional probability should be considered more fundamental than unconditional probability, c.f. [13].

10 C.f., [23]. A similar axiomatic approach was developed independently by Popper [20, A *ii-*v]. The present presentation is taken from [25].

11 Another possibility is to take for the conditions the set of propositions expressing the performance of a measurement excluding the possibility of a finer grained measurement:

$$\mathcal { C } _ { Q M } ^ {! } \colon = \left \{ F _ { \mathcal { A } } ^ {! } ; \, \mathcal { A } \in \mathfrak { A } \right \}, \, F _ { \mathcal { A } } ^ {! } \colon = \{ ( \mathcal { A } ^ {! }, P ) \in S _ { Q M } ^ {! } ; \, P \in L ( \mathcal { A } ) \}. \\ \text{the Born rule can be recovered by taking the CPS ( S ^ {! } \dots C L o m. \mathcal { C } ^ {! } \dots \mathbb { P } ^ {! } ) \text{ with the}$$

$$\mathbb { P } _ { \rho } ^ {! } ( F | F _ { \mathcal { A } } ^ {! } ) \coloneqq \sum _ { \left \{ P \in L ( \mathcal { H } ) ; \right \} } \text{Tr} ( \rho P ) = \mathbb { P } _ { \rho } ( F | F _ { \mathcal { A } } ). \\ \text{section can also be nhrased in terms of this CPS. I will however}$$

Also in this setting the Born rule can be recovered by taking the CPS ( S QM ! , CLQM , C ! QM , P ! ρ ) with the probability function given by

Much of the remainder of this section can also be phrased in terms of this CPS. I will however restrict myself to (26) for the sake of clarity.

The family is called dimensionally ordered if and only if there is a total order &lt; on I such that for all F ∈ F and i , j ∈ I : i &lt; j µ j ( F ) = 0 whenever µ i ( F ) &lt; ∞ .

Theorem 4.1 (Cs´ asz´r 1955 [9]) a . ACPS ( Ω , F C , , P ) can be extended to an additive CPS ( Ω , F C , ′ , P ′ ) (i.e., C ⊂ C ′ , and P ′ acts as P when restricted to F × C ) if and only if it is generated by a dimensionally ordered family of measures on ( Ω , F ) .

Thus to show that the CPS given by P ρ in (26) can be extended to an additive CPS it suffices to give a dimensionally ordered family of measures that generates it. The construction of this family relies on the following dimensionality function

$$d \colon \mathfrak { A } & \to \mathbb { N }, d ( \mathcal { A } ) \colon = \# L _ { 0 } ( \mathcal { A } ), \\ d \colon C L _ { Q M } & \to \mathbb { N }, d ( F ) \colon = \min \{ d ( \mathcal { A } ) \, ; \, ( \mathcal { A } ^ {! }, P ) \in F \}.$$

That is, d picks out the coarsest measurements in F . In particular, d F ( A ) = d ( A ) . The family of measures ( µ ρ i ) i ∈ N is now defined as

$$\mu _ { i } ^ { \rho } ( F ) \coloneqq \delta _ { i d ( F ) } \sum _ { \substack { \left \{ P \in L ( \mathcal { H } ) ; \, \exists \, \mathcal { A } \in \mathfrak { A } s. t. \right \} \\ ( \mathcal { A } ^ { \prime }, P ) \in F, d ( \mathcal { A } ) = i } } \text{Tr} ( \rho P ),$$

where δ id ( F ) denotes the Kronecker delta. This Kronecker delta warrants that the family is indeed dimensionally ordered where the order is the usual one on N . Using that

$$\mu _ { i } ^ { \rho } ( F _ { \mathcal { A } } ) = \delta _ { i d ( \mathcal { A } ) }$$

one may easily check that this is indeed a generating family for the CPS ( S QM ! , CLQM , C QM , P ρ ) .

Another open issue with the CPS approach to quantum probabilities is that of deriving the Born rule, i.e., to derive the conditions under which P is of the form P ρ . Aparticular difficulty here is that quantum probabilities are non-contextual, a property that is not expected to hold in general for an admissible probability function on ( S QM ! , CLQM ) . That is, one may have that for A 1 , A 2 ⊃ A the equality

$$\mathbb { P } \left ( \left \{ ( \mathcal { A } ^ {! }, P ) \right \} | F _ { \mathcal { A } _ { 1 } } \right ) & = \mathbb { P } \left ( \left \{ ( \mathcal { A } ^ {! }, P ) \right \} | F _ { \mathcal { A } _ { 2 } } \right ), & & ( 3 1 ) \\ \text{hough it is satisfied for the Born rule (26).} \\ \text{$\text{in addition to $/31\theta$ the amount} }$$

∣ does not hold, although it is satisfied for the Born rule (26).

Conversely, if in addition to (31) the equality

$$\mathbb { P } \left ( \left \{ ( \mathcal { A } _ { 1 } ^ {! }, P ) \right \} \Big | F _ { \mathcal { A } } \right ) & = \mathbb { P } \left ( \left \{ ( \mathcal { A } _ { 2 } ^ {! }, P ) \right \} \Big | F _ { \mathcal { A } } \right ) \\ \text{whenever} \, \mathcal { A } _ { 1 }, \mathcal { A } _ { 2 } \subset \mathcal { A }, \text{the Born rule would follow}. ^ { 1 2 } \text{ This is because then the function}$$

∣ ∣ were also to hold whenever A 1 , A 2 ⊂ A , the Born rule would follow. 12 This is because then the function

$$\mathbb { P } _ { Q M } \colon L ( \mathcal { H } ) \to [ 0, 1 ], \ \mathbb { P } _ { Q M } ( P ) \coloneqq \mathbb { P } \left \{ \left ( \mathcal { A } ^ { \prime }, P \right ) \right \} | F _ { \mathcal { A } ^ { \prime } } \right ) \\ \mathcal { A } \text{ is well defined (i.e., independent of the choice of $\mathcal{A}$ and $\mathcal{A}^{\prime}$) and satisfies}$$

∣ with A ′ ⊃ A is well defined (i.e., independent of the choice of A and A ′ ) and satisfies

- · P QM ( 1 ) = 1,

/negationslash

- · P QM ( P 1 ∨ P 2 ∨ . . . ) = P ( P 1 ) + P ( P 2 ) + . . . whenever PiPj = 0 for all i = j .

12 Provided that the dimension of H is greater than 2.

Hence, Gleason's theorem applies.

Now, before coming to an end it is interesting to take a quick look at the connection between possible extensions of the CPSs and Bell inequalities. Consider the standard EPR-Bohm situation where Alice can choose between two possible measurements A A 1 and A A 2 , whilst Bob can choose between two possible measurements A B 1 and A B 2 . Let A i j denote the algebra generated by A A i and A B j . It is further presupposed that each measurement has two possible outcomes associated with the projections P X i 0 and P X i 1 in A X i .

The CPSs given by (26) aren't rich enough to evaluate possible derivations for a Bell inequality. For that, the set of conditions has to be extended to

$$\mathcal { C } _ { Q M } ^ { \prime } \coloneqq \left \{ F _ { ( \mathcal { A } ^ { \prime }, P ) } \, ; \, ( \mathcal { A }, P ) \in S _ { Q M } \right \}, \, F _ { ( \mathcal { A } ^ { \prime }, P ) } \coloneqq ( c \circ i ) ( \mathcal { A }, P ). \\ \text{se conditions the requirements of outcome independence (OI) and parameter independence (PI) } \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot$$

With these conditions the requirements of outcome independence (OI) and parameter independence (PI) from which the Bell inequality can be derived [15, 24] can be stated:

$$\begin{array} { l l } \overset {. } { \mathbb { P } } \left ( \{ ( \mathcal { A } _ { i } ^ { A! }, P _ { i 0 } ^ { A } ) \} | F _ { ( \mathcal { A } _ { i 1 }, 1 ) } \right ) = \mathbb { P } \left ( \{ ( \mathcal { A } _ { i } ^ { A! }, P _ { i 0 } ^ { A } ) \} | F _ { ( \mathcal { A } _ { i 2 }, 1 ) } \right ) \\ \mathbb { P } \left ( \{ ( \mathcal { A } _ { i } ^ { B! }, P _ { i 0 } ^ { B } ) \} | F _ { ( \mathcal { A } _ { 1 i }, 1 ) } \right ) = \mathbb { P } \left ( \{ ( \mathcal { A } _ { i } ^ { B! }, P _ { i 0 } ^ { B } ) \} | F _ { ( \mathcal { A } _ { 2 i }, 1 ) } \right ) \\ \mathbb { P } \left ( \{ ( \mathcal { A } _ { i } ^ { A! }, P _ { i 0 } ^ { A } ) \} \Big | F _ { ( \mathcal { A } _ { i j }, 1 ) } \right ) = \mathbb { P } \left ( \{ ( \mathcal { A } _ { i } ^ { A! }, P _ { i 0 } ^ { A } ) \} \Big | F _ { ( \mathcal { A } _ { i j }, P _ { i k } ^ { B } ) } \right ) \\ \end{array}$$

∣ ∣ The violation of Bell inequalities in QM shows that OI must fail for any extension of P ρ to C ′ QM . This may be indicative of the idea that the development of any full CPS ( S QM ! , CLQM CLQM , \{ ∅ } , P ) is a non-trivial matter. 13

$$\begin{array} { c } \ll \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \colon \\ \mathbb { P } \left ( \left \{ ( \mathcal { A } ^ { B } _ { i }, P ^ { B } _ { 0 } ) \right \} \Big | F _ { ( \mathcal { A } ^ { 1, 1 } ), 1 } \right ) = \mathbb { P } \left ( \left \{ ( \mathcal { A } ^ { B } _ { i }, P ^ { B } _ { 0 } ) \right \} \Big | F _ { ( \mathcal { A } ^ { 2, 1 } ), 1 } \right ) \\ \mathbb { P } \left ( \left \{ ( \mathcal { A } ^ { B } _ { i }, P ^ { A } _ { 0 } ) \right \} \Big | F _ { ( \mathcal { A } ^ { 1, 1 } ), 1 } \right ) = \mathbb { P } \left ( \left \{ ( \mathcal { A } ^ { B } _ { i }, P ^ { B } _ { 0 } ) \right \} \Big | F _ { ( \mathcal { A } ^ { 1, 1 } ), P ^ { B } _ { k } ) \right ) \\ \mathbb { P } \left ( \left \{ ( \mathcal { A } ^ { B } _ { i }, P ^ { B } _ { 0 } ) \right \} \Big | F _ { ( \mathcal { A } ^ { 1, 1 } ), 1 } \right ) = \mathbb { P } \left ( \left \{ ( \mathcal { A } ^ { B } _ { i }, P ^ { B } _ { 0 } ) \right \} \Big | F _ { ( \mathcal { A } ^ { 1, 1 } ), P ^ { A } _ { k } ) \right ) \\ \intertext {tion of Bell inequalities in QM shows that OI must fail for any extension of $\mathbb{ }P_{\rho}$ to $\mathbb{ }G_{QM}$}. \text{ This} \\ \text{ndicative of the idea that the development of any full CPS $(QM$}, C L _ { Q M }, C L _ { Q M } \langle \mathfrak { O } \}, \mathbb { P } ) \text{ is a} \end{array}$$

## 5 Conclusion and outlook

With the construction of CLQM a concrete formalism is provided that adheres to the Bohrian view that also for quantum mechanics experimental reports must be communicable in unambiguous common language. However, the association with the Copenhagen doctrine ends there. Although the notion of measurement is taken as primitive here, no demand is made for the necessity of this. That is, the current program should not be seen as a method to dismiss the measurement problem, but merely as a way of making sense of the formalism without endorsing a particular solution to the problem. In this paper one obstacle in such investigations has been overcome, namely, the non-distributivity of quantum logic. In return a less abstract obstacle has emerged, namely, the justification of the Born rule in quantum mechanics. To get a further grip on this issue it may be fruitful future work to seek connections with other programs in quantum foundations such as generalized probability theory [1] or the Bayesian approach to quantum probabilities [11].

## Acknowledgments

I would like to thank the people at the QPL 2012 conference in Brussels and at the first Quantum Toposophy workshop in Nijmegen for useful questions and discussions. And further J. W. Romeijn for insisting

13 Note that I'm thinking here of interesting cases. A trivial CPS is easily constructed. Just fix one ( A ! , P ) ∈ S QM ! and take P ( F C | ) = { 1 ( A ! , P ) ∈ F , 0 otherwise , for all C ∈ CLQM \{ ∅ } .

on the use of classical logic. This work was supported by the NWO (Vidi project nr. 016.114.354).

## References

- [1] J. Barrett (2007): Information processing in generalized probabilistic theories . Physical Review A 75, p. 032304, doi:10.1103/PhysRevA.75.032304.
- [2] J. S. Bell (1964): On the Einstein Podolsky Rosen paradox . Physics 1(3), pp. 195-200.
- [3] G. Birkhoff &amp; J. von Neumann (1936): The logic of quantum mechanics . Annals of Mathematics 37(4), pp. 823-843, doi:10.2307/1968621.
- [4] N. Bohr (1948): On the notions of causality and complementarity . Dialectica 2(3-4), pp. 312-319, doi:10.1111/j.1746-8361.1948.tb00703.x.
- [5] G. Bruns &amp; H. Lakser (1970): Injective hulls of semilattices . Canadian Mathematical Bulletin 13, pp. 115118, doi:10.4153/CMB-1970-023-6.
- [6] M. Caspers, C. Heunen, N. P. Landsman &amp; B. Spitters (2009): Intuitionistic quantum logic of an n-level system . Foundations of Physics 39, pp. 731-759, doi:10.1007/s10701-009-9308-7.
- [7] J. F. Clauser, M. A. Horne, A. Shimony &amp; R. A. Holt (1969): Proposed experiment to test local hiddenvariable theories . Physical Review Letters 23(15), pp. 880-884, doi:10.1103/PhysRevLett.23.880.
- [8] B. Coecke (2002): Quantum logic in intuitionistic perspective . Studia Logica 70(3), pp. 411-440, doi:10.1023/A:1015106515413.
- [9] ´ A. Cs´ asz´r (1955): a Sur la structure des escapes de probabilit´ e conditionnelle . Acta Mathematica Academiae Scientiarum Hungarica 6(3-4), pp. 337-360, doi:10.1007/BF02024394.
- [10] M. Dummett (1976): Is logic empirical? In H. D. Lewis, editor: Contemporary British Philosophy Volume IV, George Allen and Unwin, pp. 45-68.
- [11] C. A. Fuchs (2010): QBism, the perimeter of Quantum Bayesianism . Available at http://arxiv.org/abs/1003.5209 .
- [12] A. Gleason (1957): Measures on the closed subspaces of a Hilbert space . Indiana University Mathematics Journal 6, pp. 885-893, doi:10.1512/iumj.1957.6.56050.
- [13] A. H´ ajek (2003): What conditional probability could not be . Synthese 137(3), pp. 273-323, doi:10.1023/B:SYNT.0000004904.91112.16.
- [14] R. Hermens (2012): Speakable in quantum mechanics . Synthese, doi:10.1007/s11229-012-0158-z.
- [15] J. P. Jarrett (1984): On the physical significance of the locality conditions in the Bell arguments . Noˆ us 18(4), pp. 569-589, doi:10.2307/2214878.
- [16] S. Kochen &amp; E. P. Specker (1967): The problem of hidden variables in quantum mechanics . Journal of Mathematics and Mechanics 17, pp. 59-67.
- [17] T. Maudlin (2005): The tale of quantum logic . In Y. Ben-Menahem, editor: Hilary Putnam (Contemporary Philosophy in Focus), Cambridge University Press, pp. 156-187, doi:10.1017/CBO9780511614187.006.
- [18] J. von Neumann (1955): Mathematical Foundations of Quantum Mechanics . Princeton University Press. Translated from the German by R. T. Beyer. Original title: Mathematische Grundlagen der Quantenmechanik, Berlin 1932.
- [19] A. Peres (1978): Unperformed experiments have no results . American Journal of Physics 46(7), pp. 745-747, doi:10.1119/1.11393.
- [20] K. Popper (1959): The Logic of Scientific Discovery . Hutchinson, London.
- [21] H. Putnam (1969): Is logic empirical? Boston Studies in the Philosophy of Science V, doi:10.1007/978-94-010-3381-7 5.
- [22] M. Redhead (1987): Incompleteness, Nonlocality, and Realism . Clarendon Press, Oxford.

- [23] A. R´ enyi (1955): On a new axiomatic theory of probability . Acta Mathematica Academiae Scientiarum Hungarica 6(3-4), pp. 285-335, doi:10.1007/BF02024393.
- [24] A. Shimony (1984): Controllable and uncontrollable non-locality . In S. Kamafuchi et. al., editor: Foundations of Quantum Mechanics in the Light of New Technology, Physical Society of Japan, Tokyo, pp. 225-230, doi:10.1017/CBO9781139172196.010.
- [25] W. Spohn (1986): The representation of Popper measures . Topoi 5, pp. 69-74, doi:10.1007/BF00137831.
- [26] A. Stairs (1983): Quantum logic, realism, and value definiteness . Philosophy of Science 50, pp. 578-602, doi:10.1086/289140.
- [27] A. Wilce (2012): Quantum logic and probability theory . In E. N. Zalta, editor: The Stanford Encyclopedia of Philosophy, fall 2012 edition.
Ronnie Hermens
Speakable in quantum mechanics: babbling on
This paper consists of a short version of the derivation of the
intuitionistic quantum logic L_QM (which was originally introduced by Caspers,
Heunen, Landsman and Spitters). The elaboration consists of extending this
logic to a classical logic CL_QM. Some first steps are then taken towards
setting up a probabilistic framework based on CL_QM in terms of R\'enyi's
conditional probability spaces. Comparisons are then made with the traditional
framework for quantum probabilities.