A Manual of Intensional Logic Volume 1

van Benthem, Johan:

ISBN 10: 093707330X / ISBN 13: 9780937073308

Editore: Stanford, California : Center for the Study of Language and Information, 1988

Riguardo questo articolo

IX, 135 Seiten CSLI Lecture Notes 1 - Innen sauberer, guter Zustand. Leineneinband, mit den üblichen Bibliotheks-Markierungen, Stempeln und Einträgen, innen wie außen, siehe Bilder. (Evtl. auch Kleber- und/oder Etikettenreste, sowie -abdrücke durch abgelöste Bibliotheksschilder). Einband sehr gut erhalten. In Englischer Sprache B10-03-04D|S95 Sprache: Englisch Gewicht in Gramm: 425. Codice articolo 81597

Dati bibliografici

Titolo: A Manual of Intensional Logic Volume 1

Casa editrice: Stanford, California : Center for the Study of Language and Information

Data di pubblicazione: 1988

Legatura: 23 x 15,5 cm

Condizione: Gut

Edizione: 2. Edition Revised and Expanded.

Descrizione articolo

Riassunto:

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.