In this paper we argue that problems that relate to 'intensionality' can be avoided if one adopts a purely computational approach to meaning, which does not limit itself to formal computations, but includes an account of observation of an independent external reality. We indicate how the knowledge of an agent that may be equipped with certain observational primitives, can be represented in an intensional framework like type theory in such a way that it only reflects the observational distinctions that the agent himself is able to make, given his personal conceptual framework and his observational abilities. We briefly discuss how this approach can deal with problems relating to coreference and nonexistent objects.
|Journal||IPO Annual Progress Report|
|Publication status||Published - 2000|