This book investigates the logical foundations of modality and the ontological implications of possible worlds semantics. Graeme Forbes, a scholar in analytic philosophy, synthesizes complex logical frameworks to address the nature of necessity and possibility. He argues for a unified theory of essential properties, grounded in the doctrine that identity facts must be intrinsically grounded, while systematically evaluating and refuting potential counterexamples to this position.

Experts recognize this work as a significant contribution to the literature on modal metaphysics and the philosophy of logic. Readers frequently note the technical density of the prose, which requires a strong background in formal logic to fully appreciate the author's arguments.