A Manual of Intensional Logic (Paperback, 2nd Revised edition)

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.

General

Imprint:	Centre for the Study of Language & Information
Country of origin:	United States
Series:	Center for the Study of Language and Information Publication Lecture Notes, 1
Release date:	November 2002
Authors:	Johan F. A. K. van Benthem
Dimensions:	228 x 152 x 12mm (L x W x T)
Format:	Paperback - Trade
Pages:	145
Edition:	2nd Revised edition
ISBN-13:	978-0-937073-29-2
Categories:	Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic Promotions
LSN:	0-937073-29-6
Barcode:	9780937073292

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!