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.
FREE Two-Day Shipping for Students. Learn more |
| |||||||||||||||
Book Description
Special Offers and Product Promotions
- Buy $50 in qualifying physical textbooks, get $5 in Amazon MP3 Credit. Here's how (restrictions apply)
Editorial Reviews
Review
At present the research programme presented in van Benthem's monograph is intensively developed by logicians, mathematicians, and specialists in computer science and linguistics. Language in Action conveniently reports in detail and in a compact form the results hitherto obtained. Certainly it becomes the standard reference in the area.
From the Logical Point of View
--This text refers to the Hardcover edition.
From the Logical Point of View
--This text refers to the Hardcover edition.
About the Author
Johan van Benthem is Professor of Logic and Its Applications and Director of the Institute for Logic, Language, and Computation at the University of Amsterdam. He is also Distinguished Visiting Professor in the Department of Philosophy at Stanford University.
Product Details
Would you like to update product info or give feedback on images?
|
More About the Author
Discover books, learn about writers, read author blogs, and more.
Customer Reviews
|
There are no customer reviews yet.
|
|||
|
Video reviews
|
Inside This Book
(learn more)
First Sentence:
The idea that the objects of thought form a hierarchy of categories is an old one in Philosophy. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
categorial calculi, categorial equations, finite base domains, denotational constraints, full type theory, lambda semantics, same modal formulas, categorial combination, derivational polymorphism, categorial calculus, extensional items, categorial paradigm, usual structural rules, classical structural rules, full lambda calculus, derivable transition, implicational calculi, basic modal language, categorial derivations, dynamic modal logic, natural deduction trees, flexible categorial grammar, permutation closure, bisimulation invariance, implicational logic Key Phrases - Capitalized Phrases (CAPs): (learn more)
Modus Ponens, Categorial Hierarchy, Finiteness Theorem, Artificial Intelligence, Peano Arithmetic, Presburger Arithmetic, Relevance Logic, Montague Grammar New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
The idea that the objects of thought form a hierarchy of categories is an old one in Philosophy. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
categorial calculi, categorial equations, finite base domains, denotational constraints, full type theory, lambda semantics, same modal formulas, categorial combination, derivational polymorphism, categorial calculus, extensional items, categorial paradigm, usual structural rules, classical structural rules, full lambda calculus, derivable transition, implicational calculi, basic modal language, categorial derivations, dynamic modal logic, natural deduction trees, flexible categorial grammar, permutation closure, bisimulation invariance, implicational logic Key Phrases - Capitalized Phrases (CAPs): (learn more)
Modus Ponens, Categorial Hierarchy, Finiteness Theorem, Artificial Intelligence, Peano Arithmetic, Presburger Arithmetic, Relevance Logic, Montague Grammar New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
Citations (learn more)
This book cites 56
books:
See all 56 books this book cites
57
books
cite this book:
See all 57 books citing this book
- Categorial Grammar (Studies in Functional and Structural Linguistics) by Wojciech Buszkowski on 10 pages
- Modal Logic (Cambridge Tracts in Theoretical Computer Science) by Patrick Blackburn on 6 pages
- Dynamic Logic (Foundations of Computing) by David Harel on 5 pages
- The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised Edition by H.P. Barendregt on 5 pages
- Model Theory, Third Edition (Studies in Logic and the Foundations of Mathematics) by C.C. Chang on page 285, and Back Matter
See all 56 books this book cites
- Semantics and Syntax in Lexical Functional Grammar: The Resource Logic Approach (Language, Speech, and Communication) by Mary Dalrymple on page 89, page 357, and page 388
- Logic and Information Flow (Foundations of Computing) by Jan van van Eijck on page 29, and page 194
- The Lvov-Warsaw School and Contemporary Philosophy (Synthese Library) by K. Kijania-Placek on page 236, and page 251
- Resource-Sensitivity, Binding and Anaphora (Studies in Linguistics and Philosophy) by Geert-Jan M. Kruijff on page 21, and page 52
- Applied Logic: How, What and Why: Logical Approaches to Natural Language (Synthese Library) by László Pólos on page 360, and page 385
See all 57 books citing this book
Books on Related Topics
(learn more)
|
Suggested Tags from Similar Products(What's this?)Be the first one to add a relevant tag (keyword that's strongly related to this product).
|
Sell a Digital Version of This Book in the Kindle Store
If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store.
Learn more
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
Listmania!
|
|
So You'd Like to...
|
|
Look for Similar Items by Category
- Books > Computers & Technology > Computer Science > Artificial Intelligence
- Books > Education & Reference > Foreign Languages
- Books > Education & Reference > Words & Language
- Books > New & Used Textbooks > Computer Science > Artificial Intelligence
- Books > New & Used Textbooks > Humanities > Linguistics
- Books > New & Used Textbooks > Humanities > Philosophy > Logic
- Books > Politics & Social Sciences > Philosophy
