Activity: Talk or presentation › Invited talk › Academic
Description
Predicate logic plays an important role for knowledge representation, and thus also for the quality of software systems. However, for natural relations, like the love relation, predicate logic functions in some respects as a distorting mirror. As an example, consider Adam's loving Eve. In predicate logic, we represent this by an ordered pair, but in the state itself Adam does not occur first or second. I will present a new logic that allows us to represent relations more faithfully. The logic is minimalistic in the sense that it has no predicates---except equality. Its expressive power, however, is the same as that of first-order predicate logic.