He attended Winchester College, before going up to Christ Church, Oxford. Upon graduation he was awarded a fellowship to All Souls College, Oxford. In 1979, he became Wykeham Professor of Logic at Oxford, a post he held until retiring in 1992. During his term as Wykeham Professor, he held a Fellowship at New College, Oxford. He has also held teaching posts at Birmingham University, UC Berkeley, Stanford University, Princeton University, and Harvard University. He won the Rolf Schock prize in 1995, and was knighted in 1999.