This is a draft paper that makes a perhaps surprising connection between the old Platonic notion of a paradigm-universal like ‘the white thing’ and an indefinite superposition state in quantum mechanics.

## Quantum Mechanics over sets

## On Classical and Quantum Logical Entropy: The analysis of measurement

This paper shows how classical and quantum logical entropy arise out of the logic of partitions, and then it shows how there is a natural connection between the nxn distinctions and indistinctions of a partition and the nxn entries in a density matrix so that the classical and quantum logical entropy can directly register what happens to the density matrix in a projective measurement. The standard notion of von Neumann entropy does nothing of the kind–so the paper is also an indirect critique of von Neumann entropy as the most natural and ‘informative’ notion of entropy to use in quantum information theory.

## What can (partition) logic contribute to information theory?

Basically this paper shows how the notion of logical entropy arises out of the logic of partitions dual to ordinary logic of subsets (‘propositional’ logic) and then turns to showing how logical entropy compares favorably to the standard notion of Shannon entropy. Thus the last part of the paper is essentially a critique of Shannon entropy.

## Category theory and set theory as theories about complementary types of universals

This is a paper, published in Logic and Logical Philosophy, on the concept of universals in philosophical logic–which includes the example of “Sophia Loren as “the” Italian women”. The always-self-predicative universals of category theory form the opposite bookend to the never-self-predicative universals of iterative set theory.

## Quantum Mechanics over Sets

## Gian-Carlo Rota’s Probability Course: The Guidi Notes

## Gian-Carlo Rota’s Combinatorial Theory Course: The Guidi Notes

## Quantum Logic of Direct-sum Decompositions

The usual quantum logic, beginning with Birkhoff and Von Neumann, was the logic of closed subspaces of a Hilbert space. This paper develops the more general logic of direct-sum decompositions of a vector space. This allows the treatment of measurement of any self-adjoint operators rather than just the projection operators associated with subspaces.

## Counting Direct-sum Decompositions

This paper uses elementary methods to derive the formulas for and to tablulate (in the case q = 2) two related q-analogs of the Stirling numbers of the second kind and the Bell numbers for direct-sum decompositions (vector space analogs of set partitions) of a finite vector space over a finite field with q elements.