Higher-order metaphysics is a growing movement at the intersection of metaphysics and philosophical logic. It is characterized by the use of higher-order formal languages in philosophical theorizing—typically in metaphysics, but with important applications in the philosophy of language and mind. Since 2016, a series of workshops have provided a dedicated venue for philosophers working in higher-order metaphysics to share their research and engage with a wider community. HOMeWork 9 will continue this tradition at Johns Hopkins University on September 25–26, 2026 (Friday—Saturday).

If you have any questions, please email [email protected].

Conference Schedule:

Friday 25 September

10:00AM– 11:30AM: Alexander Roberts, "On Gödel on Cantor on Size"

11:40AM– 1:10PM: Jin Zeng, "Grounding and Granularity"

2:30PM– 4:00PM: Michael Caie, "Higher-Order Senses"

4:20PM– 5:50PM: AI for Higher-Order Metaphysics (ROUNDTABLE)

Saturday 26 September

10:00AM– 11:30AM: Hao Yang, "A Logicist Account of Metaphysical Definability"

11:40AM– 1:10PM: Jacob Lettie, "Nominalism and Dissolution Arguments in Higher-Order Metaphysics"

2:30PM– 4:00PM: Zachary Goodsell, "Possibility in Intuitionistic Higher-Order Logic"

4:20PM– 5:50PM: Progress Reports in Open Questions (LIGHTNING TALKS)

Conference Website (containing the registration link):

https://higherordermetaphysics.github.io