Dynamics we can believe in

a view from the Amsterdam school on the centenary of Evert Willem Beth

Cédric Dégremont

Jonathan Zvesper

pp. 223-238

in: Johan van Benthem, Theo A. Kuipers, Henk Visser (eds), Logic and philosophy of science in the footsteps of E. W. Beth, Synthese 179 (2), 2011.

Abstract

Logic is breaking out of the confines of the single-agent static paradigm that has been implicit in all formal systems until recent times. We sketch some recent developments that take logic as an account of information-driven interaction. These two features, the dynamic and the social, throw fresh light on many issues within logic and its connections with other areas, such as epistemology and game theory.

Cited authors

Beth Evert W