More or less final version. To appear in Natural Language Semantics. According to the alternative semantics for focus, the semantic reflex of intonational focus is a second semantic value, which in the case of a sentence is a set of propositions. We examine a range of semantic and pragmatic applications of the theory, and extract a unitary principle specifying how the focus semantic value interacts with semantic and pragmatic processes. A strong version of the theory has the effect of making lexical or construction-specific stipulation of a focus-related effect in association with focus constructions impossible. Furthermore, while focus has a uniform import, the sources of meaning differences in association with focus are various.

JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of content in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms

We introduce a new approach to dealing with the well-known logical omniscience problem in epistemic logic. Instead of taking possible worlds where each world is a model of classical propositional logic, we take possible worlds which are models of a nonstandard propositional logic we call NPL, which is somewhat related to relevance logic. This approach gives new insights into the logic of implicit and explicit'belief considered by Levesque and Lakemeyer. In particular, we show that in a precise sense agents in the structures considered by Levesque and Lakemeyer are perfect reasoners in NPL. 1

Recently, several types of Japanese-to-English machine translation systems have been developed, but all of them require an initial process of rewriting the original text into easily translatable Japanese. Therefore these systems are unsuitable for translating information that needs to be speedily disseminated. To overcome this limitation, a Multi-Level Translation Method based on the Constructive Process Theory has been proposed. This paper describes the benefits of using this method in the Japanese-to-English machine translation system ALT-J/E. In comparison with conventional compositional methods, the Multi-Level Translation Method emphasizes the importance of the meaning contained in expression structures as a whole. It is shown to be capable of translating typical written Japanese based on the meaning of the text in its context, with comparative ease. We are now hopeful of carrying out useful machine translation with no manual pre-editing. 1

Abstract not found

the present author, have offered different but related accounts of intonation structure in English and some other languages. These accounts share the assumption that the system of tones identified by Pierrehumbert (1980), as modified by Pierrehumbert and Beckman (1988) and Silverman et al. (1992), has as transparent and type-driven a semantics in these languages as do their words and phrases. While the semantics of intonation in English concerns information structure and propositional attitude, rather than the predicate-argument relations and operator-scope relations that are familiar from standard semantics in the spirit of the papers collected as Montague 1974, this information-structural semantics is fully compositional, and can be regarded as a component of the same semantic system. The present paper builds on Steedman (1991) and Steedman (2000a) to develop a new semantics for intonation structure, which shares with the earlier versions the property of being fully integrated into Combinatory Categorial Grammar (CCG, see Steedman 2000b, hereafter SP). This grammar integrates intonation structure into surface derivational structure and the associated Montague-style compositional semantics, even when the intonation structure departs from the restrictions of traditional surface structure. Many of the diverse discourse meanings that have been attributed to intonational tunes are shown to arise via conversational implicature from more primitive literal meanings distinguished along the three dimensions of information structure, speaker/hearer commitment, and contentiousness.

Abstract not found

In this paper, we provide a comprehensive survey of the space of possible analyses of the phenomenon of quantifier domain restriction, together with a set of considerations which militate against all but our own proposal. Among the many accounts we consider and reject are the ‘explicit’ approach to quantifier domain restriction discussed, for example, by Stephen Neale, and the pragmatic approach to quantifier domain restriction proposed by Kent Bach. Our hope is that the exhaustive discussion of this special case of context-dependence will provide guidelines for how to decide, for an arbitrary case of context-dependent discourse, whether it should be treated syntactically, semantically, or pragmatically.

: In this survey, I attempt to identify and describe some of the common threads that tie together work in reasoning about knowledge in such diverse fields as philosophy, economics, linguistics, artificial intelligence, and theoretical computer science, with particular emphasis on work of the past five years, particularly in computer science. This articule is essentially the same as one that appears in Handbook of of Logic in Artificial Intelligence and Logic Programming, Vol. 4, D. Gabbay, C. J. Hogger, and J. A. Robinson, eds., Oxford University Press, 1995, pp. 1--34. It is a revised and updated version of a paper entitled "Reasoning about knowledge: a survey circa 1991", which appears in the Encyclopedia of Computer Science and Technology, Vol. 27, Supplement 12 (ed. A. Kent and J. G. Williams), Marcel Dekker, 1993, pp. 275--296. That article, in turn is a revision of an article entitled "Reasoning About Knowledge: An Overview" that appears in Theoretical Aspects of Reasoning Abou...

foundations of standard approaches to language studies involve an incoherence in their presuppositions. Second, we present an alternative approach that resolves this incoherence. Third, we discuss how this error manifests itself in categorial grammars and model theoretic possible worlds semantics. Fourth, we suggest some possible revisions in standard approaches to accommodate them to the alternative that we suggest. We arrive at a fundamentally functional, or pragmatic, conception - an interactive conception - of the nature of language and meaning. Contents 1.