Formal Epistemology Festival, 2–5 June (The Reasoner, 2013)