Previous Next

What is the difference between a criterion in a definition (a which expression) and a criterion in a necessary statement?

The difference is subtle but important. A which expression defines a new category. A necessary statement adds new information to an existing category. Put another way, the criteria in a which expression are sufficient to recognise a category, and the category cannot be recognised unless all of the criteria in the which expression are found. By contrast, a category can be recognised even though the information in a necessary statement is unknown, but it is added as soon as the category is recognised.

To take our example, we have said that CarOwners are necessarily old. We can recognise a CarOwner just because they own a Car, but as soon as we recognise them, we know that they must be old (or so says this model). If we find something which claims to be both a CarOwner and young, the system will attempt to add that the thing is old because of the necessary statement. This will cause an inconsistency and the system will report an error.

In summary, we can recognise something even if we are ignorant of the information in the necessary statements, but if we have information which contradicts the information in the necessary statements we have an inconsistency.

Still confused? Again, bear with us until the end of the tutorial.

Previous Next
Making the impossible very difficult, ©OpenGALEN.org, All rights reserved