But quantum mechanics fits perfectly with the dual logic of partitions. There is no need for (more) bizarre flights of fancy to "interpret" QM. This objective indefiniteness approach to QM does not restore our common sense assumption of definiteness down into the quantum realm. But it does restore sanity and understanding to the whole framework. That is\, we now have the logic that precisely fits QM--a logic that was developed independently (i.e.\, without any thought of a QM connection) and that is the unique mathematical dual to ordinary Boolean subset logic\, the logic assumed in classical physics. Moreover the normalized counting measure on partitions gives the quantum-relevant logical information theory--just as Boole developed logical probabilities as the normalized counting measure on subsets. Indeed\, when the mathematics of partition logic and logical information theory is linearized and lifted to complex vector spaces\, then it yields the mathematical framework of quantum mechanics (but not the specifically physical postulates).

The key concepts explicated by this approach are the old ideas of "objective indefiniteness" (emphasized by Abner Shimony)\, objective probabilities\, and the objective realization of information\, "its" from "dits" (= distinctions). Since partition logic\, logical information theory\, and the lifting program "derives" the mathematics of quantum mechanics\, it shows how that QM framework can be interpreted--and this set of results gives what might be called