Psycholinguistic experiments show that pronouns tend to be resolved differently depending on whether they occur in main or subordinate clauses. If a pronoun in a subordinate clause has more than one potential antecedent in the main clause, then the pronoun tends to refer to the antecedent which has a certain thematic role (depending on the verb and on the subordinating conjunction). In contrast, pronouns in main clauses tend to refer back to the subject of the previous main clause, and this (...) tendency is not affected by any verbs or conjunctions. In natural language processing, these findings have recently led to a proposal that pronoun resolution systems should have a split architecture, i.e. that they should use different mechanisms for pronoun resolution in the two cases. With the help of two parsed and coreference-annotated corpora, this paper estimates the impact of the split-architecture proposal. The findings of this work are as follows: (1) Subject pronouns in authentic texts behave the same way in main and subordinate clauses. (2) The number of sentences in which a split architecture would behave differently than a system that treats both cases the same way is close to zero. Therefore, a separate treatment of resolution within and across units is unlikely to improve the performance of any system. This result casts a doubt on the split-architecture proposal, and more generally on approaches that directly incorporate psycholinguistic results into performance-oriented algorithms for anaphora resolution without assessing the relative importance of the phenomena that underlie them. (shrink)

I compare several types of knowledge-based and knowledge-poor approaches to anaphora and ellipsis resolution. The former are able to capture fine-grained distinctions that depend on lexical meaning and real world knowledge, but they are generally not robust. The latter show considerable promise for yielding wide coverage systems. However, they consistently miss a small but significant subset of cases that are not accessible to rough-grained techniques of intepretation. I propose a sequenced model which first applies the most computationally efficient (...) and inexpensive methods to resolution and then progresses successively to more costly techniques to deal with cases not handled by previous modules. Confidence measures evaluate the judgements of each component in order to determine which instances of anaphora or ellipsis are to be passed on to the next, more fine-grained subsystem. (shrink)

Anaphora resolution is one of the most active research areas in natural language processing. This study examines focusing as a tool for the resolution of pronouns which are a kind of anaphora. Focusing is a discourse phenomenon like anaphora. Candy Sidner formalized focusing in her 1979 MIT PhD thesis and devised several algorithms to resolve definite anaphora including pronouns. She presented her theory in a computational framework but did not generally implement the algorithms. Her (...) algorithms related to focusing and pronoun resolution are implemented in this paper. This implementation provides a better comprehension of the theory both from a conceptual and a computational point of view. The resulting program is tested on different discourse segments, and evaluation and analysis of the experiments are presented together with the statistical results. (shrink)

We present an approach to anaphora and ellipsis resolution in which pronouns and elided structures are interpreted by the dynamic identification in discourse of type constraints on their semantic representations. The content of these conditions is recovered in context from an antecedent expression. The constraints define separation types in Property Theory with Curry Typing, an expressive first-order logic with Curry typing that we have proposed as a formal framework for natural language semantics.

This article points out problems in current dynamic treatments of anaphora and provides a new account that solves these by grafting Muskens' Compositional Discourse Representation Theory onto a partial theory of types. Partiality is exploited to keep track of which discourse referents have been introduced in the text (thus avoiding the overwrite problem) and to account for cases of anaphoric failure. Another key assumption is that the set of discourse referents is well-ordered, so that we can keep track of (...) the order in which they have been introduced, allowing a semantic characterization of anaphoric accessibility across stretches of discourse. Unlike other dynamic approaches, the system defines semantic values for unresolved anaphors. This leads to a clear separation of monotonic and non-monotonic content (in this case anaphoric resolution) and arguably provides a sound basis for a non-monotonic theory of anaphoric resolution. (shrink)

We argue in this article that many common adverbial phrases generally taken to signal a discourse relation between syntactically connected units within discourse structure instead work anaphor- ically to contribute relational meaning, with only indirect dependence on discourse structure. This allows a simpler discourse structure to provide scaffolding for compositional semantics and reveals multiple ways in which the relational meaning conveyed by adverbial connectives can interact with that associated with discourse structure. We conclude by sketching out a lexicalized grammar for (...) discourse that facilitates discourse interpretation as a product of compositional rules, anaphor resolution, and inference. (shrink)

The resolution of ambiguities is one of the central problems for Machine Translation. In this paper we propose a knowledge-based approach to disambiguation which uses Description Logics (dl) as representation formalism. We present the process of anaphora resolution implemented in the Machine Translation systemfast and show how thedl systemback is used to support disambiguation.The disambiguation strategy uses factors representing syntactic, semantic, and conceptual constraints with different weights to choose the most adequate antecedent candidate. We show how these (...) factors can be declaratively represented as defaults inback. Disambiguation is then achieved by determining the interpretation that yields a qualitatively minimal number of exceptions to the defaults, and can thus be formalized as exception minimization. (shrink)

We argue that an adequate treatment of verb phrase anaphora must depart in two major respects from the standard approaches. First of all, VP anaphors cannot be resolved by simply identifying the anaphoric VP with an antecedent VP. The resolution process must establish a syntactic/semantic parallelism between larger units that the VPs occur in. Secondly, discourse structure has a significant influence on the reference possibilities of VPA. This influence must be accounted for.We propose a treatment which meets these (...) requirements. It builds on a discourse grammar which characterizes discourse cohesion by means of a syntactic/semantic matching procedure which recognizes parallel structures in discourse. It turns out that this independently motivated procedure yields the resolution of VPA as a side effect. (shrink)

Despite the attention that various forms of ellipsis have received inthe literature, the conditions under which a representation of anutterance may serve as a suitable referent for interpreting subsequentelliptical forms remain poorly understood. This fundamental questionremains as a point of contention, particularly because there are datato support various conflicting approaches that attempt to characterizethese conditions within a single module of language processing. Weshow a previously unnoticed pattern in VP-ellipsis data with respectto the type of coherence relation extant between the antecedentand (...) elided clauses. This pattern is explained by an account of howellipsis resolution processes interact with the inference processesunderlying the establishment of these relations. The analysis alsoexplains a similar yet distinct pattern in gapping constructions whichare not accounted for by purely syntactic approaches. Finally, wediscuss event reference and compare the resulting account to thedichotomy of types of anaphora posited by HanSag. (shrink)

This study examines the event- related brain potential (ERP) of 25 Mexican monolingual Spanish-speakers when reading Spanish sentences with single entity anaphora or complex anaphora. Complex anaphora is an expression that refer to propositions, states, facts or events while, a single entity anaphora is an expression that refers back to a concrete object. Here we compare the cognitive cost in processing a single entity anaphora [éstafeminine; La renuncia (resignation)] from a complex anaphora [estoneuter; La (...) renuncia fue aceptada (The resignation was accepted)].Éstaelicited a larger positive peak at 200 ms, andestoelicited a larger frontal negativity around 400 ms. The positivity resembles the P200 component, and its amplitude is thought to represent an interaction between predictive qualities in sentence processing (i.e., graphical similarity and frequency of occurrence). Unlike parietal negativities (typical N400), frontal negativities are thought to represent the ease by which pronouns are linked with its antecedent, and how easy the information is recovered from short-term memory. Thus, the complex anaphora recruited more cognitive resources than the single entity anaphora. We also included an ungrammatical control sentence [éstemasculine; La renuncia (resignation)] to better understand the unique processes behind complex anaphoric resolution, as opposed to just general difficulty in sentence processing. In this case, event-related potentials (ERPs) elicited byéstemasculineandéstafemininewere compared. Again,éstaelicited a larger P200. However, different from the experimental condition, a left anterior negativity (LAN) effect was observed foréste; the ungrammatical condition. Altogether, the present research provides electrophysiological evidence indicating that demonstrative pronouns with different morphosyntactic features (i.e., gender) and discourse parameters (i.e., single entity or complex referent) interact during the first stage of anaphoric processing of anaphora. This stage initiated as early as 200 milliseconds after the pronoun onset and probably ends around 400 ms. (shrink)

We present two eye-tracking experiments on the interpretation of sentences like “The tall girl is the only one that …,” which are ambiguous between the anaphoric and the exophoric interpretation. These interpretations differ in informativeness: in a positive context, the exophoric reading entails the anaphoric, while in a negative context the entailment pattern is reversed and the anaphoric reading is the strongest one. We tested whether adults rely on considerations about informativeness in solving the ambiguity. The results show that participants (...) interpreted one exophorically in both positive and negative contexts. Given these findings, we cast doubts on the idea that Informativeness plays a role in ambiguity resolution and proposes a Principle of Maximal Exploitation: When a context is provided, adults extend their domain of evaluation to include the whole scenario, independently from truth-conditional considerations about informativity and strength. (shrink)

In this paper I introduce a formalism for natural language understandingbased on a computational implementation of Discourse RepresentationTheory. The formalism covers a wide variety of semantic phenomena(including scope and lexical ambiguities, anaphora and presupposition),is computationally attractive, and has a genuine inference component. Itcombines a well-established linguistic formalism (DRT) with advancedtechniques to deal with ambiguity (underspecification), and isinnovative in the use of first-order theorem proving techniques.The architecture of the formalism for natural language understandingthat I advocate consists of three levels of (...) processing:underspecification, resolution, andinference. Each of these levels has a distinct function andtherefore employs a different kind of semantic representation. Themappings between these different representations define the interfacesbetween the levels. (shrink)

This paper examines the role that linguistic and cognitive prominence play in the resolution of anaphor–antecedent relationships. In two experiments, we found that pronouns are immediately sensitive to the cognitive prominence of potential antecedents when other antecedent selection cues are uninformative. In experiment 1, results suggest that despite their theoretical dissimilarities, topic and contrastive focus both serve to enhance cognitive prominence. Results from experiment 2 suggest that the contrastive prosody appropriate for focus constructions may also play an important role (...) in enhancing cognitive prominence. Thus different types of linguistic prominence (topic, contrastive focus) appear to have the common effect of increasing the cognitive prominence of the discourse referent. For pronouns with two possible antecedents, the cognitive prominence of an antecedent aids in anaphor resolution, immediately biasing selection towards the more prominent (and ultimately preferred) antecedent. (shrink)

This dissertation investigates the ways in which natural language restricts the domains of quantifiers. Adverbs of quantification are analyzed as quantifying over situations. The domain of quantifiers is pragmatically constrained: apparent processes of "semantic partition" are treated as pragmatic epiphenomena. The introductory Chapter 1 sketches some of the background of work on natural language quantification and begins the analysis of adverbial quantification over situations. Chapter 2 develops the central picture of "semantic partition" as a side-effect of pragmatic processes of (...) class='Hi'>anaphora resolution. I argue that the apparent effects of topic/focus articulation and presuppositional information on the interpretation of quantifiers are not the result of a direct and local mechanism of sentence grammar. Instead, I develop an analysis where the link is established via the anaphoric dependence of quantifier domains on the discourse context. Chapter 3 discusses the analysis of conditional clauses as quantifier restrictors, concentrating on the question whether conditional clauses restrict quantifiers directly or indirectly. A treatment is explored which has if-clauses constrain the value of the hidden domain variable of the restricted quantifier. Chapter 4, on unless-clauses, and Chapter 5, on only if- and even if-clauses, present some issues in the compositional analysis of complex conditional clauses. These chapters significantly expand the data coverage of the theory of A-quantification. Building on previous work of mine on exceptives, I analyze unless-clauses as exceptive operators on A-quantifiers. The analysis of only if-clauses, treated as conditional clauses that combine if with the focus adverb only, unearthes some interesting new properties. Chapter 6, finally, examines the phenomenon of donkey-anaphora in the light of the results of the previous chapters. I show that a solution to the proportion problem may become possible once we combine the situation-semantic approach to adverbial quantification with the pragmatic theory developed in Chapter 2 and further elaborated in the analysis of donkey anaphora in complex conditionals. (shrink)

Hobbs (2010) introduced ‘clause-internal coherence’ (CIC) to describe inferences in, e.g., ‘A jogger was hit by a car,’ where the jogging is understood to have led to the car-hitting. Cohen & Kehler (2021) argue that well-known pragmatic tools cannot account for CIC, motivating an enrichment account familiar from discourse coherence research. An outstanding question is how to compositionally derive CIC from coherence relations. This paper takes strides in answering this question. It first provides experimental support for the existence of CIC (...) via offline evidence that attributive (non-)deverbal adjectives can trigger the same causal inferences within clauses that their predicative counterparts can trigger across clauses, albeit more weakly. To explain the experimental results, we use tools in Segmented Discourse Representation Theory (SDRT), which allows us to show that causal inferences can be derived in various ways, depending on whether deverbal adjectives are used attributively or predicatively. If the former, they are presupposition triggers and the coherence relations Elaboration/Continuation compete with Background; if the latter, Explanation/Result compete with Background. These different competitions -- cashed out in terms of interaction between default axioms -- correlate with the difference in the relative salience of the causal inferences. (shrink)

This paper deals with the semantics of de dicto , de re and de se belief reports. First, I flesh out in some detail the established, classical theories that assume syntactic distinctions between all three types of reports. I then propose a new, unified analysis, based on two ideas discarded by the classical theory. These are: (i) modeling the de re/de dicto distinction as a difference in scope, and (ii) analyzing de se as merely a special case of relational de (...) re attitudes. The resurrection of these ideas takes place in a dynamic setting. My formalization of the first idea involves a modification of the presupposition-as-anaphora resolution algorithm for DRT. The second involves treating acquaintance relations as second-order presuppositions, to be bound in the context by means of higher-order unification, or accommodated if necessary. The resulting framework requires no syntactic distinctions between different modes of attitude, with the exception of a specific subclass of de se reports characterized by special ‘ de se pronouns’ (i.e. PRO and logophors). These special pronouns are handled in syntax; everything alse is passed on to the pragmatic resolution module as it appears on the surface. The more sophisticated contextual resolution process nonetheless ensures adequate output truth conditions for a variety of classical and novel puzzles. In particular, I compare the new pragmasemantic system to the classical, syntactic analysis with respect to iterated and quantified reports, and monstrously shifted indexicals. (shrink)

In the first part of this article, we show that, contrary to the Gricean tradition, inter-clausal and is not semantically equivalent to logical conjunction and, contrary to temporal approaches such as Bar-Levand Palacas 1980, it is not temporallyloaded. We then explore a commonsenseidea – namely that while sentence juxtaposition might be interpreted either as discourse coordination or subordination, and indicates coordination. SDRT already includes notions of coordinating and subordinating discourse relations (cf. Lascarides and Asher 1993, Asher 1993), and the meaning (...) of and is related to this distinction. Similar distinctions that play a crucial role in anaphora resolution have also appeared in AI – cf. Scha and Polanyi 1988, or Webber 1991. However, this discourse-structure-based distinction has not been well defined yet, and our approach provides independent motivation for it. This paper argues that the semantics of and includes a notion of coordination expressed as the requirement of a Coordinated Discourse Topic (CDT).CDT characterizes aclass of discourse relations, among which are Narration and Result.Once the basic semanticcontribution of and is isolated, effects related to its presence such as changes in temporal structure, blocking of a Discourse Relation, or conditional meanings are shown to follow from the defeasiblearchitecture set up by SDRT. (shrink)

O'Brien et al. reported that readers generated elaborative inferences only when a text contained characteristics that made it easy to predict the specific inference that a reader would draw, and virtually eliminated the possibility of the inference being discon-firmed. Garrod et al., however, offered two qualifications to these conclusions. First, the two text characteristics manipulated may have produced different types of elaborative inferencing: a biasing context results in a passive form of elaborative inferencing, involving setting up a context of interpretation, (...) whereas the presence of a demand sentence invites the reader to actively predict a subsequent expression. Secondly, clear evidence for either type of inference will be apparent only with truly anaphoric materials. This work describes how a passive form of elaborative inferencing, reported by Garrod et al, may be implemented in a connectionist manner. We take the connectionist model proposed by Shastri and Ajjanagadde in order to represent a text in the form of a network. Next we analyze and discuss how an attentional focus could operate with the proposed reasoner system in order to deal with inference control and anaphora resolution, during text understanding. Our own suggestion is that the system proposed by Shastri and Ajjanagadde could be extended by incorporating focus in order to apply it to some open problems related to text processing. However, this extension presents implementational problems due to its local character. Distributed models seem to be in a better position to deal with the shift of the attentional states, given that these systems can learn. Particularly, the model proposed by Sun is close to our aims, and so we will discuss its implications in order to design a cognitive architecture for text comprehension. (shrink)

O'Brien et al. reported that readers generated elaborative inferences only when a text contained characteristics that made it easy to predict the specific inference that a reader would draw, and virtually eliminated the possibility of the inference being discon-firmed. Garrod et al., however, offered two qualifications to these conclusions. First, the two text characteristics manipulated may have produced different types of elaborative inferencing: a biasing context results in a passive form of elaborative inferencing, involving setting up a context of interpretation, (...) whereas the presence of a demand sentence invites the reader to actively predict a subsequent expression. Secondly, clear evidence for either type of inference will be apparent only with truly anaphoric materials. This work describes how a passive form of elaborative inferencing, reported by Garrod et al, may be implemented in a connectionist manner. We take the connectionist model proposed by Shastri and Ajjanagadde in order to represent a text in the form of a network. Next we analyze and discuss how an attentional focus could operate with the proposed reasoner system in order to deal with inference control and anaphora resolution, during text understanding. Our own suggestion is that the system proposed by Shastri and Ajjanagadde could be extended by incorporating focus in order to apply it to some open problems related to text processing. However, this extension presents implementational problems due to its local character. Distributed models seem to be in a better position to deal with the shift of the attentional states, given that these systems can learn. Particularly, the model proposed by Sun is close to our aims, and so we will discuss its implications in order to design a cognitive architecture for text comprehension. (shrink)

Carminati (2002) shows that the existence of both phonetically full and phonetically null pronouns (pro) in Italian reflects a division of labor with respect to anaphora resolution. Pro prefers to link to prominent antecedents more than its phonetically overt counterpart does (where prominence is determined by syntactic position in intrasentential anaphora cases).

This paper provides a unification-based implementation of Binding Theory (BT) for the English language in the framework of feature-based lexicalized tree-adjoining grammar (LTAG). The grammar presented here does not actually coindex any noun phrases, it merely outputs a set of constraints on co- and contraindexation that may later be processed by a separate anaphora resolution module. It improves on previous work by implementing the full BT rather than just Condition A. The main technical innovation consists in allowing lists (...) to appear as values of semantic features. (shrink)

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. (shrink)

Carminati (2002) shows that the existence of both phonetically full and phonetically null pronouns (pro) in Italian reflects a division of labor with respect to anaphora resolution. Pro prefers to link to prominent antecedents more than its phonetically overt counterpart does (where prominence is determined by syntactic position in intrasentential anaphora cases).

I provide a novel semantic analysis of proper names and indexicals, combining insights from the competing traditions of referentialism, championed by Kripke and Kaplan, and descriptivism, introduced by Frege and Russell, and more recently resurrected by Geurts and Elbourne, among others. From the referentialist tradition, I borrow the proof that names and indexicals are not synonymous to any definite description but pick their referent from the context directly. From the descriptivist tradition, I take the observation that names, and to some (...) extent indexicals, have uses that are best understood by analogy with anaphora and definite descriptions, that is, following Geurts, in terms of presupposition projection. The hybrid analysis that I propose is couched in Layered Discourse Representation Theory. Proper names and indexicals trigger presuppositions in a dedicated layer, which is semantically interpreted as providing a contextual anchor for the interpretation of the other layers. For the proper resolution of DRSs with layered presuppositions, I add two constraints to van der Sandt's algorithm. The resulting proposal accounts for both the classic philosophical examples and the new linguistic data, preserving a unified account of the preferred rigid interpretation of both names and indexicals, while leaving room for non-referential readings under contextual pressure. (shrink)

Semantic noise, the effect ensuing from the denotative and thus functional variability exhibited by different terms in different contexts, is a common concern in natural language processing (NLP). While unarguably problematic in specific applications (e.g., certain translation tasks), the main argument of this paper is that failing to observe this linguistic matter of fact as a generative effect rather than as an obstacle, leads to actual obstacles in instances where language model outputs are presented as neutral. Given that a common (...) and long-standing challenge in NLP is the interpretation of ambiguous – i.e., semantically noisy – cases, this article focuses on an exemplar ambiguity-resolution task in NLP: the problem of anaphora in Winograd schemas. The main question considered is: to what extent is the standard approach to disambiguation in NLP subject to a stagnant “image of language”? And, can a transdisciplinary, dynamic approach combining linguistics and philosophy elucidate new perspectives on these possible conceptual shortcomings? In order to answer these questions we explore the term and concept of noise, particularly in its presentation as semantic noise. Owing to its definitional plurality, and sometimes even desirable unspecificity, the term noise is thus used as proof of concept for semantic generativity being an inherent characteristic in linguistic representation, and its concept is used to interrogate assumptions admitted in the resolution of Winograd schemas. The argument is speculative and theoretical in method, and the result is an analysis which provides an account of the fundamentally dialogical and necessarily open-ended effects of semantic noise in natural language. (shrink)

So-called 'dynamic' semantic theories such as Kamp's discourse representation theory and Heim's file change semantics account for such phenomena as cross-sentential anaphora, donkey anaphora, and the novelty condition on indefinites, but compare unfavorably with Montague semantics in some important respects (clarity and simplicity of mathematical foundations, compositionality, handling of quantification and coordination). Preliminary efforts have been made by Muskens and by de Groote to revise and extend Montague semantics to cover dynamic phenomena. We present a new higher-order theory (...) of discourse semantics which improves on their accounts by incorporating a more articulated notion of context inspired by ideas due to David Lewis and to Craige Roberts. On our account, a context consists of a common ground of mutually accepted propositions together with a set of discourse referents preordered by relative salience. Employing a richer notion of contexts enables us to extend our coverage beyond pronominal anaphora to a wider range of presuppositional phenomena, such as the factivity of certain sentential-complement verbs, resolution of anaphora associated with arbitrarily complex definite descriptions, presupposition 'holes' such as negation, and the independence condition on the antecedents of conditionals. Formally, our theory is expressed within a higher-order logic with natural number type, separation-style subtyping, and dependent coproducts parameterized by the natural numbers. The system of semantic types builds on proposals due to Thomason and to Pollard in which the type of propositions (static meanings of sentential utterances) is taken as basic and worlds are constructed from propositions (rather than the other way around as in standard Montague semantics). (shrink)

We offer a computational analysis of the resolution of ellipsis in certain cases of dialogue clarification. We show that this goes beyond standard techniques used in anaphora and ellipsis resolution and requires operations on highly structured, linguistically heterogeneous representations. We characterize these operations and the representations on which they operate. We offer an analysis couched in a version of Head-Driven Phrase Structure Grammar combined with a theory of information states (IS).

The paper investigates an elliptical construction, Clarification Ellipsis, that occurs in dialogue. We suggest that this provides data that demonstrates that updates resulting from utterances cannot be defined in purely semantic terms, contrary to the prevailing assumptions of existing approaches to dynamic semantics. We offer a computationally oriented analysis of the resolution of ellipsis in certain cases of dialogue clarification. We show that this goes beyond standard techniques used in anaphora and ellipsis resolution and requires operations on (...) highly structured, linguistically heterogeneous representations. We characterize these operations and the representations on which they operate. We offer an analysis couched in a version of Head-Driven Phrase Structure Grammar combined with a theory of information states (IS) in dialogue. We sketch an algorithm for the process of utterance integration in IS which leads to grounding or clarification. The account proposed here has direct applications to the theory of attitude reports, an issue which is explored briefly in the concluding remarks of the paper. (shrink)

Potts et seq. presents an analysis of gap-containing supplements where the gap is modelled as a variable over the semantic type of the constituent that the as-clause adjoins to. This much allows the meaning of the gap to be resolved purely compositionally, by defining as as a function that allows the anchor to bind the gap variable. This article presents a class of as-clauses where Potts’s analysis seems to break down, in that the gap cannot be modelled as a variable (...) over the semantic type of the anchor. I propose that these cases can be unified with those in Potts’s work, as well as a larger class of ellipsis phenomena, by assuming that, under certain conditions, surface gaps are composite entities, containing a bound variable and a free variable that are resolved independently of each other. The bound variable is bound by the anchor, and the free variable is resolved by anaphora to a salient discourse object. (shrink)

In previous work we have developed Property Theory with Curry Typing (PTCT), an intensional first-order logic for natural language semantics. PTCT permits fine-grained specifications of meaning. It also supports polymorphic types and separation types. We develop an intensional number theory within PTCT in order to represent proportional generalized quantifiers like "most", and we suggest a dynamic type-theoretic approach to anaphora and ellipsis resolution. Here we extend the type system to include product types, and use these to define a (...) permutation function that generates underspecified scope representations within PTCT. We indicate how filters can be added to encode constraints on possible scope readings. Our account offers several important advantages over other current theories of underspecification. (shrink)

Les pronoms personnels peuvent faire référence à la représentation physique (comme une statue ou une photographie) d’une personne plutôt qu’à cette personne elle-même. L’article présente une explication de ce liage sans identité apparente. Une objection est adressée à la théorie des proxies de Reuland et Winter, fondée sur la distinction entre attitudes de re et attitudes de se. La stratégie proposée ici consiste à introduire une nouvelle modalité pour chaque nouveau support d’une représentation physique, ce qui permet d’éviter les proxies (...) et de restaurer l’identité à la base de la résolution des anaphores. Les modalités correspondent à des fenêtres modales au travers desquelles le sujet peut appréhender des objets, existants ou non, y compris lui-même. La sémantique proposée suppose de réinterpréter certains prédicats. Elle emprunte à Wehmeier l’idée de relation inter-mondaine, qui soulève en tant que telle des questions métaphysiques. L’article aborde ces questions, pour proposer finalement d’étendre la théorie des fenêtres modales à l’ensemble des relations intentionnelles. (shrink)

This article looks at the way people determine the antecedent of a pronoun in sentence pairs, such as: Albert invited Ron to dinner. He spent hours cleaning the house. The experiment reported here is motivated by the idea that such judgments depend on reasoning about identity . Because the identity of an individual over time depends on the causal-historical path connecting the stages of the individual, the correct antecedent will also depend on causal connections. The experiment varied how likely it (...) is that the event of the first sentence would cause the event of the second for each of the two individuals . Decisions about the antecedent followed causal likelihood. A mathematical model of causal identity accounted for most of the key aspects of the data from the individual sentence pairs. (shrink)

There are two main approaches to the problem of donkey anaphora (e.g. If John owns a donkey , he beats it ). Proponents of dynamic approaches take the pronoun to be a logical variable, but they revise the semantics of quantifiers so as to allow them to bind variables that are not within their syntactic scope. Older dynamic approaches took this measure to apply solely to existential quantifiers; recent dynamic approaches have extended it to all quantifiers. By contrast, proponents (...) of E-type analyses take the pronoun to have the semantics of a definite description (with it ≈ the donkey, or the donkey that John owns ). While competing accounts make very different claims about the patterns of coindexation that are found in the syntax, these are not morphologically realized in spoken languages. But they are in sign language, namely through locus assignment and pointing. We make two main claims on the basis of ASL and LSF data. First, sign language data favor dynamic over E-type theories: in those cases in which the two approaches make conflicting predictions about possible patterns of coindexation, dynamic analyses are at an advantage. Second, among dynamic theories, sign language data favor recent ones because the very same formal mechanism is used irrespective of the indefinite or non-indefinite nature of the antecedent. Going beyond this debate, we argue that dynamic theories should allow pronouns to be bound across negative expressions, as long as the pronoun is presupposed to have a non-empty denotation. Finally, an appendix displays and explains subtle differences between overt sign language pronouns and all other pronouns in examples involving ‘disjunctive antecedents’, and suggests that counterparts of sign language loci might be found in spoken language. (shrink)

The relationship between Lexical-Functional Grammar (LFG) functional structures (f-structures) for sentences and their semanticinterpretations can be formalized in linear logic in a way thatcorrectly explains the observed interactions between quantifier scopeambiguity, bound anaphora and intensionality.Our linear-logic formalization of the compositional properties ofquantifying expressions in natural language obviates the need forspecial mechanisms, such as Cooper storage, in representing thescoping possibilities of quantifying expressions. Instead, thesemantic contribution of a quantifier is recorded as a linear-logicformula whose use in a proof will establish (...) the scope of thequantifier. Different proofs can lead to different scopes. In eachcomplete proof, the properties of linear logic ensure thatquantifiers are properly scoped. (shrink)

I n order to appreciate properly what we are doing in this book it is necessary to realize that our approach to linguistic theorizing differs from the prevailing views. Our approach can be described by indicating what distinguishes it from the methodological ideas current in theoretical linguistics, which I consider seriously misguided. Linguists typically construe their task in these days as that of making exceptionless generalizations from particular examples. This explanatory strategy is wrong in several different ways. It presupposes that (...) we can have "intuitions" about particular examples, usually examples invented by the linguist himself or herself, reliable and sharp enough to serve as a basis of sharp generalizations. It also presupposes that we cannot have equally reliable direct access to general linguistic regularities. Both assumptions appear to me extremely dubious, and the first of them has in effect been challenged by linguists like Dwight Bol inger. There is also some evidence that the degree of unanimity among linguists is fairly low when it comes to less clear cases, even in connection with such relatively simple questions as grammaticality (acceptability). For this reason we have tried to rely more on quotations from contemporary fiction, newspapers and magazines than on linguists' and philosophers' ad hoc examples. I also find it strange that some of the same linguists as believe that we all possess innate ideas about general characteristics of humanly possible grammars assume that we can have access to them only via their particular consequences. (shrink)

A principal goal of this book is to develop and apply the Situation Semantics framework. Jean Mark Gawron and Stanley Peters adopt a version of the theory in which meanings are built up via syntactically driven semantic composition rules. They provide a substantial treatment of English incorporating treatments of pronomial anaphora, quantification, donkey anaphora, and tense. The book focuses on the semantics of pronomial anaphora and quantification. The authors argue that the ambiguities of sentences with pronouns cannot (...) be adequately accounted for with a theory that represents anaphoric relations only syntactically; their relational framework uniformly deals with anaphoric relations as relations between utterances in context. They argue that there is no need for a syntactic representation of anaphoric relations, or for a theory that accounts for anaphoric ambiguities by resorting to two or more kinds of anaphora. Quantifier scope ambiguities are handled analogously to anaphoric ambiguities. This treatment integrates the Cooper Store mechanism with a theory of meaning that provides both a natural setting for it and a convincing account of what, semantically, is going on. Jean Mark Gawron is a researcher for Hewlett Packard Laboratories, Palo Alto. Stanley Peters is professor of linguistics and symbolic systems at Stanford University and is director of the Center for the Study of Language and Information. (shrink)

One of the central questions of discourse dynamics is when an anaphoric pronoun is licensed. This paper addresses this question as it pertains to the complex data involving anaphora and negation. It is commonly held that negation blocks anaphoric potential, for example, we cannot say “Bill doesn’t have a car. It is black”. However, there are many exceptions to this generalization. This paper examines a variety of types of discourses in which anaphora on indefinites under the scope of (...) negation is felicitous. These cases are not just of intrinsic interest, but I argue present serious problems for the dynamic semantic framework, which builds the licensing facts into the semantics. I argue in favor of adopting a dynamic pragmatics, a theory that explains context change through general Gricean principles, and combining it with a static, d-type theory of anaphora, in which pronouns go proxy for definite descriptions. (shrink)

Sobel sequences have had a huge impact on the discussion of counterfactuals. They can be composed of conditionals and mere descriptions. What is especially puzzling about them is that they are often felicitously uttered when their reversal is not. Up to now, there is no unified explanation. I examine two strategies. We might begin with conditionals and proceed to descriptions. Or we might begin with descriptions and proceed to conditionals. I argue for the latter variant and outline a universal theory (...) of Sobel sequences in terms of presuppositional anaphora. One relevant result is that the phenomenon neither counts against nor in favour of the simplified standard account of counterfactuals à la Stalnaker-Lewis. (shrink)

This book argues that we are not equipped to understand the workings of conciousness, despite its objective naturalness.

Semantic theories that violate semantic innocence, that is require reference shifts when terms are embedded in ‘that’ clauses and the like, are often challenged by producing sentences where an anaphoric expression, while not itself embedded in a context in which reference shifts, is anaphoric on an antecedent expression that is embedded in such a context. This, in conjunction with a widely accepted principle concerning unproblematic anaphora (the ‘Principle of Anaphoric Reference’), is used to show that such reference shifting has (...) absurd consequences. We show that it is the widely accepted principle concerning anaphora that is to be blamed for these consequences and not the supposed sin of reference shifting. (shrink)