Follow project on Twitter

Problem description 2: Possessive reasoning

Besides past tense reasoning, also possessive reasoning – reasoning using possessive verb “has/have” – is not supported by predicate logic (algebra). For example:

> Given: “Paul is a son of John.

• Logical conclusion:
< “John has a son, called Paul.

Or the other way around:

> Given: “John has a son, called Paul.

• Logical conclusion:
< “Paul is a son of John.

So, why doesn't predicate logic (algebra) support past tense reasoning – nor possessive reasoning – in a natural way? Why should any predicate beyond present tense verb “is/are” be described in an artificial way, like has_son(john,paul)? Why is algebra still not equipped for natural language, after those centuries of scientific research?