Observable types : a computational approach to meaning

R.M.C. Ahn

    Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

    Samenvatting

    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.
    Originele taal-2Engels
    Pagina's (van-tot)94-103
    TijdschriftIPO Annual Progress Report
    Volume35
    StatusGepubliceerd - 2000

      Vingerafdruk

    Citeer dit