A New Logic, A New Information Measure, and A New Information-Based Approach to Interpreting Quantum Mechanics

The new logic of partitions is dual to the usual Boolean logic of subsets (usually presented only in the special case to the logic of propositions) in the sense that partitions and subsets are category-theoretic duals. The new information measure of logical entropy is just the normalized quantitative version of partitions. The new approach to interpreting quantum mechanics (QM) is showing that the mathematics (not the physics) of QM is the Hilbert space version of the mathematics of partitions. Or putting it the other way around, the math of partitions is a skeletal version of the math of QM. The key concepts throughout this progression from logic to information theory to quantum theory are distinctions versus indistinctions, definiteness versus indefiniteness, or distinguishability versus indistinguishability. The distinctions of a partitions are the ordered pairs of elements from the underlying set that are in different blocks of the partition. Logical entropy is defined (initially) as the normalized number of distinctions. The cognate notions of definiteness and distinguishability run through the math of QM, e.g., in the key non-classical notion of superposition (= ontic indefiniteness) and in the Feynman rules for adding amplitudes (indistinguishable alternatives) versus adding probabilities (distinguishable alternatives).