lambda
In 2018, the University of Birmingham hosted HOMeWork 3, themed "Identity and Quantification".

Mon Dec 17
Tue Dec 18
"Classical Opacity"
Jeremy Goodman (USC)
"Against Fregean Predicate Logic"
Brian Rabern (Edinburgh)
"A Theory of Essence"
Andreas Ditter (NYU)
"Modal Semantics and Higher-Order Metaphysics"
Bruno Jacinto (St Andrews)
"Type Theory and the Question of Expressibility"
Øystein Linnebo (Oslo)

Organizer: Nicholas Jones (Birmingham)


universal-quantifier