www.entitymodelling.org - entity modelling introduced from first principles - relational database design theory and practice - dependent type theory
Some errors arise through confusions of context and some such, in programming parlance, are called scope violations or scope errors. These are different to, but can be related with, the category mistakes identified by Gilbert Ryle. Whereas a category mistake is an attempt to relate entities whose types are inconsistent with the defined end types of a relationship, a scope violation occurs if the types are correct but the contexts of the respective entities, or, equivalently, the enclosing composite entities (see wider perspective on context), are inconsistent with the defined scope of the relationship. Scope violations are attempts to relate across contexts improperly.
Knowledge of a relationship's scope is a very significant part of understanding how a relationship is used and failure to respect this aspect of proper usage is what constitutes a scope violation.
For example when talking about the cast members of a performance of King Lear it would be a scope error to suggest that a member of cast play the character Desdemona for Desdemona is a character within the scope of different play namely Othello. The type of entity is correct for 'Desdemona' is indeed a character of a play, but the context is not. It is part of our knowledge of the plays part of/part played by relationship (see figure 9) that this is a relationship whose scope is local to the enclosing play context. We can say that it is intra-play rather than inter-play.
It would be a scope error in a conversation about antipodeans to assert that the New Zealand born physicist Ernest Rutherford could have been a native of Nelson in Lancashire, a place just 20 miles away from where he was Professor of Physics. Not only would it be a factual error - it would be non-sensical and this is because of the grasp we have of the meta-relationship between relationships country of birth and place of birth, that the latter is a more detailed version of the former. The assertion would violate the scope of the place of birth relationship (see figure 10).
Likewise it would be a scope error to think that a local telephone call could be made between different countries or that the hydrogen of a water molecule could be covalently bonded to the oxygen of a different molecule or that the captain of one team in a cricket match might be scheduled to bat for the opposing team. All of these errors are characterised as failures to respect the scopes of relationships.
In accord with the most fundamental principles of information theory the more constrained a relationship is in its scope then the less the information needed to express its individual instances or facts of which it comprises. So the definition of relationship scopes is intimately connected to specifying information requirements for representing or communicating relationship instances.
For example if we wish to propose that, in the context of a performance of King Lear, we give someone the role of 'the fool' then we do not have to say 'the fool in King Lear' we simply have to say 'the fool' for our shared knowledge of the scope of the relationship plays the part of/part played by implies the rest. Contrast this to the description often given of previous parts played by the actors as an enumeration of characters within plays.