In 2023, St John's College, University of Oxford hosted HOMeWork 6.
Mon Jul 3 |
Tue Jul 4 |
|
|---|---|---|
| 9:30AM– 10:50AM |
Chair: Andreas Ditter (Oxford)
"Lifting The Veil Of Type Distinctions: A Progress Report"
Øystein Linnebo (Oslo) |
Chair: Nicholas Jones (Oxford)
|
| 11:10AM– 12:30PM |
Chair: Harvey Lederman (UT-Austin)
"Maximalist Design"
Maegan Fairchild (Michigan) |
Chair: Bruno Whittle (UW-Madison)
"Frege Meets Calder: Exploring A Non-Linear Higher-Order Language"
Jeremy Goodman (USC) |
| 1:30PM– 2:50PM |
Chair: Annina Loets (Humboldt)
"Higher-Order Anti-Metaphysics"
Juhani Yli-Vakkuri (Dianoia) |
Chair: Michael Caie (Toronto)
"Higher-Order Logic And Mathematical Precision"
Tim Button (UCL) |
| 3:10PM– 4:30PM |
Chair: Chris Scambler (Oxford)
"A Neutralist Semantics For Quantification"
Lavinia Picollo (NUS) |
Chair: Lukas Skiba (Bergen)
"Generating Propositions, Properties, and Relations"
Jon Erling Litland (UT-Austin) |
| 4:50PM– 6:10PM |
Chair: Beau Mount (Oxford)
"Higher-Order Quantification and Natural Language Property-Talk"
Cian Dorr (NYU) |
Chair: Alexander Roberts (Oxford)
"Heuristics and Hyperintensional Metaphysics"
Timothy Williamson (Oxford) |
Organizers: Andreas Ditter (Oxford); Nicholas Jones (Oxford); Alexander Roberts (Oxford)
