Quantum, Probability, Logic

Itamar Pitowsky

Oľga Nánásiová, L’ubica Valášková, Viera Čerňanová

The present paper is devoted to modelling of a probability measure of logical connectives on a quantum logic via a G-map, which is a special map on it.We follow the work in which the probability of logical conjunction (AND), disjunction (OR), symmetric difference (XOR) and their negations for non-compatible propositions are studied.Now we study all remaining cases of G-maps on quantum logic, namely a probability measure of projections, of implications, and of their negations.We show that unlike classical (Boolean) logic, probability measures of projections on a quantum logic are not necessarilly pure projections.We indicate how it is possible to define a probability measure of implication using a G-map in the quantum logic, and then we study some properties of this measure which are different from a measure of implication in a Boolean algebra.Finally, we compare the properties of a G-map with the properties of a probability measure related to logical connectives on a Boolean algebra.

Rachel Wallace Garden

Enrico G. Beltrametti

Viktoras Rimsha, Laimontas Rimsha

In this paper we propose a unified conceptual framework in which quantum probability, quantum logic, and classical probability theory are understood as different structural levels of a single theoretical hierarchy. Starting from a statistical interpretation of quantum interference, previously developed by the authors, we argue that quantum probability is not an alternative to classical Kolmogorov probability, but a more general structure. Classical probability theory emerges as a limiting case corresponding to the disappearance of interference and the effective decomposition of the whole into independent elements. Within this framework, the Birkhoff–von Neumann quantum logic appears as a natural logical expression of quantum probability rather than as an abstract algebraic construction detached from physical meaning. The priority of the whole over its parts plays a central role in both quantum probability and quantum logic, while classical logic and probability arise when this priority becomes trivial. We emphasize that the proposed interpretation does not reject existing quantum formalism, but reinterprets its logical and probabilistic foundations. This approach may have implications for the conceptual understanding of quantum algorithms and quantum information processing.

Peter Mittelstaedt, Paul A. Weingartner