A Manual of Intensional Logic (Center for the Study of Language and Information Publication Lecture Notes, Band 1)

Benthem, Johan F. A. K. van

ISBN 10: 0937073296 / ISBN 13: 9780937073292

Published by Center for the Study of Language and Inf, 2002

About this Item

Ausreichend/Acceptable: Exemplar mit vollständigem Text und sämtlichen Abbildungen oder Karten. Schmutztitel oder Vorsatz können fehlen. Einband bzw. Schutzumschlag weisen unter Umständen starke Gebrauchsspuren auf. / Describes a book or dust jacket that has the complete text pages (including those with maps or plates) but may lack endpapers, half-title, etc. (which must be noted). Binding, dust jacket (if any), etc may also be worn.

Seller Inventory # M00937073296-B

Bibliographic Details

• Title: A Manual of Intensional Logic (Center for the Study of Language and Information Publication Lecture Notes, Band 1)
• Publisher: Center for the Study of Language and Inf
• Publication Date: 2002
• Language: English
• ISBN 10: 0937073296
• ISBN 13: 9780937073292
• Binding: Soft cover
• Edition: 2nd Edition
• Condition: acceptable

About this title

Synopsis

Intensional logic is the technical study of such intensional phenomena in human reasoning as modality, knowledge, or flow of time. These all require a richer semantic picture than standard truth values in one static environment. Such a picture is provided by so-called possible worlds semantics, a paradigm which is surveyed in this book, both as to its external sources of motivation and as to the internal dynamics of the resulting program. In particular, Manual of Intensional Logic presents the major classical topics, including modal logic, tense logic, and conditional logic, all of which illustrate motivations coming from philosophy and linguistics. The Book also discusses recent computational applications in computer science and AI. Finally, Manual of Intensional Logic takes up recent developments in the study of language and information making themselves felt in the area. The Book examines the role of partial information--with illustrations drawn from different branches of Intensional Logic--and various influences stemming from current theories of the semantics of natural language, involving generalized quantifiers and theories of types.

About the Author

Johan van Benthem is the University Professor of logic, emeritus at the University of Amsterdam, the Henry Waldgrave Stuart Professor of Philosophy at Stanford University, and  the Jin Yuelin Chaired Professor of Logic at Tsinghua University Beijing.