Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

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

Date: 29-30 March 2011
Location: 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 . For more information, see http://www.bbk.ac.uk/philosophy/our-research/ppp/w3.

Please note that this newsitem has been archived, and may contain outdated information or links.