A detailed computational model is worked out. Ontological plurality is necessary to couple any theory of time with theories of other domains. The second part of the book deals with temporal discourse. The book covers all the main formal approaches to time in a very technical and comprehensive manner. Intensional logic is useful for semantically explaining intensional contexts in natural language through multiple reference.
Intensional logic provides tools such as tense, modality and conditionals.
Formal descriptions are given of applications such as temporal logic and intuitionistic logic. A lucid treatise on the logical foundations of categorial grammar that covers a broad spectrum, from lambda calculus to the theory of types, from proof theory to model theory. Following Merleau-Ponty's philosophical thought, the authors argue in favor of a stance that views the human body both as matter and as experience, both as a biological entity and a phenomenological entity. In the context of emergence and self-organization, the book finds scientific evidence for the emergent formation of direct experience without the need to posit the existence of a self. The mind is selfless.