Author : Norbert Hornstein
Publisher : MIT Press
Page : 196 pages
File Size : 27,7 MB
Release : 1984
Category : Language Arts & Disciplines
ISBN : 9780262081375
How is the meaning of natural language interpreted? Taking as its point of departure the logical problem of natural language acquisition, this book elaborates a theory of meaning based on syntactical rather than semantical processes. Copyright © Libri GmbH. All rights reserved.
Author : Harvey Abramson
Publisher : Springer Science & Business Media
Page : 233 pages
File Size : 22,50 MB
Release : 2012-12-06
Category : Computers
ISBN : 1461236401
Logic grammars have found wide application both in natural language processing and in formal applications such as compiler writing. This book introduces the main concepts involving natural and formal language processing in logic programming, and discusses typical problems which the reader may encounter, proposing various methods for solving them. The basic material is presented in depth; advanced material, involving new logic grammar formalisms and applications, is presented with a view towards breadth. Major sections of the book include: grammars for formal language and linguistic research, writing a simple logic grammar, different types of logic grammars, applications, and logic grammars and concurrency. This book is intended for those interested in logic programming, artificial intelligence, computational linguistics, Fifth Generation computing, formal languages and compiling techniques. It may be read profitably by upper-level undergraduates, post-graduate students, and active researchers on the above-named areas. Some familiarity with Prolog and logic programming would be helpful; the authors, however, briefly describe Prolog and its relation to logic grammars. After reading Logic Grammars, the reader will be able to cope with the ever-increasing literature of this new and exciting field.
Author : L. T. F. Gamut
Publisher : University of Chicago Press
Page : 376 pages
File Size : 32,4 MB
Release : 1991
Category : Language Arts & Disciplines
ISBN : 9780226280844
Although the two volumes of Logic, Language, and Meaning can be used independently of one another, together they provide a comprehensive overview of modern logic as it is used as a tool in the analysis of natural language. Both volumes provide exercises and their solutions. Volume 1, Introduction to Logic, begins with a historical overview and then offers a thorough introduction to standard propositional and first-order predicate logic. It provides both a syntactic and a semantic approach to inference and validity, and discusses their relationship. Although language and meaning receive special attention, this introduction is also accessible to those with a more general interest in logic. In addition, the volume contains a survey of such topics as definite descriptions, restricted quantification, second-order logic, and many-valued logic. The pragmatic approach to non-truthconditional and conventional implicatures are also discussed. Finally, the relation between logic and formal syntax is treated, and the notions of rewrite rule, automation, grammatical complexity, and language hierarchy are explained.
Author : Johan F.A.K. van Benthem
Publisher : Elsevier
Page : 1169 pages
File Size : 22,44 MB
Release : 2010-12-17
Category : Mathematics
ISBN : 0444537279
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 : Rodger L. Jackson
Publisher : Broadview Press
Page : 354 pages
File Size : 46,40 MB
Release : 2014-11-04
Category : Philosophy
ISBN : 1460402782
The Logic of Our Language teaches the practical and everyday application of formal logic. Rather than overwhelming the reader with abstract theory, Jackson and McLeod show how the skills developed through the practice of logic can help us to better understand our own language and reasoning processes. The authors’ goal is to draw attention to the patterns and logical structures inherent in our spoken and written language by teaching the reader how to translate English sentences into formal symbols. Other logical tools, including truth tables, truth trees, and natural deduction, are then introduced as techniques for examining the properties of symbolized sentences and assessing the validity of arguments. A substantial number of practice questions are offered both within the book itself and as interactive activities on a companion website.
Author : Richard Moot
Publisher : Springer
Page : 314 pages
File Size : 42,72 MB
Release : 2012-06-30
Category : Mathematics
ISBN : 3642315550
This book is intended for students in computer science, formal linguistics, mathematical logic and to colleagues interested in categorial grammars and their logical foundations. These lecture notes present categorial grammars as deductive systems, in the approach called parsing-as-deduction, and the book includes detailed proofs of their main properties. The papers are organized in topical sections on AB grammars, Lambek’s syntactic calculus, Lambek calculus and montague grammar, non-associative Lambek calculus, multimodal Lambek calculus, Lambek calculus, linear logic and proof nets and proof nets for the multimodal Lambek calculus.
Author : Francesco Bellucci
Publisher : Routledge
Page : 370 pages
File Size : 32,38 MB
Release : 2017-11-08
Category : Philosophy
ISBN : 1351811371
Peirce’s Speculative Grammar: Logic as Semiotics offers a comprehensive, philologically accurate, and exegetically ambitious developmental account of Peirce’s theory of speculative grammar. The book traces the evolution of Peirce’s grammatical writings from his early research on the classification of arguments in the 1860s up to the complex semiotic taxonomies elaborated in the first decade of the twentieth century. It will be of interest to academic specialists working on Peirce, the history of American philosophy and pragmatism, the philosophy of language, the history of logic, and semiotics.
Author : Rosalie Iemhoff
Publisher : Springer
Page : 683 pages
File Size : 10,44 MB
Release : 2019-06-23
Category : Mathematics
ISBN : 3662595338
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 26th Workshop on Logic, Language, Information and Communication, WoLLIC 2019, held in Utrecht, The Netherlands, in July 2019. The 41 full papers together with 6 invited lectures presented were fully reviewed and selected from 60 submissions. The idea is to have a forum which is large enough in the number of possible interactions between logic and the sciences related to information and computation, and yet is small enough to allow for concrete and useful interaction among participants.
Author : Claudia Casadio
Publisher : Springer
Page : 432 pages
File Size : 11,17 MB
Release : 2014-04-03
Category : Mathematics
ISBN : 3642547893
For more than 60 years, Jim Lambek has been a profoundly inspirational mathematician, with groundbreaking contributions to algebra, category theory, linguistics, theoretical physics, logic and proof theory. This Festschrift was put together on the occasion of his 90th birthday. The papers in it give a good picture of the multiple research areas where the impact of Jim Lambek's work can be felt. The volume includes contributions by prominent researchers and by their students, showing how Jim Lambek's ideas keep inspiring upcoming generations of scholars.
Author : Nick Bezhanishvili
Publisher : Springer
Page : 373 pages
File Size : 36,95 MB
Release : 2011-07-18
Category : Computers
ISBN : 3642223036
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, held in Bakuriani, Georgia, in September 2009. The 20 revised full papers included in the book were carefully reviewed and selected from numerous presentations given at the symposium. The focus of the papers is on the following topics: natural language syntax, semantics, and pragmatics; constructive, modal and algebraic logic; linguistic typology and semantic universals; logics for artificial intelligence; information retrieval, query answer systems; logic, games, and formal pragmatics; language evolution and learnability; computational social choice; historical linguistics, history of logic.
