Categorial Grammar And The Logical Form Of Quantification
DOWNLOAD
Download Categorial Grammar And The Logical Form Of Quantification PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Categorial Grammar And The Logical Form Of Quantification book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages. If the content not found or just blank you must refresh this page
Categorial Grammar And The Logical Form Of Quantification
DOWNLOAD
Author : Harold D. Levin
language : en
Publisher:
Release Date : 1982
Categorial Grammar And The Logical Form Of Quantification written by Harold D. Levin and has been published by this book supported file pdf, txt, epub, kindle and other format this book has been release on 1982 with Philosophy categories.
Type Logical Grammar
DOWNLOAD
Author : G.V. Morrill
language : en
Publisher: Springer Science & Business Media
Release Date : 2012-12-06
Type Logical Grammar written by G.V. Morrill and has been published by Springer Science & Business Media this book supported file pdf, txt, epub, kindle and other format this book has been release on 2012-12-06 with Philosophy categories.
This book sets out the foundations, methodology, and practice of a formal framework for the description of language. The approach embraces the trends of lexicalism and compositional semantics in computational linguistics, and theoretical linguistics more broadly, by developing categorial grammar into a powerful and extendable logic of signs. Taking Montague Grammar as its point of departure, the book explains how integration of methods from philosophy (logical semantics), computer science (type theory), linguistics (categorial grammar) and meta-mathematics (mathematical logic ) provides a categorial foundation with coverage including intensionality, quantification, featural polymorphism, domains and constraints. For the first time, the book systematises categorial thinking into a unified program which is at once both logically secured, and a practical tool for pure lexical grammar development with type-theoretic semantics. It should be of interest to all those active in computational linguistics and formal grammar and is suitable for use at advanced undergraduate, postgraduate, and research levels.
Anaphora And Type Logical Grammar
DOWNLOAD
Author : Gerhard Jäger
language : en
Publisher: Springer Science & Business Media
Release Date : 2005-12-08
Anaphora And Type Logical Grammar written by Gerhard Jäger and has been published by Springer Science & Business Media this book supported file pdf, txt, epub, kindle and other format this book has been release on 2005-12-08 with Language Arts & Disciplines categories.
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.
Language In Action
DOWNLOAD
Author : Johan van Benthem
language : en
Publisher: MIT Press
Release Date : 1995
Language In Action written by Johan van Benthem and has been published by MIT Press this book supported file pdf, txt, epub, kindle and other format this book has been release on 1995 with Language Arts & Disciplines categories.
Language in Action demonstrates the viability of mathematical research into the foundations of categorial grammar, a topic at the border between logic and linguistics. Since its initial publication it has become the classic work in the foundations of categorial grammar. A new introduction to this paperback edition updates the open research problems and records relevant results through pointers to the literature. Van Benthem presents the categorial processing of syntax and semantics as a central component in a more general dynamic logic of information flow, in tune with computational developments in artificial intelligence and cognitive science. Using the paradigm of categorial grammar, he describes the substructural logics driving the dynamics of natural language syntax and semantics. This is a general type-theoretic approach that lends itself easily to proof-theoretic and semantic studies in tandem with standard logic. The emphasis is on a broad landscape of substructural categorial logics and their proof-theoretical and semantic peculiarities. This provides a systematic theory for natural language understanding, admitting of significant mathematical results. Moreover, the theory makes possible dynamic interpretations that view natural languages as programming formalisms for various cognitive activities.
Categorial Grammar
DOWNLOAD
Author : Glyn Morrill
language : en
Publisher: Oxford University Press
Release Date : 2010-09-22
Categorial Grammar written by Glyn Morrill and has been published by Oxford University Press this book supported file pdf, txt, epub, kindle and other format this book has been release on 2010-09-22 with Computers categories.
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 Quantification In Natural Language
DOWNLOAD
Author : Aleksy Molczanow
language : en
Publisher: Unlimited Publishing LLC
Release Date : 2004
Logical Aspects Of Quantification In Natural Language written by Aleksy Molczanow and has been published by Unlimited Publishing LLC this book supported file pdf, txt, epub, kindle and other format this book has been release on 2004 with Language Arts & Disciplines categories.
Elucidates the relation between quantifiers in formal logic and quantifiers in natural language. Demystifies the theoretical apparatus of contemporary logic as it provides theoretical explanations concerning quantification in natural language, and idiomatic quantifiers in ordinary English in particular.
Type Logical Semantics
DOWNLOAD
Author : Bob Carpenter
language : en
Publisher: MIT Press
Release Date : 1998-07-24
Type Logical Semantics written by Bob Carpenter and has been published by MIT Press this book supported file pdf, txt, epub, kindle and other format this book has been release on 1998-07-24 with Language Arts & Disciplines categories.
Based on an introductory course on natural-language semantics, this book provides an introduction to type-logical grammar and the range of linguistic phenomena that can be handled in categorial grammar. It also contains a great deal of original work on categorial grammar and its application to natural-language semantics. The author chose the type-logical categorial grammar as his grammatical basis because of its broad syntactic coverage and its strong linkage of syntax and semantics. Although its basic orientation is linguistic, the book should also be of interest to logicians and computer scientists seeking connections between logical systems and natural language. The book, which stepwise develops successively more powerful logical and grammatical systems, covers an unusually broad range of material. Topics covered include higher-order logic, applicative categorial grammar, the Lambek calculus, coordination and unbounded dependencies, quantifiers and scope, plurals, pronouns and dependency, modal logic, intensionality, and tense and aspect. The book contains more mathematical development than is usually found in texts on natural language; an appendix includes the basic mathematical concepts used throughout the book.
Categorial Grammars And Natural Language Structures
DOWNLOAD
Author : Richard T. Oehrle
language : en
Publisher: Springer Science & Business Media
Release Date : 1988-03-31
Categorial Grammars And Natural Language Structures written by Richard T. Oehrle and has been published by Springer Science & Business Media this book supported file pdf, txt, epub, kindle and other format this book has been release on 1988-03-31 with Philosophy categories.
For the most part, the papers collected in this volume stern from presentations given at a conference held in Tucson over the weekend of May 31 through June 2, 1985. We wish to record our gratitude to the participants in that conference, as well as to the National Science Foundation (Grant No. BNS-8418916) and the University of Arizona SBS Research Institute for their financial support. The advice we received from Susan Steele on organizational matters proved invaluable and had many felicitous consequences for the success of the con ference. We also would like to thank the staff of the Departments of Linguistics of the University of Arizona and the University of Massachusetts at Amherst for their help, as weIl as a number of individuals, including Lin Hall, Kathy Todd, and Jiazhen Hu, Sandra Fulmer, Maria Sandoval, Natsuko Tsujimura, Stuart Davis, Mark Lewis, Robin Schafer, Shi Zhang, Olivia Oehrle-Steele, and Paul Saka. Finally, we would like to express our gratitude to Martin Scrivener, our editor, for his patience and his encouragement. Vll INTRODUCTION The term 'categorial grammar' was introduced by Bar-Rillel (1964, page 99) as a handy way of grouping together some of his own earlier work (1953) and the work of the Polish logicians and philosophers Lesniewski (1929) and Ajdukiewicz (1935), in contrast to approaches to linguistic analysis based on phrase structure grammars.
Categorial Grammar
DOWNLOAD
Author : Wojciech Buszkowski
language : en
Publisher: John Benjamins Publishing
Release Date : 1988-01-01
Categorial Grammar written by Wojciech Buszkowski and has been published by John Benjamins Publishing this book supported file pdf, txt, epub, kindle and other format this book has been release on 1988-01-01 with Language Arts & Disciplines categories.
This book is devoted to the mathematical foundations of categorial grammar including type-theoretic foundations of mathematics, grammatical categories and other topics related to categorial grammar and to philosophical and linguistic applications of this framework. The volume consists of three parts. The first, introductory part, contains the editor's addresses and two survey chapters concerning the history (W. Marciszewski) and current trends of the discipline (J.van Benthem). The second part consists of 10 chapters devoted to categorial grammar proper, and the third part 7 chapters devoted to areas close to categorial grammar. Most of the contributions are original papers, but five of them are reprints of classics (M.J. Cresswell, P.T. Geach, H. Hiz, J. Lambek, T. Potts).
Philosophy Of Syntax
DOWNLOAD
Author : Mieszko Talasiewicz
language : en
Publisher: Springer
Release Date : 2009-11-13
Philosophy Of Syntax written by Mieszko Talasiewicz and has been published by Springer this book supported file pdf, txt, epub, kindle and other format this book has been release on 2009-11-13 with categories.
This book proposes an original treatment of quantification, and it formulates insightful general principles of syntactic analysis. Its main message is that categorical grammar is the most plausible framework for logical syntax of natural language.