People Affiliated Faculty and Academic StaffAdministrationPostdoctoral ScholarsGraduate StudentsAdvising FellowsAward Recipients Toggle Award Recipients Stanford Honors Thesis Prizes - Symbolic Systems RecipientsGlushko Prize for Excellence in Undergraduate Research in Symbolic SystemsBarwise Award for Distinguished Contributions to Symbolic SystemsSymbolic Systems Distinguished Teaching Award Main content start Johannes van Benthem Henry Waldgrave Stuart Memorial Professor Concentration Advising in: Applied Logic Cognitive Science Decision Making and Rationality Natural Language Philosophical Foundations Academic Appointments Professor, Philosophy Contact External Profile Stanford Profile Research Interests