The paper is the contribution to quantum toposophy focusing on the abstract orthomodular structures (following Dunn-Moss-Wang terminology). Early quantum toposophical approach to "abstract quantum logic" was proposed based on the topos of functors
[E,Sets] where
E is a so-called orthomodular preorder category – a modification of categorically rewritten orthomodular lattice (taking into account that like any lattice it will be a finite co-complete preorder category). In the paper another kind of categorical semantics of quantum logic is discussed which is based on the modification of the topos construction itself – so called
quantos – which would be evaluated as a non-classical modification of topos with some extra structure allowing to take into consideration the peculiarity of negation in orthomodular quantum logic. The algebra of subobjects of quantos is not the Heyting algebra but an orthomodular lattice. Quantoses might be apprehended as an abstract reflection of Landsman's proposal of "Bohrification", i.e., the mathematical interpretation of Bohr's classical concepts by commutative
C∗-algebras, which in turn are studied in their quantum habitat of noncommutative
C∗-algebras – more fundamental structures than commutative
C∗-algebras. The Bohrification suggests that topos-theoretic approach also should be modified. Since topos by its nature is an intuitionistic construction then Bohrification in abstract case should be transformed in an application of categorical structure based on an orthomodular lattice which is more general construction than Heyting algebra – orthomodular lattices are non-distributive while Heyting algebras are distributive ones. Toposes thus should be studied in their quantum habitat of "orthomodular" categories i.e. of quntoses. Also an interpretation of some well-known systems of orthomodular quantum logic in quantos of functors
[E,QSets] is constructed where
QSets is a quantos (not a topos) of quantum sets. The completeness of those systems in respect to the semantics proposed is proved.
A class of quantum logics (orthomodular atomic lattices) is defined and studied. The obtained results suggest that the covering property acts as a selection criterion for theories in the sense that, given a set of orthomodular atomic lattices, those which may be theories for a fixed set of systems may be selected by verifyng if they have the covering property or not. A relation between physical meanings of the covering property, lattice - algebraic operations and the commutativity relation is also suggested
Since Birkhoff and von Neumann [2] a new area of logical investigation has grown up under the name of quantum logic. However it seems to me that many authors have been inclined to discuss algebraic semantics as such (mainly lattices of a certain kind) almost directly without presenting any axiomatic system, far from developing any proof theory of quantum logic. See, e.g., Gunson [9], Jauch [10], Varadarajan [15], Zeirler [16], etc. In this sense many works presented under the name of quantum logic are algebraic in essence rather than genuinely logical, though it is absurd to doubt the close relationship between algebraic and logical study on quantum mechanics. The main purpose of this paper is to alter this situation by presenting an axiomatization of quantum logic as natural and as elegant as possible, which further proof-theoretical study is to be based on. It is true that several axiomatizations of quantum logic are present now. Several authors have investigated the so-called material implication α → β ( = ¬α∨(α ∧ β)) very closely with due regard to its importance. See, e.g., Finch [5], Piziak [11], etc. Indeed material implication plays a predominant role in any axiomatization of a logic in Hilbert-style. Clark [4] has presented an axiomatization of quantum logic with negation ¬ and material implication → as primitive connectives. In this paper we do not follow this approach. First of all, this approach is greatly complicated because orthomodular lattices are only locally distributive.
A weak logical structure is defined as a set of boolean propositional logics in which one can define common operations of negation and implication. The set union of the boolean components of a weak logical structure is a logic of propositions which is an orthocomplemented poset, where orthocomplementation is interpreted as negation and the partial order as implication. It is shown that if one can define on this logic an operation of logical conjunction which has certain plausible properties, then the logic has the structure of an orthomodular lattice. Conversely, if the logic is an orthomodular lattice then the conjunction operation may be defined on it.
Two new possibilities in the axiomatic foundations of quantum mechanics are examined: first, the possibility of introducing a non-symmetric transition probability between pure states, and second, showing that the concept of orthocomplementation in the logic of events is unnecessary and of secondary importance. An axiomatic scheme is presented which does not involve the concept of orthocomplementation and yet has all the advantages of the well-known quantum logic axiomatics, because the generalised logic of events admits an extension, which is a complete orthocomplemented orthomodular lattice with the covering law holding in it. Thus, the approach to quantum axiomatics may be seen as answering both the old questions of the quantum logic approach (e.g. the questions of the complete lattice structure of the logic, atomicity, the validity of the covering law) and the question concerning the necessity of the orthocomplementation in the logic of events, recently raised by Mielnik (1976).