Follow project on Twitter
NederlandsEnglish

2.4.3. The function of word types in reasoning

There is another fundamental problem when Predicate Logic is applied to linguistics: It doesn't specify word types.

For example, instead of “All humans are mortal”, it is perfectly fine in Predicate Logic to write “All blue are mortal”. But this sentence construction is grammatically invalid for any adjective. It is only valid for plural nouns.

In order to be applicable to natural language, Predicate Logic should describe the word type of each variable. In this case, it should define that the first variable (second word) should be a plural noun, and that the second variable (last word) should be an adjective.

Let's consider the following equation: “Every car has an engine” equals to “An engine is part of every car”. I state that this equation is true for any singular noun. However, unaware of the function of word types in language, scientists try to prove my fundamental approach wrong by using a proper noun, like: “John has a son” equals to “A son is part of every John”, which is nonsense of course.

So, despite of using different types in common programming languages – such as booleans, integers and strings – scientists are ignorant of the function of the different word types when it comes to reasoning in natural language.

The algebra of language that I used in the challenge to beat my Controlled Natural Language reasoner repairs both problems: Preserving word type information, as well as reasoning beyond the present tense of basic verb “is/are” (see Predicate Logic). Abbreviations can be used later, in order to make the notation compact.

Thinknowlogy 2019r1

zal in mei 2019 worden gepubliceerd. Het zal deel 6 van een intern herontwerp bevatten. Zie mijn planning voor andere geplande publicaties. Volg dit project via Twitter, abonneer je op updates via GitHub of SourceForge, of ontvang een e-mail als een nieuwe versie beschikbaar is.


Sluit je aan bij mijn Fair Science Supporters groep op LinkedIn, om zo je steun te betuigen aan een eerlijke beoefening van de wetenschap. Of voel je vrij om mij een LinkedIn uitnodiging te sturen.


God heeft natuurwetten gecreëerd, om de natuur als een 'geoliede machine' te laten lopen, net als de radartjes in een uurwerk. Er zijn ook Natuurwetten van Intelligentie ingebed in Grammatica. Thinknowlogy implementeert deze natuurwetten van intelligentie in software.