Retired professor holding a joint chair for Mathematics and Philosophy at Stockholm University until 2009.