Course description Social software is a term coined by Rohit Parikh for the emerging discipline that investigates the logical, computational and strategic aspects of social mechanisms. The course will give an overview of choice topics in this area, and draw connections with game theory, action logic, epistemic logic, and social choice theory.
Point of departure will be a collection of Discourses on Social Software (edited by the two course lectures) that has appeared in Spring 2009 with Amsterdam University Press, in the Texts in Logic and Games series. See Discourses on Social Software.
We will attempt to make copies of the book availabe to the course participants at a discount during ESSLLI.
Each course lecture will be based on one or two of the discourse chapters from the book.