Switch to: References

# The logic of partitions: Introduction to the dual of the logic of subsets: The logic of partitions

Review of Symbolic Logic 3 (2):287-350 (2010)

 Since the pioneering work of Birkhoff and von Neumann, quantum logic has been interpreted as the logic of (closed) subspaces of a Hilbert space. There is a progression from the usual Boolean logic of subsets to the "quantum logic" of subspaces of a general vector space--which is then specialized to the closed subspaces of a Hilbert space. But there is a "dual" progression. The notion of a partition (or quotient set or equivalence relation) is dual (in a category-theoretic sense) to (...) Download     Export citation Bookmark 1 citation The notion of a partition on a set is mathematically dual to the notion of a subset of a set, so there is a logic of partitions dual to Boole's logic of subsets (Boolean logic is usually mis-specified as "propositional" logic). The notion of an element of a subset has as its dual the notion of a distinction of a partition (a pair of elements in different blocks). Boole developed finite logical probability as the normalized counting measure on elements of (...) Download   Translate     Export citation Bookmark Logical Information Theory: New Logical Foundations for Information Theory.David Ellerman - 2017 - Logic Journal of the IGPL 25 (5):806-835.here is a new theory of information based on logic. The definition of Shannon entropy as well as the notions on joint, conditional, and mutual entropy as defined by Shannon can all be derived by a uniform transformation from the corresponding formulas of logical information theory. Information is first defined in terms of sets of distinctions without using any probability measure. When a probability measure is introduced, the logical entropies are simply the values of the probability measure on the sets (...) Download     Export citation Bookmark Four Ways From Universal to Particular: How Chomsky’s Principles-and-Parameters Model is Not Selectionist.David P. Ellerman - 2016 - Journal of Applied Non-Classical Logics 26 (3):193-207.Following the development of the selectionist theory of the immune system, there was an attempt to characterise many biological mechanisms as being ‘selectionist’ as juxtaposed with ‘instructionist’. However, this broad definition would group Darwinian evolution, the immune system, embryonic development, and Chomsky’s principles-and-parameters language-acquisition mechanism together under the ‘selectionist’ umbrella, even though Chomsky’s mechanism and embryonic development are significantly different from the selectionist mechanisms of biological evolution and the immune system. Surprisingly, there is an abstract way using two dual mathematical (...) Download     Export citation Bookmark An Introduction to Partition Logic.David Ellerman - 2014 - Logic Journal of the IGPL 22 (1):94-125.Classical logic is usually interpreted as the logic of propositions. But from Boole's original development up to modern categorical logic, there has always been the alternative interpretation of classical logic as the logic of subsets of any given (nonempty) universe set. Partitions on a universe set are dual to subsets of a universe set in the sense of the reverse-the-arrows category-theoretic duality--which is reflected in the duality between quotient objects and subobjects throughout algebra. Hence the idea arises of a dual (...) Download     Export citation Bookmark 11 citations The Quantum Logic of Direct-Sum Decompositions: The Dual to the Quantum Logic of Subspaces.David Ellerman - 2018 - Logic Journal of the IGPL 26 (1):1-13.ince the pioneering work of Birkhoff and von Neumann, quantum logic has been interpreted as the logic of subspaces of a Hilbert space. There is a progression from the usual Boolean logic of subsets to the "quantum logic" of subspaces of a general vector space--which is then specialized to the closed subspaces of a Hilbert space. But there is a "dual" progression. The set notion of a partition is dual to the notion of a subset. Hence the Boolean logic of (...) Download     Export citation Bookmark 