This paper explores how the meaning of evidentiality is temporally constrained, by investigating the meaning of Korean evidential sentences with –te. Unlike evidential sentences in languages that have previously been formally analyzed , e.g. Cuzco Quechua and Cheyenne, Korean evidential sentences with –te are compatible with both direct and indirect evidence types. In this paper, I analyze –te as an evidential that lexically encodes the meaning of a ‘sensory observation’. I account for the availability of both direct and indirect evidential (...) readings in terms of the variable temporal relation between relevant eventualities. I show that this temporal relation is compositionally determined by the interaction between –te and tense, and that it in turn constrains possible (direct vs. indirect) evidence types. I also provide empirical evidence for the modal meaning contributions of –te sentences, and develop a formal analysis in terms of Kratzer’s modal theory. The paper concludes by discussing the empirical and theoretical improvements of the proposed analysis over earlier analyses by Chung, and the implications for crosslinguistic studies of evidentials. (shrink)

In the mental files framework, mental files contain pieces of information. Then, how can we explain the fact that multiple pieces of information are stored in a single mental file? This fact can be called ‘co-filing’. Recanati recommends an account of co-filing as a way to avoid the circularity that can occur when one attempts to explain co-filing in terms of the fact that pieces of information are taken to be about the same object. I argue that his account is (...) far from being satisfactory and that co-filing needs to be regarded as a primitive fact. In other words, co-filing is not what needs to be explained within the mental files framework. The right question to be dealt with is what we can explain based on co-filing. (shrink)

In this paper, we offer a novel analysis of presuppositions, paying particular attention to the interaction between the knowledge resources that are required to The analysis has two main features. First, we capture an analogy between presuppositions, anaphora and scope ambiguity (cf. van der Sandt 1992), by utilizing semantic under-specification (c£ Reyle 1993). Second, resolving this underspecification requires reasoning about how the presupposition is rhetorically connected to the discourse context. This has several consequences. First, since pragmatic information plays a role (...) in computing the rhetorical relation, it also constrains the interpretation of presuppositions. Our account therefore provides a formal framework for analysing problematic data, which require pragmatic reasoning. Second, binding presuppositions to the context via rhetorical links replaces accommodating them, in the sense of adding them to the context (cf. Lewis 1979). The treatment of presupposition is thus generalized and integrated into the discourse update procedure. We formalize this approach in SDRT (Asher 1993; Lascarides & Asher 1993), and demonstrate that it provides a rich framework for interpreting presuppositions, where semantic and pragmatic constraints are integrated. (shrink)

What is the semantic contribution of anaphoric links in sentences like, ‘A physicist was late to the party. He brought some bongos’? A natural first thought is that the passage entails a wide-scope existential claim that there is something that both (i) was late to the party and (ii) brought some bongos. Intentional identity sentences are counter-examples to this natural thought applied to anaphora in general. Some have tried to rescue the thought and accommodate the counter-examples by positing mythical objects. (...) I present a new intentional identity sentence that cannot be so accommodated. I then propose a new account of intentional identity and other anaphoric sentences that does not appeal to mythical objects, but instead draws on traditional accounts of definite descriptions. (shrink)

This paper examines the task of understanding dialogues in terms of the mental states of the participating agents. We present a motivating example that clarifies the challenges this problem involves and then outline a theory of dialogue interpretation based on abductive inference of these unobserved beliefs and goals, incremental construction of explanations, and reliance on domain-independent knowledge. After this, we describe UMBRA, an implementation of the theory that embodies these assumptions. We report experiments with the system that demonstrate its ability (...) to accurately infer the conversants’ mental states even when some speech acts are unavailable. We conclude by reviewing related research on dialogue and discussing avenues for future study. (shrink)

This paper examines the task of understanding dialogues in terms of the mental states of the participating agents. We present a motivating example that clarifies the challenges this problem involves and then outline a theory of dialogue interpretation based on abductive inference of these unobserved beliefs and goals, incremental construction of explanations, and reliance on domain-independent knowledge. After this, we describe UMBRA, an implementation of the theory that embodies these assumptions. We report experiments with the system that demonstrate its ability (...) to accurately infer the conversants’ mental states even when some speech acts are unavailable. We conclude by reviewing related research on dialogue and discussing avenues for future study. (shrink)

Concord describes a natural language phenomenon in which a single logical meaning is expressed syntactically on multiple lexical items. The canonical example is negative concord, in which multiple negative expressions are used, but a single negation is interpreted. Formally similar phenomena have been observed for the redundant marking of distributivity and definiteness. Inspired by recent dynamic analyses of these latter two phenomena, we extend a similar dynamic analysis to negative concord. We propose that negative concord items introduce a discourse referent, (...) but then test that no discourse referent has been introduced in any assignment. These apparently contradictory requirements are licensed with split scope around negation: introduction occurs below negation; the test appears above it. The analysis successfully predicts that negative concord items must be licensed by a sufficiently local negative operator. We further show that modulation of what is at-issue can account for cases in which NC items themselves carry negative force. (shrink)

Plural definite descriptions across many languages display two well-known properties. First, they can give rise to so-called non-maximal readings, in the sense that they ‘allow for exceptions’. Second, while they tend to have a quasi-universal quantificational force in affirmative sentences, they tend to be interpreted existentially in the scope of negation. Building on previous works, we offer a theory in which sentences containing plural definite expressions trigger a family of possible interpretations, and where general principles of language use account for (...) their interpretation in various contexts and syntactic environments. Our theory solves a number of problems that these previous works encounter, and has broader empirical coverage in that it offers a precise analysis for sentences that display complex interactions between plural definites, quantifiers and bound variables, as well as for cases involving non-distributive predicates. The resulting proposal is briefly compared with an alternative proposal by Križ, which has similar coverage but is based on a very different architecture and sometimes makes subtly different predictions. (shrink)

The present paper is the result of a long struggle to understand how the notion of compositionality can be used to motivate the structure of a sentence. While everyone seems to have intuitions about which proposals are compositional and which ones are not, these intuitions generally have no formal basis. What is needed to make such arguments work is a proper understanding of what meanings are and how they can be manipulated. In particular, we need a definition of meaning that (...) bans all mentioning of syntactic structure; it is not the task of semantics to state in which way things are put together in syntax. The present paper presents such a theory of meaning. This, in tandem with some minimal assumptions on the syntactic process (that there can be no deletion) yield surprisingly deep insights into natural language. First, it rehabilitates a lot of linguistic work as necessary on semantic grounds and defends it against potential claims of redundancy. For example, θ-roles and linking are an integral part of semantics, and not syntax. To assume the latter is to put the cart before the horse. Second, as a particular example we shall show that Dutch is not strongly context free even if weakly context free. To our knowledge, this is the first formal proof of this fact. (shrink)

This paper provides a formal pragmatic analysis of precision which accounts for its essential properties, but also for Lewis’s :339–359, 1979) observation of asymmetry in how standards of precision may shift due to normal discourse moves: Only up, not down. I propose that shifts of the kind observed and discussed by Lewis are in fact cases of underlying disagreement about the standard of precision, which is only revealed when one interlocutor uses an expression which signals their adherence to a higher (...) standard than the one adhered to by the other interlocutor. This paper shows that a modest formal pragmatic analysis along the lines of many prior optimality-theoretic and game-theoretic accounts can easily capture the natural asymmetry in standard-signaling that gives rise to Lewis’s observation, so long as such an account is dynamic and enriched with a notion of relevance. (shrink)

In opposition to a common assumption, this paper defends the idea that the auxiliary verb will has no other semantic contribution in contemporary English than a temporal shift towards the future with respect to the utterance time. Strong reasons for rejecting the idea that will quantifies over possible worlds are presented. Given the adoption of Lewis’s and Kratzer’s views on modality, the alleged ‘modal’ uses of will are accounted for by a pragmatic mechanism which restricts the domain of the covert (...) epistemic necessity operator scoping over the sentence. (shrink)

(2012). Reasoning without believing: on the mechanisation of presuppositions and partiality. Journal of Applied Non-Classical Logics: Vol. 22, No. 4, pp. 295-317. doi: 10.1080/11663081.2012.705962.

This paper investigates whether the model of local rhetorical coherence suggested in Knott et al. (2001) can boost the performance of the Centering-based metrics of entity coherence employed by Karamanis et al. (2004) for the task of information ordering. Rhetorical coherence is integrated into the way Centering’s basic data structures are derived from the annotated features of the GNOME corpus. The results indicate that (a) the simplest metric continues to perform better than its competitors even when local rhetorical coherence is (...) taken into account, and (b) this extra coherence constraint decreases its performance. (shrink)

This paper studies the uses of proper names within a communication-theoretic setting, looking at both the conditions that govern the use of a name by a speaker and those involved in the correct interpretation of the name by her audience. The setting in which these conditions are investigated is provided by an extension of Discourse Representation Theory, MSDRT, in which mental states are represented as combinations of propositional attitudes and entity representations . The first half of the paper presents the (...) features of this framework that are needed to understand its application to the account of names that follows. N-labelled entity representations, where N is a proper name, play a pivotal part in this account: A speaker must have an N-labelled ER in order to be in a position to use a name N, and the interpreter must either have such a representation, or else construct one as part of his interpretation. The paper distinguishes different types of name uses in terms of what they presuppose about the role of N-labelled ERs on the side of the interpreter. (shrink)

This paper presents a sound and complete proof system for the first order fragment of Discourse Representation Theory. Since the inferences that human language users draw from the verbal input they receive for the most transcend the capacities of such a system, it can be no more than a basis on which more powerful systems, which are capable of producing those inferences, may then be built. Nevertheless, even within the general setting of first order logic the structure of the formulas (...) of DRS-languages, i.e. of the Discourse Representation Structures suggest for the components of such a system inference rules that differ somewhat from those usually found in proof systems for the first order predicate calculus and which are, we believe, more in keeping with inference patterns that are actually employed in common sense reasoning.This is why we have decided to publish the present exercise, in spite of the fact that it is not one for which a great deal of originality could be claimed. In fact, it could be argued that the problem addressed in this paper was solved when Gödel first established the completeness of the system of Principia Mathematica for first order logic. For the DRS-languages we consider here are straightforwardly intertranslatable with standard formulations of the predicate calculus; in fact the translations are so straightforward that any sound and complete proof system for first order logic can be used as a sound and complete proof system for DRSs: simply translate the DRSs into formulas of predicate logic and then proceed as usual. As a matter of fact, this is how one has chosen to proceed in some implementations of DRT, which involve inferencing as well as semantic representation; an example is the Lex system developed jointly by IBM and the University of Tübingen ). (shrink)

How do people make deductions? The orthodox view in psychology is that they use formal rules of inference like those of a “natural deduction” system.Deductionargues that their logical competence depends, not on formal rules, but on mental models. They construct models of the situation described by the premises, using their linguistic knowledge and their general knowledge. They try to formulate a conclusion based on these models that maintains semantic information, that expresses it parsimoniously, and that makes explicit something not directly (...) stated by any premise. They then test the validity of the conclusion by searching for alternative models that might refute the conclusion. The theory also resolves long-standing puzzles about reasoning, including how nonmonotonic reasoning occurs in daily life. The book reports experiments on all the main domains of deduction, including inferences based on prepositional connectives such as “if” and “or,” inferences based on relations such as “in the same place as,” inferences based on quantifiers such as “none,” “any,” and “only,” and metalogical inferences based on assertions about the true and the false. Where the two theories make opposite predictions, the results confirm the model theory and run counter to the formal rule theories. Without exception, all of the experiments corroborate the two main predictions of the model theory: inferences requiring only one model are easier than those requiring multiple models, and erroneous conclusions are usually the result of constructing only one of the possible models of the premises. (shrink)

This paper describes Peirce's systems of logic diagrams, focusing on the so-called ''existential'' graphs, which are equivalent to the first-order predicate calculus. It analyses their implications for the nature of mental representations, particularly mental models with which they have many characteristics in common. The graphs are intended to be iconic, i.e., to have a structure analogous to the structure of what they represent. They have emergent logical consequences and a single graph can capture all the different ways in which a (...) possibility can occur. Mental models share these properties. But, as the graphs show, certain aspects of propositions cannot be represented in an iconic or visualisable way. They include negation, and the representation of possibilities qua possibilities, which both require representations that do not depend on a perceptual modality. Peirce took his graphs to reveal the fundamental operations of reasoning, and the paper concludes with an analysis of different hypotheses about these operations. (shrink)

This paper deals with a series of semantic contrasts between the copula be and the preposition as, two functional elements that both head elementary predication structures. It will be argued that the meaning of as is a type lowering device shifting the meaning of its complement NP from the type of generalized quantifiers to the type of properties (where properties are conceived as relations between individuals and situations), while the copula be induces a type coercion from (partial) situations to (total) (...) possible worlds. Paired with van der Sandt's (1992) theory of presupposition accommodation, these assumptions will account for the observed contrasts between as and be. (shrink)

. Fresh evidence from Free Choice Items (FCIs) in French question the current perception of the class. The role of some standard distinctions found in the literature is weakened or put in a new perspective. The distinction between universal and existential is no longer an intrinsic property of FCIs. Similarly, the opposition between variation-based vs intension-based analyses is relativized. We show that the regime of free choiceness can be characterized by an abstract constraint, that we call Non-Individuation (NI), and which (...) can be satisfied in different ways that match current distinctions. NI says that the information conveyed by a sentence containing a FCI should not be reducible to a referential situation, that is a situation in which particular individuals satisfy the sentence in the current world. The widely used resource of modal variation becomes a particular scenario of free-choiceness, not its essence. In fact, we show that under certain conditions, FCIs can occur in episodic, non-modal sentences, a fact that NI can accommodate. We also discuss more fine-grained aspects of the semantics of FCIs, such as their emotional colour. (. . .) the tripod fell spontaneously, because, though it stood on its feet so as to serve for a seat, it did not fall so as to serve for a seat. Aristotle, Physics II,6. (shrink)

Investigation into the reality of time can be pursued within the ontological domain or it can also span human thought and natural language. I propose to approach time by correlating three domains of inquiry: metaphysical time, the human concept of time, and temporal reference in natural language, entertaining the possibility of what I call a ‘horizontal reduction’ and ‘vertical reduction’. I present a view of temporalityL/E as epistemic modality, drawing on evidence from the L domain and its correlates in the (...) E and M domains. On this view, the human concept of time is a complex, ‘molecular’ concept and can be broken down into primitive concepts that are modal in nature, featuring as degrees of epistemic commitment to representations of states of affairs. I present evidence from tensed and tenseless languages and point out its compatibility with the view of real time as metaphysical modality. (shrink)

In the early days of natural language semantics, Donald Davidson issued a challenge to those, like Richard Montague, who would do semantics in a model-theoretic framework that gives a central role to a model-relative notion of truth. Davidson argued that no theory of this kind can claim to be an account of real truth conditions unless it first makes clear how the relativized notion relates to our ordinary non-relativized notion of truth. In the 1990s, Davidson’s challenge was developed by Etchemendy (...) into an argument against the model-theoretic account of logical consequence, one that also threatens the attempt to capture natural language entailment relations in modeltheoretic terms—one of the central desiderata of semantics. Nevertheless, the modeltheoretic framework has flourished within natural language semantics. But it has flourished without any consensus among semanticists as to how to answer Davidson’s challenge. The aim of this essay is to develop an answer. I argue that model-theoretic semantics is best understood as model-based science: a semantics for a natural language is a scientific model of truth conditions. This makes good sense of the way model-theoretic tools are used in natural language semantics. And it allows us to answer Davidson’s challenge by showing how a theory that employs a relativized notion of truth manages to tell us about ordinary truth conditions. Moreover, I argue that it helps us see how semantics can provide genuine explanations for natural language entailment and other truth-conditional phenomena. (shrink)

Sensitivity to the extra-linguistic context, as exhibited by indexical and demonstrative expressions, and sensitivity to the linguistic context, as exhibited by, for example, anaphoric uses of third person pronouns, are regularly regarded as different and independent phenomena. The data on indexicals, demonstratives, and third person pronouns, however, call for a more unified notion of context and of context sensitivity. This paper aims to develop such a unified picture by generalizing the notion of anaphora to encompass extra-linguistic context dependency and generalizing (...) the notion of a structured discourse context so that contexts contain antecedents for expressions that refer to entities in the extra-linguistic context. (shrink)

In his paper ‘Gesture Projection and Cosuppositions,’ Philippe Schlenker argues that co-verbal gestures convey not at-issue content by default and in particular, that they trigger conditional presuppositions. In this commentary, I take issue with both of these claims. Conditional presuppositions do not supply a systematic means for capturing the semantic contribution of a co-verbal gesture. Some gestures appear to contribute content inside of a negation when their associated speech content is likewise embedded; in other cases, co-verbal gestures arguably contribute unconditional (...) content to the global level. When this happens, we can infer what might look like a conditional presupposition, but this inference follows naturally from general principles already at work in purely verbal discourse and does not justify the claim that gesture content is contributed to a conditional presupposition. Problems exposed in the discussion of conditional presuppositions show that we are not yet in a position to make a general claim about the at-issue status of co-verbal gestures. (shrink)

This paper concerns the question whether reflexives can have strict readings in VP-ellipsis. It is argued that the possibility for strict interpretation is determined by a syntactic factor: subordination of the elided clause relative to the antecedent clause facilitates strict interpretation, whereas coordination disfavors it. This contrast is shown to be predictable by theories of syntactic reconstruction which assume that a surface reflexive corresponds to a bound variable at the point of ellipsis reconstruction, and where the binder has scope over (...) a subordinated ellipsis but not over a coordinated ellipsis. One possibility is that the binder is the reflexive itself, moved at LF. A further factor, namely the possibility of speakers reinterpreting the ellipsis as a deep anaphor, accounts for why strict readings are in fact weakly acceptable in coordinated ellipsis. Previous accounts of ellipsis and reflexives are evaluated in light of the new data. (shrink)

The aim of this article is to elucidate the processes that characterize natural language interpretation. The basic hypothesis is that natural language interpretation can be characterized as an optimization problem. This innovative view on interpretation is shown to account for the crucial role of contextual information while avoiding certain well-known problems associated withcompositionality. This will become particularly clear in the context of incomplete expressions. Our approach takes as a point of departure total freedom ofinterpretation in combination with the parallel application (...) of soft constraints on possible interpretations. These constraints can be contextual, intonational or syntactic in nature. The integration of pragmatic andsyntactic/semantic information in a system of ranked constraints is proposed to correctly derive the optimal interpretations in cases of nominal anaphorization, determiner quantification and elliptical comparatives. (shrink)

The aim of this article is to elucidate the processes that characterize natural language interpretation. The basic hypothesis is that natural language interpretation can be characterized as an optimization problem. This innovative view on interpretation is shown to account for the crucial role of contextual information while avoiding certain well-known problems associated with compositionality. This will become particularly clear in the context of incomplete expressions. Our approach takes as a point of departure total freedom of interpretation in combination with the (...) parallel application of soft constraints on possible interpretations. These constraints can be contextual, intonational or syntactic in nature. The integration of pragmatic and syntactic/semantic information in a system of ranked constraints is proposed to correctly derive the optimal interpretations in cases of nominal anaphorization, determiner quantification and elliptical comparatives. (shrink)

In this essay, we propose that Peirce’s Existential Graphs can derive the desired uniqueness implication (or in a weaker claim, the definite description readings) of donkey pronouns in conjunctive discourse (A man walks in the park. He whistles), without postulating a separate category of E-type pronouns.

In this paper, we argue that same is fundamentally different from different, in that same imposes a discourse condition on eventualities, while different compares individuals. This difference has not been noted in previous literature. Furthermore, in the literature on same, there has been a persistent puzzle about the contribution of the definite article with which same must co-occur. We show that this puzzle is resolved once the contribution of same is adjusted to apply to eventualities: then the definite article can (...) be interpreted in the usual way, as generating a presupposition about individuals. (shrink)

This paper investigates reference to clausally introduced entities and proposes an explanation for why these are more readily available to immediate subsequent reference with a demonstrative pronoun than with the personal pronoun,it. New evidence is provided supporting proposals that such entities are typically activated, but not brought into focus, upon their introduction into a discourse. The study also provides further insight into the role of information structure, lexical semantics, presuppositional contexts, and syntactic structure in bringing an entity into focus of (...) attention. (shrink)

The paper proposes a new semantics with dependent types for indefinites, encompassing both the data related to their exceptional scopal behavior and the data related to their anaphoric properties. The proposal builds on the formal system combining generalized quantifiers with dependent types in [Grudzińska & Zawadowski 2014] and [Grudzińska & Zawadowski 2016].

The goal of this paper is to revisit the phenomenon of bridging anaphora Thinking: readings in cognitive science, Cambridge University Press, Cambridge, pp 411–420, 1977) from the perspective of the German demonstrative plural pronoun die ‘they’. I argue that antecedentless die ‘they’ can be analyzed as a novel definite that is licensed by a suitable, contextually given situation and denotes the salient person who stand in a contextually given relation to that situation. Subsequently, I propose a formal semantic implementation of (...) my analysis in terms of Elbourne, analyzing the antecedentless demonstrative pronoun die ‘they’ as a definite description in disguise. (shrink)

According to Kim, events are constituted by objects exemplifying property(ies) at a time. In this paper I wish to defend Kim's theory of events from one source of criticism, extending it by taking into account a number of ideas developed by Davidson. In particular, I shall try to avoid events proliferation – one of the most serious problems in Kim's theory – by using a suggestion Kim himself advances, that is, by taking adverbs and the like to be events' rather (...) than properties' modifiers. Keywords: events, properties, adverbs, modifiers. (shrink)

A model is presented that addresses both the distribution and comprehension of different forms of referring expressions in language. This model is expressed in a formalism (Kamp & Reyle, 1993) that uses interpretive rules to map syntactic representations onto representations of discourse. Basic interpretive rules are developed for names, pronouns, definite descriptions, and quantified descriptions. These rules are triggered by syntactic input and interact dynamically with representations of discourse to establish reference and coreference. This interaction determines the ease with which (...) coreference can be established for different linguistic forms given the existing discourse context. The performance of the model approximates that observed in studies of intuitive judgments of grammaticality and studies using online measures of language comprehension. The model uses the same basic interpretive mechanisms for coreference within and between sentences, thereby linking the domain traditionally studied by generative linguists to domains that have been of concern primarily to psychologists and computational linguists. (shrink)

This paper explores the relationship between dynamic and truth conditional semantics for epistemic modals. It provides a generalization of a standard dynamic update semantics for modals. This new semantics derives a Kripke semantics for modals and a standard dynamic semantics for modals as special cases. The semantics allows for new characterizations of a variety of principles in modal logic, including the inconsistency of ‘p and might not p’. Finally, the semantics provides a construction procedure for transforming any truth conditional semantics (...) for modals into a dynamic semantics for modals with similar properties. (shrink)

In this paper, I discuss observations on when given by Sandström (1993) for constructions of the form ‘When A B’, where A and B both describe events (as opposed to states). Sandströ m proposes that for events described in the simple past, the temporal interpretation of such sequences varies according to whether A describes a culminated process (CP)(accomplishment) or a culmination (CULM)(roughly, an achievement). She offers an account of this behaviour based on the claim that culminations denote changes of state (...) while culminated processes do not. I argue that this claim is unmotivated, and in addition, draw attention to a range of counterexamples to her generalisation. I present an analysis which is not based on the CP/CULM distinction but relies instead on the distinction originally proposed by Dowty (1979) between the event structures CAUSE-BECOME and BECOME. I show that this distinction is closely related to whether the event has a prototypical agent. It is therefore thematic structure rather than temporal structure that determines the behaviour of when in these cases. (shrink)

Quotation has been much studied in philosophy. Given that quotation allows one to diagonalize out of any grammar, there have been comparatively few attempts within the linguistic literature to develop an account within a formal linguistic theory. Nonetheless, given the ubiquity of quotation in natural language, linguists need to explicate the formal mechanisms it employs. The central claim of this paper is that once one assumes a dialogical perspective on language such as provided by the KoS (KoS is not an (...) acronym, despite emphasizing a Konversationally Oriented Semantics) framework, formalized in a rich type theory like Type Theory with Records, much of the mystery evaporates. In particular, one can utilize as denotations for quotative constructions entities that are independently motivated for dialogue processing—utterance types and locutionary propositions, Austinian propositions about speech events. (shrink)

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)

I show that words with indefinite implicit complements occasion a dilemma for their model theory. There has been only two previous attempts to address this problem, one by Fodor and Fodor (1980) and one by Dowty (1981). Each requires that any word tolerating an implicit complement be treated as ambiguous between two different lexical entries and that a meaning postulate or lexical rule be given to constrain suitably the meanings of the various entries for the word. I show that the (...) positing of such an ambiguity runs counter to the facts and propose an alternative solution which does not appeal to ambiguity, meaning postulates or lexical rules. Indeed, I show that the dilemma posed by indefinite implicit complements is posed by all implicit complements and that a general solution to the problem of implicit complements follows from an independently motivated, single treatment of five other problems, that of subcategorization, that of phrasal projections of words, that of defining a model theoretic structure for phrase structure grammars, that of complement polyvalence and that of complement polyadicity. (shrink)