In 2022, the University of Southern California hosted HOMeWork 3. Immediately preceding the workshop, there were also two NASSLLI2022 bootcamps, which provided useful philosophical and technical background:
- Introduction to non-extensional higher-order logics and their applications to propositional attitudes
(Cian Dorr & Harvey Lederman) - Introduction to propositional quantifiers
(Peter Fritz)
Sat Jun 25 |
Sun Jun 26 |
|
|---|---|---|
| 9:30AM–11:00AM | Keynote: "Being Hesperus and being Phosphorus" Michael Caie (Toronto) |
"Truthmakers for higher-order ontology" Alice van't Hoff (Princeton) |
| 11:10AM–12:40PM | "Definition by proxy" Sam Elgin (UCSD) |
"Essence and grain" Andreas Ditter (MIT) |
| 2:00PM–3:30PM | "Truthmaker semantics as metaphysics" Ethan Russo (NYU) & Cian Dorr (NYU) |
Keynote: "The continuum hypothesis and higher-order modal metaphysics" Andrew Bacon (USC) |
| 3:45PM–5:00PM | "Typed composition as typed identity" Isaac Wilhelm (NUS) |
Organizer: Jeremy Goodman (USC)
