Follow project on Twitter

Problem description 2: Possessive reasoning

Also possessive reasoning – reasoning using possessive verb “has/have” – is not supported by predicate logic (algebra):

> 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.”

Why doesn't predicate logic (algebra) support possessive reasoning in a natural way? Why should any predicate – that can’t be expressed using verb “is/are” in the present tense – 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?