[PDF] Language in Action Categories, Lambdas and Dynamic Logic by J. van Benthem | Perlego
Get access to over 650,000 titles
Start your free trial today and explore our endless library.
Start free trial
Join perlego now to get access to over 650,000 books
Join perlego now to get access to over 650,000 books
Join perlego now to get access to over 650,000 books
Language in Action
Language in Action
Unavailable in your region

Language in Action

Categories, Lambdas and Dynamic Logic
J. van Benthem
Start free trial
shareBook
Share book
pages
348 pages
language
English
format
PDF
availableOnMobile
Available on iOS & Android
Unavailable in your region

Language in Action

Categories, Lambdas and Dynamic Logic
J. van Benthem
Book details
Table of contents

About This Book

This monograph began life as a series of papers documenting five years of research into the logical foundations of Categorial Grammar, a grammatical paradigm which has close analogies with Lambda Calculus and Type Theory. The technical theory presented here stems from the interface between Logic and Linguistics and, in particular, the theory of generalized quantification. A categorical framework with lambda calculus-oriented semantics is a convenient vehicle for generalizing semantic insights (obtained in various corners of natural language) into one coherent theory.


The book aims to demonstrate to fellow logicians that the resulting applied lambda calculus has intrinsic logical interest. In the final analysis, the idea is not just to `break the syntactic code' of natural languages but to understand the cognitive functioning of the human mind.

Read More

Information

Publisher
Elsevier Science
Year
1991
ISBN
9780080934228
Topic
Computer Science
Subtopic
Computer Science General

Table of contents