This book assesses the place of logic, mathematics, and computer science in present day, interdisciplinary areas of computational linguistics. Computational linguistics studies natural language in its various manifestations from a computational point of view, both on the theoretical level (modeling grammar modules dealing with natural language form and meaning and the relation between these two) and on the practical level (developing applications for language and speech technology). It is a collection of chapters presenting new and future research. The book focuses mainly on logical approaches to computational processing of natural language and on the applicability of methods and techniques from the study of formal languages, programming, and other specification languages. It presents work from other approaches to linguistics, as well, especially because they inspire new work and approaches.

In recent years, issues of verbal valency, valency alternations and verb classes have seen a new upsurge of interest from a variety of perspectives. This book comprises articles investigating valency phenomena on a contrastive basis within Romance, Germanic and Slavic, and also in Basque and in the West-African language Ga, as well as classical Greek and Sanskrit. Phenomena include transitive and ditransitive constructions and alternations, involving reflexives, cognate objects, ’null’ objects, case (in its syntagmatic and paradigmatic aspects), and infinitives, mostly in a synchronic perspective. Aiming at a closer understanding of the range of regularities falling within the concept of valency frames, the book offers a representative array of current assumptions, hypotheses, methodologies and new findings within the overall field. The volume will provide a valuable resource for researchers and students both in general linguistics and in the relevant language particular disciplines.

This book focuses mainly on logical approaches to computational linguistics, but also discusses integrations with other approaches, presenting both classic and newly emerging theories and applications.Decades of research on theoretical work and practical applications have demonstrated that computational linguistics is a distinctively interdisciplinary area. There is convincing evidence that computational approaches to linguistics can benefit from research on the nature of human language, including from the perspective of its evolution. This book addresses various topics in computational theories of human language, covering grammar, syntax, and semantics. The common thread running through the research presented is the role of computer science, mathematical logic and other subjects of mathematics in computational linguistics and natural language processing (NLP). Promoting intelligent approaches to artificial intelligence (AI) and NLP, the book is intended for researchers and graduate students in the field.

This volume gives an overview of linear logic that will be useful to mathematicians and computer scientists working in this area.

The architecture of the human language faculty has been one of the main foci of the linguistic research of the last half century. This branch of linguistics, broadly known as Generative Grammar, is concerned with the formulation of explanatory formal accounts of linguistic phenomena with the ulterior goal of gaining insight into the properties of the 'language organ'. The series comprises high quality monographs and collected volumes that address such issues. The topics in this series range from phonology to semantics, from syntax to information structure, from mathematical linguistics to studies of the lexicon. To discuss your book idea or submit a proposal, please contact Birgit Sievert

Rhetoric and Incommensurability examines the complex relationships among rhetoric, philosophy, and science as they converge on the question of incommensurability, the notion jointly (though not collaboratively) introduced to science studies in 1962 by Thomas Kuhn and Paul Feyerabend. The incommensurability thesis represents the most profound problem facing argumentation and dialogue—in science, surely, but in any symbolic encounter, any attempt to cooperate, find common ground, get along, make better knowledge, and build better societies. This volume brings rhetoric, the chief discipline that studies argumentation and dialogue, to bear on that problem, finding it much more tractable than have most philosophical accounts.

The continuation of an expression is a portion of its surrounding context. This book proposes and defends the continuation hypothesis: that the meaning of a natural language expression can depend on its own continuation (it can denote a function on its surrounding context).

In recent years, there has been a proliferation of technological developments that incorporate processing of human language. Hardware and software can be specialized for designated subject areas, and computational devices are designed for a widening variety of applications. At the same time, new areas and applications are emerging by demanding intelligent technology enhanced by the processing of human language. These new applications often perform tasks which handle information, and they have a capacity to reason, using both formal and human language. Many sub-areas of Artificial Intelligence demand integration of Natural Language Processing, at least to some degree. Furthermore, technologies require coverage of known as well as unknown agents, and tasks with potential variations. All of this takes place in environments with unknown factors. The book covers theoretical work, advanced applications, approaches, and techniques for computational models of information, reasoning systems, and presentation in language. The book promotes work on intelligent natural language processing and related models of information, thought, reasoning, and other cognitive processes. The topics covered by the chapters prompt further research and developments of advanced systems in the areas of logic, computability, computational linguistics, cognitive science, neuroscience of language, robotics, and artificial intelligence, among others.

A novel logic-based framework for representing the syntax-semantics interface of natural language, applicable to a range of phenomena. In this book, Yusuke Kubota and Robert Levine propose a type-logical version of categorial grammar as a viable alternative model of natural language syntax and semantics. They show that this novel logic-based framework is applicable to a range of phenomena—especially in the domains of coordination and ellipsis—that have proven problematic for traditional approaches. The type-logical syntax the authors propose takes derivations of natural language sentences to be proofs in a particular kind of logic governing the way words and phrases are combined. This logic builds on and unifies two deductive systems from the tradition of categorial grammar; the resulting system, Hybrid Type-Logical Categorial Grammar (Hybrid TLCG) enables comprehensive approaches to coordination (gapping, dependent cluster coordination, and right-node raising) and ellipsis (VP ellipsis, pseudogapping, and extraction/ellipsis interaction). It captures a number of intricate patterns of interaction between scopal operators and seemingly incomplete constituents that are frequently found in these two empirical domains. Kubota and Levine show that the hybrid calculus underlying their framework incorporates key analytic ideas from competing approaches in the generative syntax literature to offer a unified and systematic treatment of data that have posed considerable difficulties for previous accounts. Their account demonstrates that logic is a powerful tool for analyzing the deeper principles underlying the syntax and semantics of natural language.