An exercise in "anhomomorphic logic"

Abstract

A classical logic exhibits a threefold inner structure comprising an algebra of propositions `A', a space of ``truth values'' `V', and a distinguished family of mappings `phi' from propositions to truth values. Classically A is a Boolean algebra, V=Z_2, and the admissible maps phi:A-->Z_2 are {\it homomorphisms}. If one admits a larger set of maps, one obtains an anhomomorphic logic that seems better suited to quantal reality (and the needs of quantum gravity). I explain these ideas and illustrate them with three simple examples.

plainTeX, 14 pages, no figures. To appear in a special volume of {\it Journal of Physics}, edited by L. Diosi, H-T Elze, and G. Vitiello. Most current version is available at http://www.physics.syr.edu/~sorkin/some.papers/ (or wherever my home-page may be)