'Johan van Benthem elected member of American Academy and is Emeritus University Professor of Pure and Applied Logic, University of Amsterdam, and Henry Waldgrave Stuart Professor of philosophy, Stanford University.'