Abstract
Like the author's first work, this text again develops two advanced logical systems: the formalization of intensional constructions initiated by Arthur Prior, and the refinement of predicate logic instituted by David Hilbert. This book is more historical than the first, but the emphasis is still on the application of the two systems to problems in analytical metaphysics. The natures of provability and possibility are studied further, as well as the natures of opacity and intensional objects.