Title: Language in action : categories, lambdas and dynamic logic. Studies in logic and the foundations of mathematics 130.
Publisher: Amsterdam [u.a.] : North-Holland
Publication Date: 1991
Language: English
ISBN 10: 0444890009
ISBN 13: 9780444890009
Binding: Hardcover
Condition: gut

About this title

Synopsis

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.

About the Author

Johan van Benthem is Professor of Logic at the University of Amsterdam (Department of Mathematics and Computer Science) as well as at Stanford University (Bonsall visiting chair, Department of Philosophy). His research interests include modal and dynamic logic, type-theoretic semantics, and proof-theoretic grammars. Address: Department of Mathematics and Computer Science, University of Amsterdam, Plantage Muidergracht 24, 1018 TV Amsterdam, The Netherlands. E-mail: johan@fwi.uva.nl, johan@csli.stanford.edu

"About this title" may belong to another edition of this title.

Store Description

Visit Seller's Storefront

Seller's business information

Wissenschaftliches Antiquariat K�ln Dr. Sebastian Peters UG (haftungsbeschr�nkt)
Rh�ndorfer Str. 16 M, K�ln, 50939, Germany

Sale & Shipping Terms

Terms of Sale

Allgemeiner Geltungsbereich

1.1. Diese Allgemeinen Gesch�ftsbedingungen (AGB) gelten f�r alle Gesch�ftsbeziehungen zwischen uns und unseren Kunden. Ma�geblich ist jeweils die zum Zeitpunkt des Vertragsabschlusses g�ltige Fassung.

1.2. Der Kunde akzeptiert die ABG f�r alle gegenw�rtigen und zuk�nftigen Gesch�ftsbeziehungen. S�mt-liche Fragen oder Beanstandungen im Zusammenhang mit den AGB oder den diesen zugrunde liegenden Vertr�gen k�nnen in Schriftform (postalisch oder per E-Mail) beim Anbieter...

More Information

Shipping Terms

Die Ware wird in der Regel innerhalb von 3 Tagen nach Bestelleingang verschickt. Bitte entnehmen Sie den voraussichtlichen Liefertermin Ihrer Bestellbest�tigung. Die Versandkostenpauschalen basieren auf Durchschnittswerten f�r 1 kg schwere B�cher. �ber abweichende Kosten (z.B. wegen eines sehr schweren Buches) werden Sie gegebenenfalls vom Verk�ufer informiert.

Shipping rates from Germany to U.S.A.

Shipping rates from Germany to U.S.A.
Order quantity	25 to 45 business days	8 to 14 business days
First item	US$ 11.64	US$ 20.96

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.