Anaphora And Type Logical Grammar

Anaphora And Type Logical Grammar Book in PDF, ePub and Kindle version is available to download in english. Read online anytime anywhere directly from your device. Click on the download button below to get a free pdf file of Anaphora And Type Logical Grammar book. This book definitely worth reading, it is an incredibly well-written.

Anaphora and Type Logical Grammar

Author : Gerhard Jäger
Publisher : Springer Science & Business Media
Page : 301 pages
File Size : 43,8 Mb
Release : 2005-12-08
Category : Language Arts & Disciplines
ISBN : 9781402039058

Get Book

Anaphora and Type Logical Grammar by Gerhard Jäger Pdf

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.

Anaphora and Type Logical Grammar

Author : Gerhard Jäger
Publisher : Springer Science & Business Media
Page : 314 pages
File Size : 46,5 Mb
Release : 2005-08-26
Category : Computers
ISBN : 1402039042

Get Book

Anaphora and Type Logical Grammar by Gerhard Jäger Pdf

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.

Resource-Sensitivity, Binding and Anaphora

Author : Geert-Jan M. Kruijff,Richard T. Oehrle
Publisher : Springer Science & Business Media
Page : 297 pages
File Size : 54,6 Mb
Release : 2012-12-06
Category : Language Arts & Disciplines
ISBN : 9789401000376

Get Book

Resource-Sensitivity, Binding and Anaphora by Geert-Jan M. Kruijff,Richard T. Oehrle Pdf

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.

Dynamics of Meaning

Author : Gennaro Chierchia
Publisher : University of Chicago Press
Page : 288 pages
File Size : 51,7 Mb
Release : 2009-02-20
Category : Language Arts & Disciplines
ISBN : 9780226104515

Get Book

Dynamics of Meaning by Gennaro Chierchia Pdf

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.

Formal Grammar

Author : Annie Foret,Glyn Morrill,Reinhard Muskens,Rainer Osswald,Sylvain Pogodalla
Publisher : Springer
Page : 323 pages
File Size : 53,7 Mb
Release : 2016-08-05
Category : Mathematics
ISBN : 9783662530429

Get Book

Formal Grammar by Annie Foret,Glyn Morrill,Reinhard Muskens,Rainer Osswald,Sylvain Pogodalla Pdf

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

Categorial Grammar

Author : Glyn Morrill
Publisher : Oxford University Press
Page : 253 pages
File Size : 41,9 Mb
Release : 2010-09-22
Category : Computers
ISBN : 9780199589852

Get Book

Categorial Grammar by Glyn Morrill Pdf

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.

Logical Aspects of Computational Linguistics

Author : Michael Moortgat
Publisher : Springer
Page : 294 pages
File Size : 43,5 Mb
Release : 2003-06-29
Category : Computers
ISBN : 9783540457381

Get Book

Logical Aspects of Computational Linguistics by Michael Moortgat Pdf

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.

Anaphora in Generative Grammar

Author : Thomas Wasow
Publisher : John Benjamins Publishing
Page : 193 pages
File Size : 55,5 Mb
Release : 1979-01-01
Category : Language Arts & Disciplines
ISBN : 9789027271273

Get Book

Anaphora in Generative Grammar by Thomas Wasow Pdf

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?

Logical Aspects of Computational Linguistics

Author : Sylvain Pogodalla,Jean-Philippe Prost
Publisher : Springer
Page : 283 pages
File Size : 48,8 Mb
Release : 2011-06-24
Category : Computers
ISBN : 9783642222214

Get Book

Logical Aspects of Computational Linguistics by Sylvain Pogodalla,Jean-Philippe Prost Pdf

This book constitutes the refereed proceedings of the 6th International Conference on Logical Aspects of Computational Linguistics, LACL 2011, held in Montpellier, France, in June/July 2011. The 18 revised full papers presented were carefully reviewed and selected from 31 submissions. The papers address a wide range of logical and formal methods in computational linguistics such as type-theoretic grammars, dependency grammars, formal language theory, grammatical inference, minimalism, generation, and lexical and formal semantics.

Handbook of Logic and Language

Author : Johan F.A.K. van Benthem,Alice ter Meulen
Publisher : Elsevier
Page : 1169 pages
File Size : 42,9 Mb
Release : 2010-12-17
Category : Mathematics
ISBN : 9780444537270

Get Book

Handbook of Logic and Language by Johan F.A.K. van Benthem,Alice ter Meulen Pdf

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

Anaphora Resolution and Text Retrieval

Author : Helene Schmolz
Publisher : Walter de Gruyter GmbH & Co KG
Page : 318 pages
File Size : 50,7 Mb
Release : 2015-03-30
Category : Language Arts & Disciplines
ISBN : 9783110416817

Get Book

Anaphora Resolution and Text Retrieval by Helene Schmolz Pdf

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.

Handbook of Philosophical Logic

Author : Dov M. Gabbay,Franz Guenthner
Publisher : Springer Science & Business Media
Page : 310 pages
File Size : 40,8 Mb
Release : 2011-02-01
Category : Philosophy
ISBN : 9789400704794

Get Book

Handbook of Philosophical Logic by Dov M. Gabbay,Franz Guenthner Pdf

Belief Revision Refutation and systems in Propositional Logic. A Quantifier Scope in Formal Linguistics and Non-deterministic Semantics for Logical Systems.

The Logic of Pronominal Resumption

Author : Ash Asudeh
Publisher : Oxford University Press
Page : 486 pages
File Size : 47,8 Mb
Release : 2012-01-19
Category : Language Arts & Disciplines
ISBN : 9780199206421

Get Book

The Logic of Pronominal Resumption by Ash Asudeh Pdf

This book is a cross-linguistic investigation of resumptive pronouns and related phenomena. Pronominal resumption is the realization of the base of a syntactic dependency as a bound pronoun. Resumption occurs in unbounded dependencies, such as relative clauses and questions, and in the variety of raising known as copy raising. Processing factors may also give rise to resumption, even in environments where it does not normally occur in a given language. Ash Asudeh proposes a new theory of resumption based on the use of a resource logic for semantic composition and the typologically robust observation that resumptive pronouns are ordinary pronouns in their morphological and lexical properties. The framework for semantic composition is Glue Semantics and the syntactic framework is Lexical-Functional Grammar. The author introduces these frameworks and the concept of resource logics accessibly and compares results and explanations with those offered by a number of contrasting theoretical frameworks. The theory achieves a novel unification of hitherto heterogeneous resumption phenomena. It unifies two kinds of resumptive pronouns that are found in unbounded dependencies - one kind behaves syntactically like a gap, whereas the other kind does not. It also unifies resumptive pronouns in unbounded dependencies with the obligatory pronouns in copy raising. The theory also provides the basis for a new understanding of processing-based resumption, both in production and in parsing and interpretation. This book makes a substantial contribution to the understanding of the syntax-semantics interface, the nature of unbounded dependencies, and linguistic variation. It is clearly written and includes examples from a wide range of languages, such as English, Hebrew, Irish, Swedish, and Vata. It will interest researchers in syntax and semantics and its results are also relevant to computational linguistics, psycholinguistics, and the logical analysis of language. Short blurb This book is a cross-linguistic investigation of resumptive pronouns and related resumption phenomena. The author proposes a new theory of resumption based on the use of a resource logic for semantic composition and the typologically robust observation that resumptive pronouns are ordinary pronouns in their morphological and lexical properties.

The Syntax of Anaphora

Author : Ken Safir,Professor of Linguistics Ken Safir
Publisher : Oxford University Press on Demand
Page : 328 pages
File Size : 44,8 Mb
Release : 2004-04-08
Category : Language Arts & Disciplines
ISBN : 9780195166132

Get Book

The Syntax of Anaphora by Ken Safir,Professor of Linguistics Ken Safir Pdf

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.

Logic, Rationality, and Interaction

Author : Hans van Ditmarsch,Jerome Lang,Shier Ju
Publisher : Springer
Page : 403 pages
File Size : 47,9 Mb
Release : 2011-10-07
Category : Mathematics
ISBN : 9783642241307

Get Book

Logic, Rationality, and Interaction by Hans van Ditmarsch,Jerome Lang,Shier Ju Pdf

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the Third International Workshop on Logic, Rationality, and Interaction, LORI 2011, held in Guangzhou, China, in October 2011. The 25 revised full papers presented together with 12 posters were carefully reviewed and selected from 52 submissions. Among the topics covered are semantic models for knowledge, for belief, and for uncertainty; dynamic logics of knowledge, information flow, and action; logical analysis of the structure of games; belief revision, belief merging; logics and preferences, compact preference representation; logics of intentions, plans, and goals; logics of probability and uncertainty; logical approaches to decision making and planning; argument systems and their role in interaction; norms, normative interaction, and normative multiagent systems; and logical and computational approaches to social choice.