Quantum Logic and Possibility Structures

Federico Holik, Décio Krause, Gómez Ignacio

In this work we discuss logical structures related to indistinguishable particles. Most of the framework used to develop these structures was presented in [17, 28] and in [20, 14, 15, 16]. We use these structures and constructions to discuss possible ontologies for identical parti-cles. In other words, we use these structures in order to characterize the logical structure of quantum systems for the case of indistinguishable particles, and draw possible philosoph-ical implications. We also review some proposals available in the literature which may be considered within the framework of the quantum logical tradition regarding the problem of indistinguishability. Besides these discussions and constructions, we advance novel technical results, namely, a lattice theoretical structure for identical particles for the finite dimensional case. This kind of approach was not present in the scarcely literature of quantum logic and indistinguishable particles.

George Svetlichny

Federico Holik, Ignacio S. Gomez, Décio Krause

In this work we discuss logical structures related to indistinguishable (or similar) particles. Most of the framework used to develop these structures was presented in previous works. We use these structures and constructions to discuss possible ontologies for identical particles. In other words, we use these structures in order to characterize the logical structure of quantum systems for the case of similar particles, and draw possible philosophical implications. We also review some proposals available in the literature which may be considered within the framework of the quantum logical tradition regarding the problem of indistinguishability. Besides these discussions and constructions, we advance novel technical results, namely, a latticetheoretical structure for identical particles for the finite dimensional case. This approach has not been present in the scarce literature on quantum logic and similar particles.

Enrico G. Beltrametti

Peter D. Finch

Wawrzyniec Guz

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).