Here's an example of the value of a term depending on Context:

eqnarray52

whereas

eqnarray60

We can consider tex2html_wrap_inline476 as a term for which the set of possible values depends on context. In the case of the Supreme Court justice, the set consists of real women, whereas in the Sherlock Holmes case, it consists of fictitious women.

Thus, a context is characterized by the fundamental relationship ‘is true in’, or ‘ist’, where:

[Statement] --ist--> [Context]

means that [Statement] is true in [Context]. A context may be taken to be some environment within which some statements are held to be true. Thus, to use a statement in some chain of reasoning, one must determine (or assume) that a context that the statement ‘is true in’ applies to the circumstances of that reasoning.