Assertion: expression's character | /r/HasProperty | function
Facets:
value: from contexts
type: OTHER
Source sentences:
text: So we know that expressions are associated with characters, which are functions from contexts to contents; and we know that contents are things which, for each circumstance of evaluation, determine a reference.
text: Possible worlds semantics is the view that contents are intensions (and hence that characters are functions from contexts to intensions, i.e. functions from contexts to functions from circumstances of evaluation to a reference).