In this paper, I lay the groundwork for a new account of progress in metaphysics, the ‘tool building approach’. The account is born out of a response to the problem of theory-change for naturalistic metaphysics. Kerry McKenzie (2020) makes clear the problem of theory-change for naturalistic metaphysics. She argues that naturalistic metaphysical theories cannot make progress on the back of scientific theories because metaphysical theories cannot be approximately true. First, I apply a well-known account of scientific progress, the truthlikeness account (...) of progress, to theories in metaphysics in order to show that metaphysics can make progress on such an account. This account, however, will not fully address the issue of radically changing theories over theory-change. Then, I offer a new account of progress in metaphysics, the tool building approach, that specifies the progress metaphysics makes even if our best naturalistic theories in metaphysics radically change. (shrink)

Categorial logic, as its name suggests, applies the techniques and machinery of category theory to topics traditionally classified as part of logic. We claim that these tools deserve attention from a greater range of philosophers than just the mathematical logicians. We support this claim with an example. In this paper we show how one particular tool from categorial logic---hyperdoctrines---suggests interesting metaphysics. Hyperdoctrines can provide semantics for quantified languages, but this account of quantification suggests a metaphysical picture quite different from the (...) one suggested by standard model-theoretic semantics. (shrink)