A Manual of Intensional Logic

Stanford, CA, USA: Center for the Study of Language and Information Publications (1988)
  Copy   BIBTEX

Abstract

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.

Other Versions

edition van Benthem, Johan (2002) "A Manual of Intensional Logic: 2nd Edition". Center for the Study of Language and Inf

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 103,748

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2015-02-02

Downloads
52 (#451,426)

6 months
13 (#236,341)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Johan Van Benthem
University of Amsterdam

Citations of this work

The modal logic of agency.Dag Elgesem - 1997 - Nordic Journal of Philosophical Logic 2:1-46.
II—Peter Milne: What is the Normative Role of Logic?Peter Milne - 2009 - Aristotelian Society Supplementary Volume 83 (1):269-298.
Intensional logic.Melvin Fitting - 2008 - Stanford Encyclopedia of Philosophy.
Under Carnap’s Lamp: Flat Pre-semantics.Nuel Belnap - 2005 - Studia Logica 80 (1):1-28.

View all 9 citations / Add more citations

References found in this work

No references found.

Add more references