Sir Michael Anthony Eardley Dummett, 1925-2011