RW: Philosophy of Logic & Foundations of Mathematics

Philosophy & Mathematics Research Workshop 2: Abstraction, Identity, Dependence & Games

Friday 11 December 2009, 09:00 - 17:00
Music Room, Burwalls Centre For Continuing Education, Bridge Road, Leigh Woods, Bristol BS8 3PD

Speaker(s): Oystein Linnebo (Bristol), Philip Welch (Bristol), Leon Horsten (Bristol) & Crispin Wright, (New York and St Andrews).

The IAS Logo by Susan Jim

IAS Philosophy of Logic and Foundations of Mathematics Research Workshop Series

Workshop 2: Abstraction, Identity, Dependence and Games

Convener: Professor Leon Horsten, Department of Philosophy

Abstraction principles determine identity conditions for kinds of abstract objects (such as numbers, classes, propositions). But associated with each abstraction principle is an ontological dependence relation. This dependence relation explicates the way in which numerical identities and differences between abstracta depend on identities and differences between other abstracta. This gives rise to a notion of groundedness of identities and differences between abstracta that is not yet very well understood. It is expected that the notion of ontological dependence and the associated notion of groundedness can be mathematically described using techniques from the theory of infinite games. And it is hoped that philosophical puzzles about the perceived circularity of certain abstraction principles can be resolved through a precise investigation of the dependence relation.

Key speakers: Oystein Linnebo (Bristol), Philip Welch (Bristol), Leon Horsten (Bristol) Crispin Wright, (New York and St Andrews).

For further details of this meeting, please contact Leon Horsten. For further details of this IAS Resaerch Workshop series please visit our Philosophy of Logic and Foundations of Mathematics: Applying Mathematical Methods to Foundational Problems webpage.