Higher-order quantum logics

Until now quantum logics has been first-order, but physics requires higher-order logics. We construct a natural higher-order languageQ for quantum physics.Q is a finitistic logic based on Peano set theory and Grassmann algebra. Higher-order predicates are identified with their extensions, higher-rank sets. QAND and QOR (the AND and OR ofQ) are naturally noncommutative but reduce to the commutative lattice operations for the first-order part of the language. We form higher-order predicates and sets by a setting operator similar to Peano'st that forms a simple extensort = }} from any extensor. In a note added in proof, we correctQ so that a bond like {{, }} between two fermions and is a quasiboson, as the application to lattice chromodynamics strongly suggests.