Xixi Logic Seminars #31

Speaker: Johan van Benthem, Amsterdam, Stanford & Tsinghua
http://staff.fnwi.uva.nl/j.vanbenthem
Date & Time: 25 April 2016 (Monday), 13:30 – 15:00
Place: Cafe in the Administrative Building, Xixi campus, Zhejiang University

Computation as Social Agency: What and How

The Turing machine paradigm of the 1930s abstracted away from computing by human agents, in a fruitful manner that focused on what is computable in principle. But the agents have struck back. Modern computation may be seen as agency in social networks with many communication links, and a wide range of available actions. We will discuss the resulting trends under the general headings of ‘epistemization’ and ‘gamification’, bringing in connections with fields as far apart as philosophy, argumentation theory, social sciences, and economic game theory. The key logical issue then shifts from the what to the how of behavior.

Handout: 2016.Hangzhou.JB