He was the winner of the 2003 Schock Prize in Logic and Philosophy
This article is a stub. You can help Wikipedia by fixing it.