This paper is about reasoning with presuppositions in natural language. Presupposition accommodation, as predicted by the linguistic theory of presuppositions as anaphoric expressions, is reconstructed logically as abductive inference in a framework that supports both anaphoric links and a context-dependent notion of propositionhood. Abductive inference arises as a side-effect of the use of the formalism and of characteristics of the communication situation. The proposal is illustrated by some examples and compared to related approaches. Keywords: presupposition resolution, abduction, logical frameworks, semantics-pragmatics interface, context-dependence 1 Introduction In this working note we will study the relation between the presupposition theory of [van der Sandt, 1992] and the type theory of Martin-Lof (MLTT) and its implications for inference processes at the semantics-pragmatics interface. The main claim will be that the anaphoric theory of presuppositions of [van der Sandt, ...

. In this paper we shall point to some principles of neural computation as they have been derived from experimental and theoretical studies primarily on vision. We argue that these principles are well suited to explain some characteristics of the linguistic function of semantic concept recognition. Computational models built on these principles have been applied to morphological-grammatical categories (aspect), function words (determiners) and discourse particles in spoken language. We suggest a few ways in which these studies may be extended to include more detail on neural functions into the computational model. 1 Introduction When we attempt to model the human capacity for processing language in the context of recent advances in the computational and cognitive neurosciences, we may adopt the biological-genetic view of looking at primary, simple capacities within the complex linguistic behavior. A candidate for such a simple capacity is the construction and recognition of linguistic...