Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Anaphora and Type Logical Grammar PDF full book. Access full book title Anaphora and Type Logical Grammar by Gerhard Jäger. Download full books in PDF and EPUB format.
Author: Gerhard Jäger Publisher: Springer Science & Business Media ISBN: 9781402039041 Category : Computers Languages : en Pages : 314
Book Description
Type Logical Grammar is a framework that emerged from the synthesis of two traditions: Categorial Grammar from formal linguistics and substructural logics from logic. Grammatical composition is conceived as resource conscious logical deduction. Such a grammar is necessarily surface oriented and lexicalistic. The Curry-Howard correspondence supplies an elegant compositional mapping from syntax to semantics. Anaphora does not seem to fit well into this framework. In type logical deductions, each resource is used exactly once. Anaphora, however, is a phenomenon where semantic resources are used more than once. Generally admitting the multiple use of lexical resources is not possible because it would lead to empirical inadequacy and computational intractability. This book develops a hybrid architecture that allows to incorporate anaphora resolution into grammatical deduction while avoiding these consequences. To this end, the grammar logic is enriched with a connective that specifically deals with anaphora. After giving a self-contained introduction into Type Logical Grammar in general, the book discusses the formal properties of this connective. In the sequel, Jäger applies this machinery to numerous linguistic phenomena pertaining to the interaction of pronominal anaphora, VP ellipsis and quantification. In the final chapter, the framework is extended to indefiniteness, specificity and sluicing.
Author: Gerhard Jäger Publisher: Springer Science & Business Media ISBN: 9781402039041 Category : Computers Languages : en Pages : 314
Book Description
Type Logical Grammar is a framework that emerged from the synthesis of two traditions: Categorial Grammar from formal linguistics and substructural logics from logic. Grammatical composition is conceived as resource conscious logical deduction. Such a grammar is necessarily surface oriented and lexicalistic. The Curry-Howard correspondence supplies an elegant compositional mapping from syntax to semantics. Anaphora does not seem to fit well into this framework. In type logical deductions, each resource is used exactly once. Anaphora, however, is a phenomenon where semantic resources are used more than once. Generally admitting the multiple use of lexical resources is not possible because it would lead to empirical inadequacy and computational intractability. This book develops a hybrid architecture that allows to incorporate anaphora resolution into grammatical deduction while avoiding these consequences. To this end, the grammar logic is enriched with a connective that specifically deals with anaphora. After giving a self-contained introduction into Type Logical Grammar in general, the book discusses the formal properties of this connective. In the sequel, Jäger applies this machinery to numerous linguistic phenomena pertaining to the interaction of pronominal anaphora, VP ellipsis and quantification. In the final chapter, the framework is extended to indefiniteness, specificity and sluicing.
Author: Geert-Jan M. Kruijff Publisher: Springer Science & Business Media ISBN: 9781402016912 Category : Language Arts & Disciplines Languages : en Pages : 324
Book Description
Geert-Jan Kruijff & Richard T. Oehrle A categorial grammar is both a grammar and a type inference system. 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. There are affinities in this perspective, of course, to basic questions in formal language theory. But the fact that categorial grammars are type in ference systems makes possible intrinsic connections among syntactic types, syntactic type inference, semantic types, and semantic type inference, a con nection less apparent in the standard constructions of formal language theory. Fixing a system of grammatical type inference T, we may explore what gram matical phenomena are compatible with T-and equally, what grammatical phenomena are not. Equally, fixing a class of grammatical phenomena g, we may seek to ascertain what systems of type inference characterize g. This dual perspective is a strong current in the categorial literature, going back to the classical papers of Ajdukiewicz, Bar-Hillel, Curry, and Lambek.
Author: Gennaro Chierchia Publisher: University of Chicago Press ISBN: 0226104516 Category : Language Arts & Disciplines Languages : en Pages : 288
Book Description
In The Dynamics of Meaning, Gennaro Chierchia tackles central issues in dynamic semantics and extends the general framework. Chapter 1 introduces the notion of dynamic semantics and discusses in detail the phenomena that have been used to motivate it, such as "donkey" sentences and adverbs of quantification. The second chapter explores in greater depth the interpretation of indefinites and issues related to presuppositions of uniqueness and the "E-type strategy." In Chapter 3, Chierchia extends the dynamic approach to the domain of syntactic theory, considering a range of empirical problems that includes backwards anaphora, reconstruction effects, and weak crossover. The final chapter develops the formal system of dynamic semantics to deal with central issues of definites and presupposition. 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. Dynamics of Meaning illustrates how seemingly abstract stances on the nature of meaning can have significant and far-reaching linguistic consequences, leading to the detection of new facts and influencing our understanding of the syntax/semantics/pragmatics interface.
Author: Thomas Wasow Publisher: John Benjamins Publishing ISBN: 9027271275 Category : Language Arts & Disciplines Languages : en Pages : 193
Book Description
Intuitively, it is clear why languages have anaphoric relations: anaphora reduces redundancy, thereby shortening (and hence simplifying) sentences. In order for this simplification to be possible, however, it is necessary that the speaker of a language be able to identify correctly the elements participating in an anaphoric relation and to determine correctly the meaning of the anaphor on the basis of meaning of the antecedent. If a grammar is to reflect the linguistic competence of a native speaker of a language, it must include mechanisms of associating anaphor and antecedent. In this volume the following questions will be considered: What sorts of mechanisms are best suited for representing anaphora in a grammar? What are the conditions on the rule(s) associating anaphors with antecedents? Do the various cases of anaphora form a linguistically significant class of phenomena, and, if so, how can the grammar capture this fact? And what do these answers entail for linguistic theory?
Author: Glyn Morrill Publisher: Oxford University Press ISBN: 0199589852 Category : Computers Languages : en Pages : 253
Book Description
This book provides a state-of-the-art introduction to categorial grammar, a type of formal grammar which analyses expressions as functions or according to a function-argument relationship. The book's focus is on linguistic, computational, and psycholinguistic aspects of logical categorial grammar, i.e. enriched Lambek Calculus. Glyn Morrill opens with the history and notation of Lambek Calculus and its application to syntax, semantics, and processing. Successive chapters extend the grammar to a number of significant syntactic and semantic properties of natural language. The final part applies Morrill's account to several current issues in processing and parsing, considered from both a psychological and a computational perspective. The book offers a rigorous and thoughtful study of one of the main lines of research in the formal and mathematical theory of grammar, and will be suitable for students of linguistics and cognitive science from advanced undergraduate level upwards.
Author: Ken Safir Publisher: Oxford University Press on Demand ISBN: 0195166132 Category : Language Arts & Disciplines Languages : en Pages : 328
Book Description
In this work, Ken Safir develops a comprehensive theory on the role of anaphora in syntax. First, he contends that the complementary distribution of forms that support the anaphoric readings is not accidental, contrary to most current thinking, but rather should be derived from a principle, one that he proposes in the form of an algorithm. Secondly, he maintains that dependent identity relations are always possible where they are not prohibited by a constraint. Lastly, he proposes that there are no parameters of anaphora - that all anaphora-specific principles are universal, and that the patterns of anaphora across languages arise entirely from a restricted set of lexical properties. This comprehensive consideration of anaphora redirects current thinking on the subject.
Author: Helene Schmolz Publisher: Walter de Gruyter GmbH & Co KG ISBN: 3110416816 Category : Language Arts & Disciplines Languages : en Pages : 318
Book Description
This book covers anaphora resolution for the English language from a linguistic and computational point of view. First, a definition of anaphors that applies to linguistics as well as information technology is given. On this foundation, all types of anaphors and their characteristics for English are outlined. To examine how frequent each type of anaphor is, a corpus of different hypertexts has been established and analysed with regard to anaphors. The most frequent type are non-finite clause anaphors - a type which has never been investigated so far. Therefore, the potential of non-finite clause anaphors are further explored with respect to anaphora resolution. After presenting the fundamentals of computational anaphora resolution and its application in text retrieval, rules for resolving non-finite clause anaphors are established. Therefore, this book shows that a truly interdisciplinary approach can achieve results which would not have been possible otherwise.
Author: Annie Foret Publisher: Springer ISBN: 3662530422 Category : Mathematics Languages : en Pages : 323
Book Description
This book constitutes the refereed proceedings of the 20th and 21st International Conference on Formal Grammar 2015 and 2016, collocated with the European Summer School in Logic, Language and Information in August 2015/2016. The 19 revised full papers presented together with 2 invited talks were carefully reviewed and selected from a total of 34 submissions. The focus of papers are as follows: Formal and computational phonology, morphology, syntax, semantics and pragmatics Model-theoretic and proof-theoretic methods in linguistics Logical aspects of linguistic structure Constraint-based and resource-sensitive approaches to grammar Learnability of formal grammar Integration of stochastic and symbolic models of grammar Foundational, methodological and architectural issues in grammar and linguistics Mathematical foundations of statistical approaches to linguistic analysis
Author: Michael Moortgat Publisher: Springer ISBN: 3540457380 Category : Computers Languages : en Pages : 294
Book Description
The conference series Logical Aspects of Computational Linguistics (LACL) aims at providing a forum for the presentation and discussion of current research in all the formal and logical aspects of computational linguistics. The LACL initiative started with a workshop held in Nancy (France) in 1995. Selected papers from this event have appeared as a special issue of the Journal of Logic Language and Information, Volume 7(4), 1998. In 1996, LACL shifted to the format of an international conference. LACL’96 and ’97 were both held in Nancy (France). The proceedings appeared as volumes 1328 and 1582 of the Springer Lecture Notes in Arti cial Intelligence. This volume contains selected papers of the third international conference on Logical Aspects of Computational Linguistics (LACL’98), held in Grenoble, France, from December 14 to 16, 1998. The conference was organized by the U- versity Pierre Mend es-France (Grenoble 2) together with LORIA (Laboratoire Lorrain d’Informatique et Applications, Nancy). On the basis of 33 submitted 4-page abstracts, the Program Committee selected 19 contributions for pres- tation. In addition to the selected papers, the program featured three invited talks, by Maarten de Rijke (ILLC, Amsterdam), Makoto Kanazawa (Chiba U- versity, Japan), and Fernando Pereira (AT&T Labs). After the conference, the contributors were invited to submit a full paper for the conference proceedings.
Author: Johan F.A.K. van Benthem Publisher: Elsevier ISBN: 0444537279 Category : Mathematics Languages : en Pages : 1169
Book Description
The logical study of language is becoming more interdisciplinary, playing a role in fields such as computer science, artificial intelligence, cognitive science and game theory. This new edition, written by the leading experts in the field, presents an overview of the latest developments at the interface of logic and linguistics as well as a historical perspective. It is divided into three parts covering Frameworks, General Topics and Descriptive Themes. Completely revised and updated - includes over 25% new material Discusses the interface between logic and language Many of the authors are creators or active developers of the theories
Author: Gerhard Jäger
Author: Gerhard Jäger
Author: Geert-Jan M. Kruijff
Author: Gennaro Chierchia
Author: Thomas Wasow
Author: Glyn Morrill
Author: Ken Safir
Author: Helene Schmolz
Author: Annie Foret
Author: Michael Moortgat
Author: Johan F.A.K. van Benthem