Practice-based Philosophy of Logic and Mathematics, 31 August – 2 September (The Reasoner, 2009)