29-30 March 2011, Higher-order logic versus set theory, London, U.K.

From a mathematical point of view, higher-order logic (HOL) and set theory have a lot in common; for instance, both allow us to talk about collections of individuals, and there are partial translations in both directions. However, philosophers often argue that HOL and set theory differ in important ways, such as epistemic status and ontological commitments. This workshop aims to assess the relation between HOL and set theory, drawing in part on an examination of the history of these theories.

To register, please email s.florio at bbk.ac.uk. For more information, see http://www.bbk.ac.uk/philosophy/our-research/ppp/w3.