Quantum logic and meaning
Abstract
This paper gives a formulation of quantum logic in the abstract algebraic setting laid out by Dunn and Hardegree (2001). On this basis, it provides a comparative analysis of viable quantum logical bivalent semantics and their classical counterparts, thereby showing that the truth-functional status of classical and quantum connectives is not as different as usually thought. Then it points out that bivalent semantics for quantum logic - compatible with realism about quantum mechanics - can be maintained, albeit at the price of truth-functionality. Finally, but more importantly, the paper significantly improves on Hellman’s argument (1980) that this lack of truth-functionality entails a change of meaning between classical and quantum connectives.
1 Introduction
This paper revisits an argument proposed by Geoffrey Hellman against Hilary Putnam’s quantum logical revisionism, i.e., the view that quantum logic (QL) is an alternative to classical logic (CL) in the sense of asserting different truths about the same connectives. The main claim defended here is that if truth-functionality is used as a semantic constraint on logical revisionism, then if Hellman’s argument is to succeed, it has to be significantly improved. The paper rigorously explains why, and in what sense, there is no truth-functional semantics for QL and, on this basis, shows exactly how Hellman’s argument should be improved. While the focus here remains exclusively on QL, an analysis of the cogency of truth-functionality as a semantic constraint might help better understand whether other logics can be considered as revisions of CL as well. But a fuller analysis is deferred to another paper.
Note that what the present paper achieves is a refutation of Putnam’s revisionism on semantic, rather than empirical or metaphysical, grounds. Recall that Birkhoff and von Neumann motivated their project “to discover what logical structure one may hope to find in physical theories which, like quantum mechanics, do not conform to classical logic” (Birkhoff and von Neumann 1936, 823) by their realization that the transition from classical physics to quantum mechanics (QM) requires that the commutativity of operators representing quantum observables be dropped. This transition, they argued, indicates that within the quantum domain CL must be replaced by a non-distributive QL. Putnam then argued that this QL is demanded by metaphysical realism, and more precisely by a realist interpretation of QM that does not postulate, say, hidden variables (Putnam 1968). He clearly emphasized that it is the classical distributive law that must be dropped in QM. Arthur Fine responded that it is not the classical distributive law that is dropped in QM, and as a consequence the transition in physics does not require a revision of CL (Fine 1972). Hellman’s argument attempted to rigorously justify this intuitive response by proving that some QL connectives are not truth-functional, which he took to support the view that the meaning of those connectives is different than that of their CL counterparts (Hellman 1980). Rather than a revision, QL is therefore just a replacement of CL, exactly as Birkhoff and von Neumann appear to have intended it.
We engage with this historical debate in the following way. In section two, we first prepare the ground by formulating QL in an abstract algebraic framework. This will enable a rigorous and transparent comparison of some formal semantic aspects of CL and QL. In section three, we proceed with a detailed analysis of viable bivalent semantics for QL, and we show that the truth-functional status of CL- and QL-connectives is not as different as commonly thought. In section four, we emphasize the seemingly forgotten fact that a bivalent semantics for QL, which may potentially support realism about QM, is indeed tenable, provided that one gives up the truth-functionality of some QL-connectives. In the same section, we also identify and discuss another formal condition that ought to be satisfied by any purportedly realist semantics. Finally, on this background, we come to address Hellman’s argument in section five. We argue that our semantic analysis from the previous sections indicates that his argument can and should be improved, which brings us to propose a stronger argument, reinforcing and precisifying the conclusion that some QL-connectives have a different meaning than their CL counterparts. Our argument still depends on the same meaning-variance principle that was originally suggested by Hellman and, thus, on the use of truth-functionality as a semantic constraint on logical revisionism, but also, perhaps surprisingly, on the way one formally explicates the validity of arguments with multiple premises. Given these qualifications, which require of course further philosophical justification that would go beyond purely formal semantic methods, our argument justifies Fine’s claim that it is not the classical distributive law that fails in QM: classical and quantum distributivity do mean different things.
2 An Algebraic Formulation of Quantum Logic
QL has been formulated in a variety of ways, both model- and proof-theoretically. Some of these formulations even yield different logics, in the sense that they validate different sets of arguments, thus making it more apt to speak of QLs, in the plural. Nevertheless, since the details and differences among these formulations are not relevant for our discussion, we will stick to the original one, given in terms of Hilbert lattices, albeit presented more abstractly with the help of the terminology and mathematical machinery employed by Dunn and Hardegree in their classic study of algebraic methods in logic (Dunn and Hardegree 2001). The main advantage of this presentation, as we will see shortly, is that the interpretation of sentences is not completely fixed, as in more standard presentations of QL (e.g., Rédei 1998), thus “erasing any intensional vestiges” in the language of QL and enabling a clearer semantic comparison with CL.333Just to make clear, once again, our more abstract formulation defines the same QL as the one originally defined by Birkhoff and von Neumann in terms of Hilbert lattices.
2.1 Algebraic preliminaries
Let be a sentential language containing atomic sentences, conjunction ‘’, disjunction ‘’ and negation ‘’. Let be the set of sentences generated inductively from , in the usual way. We can straightforwardly define the algebra of sentences.
Definition 1.
The algebra of sentences is an algebra whose operations on the carrier set are defined as follows: for any ,
Next, we introduce the notion of a logical atlas.
Definition 2.
A logical atlas is a pair , where is a non-empty algebra and is a family of proper subsets of the carrier set of .
We will refer to the sets as designated sets. Logical atlases can be used to provide a semantics for our language. Indeed, an interpretation of a language into an atlas is defined as follows:
Definition 3.
Let be a sentential language and its associated algebra of sentences. Suppose is a logical atlas whose algebra is of the same type as . An interpretation of in is any homomorphism from into .
The elements of the carrier set of can be thought of as propositions, and each designated set can be thought of as a possible set of true propositions, i.e. a way “the world could be”. An interpretation of a language into an atlas thus homomorphically assigns propositions to sentences, in accord with the principle of compositionality; since an atlas can contain multiple designated sets, an interpretation does not need to fully determine which propositions are true and which are not. We will call a triple , where is the set of all interpretations of in , an interpretationally constrained language.
Let us now introduce the notion of valuation.
Definition 4.
Let be a sentential language and its associated set of sentences. A valuation on is any function from to the two-element set .
Here we are taking the valuation of a language to be bivalent by definition: each sentence of the language is assigned either ‘true’ or ‘false’, thereby excluding third truth-values or truth-value “gaps” and “gluts”. Also, there are no compositional restrictions on truth-value assignments to compound sentences, i.e. we are not assuming truth-functionality; more on this later.
The identification of designated sets with true propositions suggests a natural way of defining a class of valuations induced by an atlas.
Definition 5.
Let be a logical atlas and an interpretationally constrained language. For each interpretation , and index , define a valuation as:
The class of valuations induced by is the set of all such valuations, i.e.
Now we are ready to introduce the notion of logical consequence induced by an atlas. We say that a set of premises -implies a conclusion , or , if the following holds:
(1) |
Analogously, we say that a sentence is -valid, or , if for all valuations in .
To summarize, an interpretationally constrained language consists of a language endowed with a compositional semantics and contains sufficient structure – namely, the family of designated sets pertaining to the logical atlas – to induce a class of valuations , thereby defining a logical consequence relation on the set of sentences.
Let us present QL within this formalism.
2.2 Quantum logic
We will now use the definitions from the previous subsection in our presentation of QL. In particular, we will introduce quantum atlases and their induced quantum-logical consequence relations.
Let be the set of closed subspaces of a (potentially infinite-dimensional) Hilbert space . We will say that the algebra associated to is the algebra , where ‘’ and ‘’ are set-intersection and linear span, respectively, whereas the ‘⟂’ operation takes a subspace and outputs the corresponding orthogonal subspace. We define quantum atlases as follows:
Definition 6.
A quantum atlas is an atlas where is the algebra associated to some Hilbert space , and the family of designated subsets , whose index ranges over all 1-dimensional subspaces , is defined as
A quantum interpretationally constrained language is then any triple , where is a sentential language, is a quantum atlas and is the set of all interpretations of the language into . In particular, being homomorphic, the interpretations satisfy
(2) |
for all sentences in . Following Definition 5 and Eq. (1), we can associate to any atlas an induced class of valuations and an induced consequence relation , which thereby lets us define the notion of quantum-logical consequence. In order to simplify the notation, we will henceforth write and , instead of the more cumbersome and .
Definition 7.
Let be a consequence relation on a set of sentences . We say that is a quantum-logical (QL) consequence relation if there exists a quantum atlas , such that and coincide.
QL-consequence relations can also be given the following characterization, reminiscent of the one originally introduced by Birkhoff and von Neumann: for a Hilbert space , a set of premises -implies conclusion if for all homomorphisms from the algebra of sentences into the algebra associated to , the following holds
(3) |
Since the operations and on are non-distributive, it follows that QL-consequence relations violate the law of distributivity, as we will now illustrate (see also Birkhoff and von Neumann 1936, 831).
Let be atomic sentences. Consider an interpretation that maps and into two mutually orthogonal 1-dimensional subspaces of that contain respectively vectors and , and into the 1-dimensional subspace that contains vector . It follows that and , which implies , and thus . This failure of distributivity in QL is a direct consequence of the fact that experimental propositions in QM form a non-distributive lattice, which can be arguably understood as a consequence of the algebra of quantum-mechanical observables being non-commutative.
Note that we have defined the QL-consequence relations relative to Hilbert spaces : there may thus in principle be as many different consequence relations as there are (non-isomorphic) Hilbert spaces. Consider for a moment the parallel situation in classical logic (CL). Instead of defining the CL-consequence relation in terms of standard truth-tables or via some proof-theoretic axiomatization, one may introduce it by using atlases built on arbitrary Boolean algebras. Since there are many non-isomorphic Boolean algebras, one needs to prove that they all lead to one and the same logical consequence relation. Indeed, the latter turns out to be the case, due to the theorem that states that an equation holds in an arbitrary Boolean algebra if and only if it holds in the two-element Boolean algebra: thus, all these different Boolean algebras yield one and the same consequence relation, which can be defined using the standard truth-tables.444In algebraic terms, to say that an equation holds in an arbitrary Boolean algebra if and only if it holds in the two-element Boolean algebra means to say that the variety of Boolean algebras is generated by the two-element Boolean algebra, which can be seen as a consequence of the Stone representation theorem for Boolean algebras (Stone 1936). On the other hand, there is no parallel result that holds for algebras associated to Hilbert spaces: for instance, as noted already by Birkhoff and von Neumann (1936, 832), modularity holds only in finite-dimensional Hilbert spaces (see also Rédei 1998). There is thus, as suspected, more than one QL-consequence relation depending on the Hilbert space on which the semantics is built, which justifies keeping the index ‘’ in ‘’.
3 On Valuations in Quantum Logic
In the previous section we introduced quantum atlases , their induced classes of valuations and the induced relations of logical consequence . Notice that are abstract relations on the set of sentences , so despite being explicitly constructed with the help of classes induced by quantum atlases, they are in principle definable by other means, e.g., by some proof-theoretic axiomatization, or by different classes of valuations. In this section we want to focus on the latter, i.e., we want to analyze some features of the collection of viable classes of valuations that respect . With this aim in mind, let us introduce the notion of -class.
Definition 8.
Let be a sentential language and its set of sentences. Suppose the consequence relation on is induced by a quantum atlas , for some Hilbert space . An -class is any class of valuations on that obeys the following. For all :
(4) |
Any -class thus defines the same consequence relation as the class induced by the atlas : trivially, is one particular -class. Let us now analyze some properties of collections of -classes.
3.1 Uniqueness
First, consider the following question: for a given atlas , are all -classes isomorphic, i.e. are they all equivalent to ? In other words, does the collection of all -classes have more than one member? Let us briefly depart from QL and delve into an analogous question that can be raised about classical logic (CL). One can define the CL-consequence relation via the class of valuations determined by the standard truth-tables.555The class is defined by the following properties: for all , if and only if ; if and only if ; if and only if . Can the same consequence relation be characterized by a different class of valuations? Is the class unique in this sense? This question has been answered by Carnap (1943), where he showed that there are non-standard classes of valuations that characterize the same relation . One such class is given by , where the non-standard valuation obeys
(5) |
It is easy to see that and define the same relation of logical consequence, despite them being non-isomorphic.666Carnap saw this as a problem because it implies that no axiomatic calculus for CL can be considered what he called a “full formalization” of CL, i.e., no such calculus can uniquely determine the intended class of valuations (i.e. the one given by the standard truth-tables). This arguably presents a problem for the logical inferentialist thesis that “rules fix meaning”. For an overview of inferentialism, including this problem, see (Murzi and Steinberger 2017). Carnap’s answer can be trivially transferred to the case of QL-consequence relations in the following way. Let be the class of valuations induced by a quantum atlas , and its corresponding QL-consequence relation. Consider the valuation , given by:
(6) |
Again, the two different classes, and , determine the same relation , and are thus both -classes. Hence, similarly to the case of CL, there is more than one valuation compatible with one and the same consequence relation. We deem this worth of being emphasized in the following
Proposition 1.
For any quantum atlas , there are at least two -classes.
3.2 Truth-functionality
Now we will continue the analysis of -classes by inspecting their truth-functionality or lack thereof. In order to do so, let us first introduce the following definition.
Definition 9.
Let be a class of valuations on a sentential language . We say that makes ‘’ truth-functional (TF) if there exists a function , such that for all , and any :
The respective definitions for ‘’ and ‘’ then follow by analogy. Furthermore, we say that is a truth-functional (TF) class of valuations if it makes all three connectives in truth-functional.
Before applying this definition to QL, let us again mention a few facts about CL. Note first that the CL-class of valuations determined by the standard truth-tables, i.e., , is obviously TF, and is actually the only TF CL-class. Nevertheless, there are also non-TF CL-classes, as exemplified by Carnap’s non-standard class , which makes disjunction and negation non-TF. The non-truth-functionality of disjunction can for instance be seen from the following example. For arbitrary atomic sentences : , and , but . This already indicates that statements such as “Classical logic is truth-functional” ought to be approached carefully, and should be precisified as “There exists a (unique) TF CL-class”, but acknowledging at the same time that “There exist non-TF CL-classes”.
Let us now get back to QL and inspect the (non-)truth-functionality of -classes. We will first show that for any quantum atlas , the induced class makes conjunction TF, and negation and disjunction non-TF. The truth-functionality of conjunction follows immediately from the fact that, in any Hilbert space, a 1-dimensional subspace is contained in two other subspaces if and only if it is contained in their intersection. Since the conjunction of two sentences is interpreted as the intersection of the subspaces associated (under the same interpretation) to those sentences, this implies that a conjunction is true if and only if both its conjuncts are true, in accord with the standard classical truth-table. On the other hand, in order to illustrate the non-truth-functionality of disjunction and negation, consider the following example. Take three 1-dimensional subspaces , where is an arbitrary Hilbert space. Suppose that respectively contain vectors , and , where and are orthogonal. Take an arbitrary sentence and an interpretation , such that and . It is easy to see that for the induced valuations : but . On the other hand, if is a 1-dimensional subspace containing a vector which does not lie in the span of and , then and . Thus, disjunction is not TF, in that some false disjuncts combine into a true disjunction, whereas others combine into a false disjunction; similarly, some false propositions, when negated, become true, whereas others stay false. Therefore, the -classes of valuations induced by quantum atlases are not TF, for they make only conjunction TF. But can there be any TF -classes? As proved by David Malament (2002), not only is the answer negative, but any -class must make at least two connectives non-TF. Here is his result translated into our terms:
Proposition 2.
Let be the quantum atlas built on some arbitrary Hilbert space . There is no -class that makes more than one connective in truth-functional. Thus, there is no truth-functional -class.
Notice that the classes induced by atlases accordingly make only conjunction TF. Are there -classes that make disjunction or negation TF? Surprisingly, the answer is no! It is enough to notice that for any Hilbert space , the induced QL-consequence relation validates the following arguments, which are the “semantic versions” of the -introduction and -elimination rules: for any , , , and . It is easy to see that the validity of these three arguments implies that for any -class, is true if and only if both and are true, thus forcing conjunction to behave classically. Since, following Proposition 2, at most one connective can be TF, this implies that there is no -class that makes either disjunction or negation TF! Let us state this clearly as follows:
Proposition 3.
Let be a quantum atlas built on some arbitrary Hilbert space . Every -class makes conjunction truth-functional, but negation and disjunction non-truth-functional.
Where does this asymmetry between the QL-connectives come from? It suffices to take a look at Definition 8 of -classes and to notice that it invokes a metalinguistic quantification over all premises: it defines valid arguments as those whose conclusion is true if each premise is also true. This definition formalizes the intuitive idea that valid arguments preserve truth, or that given that the premises are true, the conclusion must be true as well. Crucially, “the premises are true” is formalized as “each premise is assigned truth-value ‘t’”, which then, given the validity of the -introduction and -elimination arguments forces the QL-conjunction to behave classically.
Now, one may either accept this conclusion, i.e., that in QL only conjunction can be TF (since it actually must be TF), or one may modify some of the above definitions so as to allow for the possibility of having a TF negation or disjunction. Let us briefly sketch one such modification. Instead of formalizing “the premises are true” as “each premise is assigned truth-value ‘t’”, we propose to formalize it as “the conjunction of the premises is assigned truth-value ‘t’”. We thereby introduce the notion of -klass as follows.
Definition 10.
Let and be as before. Suppose the consequence relation on is induced, again just as before, by a quantum atlas , for some Hilbert space . An -klass is any class of valuations on that obeys the following. For all finite sets :
(7) |
The notion of -klass is thus different from the notion of -class introduced in Definition 8. Even though both are arguably reasonable formalizations of one and the same intuitive idea, i.e., that in valid arguments the truth of the premises guarantees the truth of the conclusion, they are nevertheless distinct, in that the collection of all -classes is different from the collection of all -klasses. Some potential drawbacks of the alternative notion of -klass are that it is defined only for finite sets of premises, and that it cannot be straightforwardly transposed to logics defined on languages with no conjunction.777We are assuming throughout this paper that is a finitary language, i.e., it allows for the formation of only finite conjunctions and disjunctions. The consequences of dropping this restriction and considering infinitary languages are deferred to future research. Let us however provisionally sweep these problems under the rug and explore where the introduction of -klasses leads us. First, notice that since conjunctions of premises are just a specific instance of single premises, the following holds:
Proposition 4.
For any quantum atlas , all -classes are also -klasses, but not viceversa.
This implies that the -class induced by an atlas is an -klass. Next, recall that the -introduction and -elimination arguments force the QL-conjunction to obey the standard classical truth-table in all viable -classes. On the other hand, the -introduction argument does not impose any constraint whatsoever on viable -klasses, because it is morphed into the trivial requirement that if then . Therefore, while it is still the case that true conjunctions necessarily have true conjuncts (due to the validity of the -elimination argument), it may be the case that some false conjunctions have true conjuncts. Indeed, consider the following -klass. For each subspace , define the function as if and only if . Notice that holds if and only if for all , if then , or contrapositively, if then . This entails that the class is an -klass. In order to see that makes disjunction TF notice the following. For any triple it holds that and if and only if . According to , this implies that a sentence associated to and a sentence associated to are both false if and only if their disjunction is also false, thus mimicking the standard classical truth-table for disjunction. Since, as it can be easily checked, Proposition 2 extends to -klasses as well, must make conjunction and negation non-TF: indeed, some true conjuncts form true conjunctions and others form false ones, whereas negation maps some true propositions into false ones and others into true ones. There is thus at least one -klass that makes disjunction TF. Also, due to Proposition 4, there is at least one -klass that makes conjunction TF, namely . Finally, a theorem proved in Friedman and Glymour (1972, 21) implies that for any Hilbert space , there exists at least one -klass that makes negation classical and thus TF, i.e., one for which ‘’ is true (false) if and only if ‘’ is false (true). Let us state these results as follows:
Proposition 5.
Let be a quantum atlas built on an arbitrary Hilbert space . For any connective , there exists an -klass that makes truth-functional.
Let us finally say a few words about similar issues in CL, since it will be relevant for our discussion in the subsequent section. Notice that, given the standard definition of CL-classes, the CL-validity of -introduction and -elimination rules imposes the standard truth-table on CL-conjunction as well, as opposed to disjunction and negation, for which Carnap’s non-standard valuations exist888As noticed already by Carnap (1943) himself, one can, dually to the case of conjunction, impose the standard truth-table on CL-disjunction if one formalizes valid arguments as relations between sets of premises and sets of conclusions and if one modifies the definition of CL-classes of valuations accordingly. The -elimination and -introduction rules, i.e. , and , then imply that a disjunction is false if and only if each of its disjuncts is false. See (Shoesmith and Smiley 1978) and, for a more recent critical discussion, see (Dicher 2020).. There are thus no CL-classes that make conjunction non-TF. However, analogously to the case of QL, if one defines CL-klasses as those that make the conclusions of CL-valid arguments true if they make the conjunction of all the premises true, then it turns out that there is at least one CL-klass that makes conjunction non-TF. Namely, the latter is given by , where the non-standard valuation is defined as:
(8) |
Since Carnap’s non-normal CL-class makes disjunction and negation non-TF, and because, analogously to Proposition 4, every CL-class is also a CL-klass, we have obtained the following:
Proposition 6.
For any connective , there exists a -klass that makes non-truth-functional.
Propositions 5 and 6 show that the truth-functional status of the QL- and CL-connectives is not as different as is often suggested: each connective can be TF under some klass of valuations and non-TF under some other klass of valuations. The truth-functionality of any of the three QL-connectives can thus be traded for the non-truth-functionality of the remaining QL-connectives. That said, the main difference between the QL- and CL-connectives still persists, in that - in accord with the extension of Proposition 2 to H-klasses - there is certainly no klass that makes all the QL-connectives TF, which justifies to some extent the simplified claim that “Quantum logic is not truth-functional”. Further below, in section five, we will be using Propositions 5 and 6 in our analysis of an argument that purports to show that CL- and QL-connectives differ in meaning. For now, let us however put to work the notions introduced above for the purpose of clarifying certain formal semantic conditions for holding onto realism about quantum mechanics.
4 Semantics and Realism
Our approach to QL has so far been rather abstract, in that we formulated QL-consequence relations on sets of sentences of an abstract sentential language. But the latter also admits of definitions of other logical consequence relations, such as the classical one, thereby enabling a more transparent comparison of the formal semantic aspects of QL and CL, which will be useful in our discussion further below. We should emphasize, however, that our approach stands in contrast to the more common way of presenting QL as “the logic of quantum mechanics” (QM), which defines QL-consequence relations as relations between sentences that are intended to express “experimental propositions” about magnitudes associated to quantum systems/objects. In section two, we presented QL independently of QM, on a par with any other logic, similarly to how CL can obviously be conceived more abstractly than just as “the logic of classical physics”. Nevertheless, it will now be useful to relate our presentation to the more common one, in order to assess the possible philosophical merit of the classes and klasses of valuations introduced in the previous section.
Following van Fraassen (1967), QL can be presented by first introducing a set of sentences that is generated by conjoining, disjoining and negating “elementary sentences”, each of which specifies the range of values taken by a magnitude associated to a quantum system/object. An elementary sentence is of the form “sent(, , ”, which reads “The value of magnitude associated to quantum object lies in the interval ”, where is a magnitude, such as position or momentum, and is some subset in the set of values that may possibly be taken by , e.g., a subset of . One then introduces an interpretation function that maps each sentence in to a closed subspace of the Hilbert space that represents the state-space of the quantum system under consideration. The map is of course not arbitrary, but is dictated by the empirical content of QM, in the following way. Each elementary sentence “sent(, , )” is mapped to the closed subspace that contains all those states for which it holds that, if is prepared in state , the outcome of a measurement of on would lie in . Together with the latter constraint, the map acts on arbitrary sentences as follows:
(9) |
Finally, each quantum state partially determines a potentially non-bivalent valuation on as follows: for any sentence , if and only if . The valuations may indeed be non-bivalent, as one does not need to equate “a is not true” and “a is false”. We will, however, do so, for we will be interested in the question of realism in a moment.999The connection between bivalence and realism will be clarified below. In any case, given the above definition of valuations, a QL-consequence relation can be straightforwardly defined: a set of premises QL-implies a conclusion if for any , makes the conclusion true if it makes each premise true as well.
Let us now relate all of this to our presentation of QL from section two above. Unlike the interpretation that assigns a fixed meaning to each sentence in , a quantum interpretationally constrained language contains all homomorphic interpretations of the sentential language in the quantum atlas . Each designated set in turn contains those elements that are made true by the valuation , for . The main difference between the two formulations is thus that ours leaves the association between sentences and propositions partially constrained, rather than completely fixed, thus “erasing the intensional vestiges” in the language of QL, as we already noted at the outset. It should be clear that if one takes the closed subspaces of to represent “experimental propositions” about a quantum system, and the elements of (or its 1-dimensional subspaces) to represent its possible quantum states, then contains all ways of compositionally assigning experimental propositions to the sentences of , whereas the induced class of valuations contains “-relative” valuations that make true all and only those propositions that can be verified with certainty in an appropriate measurement of the system prepared in state .
This finally brings us to discussing the philosophical importance of the formal results about valuations in QL presented in section three. It is well known that a realist understanding of QM – that is, roughly, an understanding that views it as a theory that asserts truths about physical reality - runs easily into serious troubles and is still an open issue in contemporary science and philosophy. An important attempt at settling this issue was famously put forward by Putnam (1968), who deemed the adoption of QL as a necessary ingredient for maintaining a healthy realist view of the quantum world, devoid of unpalatable metaphysical hypotheses supposedly implied by theories that concord with CL (such as non-local hidden-variable theories). Putnam’s bold proposal, which implied that all interpretational conundra of QM disappear upon acceptance of QL, and in particular that QL allows one to think of all observables in QM as having definite values at all times, was of course immediately put under serious scrutiny.
Importantly, in order to formally address the possible merit of Putnam’s realism, Friedman and Glymour (1972) articulated the latter in a formal semantic framework within which they assessed the possibility of providing the language of QL with a bivalent semantics. Bivalence can, indeed, be considered as a prerequisite for realism, at least in the present context, since it maintains that any fact expressed by a sentence either obtains or does not obtain in the physical reality, e.g., it is either the case or not the case that exactly hydrogen atoms are currently located in your room. However, as pointed out by Friedman and Glymour, Putnam’s proposal is faced with immediate difficulties due to the Kochen-Specker (KS) theorem, which implies that, for Hilbert spaces of dimension , there is no valuation that assigns definite values to all magnitudes, while respecting the functional relationships among the latter.101010For some preliminary discussion of the consequences of the KS theorem for QL, see Dickson 1998, especially section 4.1.2. However, further clarification on the relationship between the non-truth-functionality of QL and the KS-theorem would be needed, but this is not required for our discussion in this paper. Nevertheless, Friedman and Glymour made it clear that, while the KS-theorem does present problems for realism, at least as Putnam had conceived it, it certainly does not entail that the language of QM fails to admit a bivalent semantics.111111In fact, as one referee pointed out, it is rather easy to see that any consequence relation admits of a bivalent semantics: for any valid argument , the corresponding class of valuations is to contain valuation such that and . That a bivalent semantics can be preserved for QL had been also expressed clearly by William Demopoulos: “There are two different accounts of indeterminism which are historically important. The first, which apparently goes back to Aristotle, rejects bivalence: A theory is indeterministic if it assumes that there are propositions whose truth value is indeterminate. The second, represented by the quantum theory, retains bivalence while rejecting semi-simplicity [i.e., a property equivalent to truth-functionality]. … This [latter] form of indeterminism implies that there is no Boolean representation of the properties obtaining at a given time; yet for any property P it is completely determinate whether or not P holds.” (Demopoulos 1976, 76sq) Thus, it is one thing to say that it is true that “This photon will decay tomorrow or this photon will not decay tomorrow”, while each of the disjuncts is neither true nor false, and another thing to say that it is true that “This photon passed through the upper slit or this photon passed through the lower slit”, when each of the disjuncts is false. The conflation of the two different accounts noted by Demopoulos has unfortunately been repeatedly made in the literature (see, e.g., Bell and Hallett 1982, 368). Others made the same conflation on the basis of the Jauch-Piron theorem: “Jauch and Piron show that any so-called orthomodular lattice (in particular any Hilbert lattice) admits total homomorphisms onto iff it is distributive. Note that this means that any form of quantum logic must give up bivalence” (Bacciagaluppi 2009, 56). Such Aristotelian attacks on a bivalent semantics for QL have recently resurfaced in, e.g., Oldofredi et al. 2022 and Fletcher and Taylor 2021.
This conclusion also follows from the previous section, where we explicitly constructed a couple of bivalent semantics by defining appropriate classes and klasses of valuations. While none of these semantics can, due to the KS-theorem, provide in a straightforward way support to realism about QM, some of them may actually fare better than others in this respect. In fact, Friedman and Glymour, after presenting potential candidates for a realist bivalent semantics, immediately dismissed the ones that make negation non-classical, for “dereliction of duty” (1972, 20). They deemed it unacceptable for a realist semantics to ascribe the same truth-value both to a sentence and to its negation, thereby subscribing to the following principle.
Principle 1.
A bivalent semantics is compatible with realism only if its negation obeys the classical truth-table (i.e. for any valuation and sentence ‘s’: ).
One can of course raise doubts about this principle, especially in a context, such as the present one, in which classical logical notions are at stake. For example, it is not clear why one should endorse this principle without also endorsing parallel ones that would require any realist semantics to make conjunction and disjunction classical, thereby conflating realist and classical semantics.121212Some ideas along these lines can be found in (Dummett 1976). That is, why is it unpalatable for a realist to hold that both a sentence and its negation have the same truth-value, but simultaneously be at ease with false disjuncts making true disjunctions or true conjuncts making false conjunctions? What makes negation special? What makes its classicality an essential aspect of realism?
In any case, we are not going to further criticize Principle 1 in this paper, but we want to point out a formal difficulty posed by the results from the previous section. Namely, recall that, in accord with Proposition 3, since any -class makes only conjunction TF, it must necessarily make negation non-TF and thus non-classical. Thus, if one accepts Principle 1, then no -class can provide a semantics compatible with realism! Nevertheless, if we amend the formal treatment of arguments with multiple premises, as we have done by introducing the notion of H-klasses, and since this amendment arguably does not threaten realism, then there are indeed bivalent semantics that can support a sort of realism about QM, albeit certainly not the sort of realism Putnam had wished for. In particular, there are bivalent semantics based on -klasses that make negation TF, while making conjunction and disjunction non-TF.
Let us now take stock. We have argued that since QL can be considered as the logic of experimental propositions in QM, and bivalence is widely understood as a prerequisite for realism, formal semantic results concerning bivalent semantics in QL are consequential for the possibility of maintaining realism in the quantum domain. Even though the KS-theorem presents difficulties for a “naive realist” understanding of QM, one can still salvage bivalence, and thereby a weaker form of realism, by giving up truth-functionality. Furthermore, even if one assumes that the truth-functionality of negation is a necessary requisite for a semantics to be compatible with realism, the latter might still be maintained if one were ready to amend the treatment of arguments with multiple premises. All in all, realism about QM and bivalence in QL are definitely not (yet) ruled out, though they are certainly rather costly from a semantic point of view.
5 Beyond Realism: Meaning Variance
As seen in the previous section, Putnam’s claim that QL can be used to furnish a realist picture of the quantum world has been shown to require a serious revision, mainly due to the no-go result by Kochen and Specker.131313To be sure, Putnam himself admitted as much. Furthermore, already in papers from the early 1990s, he acknowledged that a realist understanding of QM need not embrace QL. See, e.g., Putnam 1991 and Putnam 1994. Also, for a later acknowledgement, see Putnam 2012. There is however a further bold proposal made in the same 1968 paper, in that Putnam argued that QL is the “one true logic” and that the world we live in is a “quantum logical world”. Moreover, he considered QL not merely as a replacement of CL that may play a role in reasoning about quantum objects, but as a revision of CL, that is an alternative logic that asserts different truths about the same connectives. More specifically, he maintained that “adopting quantum logic is not changing the meaning of the logical connectives, but merely changing our minds about the [distributive] law.” (Putnam 1968, 233) In other words, QM did not just lead us to the introduction of a new mathematical structure that we may interpret as a logic, but to the discovery that the “one true logic” is non-classical.141414Of course, others have denied precisely the claim that this new mathematical structure should be interpreted as a logic, for the relation is not really a relation of logical consequence, and the lattice operations are not really logical connectives. This debate is, however, orthogonal on the line of argumentation that we, following Hellman, pursue in this paper. This claim sparked another line of criticisms (e.g., in Fine 1972, Dummett 1976), which do not challenge primarily Putnam’s realism, but his logical revisionism; they contend, more particularly, that QL cannot be considered a revision of CL, since the two are incommensurable: their connectives do not mean the same thing.
A criticism of this latter kind was prominently put forward by Geoffrey Hellman, who commented: “[T]he opponent against whom Putnam argued was a rather dogmatic conventionalist who was rather prone to put more weight on the notion of ‘meaning’ than scientific scrutiny should allow. What I want to do here is focus on a more precise ‘meaning-change’ argument, one which makes absolutely minimal reliance on the problematic word, ‘meaning’, and which, as far as I can see, a proponent of Putnam’s view can neither defeat nor bypass.” (Hellman 1980, 494) In what follows, we reconstruct Hellman’s argument and show how it can, and should, be improved in light of the discussion in the previous sections.
Hellman started by stipulating a condition for meaning invariance, which would presumably be acceptable to a conventionalist without dogmas:
Principle 2.
“If and are synonymous sentential connectives, then (a) if one is a truth-functional connective, then so is the other, and (b) if and are truth-functional, they have the same truth tables.” (Hellman 1980, 495)
He went on to prove that if QL-negation is TF, then QL-disjunction and QL-conjunction are non-TF, which, due to clause (a) in Principle 2, implies that at least some QL-connectives and their classical counterparts are not synonymous. The argument can be reconstructed as follows:
1. Two connectives have the same meaning only if they are either both truth-functional or both non-truth-functional.
2. If QL-negation is truth-functional, then QL-disjunction and QL-conjunction are not truth-functional.
3. Thus, QL-negation and CL-negation differ in meaning, or CL-disjunction (conjunction) and QL-disjunction (conjunction) differ in meaning.
4. Thus, some QL connectives differ in meaning from their CL counterparts.
Importantly, besides having the benefit of relying minimally on the problematically vague notion of ‘meaning’, Hellman maintained that his argument is independent of the issues concerning realism, in that it is based on a purely formal semantic result that exhibits the difference in the truth-functional status of the classical and quantum connectives: “the non-truth-functionality argument is entirely distinct from [those that] argued that QL could not satisfy the demands of realism.” (1980, 496) Now, notice that while the argument does establish that at least some QL connectives differ in meaning from their CL counterparts, it does not specify which ones do so unconditionally. Moreover, Conclusion 3 is compatible with QL-negation being non-TF and thus differing in meaning from CL-negation, while leaving QL-conjunction and QL-disjunction TF and thus possibly synonymous with their CL counterparts. Consequently, since the distributive law refers to conjunction and disjunction, but not to negation, Hellman’s argument does not conflict with Putnam’s logically revisionist claim that classical distribution fails in QM. In other words, despite Hellman’s hope, the argument does not do enough to justify Fine’s earlier claim that “the sense of the distributive law in which it is said to fail is not the sense in which, as the distributive law, it is supposed to hold.” (Fine 1972, 19). More needs to be done for this to be the case. Our goal in the remainder of the paper is to use the results from section three in order to improve on the above argument and to finally justify Fine’s claim.
First, notice that the conditional statement expressed in Premise 2 follows from Proposition 2, which states that any viable class of valuations can make at most one of the sentential connectives TF. Now, while the antecedent of Premise 2, stating that negation is TF, can arguably be justified for semantics that are intended to support realism - as required by Principle 1 - this assumption is not warranted in the present discussion, in which we, together with Hellman, are aiming to contrast CL- and QL-connectives on non-metaphysical, semantic grounds. Moreover, not only is the aforementioned antecedent not warranted, but it cannot be maintained without invalidating the quantum-logically valid -introduction argument, . Indeed, recall that Proposition 3 states that any viable -class of valuations makes conjunction TF, but disjunction and negation non-TF. Therefore, the antecedent of Premise 2, whose truth is needed if the argument is to back Fine’s claim against Putnam’s, is not only unwarranted, but also false151515Note that this point is distinct from the often raised criticism that the quantum logician’s metalanguage should obey quantum logic, in which case Hellman (1980)’s proof for the non-truth-functionality of conjunction and disjunction would not go through..
Furthermore, there is another qualification that needs to be made here: namely, it is not entirely clear what is meant in the above argument by saying that a sentential connective ‘c’ is TF. Does it mean that (i) there exists a viable class of valuations that makes ‘c’ TF, or that (ii) any viable class of valuations makes ‘c’ TF? Since the argument tacitly assumes that classical connectives are TF, option (ii) is automatically excluded, since the existence of Carnap’s non-standard class would make even CL-disjunction and CL-negation non-TF! Therefore, the only chance for a Hellman-type argument to establish meaning-variance on the basis of a difference in the truth-functional status of CL- and QL-connectives is to stick to option (i).
With all this in mind, we now offer an improved argument, which although it assumes the same condition for meaning invariance stipulated by Hellman, i.e., Principle 2, it succeeds in providing a verdict on Putnam’s revisionism and Fine’s claim against it.
Let us say that a sentential connective ‘c’ is TF if there is at least one viable class of valuations that makes ‘c’ TF. Here is our argument:
1’. Two connectives have the same meaning only if they are either both truth-functional or both non-truth-functional.
2’. QL-disjunction and QL-negation are not truth-functional.
3’. Thus, CL-disjunction (negation) and QL-disjunction (negation) differ in meaning.
4’. Thus, some QL connectives differ in meaning from their CL counterparts.
This argument can be understood as a completion of Hellman’s, in that, while it maintains the same general conclusion (i.e. the one expressed in 4’.), it also specifies which QL-connectives are not synonymous with their classical counterparts: in particular, since disjunction - which figures in the distributive law - is among these connectives, our argument fully justifies Fine’s claim.
There is, however, another point we want to make concerning the above argumentation. Namely, notice that we have so far assumed that the only viable classes of valuations for QL are those introduced by Definition 8, i.e., -classes. But recall that, after observing that both CL- and QL-conjunction are necessarily made TF by any viable -class – essentially due to the particular formal explication of the validity of arguments with multiple premises – we introduced (in Definition 10) the notion of -klasses of valuations, thereby restoring the semantic symmetry between conjunction and disjunction. Now, how might considering -klasses in the present discussion change anything? It can easily be seen that this is a problem both for Hellman’s argument and for our own as well. For recall that, after introducing -klasses, we went on to show that for any QL-connective, there is a klass that makes it TF, as stated by Proposition 5, and that for any CL-connective, there is a klass that makes it non-TF, as stated by Proposition 6. It thus follows that there is no difference anymore in the truth-functional status of CL- and QL- connectives, at least at the level of individual connectives: for any connective ‘c’, there exists a klass that makes CL-‘c’ TF and there exists a klass that makes QL-‘c’ TF. Also, there exists a klass that makes CL-‘c’ non-TF and there exists a klass that makes QL-‘c’ non-TF. Therefore, if one formalizes valid arguments by means of klasses, no meaning-variance can be established by any Hellman-type argument (i.e. one that relies on Principle 2). As a consequence, one would not be justified to reject Putnam’s logical revision, for the sense of the distributive law in which it is said to fail may well be the very sense in which it is supposed to hold. On the other hand, as already emphasized before, there is of course still a big difference at the global level, in that, unlike in the case of CL, there is no truth-functional -klass, i.e., no klass that makes all three sentential QL-connectives TF. But this difference cannot be used to support a Hellman-type argument, since Principle 2 considers only individual connectives and their counterparts.
To summarize, the soundness of a Hellman-type argument that implies meaning-variance between classical and quantum connectives depends on the formal explication of valid arguments with multiple premises. If one chooses to explicate the latter in terms of klasses of valuations, then any such argument turns out to be unsound, as we have just seen. However, if one opts for classes of valuations, then a sound argument that establishes meaning-variance can be given: in particular, our argument establishes a difference in meaning between CL- and QL-negation and between CL- and QL-disjunction.161616One might still have lingering doubts that our argument really establishes a difference in meaning between these connectives, since as we pointed out there is a class of valuations, i.e., Carnap’s non-standard class , that makes CL-disjunction and CL-negation non-TF. Nevertheless, such doubts are in fact baseless, for while there is also a class of valuations that makes CL-disjunction and CL-negation TF, there can be no class of valuations that makes QL-disjunction TF and no class of valuations that makes QL-negation TF. This difference is guaranteed by Proposition 3. It does so, as we repeatedly emphasized, provided that one accepts Principle 2.
Whether one should accept Principle 2 is a topic for another paper. Clearly enough, both in Hellman’s argument and in ours, this principle does the philosophical heavy-lifting, in that it proposes a connection between the somewhat loose and evasive notion of “sameness of meaning”, or “synonymy”, and the formal-semantic notion of truth-functionality. Principle 2 allows for ‘meaning’ to be placed under transparent scientific-mathematical scrutiny. Furthermore, as we have emphasized from the very beginning, it backs the use of truth-functionality as a semantic constraint on logical revisionism. As such, it might potentially be useful for understanding and evaluating other revisionist claims, e.g., the intuitionistic revision of CL.171717Even though this revisionist claim is not the topic of our paper, here are some preliminary and tentative thoughts on it. We should probably distinguish between two ways of falling short of truth-functionality: one is by defining semantics in terms of, say, assertability or verifiability conditions, rather than truth conditions; another, as we did in this paper, by allowing valuations that make connectives non-TF. While QL is non-TF in the latter sense, as we have seen, and this is the sense congenial to Principle 2, intuitionistic logic can be considered non-TF in the former sense. Of course, it is possible to define intuitionistic semantics in terms of truth conditions, when these are reduced to assertability or verifiability conditions, as has been often done (see Bezhanishvili and Holliday 2019 for a recent overview), but it can then be proved that in this case there are no valuations that make intuitionistic connectives non-TF (cf. Tong and Westerståhl 2022).
6 Conclusion
In this paper, we started by presenting QL in the abstract-algebraic framework presented in (Dunn and Hardegree 2001), thus considering the language of QL as an interpretationally constrained language. Within this framework, we then analyzed the truth-functional status of QL-connectives, and introduced a distinction between two different types of classes of valuations: -classes, which make conjunction truth-functional, and -klasses, which allow for a non-truth-functional conjunction. Turning to more philosophical concerns, we first pointed out that a bivalent semantics of QL, that could potentially provide a basis for realism, is not ruled out. However, the price that must be paid by the realist is the truth-functionality of the QL-connectives. This naturally led us to discuss Hellman’s anti-revisionist argument that purports to show, on the basis of the aforementioned lack of truth-functionality, that adopting QL changes the meaning of some logical constants. We provisionally embraced his condition for meaning invariance, but pointed out that the argument does not really support a rejection of Putnam’s revisionism. In fact, the argument would provide such a rejection only if QL-negation were truth-functional, which however, besides being unjustified, also turns out to be false, as it conflicts with the quantum-logically valid -introduction argument. One may in response want to consider -klasses of valuations, but this only causes more trouble. In contrast, our modified argument fares better and makes the point that adopting QL changes the meaning of negation and disjunction. Granted all the required assumptions for this argument - including the arguably controversial Principle 2 - Putnam’s logical revisionism is finally rebutted on semantic grounds: the sense of the distributive law in which it is said to fail is not the sense in which it is supposed to hold. Fine was right about it. Now we know the reason why he was right.181818Incidentally, this conclusion undermines all attempts at resisting Putnam’s logical revision for the reason that the proof that the distributive law fails in QM is rule-circular, i.e., it assumes that very law in its classical metalanguage. For a critical discussion of one such recent attempt in (Rumfitt 2015), see [reference removed]. For a different way of avoiding rule-circularity, see (Schurz 2022). For a critical discussion of yet another argument against revisionism, mounted in (Williamson 2018), see [reference removed].
References
Bacciagaluppi, G. (2009). Is Logic Empirical? In Gabbay D., D. Lehmann, and K. Engesser (eds.) Handbook of Quantum Logic, Elsevier, Amsterdam, 49-78.
Bezhanishvili, G. and W. H. Holliday (2019). A semantic hierarchy for intuitionistic logic. Indagationes Mathematicae, 30, 403-469.
Birkhoff, G. and J. von Neumann (1936). The Logic of Quantum Mechanics. In Annals of Mathematics, 37, 823-843.
Carnap, R. (1943). Formalization of Logic, Harvard University Press.
Demopoulos, W. (1976). The Possibility Structures of Physical Systems. In W. L. Harper and C. A. Hooker (eds.) Foundations of Probability Theory, Statistical Inference, and Statistical Theories of Science, Dordrecht, Reidel, 55-80.
Dicher, B. (2020). Hopeful Monsters: A Note on Multiple Conclusions. Erkenntnis, 85, 77-98.
Dickson, M (1998). Quantum chance and non-locality, Cambridge University Press.
Dummett, M. (1976). Is Logic Empirical? In Truth and Other Enigmas, London, Duckworth, 269-289.
Dunn, J. M., & Hardegree, G. (2001). Algebraic methods in philosophical logic, Oxford University Press.
Fine, A. (1972). Some Conceptual Problems with Quantum Theory. In Robert G. Colodny (ed.) Paradigms and Paradoxes: The Philosophical Challenge of the Quantum Domain, University of Pittsburgh Press, 3-31.
Fletcher, S. and Taylor, D. (2021). Quantum indeterminacy and the eigenstate-eigenvalue link. Synthese 199, 11181-11212.
Hellman, G. (1980). Quantum logic and meaning. Proceedings of the Philosophy of Science Association, 493-511.
Kochen, S. and E. P. Specker (1967). The Problem of Hidden Variables in Quantum Mechanics. In C. A. Hooker (ed.) The Logico-Algebraic Approach to Quantum Mechanics, I, Dordrecht, Reidel, 1975, 293-328.
Malament, D. B. (2002). Notes on Quantum Logic. Unpublished lecture notes.
Murzi, J. and F. Steinberger (2017). Inferentialism. In B. Hale et al. (eds.), A companion to the philosophy of language, Blackwell, 197-224.
Oldofredi, A. et al. (2022). On the Common Logical Structure of Classical and Quantum Mechanics. Erkenntnis, 1-27.
Putnam, H. (1968). Is Logic Empirical? In R. S. Cohen and M. W. Wartofsky (eds.) Boston Studies in the Philosophy of Science, 5, Dordrecht, Reidel, 216-241, reprinted as “The logic of quantum mechanics”, in Mathematics, Matter and Method. Philosophical Papers, 1, Cambridge University Press, 174-197.
Putnam, H. (1991). Il principio di indeterminazione e il progresso scientifico. Iride, 7, 9-27.
Putnam, H. (1994). Michael Redhead on quantum logic. In P. Clark and B. Hale (eds.) Reading Putnam, Blackwell, 265-280.
Putnam, H. (2012). The Curious Story of Quantum Logic. In M. De Caro and D. Macarthur (eds.) Philosophy in the Age of Science: Physics, Mathematics, and Skepticism, Harvard University Press, 162–177.
Rédei, M. (1998). Quantum Logic in Algebraic Approach, Dordrecht, Kluwer Academic Publishers.
Rumfitt, I. (2015). The Boundary Stones of Thought. An Essay in the Philosophy of Logic, Oxford University Press.
Schurz, G. (2022). Meaning-Preserving Translations of Non-classical Logics into Classical Logic: Between Pluralism and Monism. Journal of Philosophical Logic, 51, 27–55.
Shoesmith, D. J. and T. Smiley (1978). Multiple Conclusion Logic, Cambridge University Press.
Stone, Marshall H. (1936). The Theory of Representations of Boolean Algebras. Transactions of the American Mathematical Society, 40, 37-111.
Tong, Haotian and Dag Westerståhl (2022). Carnap’s problem for intuitionistic propositional logic. https://arxiv.org/abs/2207.14705
van Fraassen, B. C. (1967). Meaning relations among predicates. Nous, 161-179.
Williamson, T. (2018). Alternative logics and applied mathematics. Philosophical Issues, a supplement to Noûs, 28(1), 399-424.