I am interested in the various techniques we use in metaphysics to evaluate metaphysical claims, arguments, or theories. I have a special interest in the use of modal logic and formal languages in metaphysics. In my research, I consider how such techniques — or how certain methodological choices that we make — constrain and inform what we can say about the world. I argue in favor of the general use of higher-order intensional languages for the purposes of reasoning in metaphysics, and investigate various issues in metaphysics using such languages. I give considerable attention to issues involving modality, laws of nature, intensionality, identity, existence, propositions, logical atomism, grounding, and the relation between the mental and the physical.

Papers

• A paper on modal principles governing the grounding relation. Draft.

• A paper on relative objective modality (In Progress)

• A paper on laws of nature (In Progress)

• A paper on higher-order modal logic (In Progress)

• A paper defending necessitism (In Progress)

• A paper on higher-order logic, intensionality, logical atomism, and ground (In Progress)