Classical and Quantum Logics with Multiple Non-Equivalent and Non-Isomorphic Models
This paper refutes recent criticisms by demonstrating that both classical and quantum logics indeed possess multiple mutually non-equivalent and non-isomorphic models.
Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). This is an AI-generated explanation of the paper below. It is not written or endorsed by the author. For technical accuracy, refer to the original paper. Read full disclaimer
In the study of how we reason, there are two distinct ways of thinking about truth. One is the familiar logic of everyday life, where if something is true, its opposite is false, and combining ideas follows strict, predictable rules. The other is the logic of the quantum world, the realm of atoms and subatomic particles, where things can exist in multiple states at once and where the act of observing can change the outcome. For decades, scientists have tried to build mathematical structures to represent these two types of reasoning. They call these structures "lattices," which are essentially maps showing how different ideas connect and relate to one another. A long-standing belief in the field was that there is only one correct map for quantum logic and only one correct map for classical logic. It was thought that the quantum map had to be a specific, rigid shape known as an orthomodular lattice, and the classical map had to be a perfectly balanced, distributive shape.
However, a recent paper by Mladen Pavičić challenges this certainty. The researcher argues that this belief is based on a misunderstanding of what a "model" is in logic. A model is simply a way of testing whether the rules of a logic hold up. Pavičić demonstrates that for both quantum and classical logic, there are not just one, but many different maps that work perfectly well. These maps are not identical to each other; they have different shapes and internal structures, yet they all produce the exact same set of valid conclusions. The paper proves that the unique, rigid shapes previously thought to be the only options are actually just a few special cases among many. The author shows that critics who claimed these other maps were invalid were mistaken, often because they confused the rules of the logic itself with the specific properties of one particular map.
The core of the work involves a careful comparison of these different maps. Pavičić lays out the definitions of quantum and classical logic side by side, showing how they are built from basic building blocks like negation and combination. He then introduces a family of these mathematical maps, ranging from very general ones to more specific, restrictive ones. The key finding is that a logic does not need a single, unique map to be valid. Instead, a logic can be sound and complete across a whole variety of different maps. For quantum logic, the paper shows that it works just as well on maps that lack a specific property called orthomodularity as it does on maps that have it. Similarly, for classical logic, the rules hold true even on maps that lack the property of distributivity, which is the rule that usually makes classical logic feel so orderly.
The paper directly addresses and refutes recent criticisms from other researchers who argued that these alternative maps were flawed. One group of critics claimed that because a specific type of map, the orthomodular lattice, is the standard for quantum mechanics, no other map could be a valid representation of quantum logic. Pavičić counters this by showing that the logic itself does not demand that specific shape; it only demands that the rules work, and they do work on many different shapes. The critics also argued that if a map does not have the same internal rules as the standard model, it cannot be a true model. The paper proves this wrong by showing that all these different maps lead to the same set of provable statements. If a statement is true in one map, it is true in all of them, even if the maps look different on the inside.
Another criticism focused on classical logic, suggesting that because a non-standard map failed to preserve a specific structural rule, it could not be a valid model. The author points out that this criticism relied on a simple calculation error. When the math is done correctly, the map in question does preserve the necessary structure. The paper emphasizes that the existence of these different maps does not mean the logic is broken or ambiguous. Instead, it means the logic is robust enough to function across a wide landscape of mathematical structures. The author concludes that the field has been too focused on finding a single "perfect" map, when in reality, the logic is defined by the set of rules that hold true across all these diverse maps.
Ultimately, the paper serves as a correction to the field's understanding of what constitutes a model. It establishes that having multiple, non-identical models for a single logic is not a problem to be solved, but a natural feature of the system. The work suggests that researchers should stop trying to force all logic into one specific shape and instead embrace the variety of structures that can support the same rules. By clearing up these misconceptions, the paper opens the door for a more flexible and accurate understanding of how logic operates in both the classical and quantum worlds, proving that the path to truth is not a single, narrow road, but a network of many valid routes.
Drowning in papers in your field?
Get daily digests of the most novel papers matching your research keywords — with technical summaries, in your language.