Michael Dummett was an English philosopher of logic (1925-2011).