A logic of natural relations

Abstract

Predicate logic functions like a distorting mirror in the sense that it often does not faithfully represent reality. As an example, consider Adam’s loving Eve. In the state itself, Adam does not occur first or second, but in predicate logic it is represented by an ordered pair. In this paper a new logical system is developed which does not have this artifact and in which we can reason in a natural way about all kinds of relations. The starting point is to view a relation as a network of interrelated states.