Prima facie, anaphora does not fit very well into the Categorial picture of the. In type logical deductions, each resource is used exactly once. Generally admitting the multiple use of lexical resources is not possible because it would lead to empirical inadequacy and computational intractability. Chierchia shows that an approach based on a principled enrichment of the mechanisms dealing with meaning is to be preferred on empirical grounds over approaches that depend on an enrichment of the syntactic apparatus. Anaphora does not seem to fit well into this framework.
Basic Locative Construction, discourse ellipsis, locative inversion , mediated via the presence of the possessive marker de. To this end, the grammar logic is enriched with a connective that specifically deals with anaphora. This duplication, which corresponds logically to the structural rule of contraction, may be treated lexically or syntactically. Grammatical Theory is for every linguist, philosopher, or psychologist who is skeptical of generative grammar and wants to learn more about it. Anaphora, on the other hand, is in principle unbounded, and it involves by de? There Ca- gorial types are analyzed as formulae of a logical calculus.
The literature on categorial type logic includes proposals for semantically inactive additives, quantifiers, and modalities, but to our knowledge there has been no proposal for semantically inactive multiplicatives. Generally admitting the multiple use of lexical resources is not possible because it would lead to empirical inadequacy and computational intractability. The Curry-Howard based composition of meaning operates in a local way, and meaning ass- bly is linear, i. In type logical deductions, each resource is used exactly once. Abstract This book discusses how Type Logical Grammar can be modified in such a way that a systematic treatment of anaphora phenomena becomes possible without giving up the general architecture of this framework. Prima facie, anaphora does not? There are affinities in this perspective, of course, to basic questions in formal language theory. In particular, the Categorial slashes are interpreted as forms of constructive impli- tion in the sense of Intuitionistic Logic.
The latter problem has been tackled by several Categorial grammarians by ass- ing su? The paper thoroughly presents these Aquilan data and sketches, as a theoretical analysis that connects these categories into a unified account. Newmeyer's formidable scholarship raises the level of debate on transformational generative grammar. Prima facie, anaphora does not? Montague, 1974 characterized personal pronouns as bound anaphors preceded by their antecedents and taking nominative forms in subject position and accusative forms in object position. In type logical categorial grammar the analysis of an expression is a resource-conscious proof. In particular, the Categorial slashes are interpreted as forms of constructive impli- tion in the sense of Intuitionistic Logic. This dual perspective is a strong current in the categorial literature, going back to the classical papers of Ajdukiewicz, Bar-Hillel, Curry, and Lambek.
On the semantic side, the volume's papers address monotonicity reasoning and the semantics of adverbs in type theory, proof theoretical semantics and predicate and argument invariance. Thus, this project aims to resolve such type of anaphora by looking into a simple 2D video preferably 2-body interactions and a describing commentary on it. These may include gender, plurality or semantic consistency. Among the topics covered are various types of grammars, categorical inference, automated reasoning, constraint handling, logical forms, dialogue semantics, unification, and proofs. As a result of this duality, the categorial framework offers a natural setting in which to study questions of grammatical composition, both empirically and abstractly. After giving a self-contained introduction into Type Logical Grammar in general, the book discusses the formal properties of this connective. In type logical deductions, each resource is used exactly once.
Backward binding and reconstruction -- Verb Phrase Ellipsis. In this paper we formulate such a proposal thus filling a gap in the typology of categorial connectives in the context of the displacement calculus of G. Anaphora and semantic resource sensitivity. An electronic book accessible through the World Wide Web; click for information Click for electronic access to e-book. As van Hoek 1995: 313 points out, referring to earlier works as well as to Langacker's,. After giving a self-contained introduction into Type Logical Grammar in general, the book discusses the formal properties of this connective.
The paper shows that spatial prepositions e. The categorial logic for the fragment extends displacement calculus with implicitly universally quantified first order term structure for features on atomic types Morrill 1994, ch. Grammatical composition is conceived as resource conscious logical deduction. In the final chapter, the framework is extended to indefiniteness, specificity and sluicing. Complex restrictions needed in semantic interpretation like anaphora resolution and presupposition checking can thus be stated in the same description language as the syntactic restrictions, providing the basis for highly integrated linguistic processing.
Most of the work is focussed on pronoun and noun-phrase resolution. Such a theory of grammar is per se attractive for a formal linguist who is interested in the interplay between formal logic and the structure of language. The paper thoroughly presents these Aquilan data and sketches a theoretical analysis that connects these categories into a unified account. By the movements of the balls, we can relate the pronoun with the correct ball. The goal of this paper is to present and discuss data shedding light on the relation between Mandarin spatial nouns and adpositions. Summary and desiderata -- References. Anaphora is a common phenomenon in a natural language.
The earlier unit referred to is the antecedent. The second, a grammatical property, is their similar distribution in sentences and discourse contexts. The goal of this paper is to offer an overview of the grammatical and lexical properties of spatial categories in the Italian dialect Aquilan. Language and Linguistics 81, 193-226. By Type Logical Grammar, I mean the version of Categorial Grammar that arose out of the work of Lambek, 1958 and Lambek, 1961. The above however cannot resolve many types of ambiguous referents. Develops a hybrid architecture that allows to incorporate anaphora resolution into grammatical deduction.