Aspects and the overlap function

摘要

It is intuitively clear that putting the cart before the horse is not the same as putting the horse before the cart. It is equally clear that a history of philosophy is different from a philosophy of history. Yet there is no logical relationship, like the AND/OR/NOT functions, which would enable manipulation of these permuted, non-commutative, relationships. In this paper we present a system for automatic handling of ordered sets, states based on these sets, and of differing points of view regarding a Universe of Discourse. We call what we are dealing with aspects and we represent them by means of a new logical function called the Overlap function.