Encoding Commonsense Knowledge
Andrew Gordon and I are working on a book explicating a fairly large theory of commonsense psychology. In writing the axioms for the cognitive theories, we used many predicates or concepts from noncognitive background theories. Having completed a first draft of the cognitive theories, we went back and axiomatized the background theories, in what we hope is a spare and coherent style. These theories cover such phenomena as sets, composite entities, scales, change, causality, time, event structure, and so on. The sixteen chapters on the background theories are as follows:
B1. Eventualities and their Structure