Abstract

Ladyman and Ross argue that analytic metaphysics is a misguided enterprise that should give way to a naturalized metaphysics that aims to reconcile everyday and special-scientific ontologies with fundamental physics as the authoritative source of knowledge on the general structure of the universe. Le Bihan and Barton (argue, as against this, that analytic metaphysics remains useful as a basis for the body of work in AI known as “applied ontology.” They stop short of claiming, however, that analytic metaphysics is useful as metaphysics. I consider a basis for making the stronger claim: Smith's project for building what he claims to be metaphysical foundations for applied ontology (and for AI generally). Ultimately, the stronger claim is rejected; but in the course of this dialectic new aspects of the naturalistic metaphysical project come to light, including relationships between it and the traditional metaphysical project of providing foundations for philosophical semantics of truth and reference.