Online research in philosophy

The purpose of this paper is to use an anaphoric notion of presupposition for solving the problem of zero argument anaphora. Since Shopen (1973) it has been known that many missing arguments have an anaphoric interpretation, but it has not been known how this interpretation arises. I argue that these arguments are involved in presuppositions. On an anaphoric account of presuppositions as in van der Sandt (1992) or Kamp and Roßdeutscher (1992), it can be shown that the zero arguments acquire an anaphoric interpretation through the presuppositions. The analysis rests on the principle that the Discourse Representation Structure for the presupposition is proper, so that the discourse referents for the zero arguments are in its universe and must be anchored to discourse referents in the context.

The purpose of this paper is to (a) show that the received view of the problem of quantificational subordination (QS) is incorrect, and that, consequently, existing solutions do not succeed in explaining the facts, and (b) provide a new account of QS. On the received view of QS within dynamic semantic frameworks, determiners treated as universal quantifiers (henceforth universal determiners) such as all, every, and each behave as barriers to inter-sentential anaphora yet allow anaphoric accessibility in a number of situations. We argue that universal determiners are not intrinsic anaphora barriers and that anaphoric accessibility under them is enabled factors including lexicon information and discourse effects of universal determiners. In support of this viewpoint, we first provide a data survey on the phenomena of QS and its interactions with plurals, rhetorical relations, and adverbial quantification. The results of the survey show that judgments of (naive) native English speakers on the QS examples are quite different from what is claimed in the literature. We argue that the various solutions in the literature, which in general accept that universal determiners are intrinsic anaphora barriers, fail to account for the facts from the survey data. We then describe the approach we adopt, which denies that universal determiners are anaphora barriers and reconstructs their semantics so that information in their scope can be released for anaphora. The constraints on QS noted in the literature we model in Segmented Discourse Representation Theory (SDRT) as conditions on the discourse relations which can hold between subordinated constituents. We show that this approach accounts for the QS data.

This paper introduces a framework for direct surface composition by online update. The surface string is interpreted as is, with each morpheme in turn updating the input state of information and attention. A formal representation language, Logic of Centering, is defined and some crosslinguistic constraints on lexical meanings and compositional operations are formulated.

Centering Theory (CT) as articulated by Grosz et al. (1995) is a theory intended to model some of the factors that influence local coherence in a discourse. The idea is that at any one time there are a number of entities that are at the center of attention. Each utterance n that makes up a discourse potentially has two sorts of discourse ‘centers’, an ordered set of forward-looking centers, Cf(uttn), that provide potential links to upcoming utterances, and a single backward-looking center, Cb(uttn), that links back to the previous utterance, in the sense that it is identical to one of the members of the set of forward-looking centers of the previous utterance. Roughly, one can think of Cb(uttn) as the current topic of the conversation. The members of the set Cf(uttn) on the other hand are the entities mentioned in the utterance and which are candidates to become the next topic of conversation. The members of Cf(uttn) are ranked in order of their salience. The most highly ranked member of Cf(uttn) is the preferred center, Cp(uttn), and ideally it will become the backward-looking center of the next utterance, Cb(uttn+1). When Cb(uttn) is the most highly ranked member of Cf(uttn), this indicates that it will continue to be the topic of conversation in the next utterance. If this does indeed happen, we have what is known in CT as a CONTINUE transition. When some entity other than Cb(uttn) is the most highly ranked member of Cf(uttn), an upcoming topic shift is signaled. This situation is known in CT as a RETAIN. A topic shift following a RETAIN will be a SMOOTH SHIFT. If the topic shifts to an entity that is neither the preferred center of the current nor of the previous utterance, then the shift will be a ROUGH..

In this article a discourse (sequence of sentences) is regarded as a verbalization of some interactive cognitive process (discussion) which may be represented in form of a logical-cognitive scheme as a model of this discourse. Such model is elaborated on the ground of logical-cognitive theory of practical reasoning (Ishmuratov, 1987) by using the definitions of analytical rules for construing model sets (Smullyan, 1968). The discourse's formal language is defined and takes into account the significance of quest schemes (forms of questionable propositions) which are included in different kinds of intensional (intentional, cognitive) contexts of discourse expressions. The discourse model is described in terms of cognitive interpretations which determine conditions of the actualization of cognitive events as elements of the discourse semantic. The pecularities of this model are explalned by deciding one cognitive riddle.

In this paper, we discuss some formal properties of the model ofbidirectional Optimality Theory that was developed inBlutner (2000). We investigate the conditions under whichbidirectional optimization is a well-defined notion, and we give aconceptually simpler reformulation of Blutner's definition. In thesecond part of the paper, we show that bidirectional optimization can bemodeled by means of finite state techniques. There we rely heavily onthe related work of Frank and Satta (1998) about unidirectionaloptimization.

This paper uses classical logic for a simultaneous description of the syntax and semantics of a fragment of English and it is argued that such an approach to natural language allows procedural aspects of linguistic theory to get a purely declarative formulation. In particular, it will be shown how certain construction rules in Discourse Representation Theory, such as the rule that indefinites create new discourse referents and definites pick up an existing referent, can be formulated declaratively if logic is used as a metalanguage for English. In this case the declarative aspects of a rule are highlighted when we focus on the model theory of the description language while a procedural perspective is obtained when its proof theory is concentrated on. Themes of interest are Discourse Representation Theory, resolution of anaphora, resolution of presuppositions, and underspecification.

We develop an analysis of discourse anaphora—the relationship between a pronoun and an antecedent earlier in the discourse—using games of partial information. The analysis is extended to include information from a variety of different sources, including lexical semantics, contrastive stress, grammatical relations, and decision theoretic aspects of the context.

In a classic paper Partee (1973) noted detailed referential and anaphoric parallels between tenses and pronouns in English. Since then these parallels have been successfully analyzed in terms of domain-neutral principles of discourse reference and anaphora — most fully developed in Kamp & Reyle (1993) — which apply uniformly to referents of various logical types. These include ordinary individuals (the kings and cabbages sort) as well as times, events and states. The referential parallel has long been known to extend even further, to the modal domain — a discovery due to Kaplan (1978). More recently, the anaphoric parallel has likewise been extended. At the intuitive level, there is now consensus that individuals and possibilities are on a par for the purposes of reference and anaphora. But it remains an open question whether the formal analogue of an individual in the modal domain — in intuitive terms, a possibility — is a possible world (as in Kaplan 1978, Schlenker 1999), a class of possible worlds (Stone 1997) or a dynamic update (e.g., Frank & Kamp 1997). Orthogonal to this issue, it has also been observed that in all semantic domains some referents are more central than others, in the sense of the centering theory of Grosz et al (1995). For example, Stone & Hardt (1997) show that ‘sloppy’ ellipsis in English generalizes across all semantic domains, and that it can be uniformly analyzed as strict discourse anaphora to center-sensitive referents, with the illusion of sloppiness due to center shift. In this paper I first present crosslinguistic evidence that the parallels between individuals and possibilities are indeed pervasive. Moreover, the centering parallels are even more detailed than has so far been recognized. These parallels favor the view that a possibility — the modal analogue of an individual — is best analyzed as a class of possible worlds, as in Stone (1997). Adopting this view, I then develop a semantic representation language, which I call Logic of Change with Centered Worlds, in which the observed cross-domain parallels can be formally explicated..

Natural languages exhibit a great variety of grammatical paradigms. For instance, in English verbs are grammatically marked for tense, whereas in the tenseless Eskimo-Aleut language Kalaallisut they are marked for illocutionary mood. Although time is a universal dimension of the human experience and speaking is part of that experience, some languages encode reference to time without any grammatical tense morphology, or reference to speech acts without any illocutionary mood morphology. Nevertheless, different grammatical systems are semantically parallel in certain respects. Specifically, I propose that English tenses form a temporal centering system, which monitors and updates topic times, whereas Kalaallisut moods form a modal centering system, which monitors and updates modal discourse referents. To formalize these centering parallels I define a dynamic logic that represents not only changing information but also changing focus of attention in discourse (Update with Centering, formalizing Grosz et al 1995). Different languages can be translated into this typed logic by directly compositional universal rules of Combinatory Categorial Grammar (CCG) The resulting centering theory of tense and illocutionary mood draws semantic parallels across different grammatical systems. The centering generalizations span the extremes of the typological spectrum, so they are likely to be universal. In addition, the theory accounts for the translation equivalence of tense and illocutionary mood in a given utterance context. Following Stalnaker (1978) I assume that the very act of speaking up has a ‘commonplace effect’ on the context. It focuses attention on the speech act and thereby introduces default modal and temporal topics. These universal defaults complement language-specific grammars, e.g. English tenses and Kalaallisut moods. In a given utterance context the universal discourse-initial defaults plus language-specific grammatical marking may add up to the same truth conditions..