Dummett, Michael, 1925-2011