A Manual of Intensional Logic

Center for the Study of Language and Inf | 1988 | ISBN: 093707330X | 160 pages | PDF | 30 MB

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.



Bạn có thích bài viết này không?