Observable types : a computational approach to meaning

R.M.C. Ahn

    Research output: Contribution to journalArticleAcademicpeer-review


    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.
    Original languageEnglish
    Pages (from-to)94-103
    JournalIPO Annual Progress Report
    Publication statusPublished - 2000


    Dive into the research topics of 'Observable types : a computational approach to meaning'. Together they form a unique fingerprint.

    Cite this