Smith‘s ambitious project begins as a search for a comprehensive theory of computation, able to do empirical justice to practice and conceptual justice to the computational theory of mind. A rigorous commitment to these two criteria ultimately leads him to recommend a radical overhaul of our traditional conception of metaphysics.
Along the way, Smith offers many fascinating ideas: the distinction between particularity and individuality, the methodological notion of an “inscription error,” an argument that there are no individuals within physics, various deconstructions of the type-instance distinction, an analysis of formality as overly disconnected (“discreteneks run amok”), a conception of the boundaries of objects as properties of unruly interactions between objects and subjects, an argument for the theoretical centrality of reference preservation, and a theatrical, acrobatic metaphor for the contortions involved in the preservation of reference and resultant stabilization of objects. Sidebars and diagrams throughout the book help clarify and guide Smith‘s highly original and compelling argument.