Logic Across the University: Foundations and Applications (Studies in Logic)

Modern logic is an active agent all across the university today, connecting disciplines, and transcending traditional boundaries. This book demonstrates this general role in the special setting of a conference at Tsinghua University, where modern logic was already taught in the 1930s by pioneers like Jin Yeulin. This boon contains an unusual dialogue between Chinese logicians and international colleagues representing a wide range of disciplines, including philosophy, mathematics, linguistics computer science, cognitive science, and the social sciences. The focus of this encounter is not only to advance logic in its university-wide role but also to look for its application in modern society.

Johan van Benthem is University Professor of Logic at the University of Amsterdam, Henry Waldgrave Stuart Professor of Philosophy at Stanford University, and Weilun Visiting Professor at Tsinghua University, Beijing. He is the author of Language in Action (1991) and Exploring Logical Dynamics (1996) and an editor of the Handbook of Modal Logic (2006), the Handbook of Spatial Logics (2007) and Philosophy of Information (2008).