Lecture Notes Ser.: Manual of Intensional Logic : 2nd Edition by Johan van Benthem (2002, Trade Paperback)

ThriftBooks (3880921)
99% positive feedback
Price:
US $13.64
ApproximatelyPHP 758.34
+ $7.88 shipping
Estimated delivery Mon, 2 Jun - Wed, 2 Jul
Returns:
No returns, but backed by .
Condition:
Very Good

About this product

Product Identifiers

PublisherCsli Publications/Center for T.H.E. Study of Language & Information
ISBN-100937073296
ISBN-139780937073292
eBay Product ID (ePID)997575

Product Key Features

Number of Pages160 Pages
LanguageEnglish
Publication NameManual of Intensional Logic : 2nd Edition
SubjectLanguage, General, Logic
Publication Year2002
FeaturesRevised
TypeTextbook
Subject AreaMathematics, Philosophy
AuthorJohan Van Benthem
SeriesLecture Notes Ser.
FormatTrade Paperback

Dimensions

Item Height0 in
Item Weight8 Oz
Item Length0.9 in
Item Width0.6 in

Additional Product Features

Edition Number2
Intended AudienceScholarly & Professional
LCCN87-034935
TitleLeadingA
Series Volume Number1
Edition DescriptionRevised edition
SynopsisIntensional 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.
LC Classification NumberBC71.B38 1988
No ratings or reviews yet
Be the first to write a review