Observable types : a computational approach to meaning

R.M.C. Ahn

    Research output: Contribution to journalArticleAcademicpeer-review

    Abstract

    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
    Volume35
    Publication statusPublished - 2000

    Fingerprint

    Computational
    Intensionality
    Intensional
    Conceptual Framework
    Coreference

    Cite this

    @article{abda2a7cf35f4e78ad41ff66765790a6,
    title = "Observable types : a computational approach to meaning",
    abstract = "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.",
    author = "R.M.C. Ahn",
    year = "2000",
    language = "English",
    volume = "35",
    pages = "94--103",
    journal = "IPO Annual Progress Report",
    issn = "0921-2566",

    }

    Observable types : a computational approach to meaning. / Ahn, R.M.C.

    In: IPO Annual Progress Report, Vol. 35, 2000, p. 94-103.

    Research output: Contribution to journalArticleAcademicpeer-review

    TY - JOUR

    T1 - Observable types : a computational approach to meaning

    AU - Ahn, R.M.C.

    PY - 2000

    Y1 - 2000

    N2 - 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.

    AB - 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.

    M3 - Article

    VL - 35

    SP - 94

    EP - 103

    JO - IPO Annual Progress Report

    JF - IPO Annual Progress Report

    SN - 0921-2566

    ER -