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.

Code:

http://www.fileserve.com/file/BUpygfc
http://www.filesonic.com/file/50102832/A_Manual_of_Intensional_Logic_2nd.rar


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