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. Supported by the New York Institute of Philosophy, HOMeWork 8 will continue this tradition at New York University on November 15–16, 2025 (Saturday—Sunday).

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

Conference Schedule:

Saturday 15 November

10:00AM– 11:30AM: Andrew Bacon, "Logics of Metaphysical Definition"

11:40AM– 1:10PM: Lingzhi Shi, "Transparency Without Exportability"

2:30PM– 4:00PM: William Nava, "Horizontal Fregeanism"

4:20PM– 5:50PM: Robert Trueman & Tim Button, "Why Sum Types, or Even Some Types at All?"

Sunday 16 November

10:00AM– 11:30AM: Antonio Maria Cleani, "Quantificationalism and the Intelligibility of Free Higher-order Quantifiers"

11:40AM– 1:10PM: Verónica Gómez Sánchez & Ezra Rubenstein , "Logical Atomism"

2:30PM– 4:00PM: Zachary Goodsell & Neil Barton, "Some Consistency Results for Contingent Mathematics"

4:20PM– 5:50PM: Open Questions in Higher-Order Metaphysics (ROUNDTABLE)

Conference Website (containing the registration link):

https://higherordermetaphysics.github.io