|Current Workshop | Overview||Back | Home | Search ||
Logics for Social Behaviour
Description and Aims The workshop brought together logicians using non-classical (algebraic, topological, and category-theoretic) methods and researchers in social choice and judgment aggregation. On the one hand, the workshop intended to raise the interest of logicians applying duality-theoretic methods, and more in general, researchers in algebraic, topological and category-theoretic methods in non-classical logics, to the existence of promising areas of application of their methods and techniques in social choice and judgment aggregation. On the other hand, the workshop aimed at making researchers in social choice and judgment aggregation aware of the existence of a wide array of non-classical methods in logic, which are designed to overcome specific inadequacies of classical logic in formalizing certain real-life situations. Both aims have been fulfilled.
Format of the Workshop In order to foster interaction between the two communities, the program was divided into tutorials, discussion groups and work sessions, and augmented by two keynote lectures on the last day. To give PhD students a forum, we started o_ on Monday with 5 presentations of 10 min by PhD students. Tutorials on probabilistic pooling (Wagner) and judgment aggregation (Davide Grossi/ Gabriella Pigozzi) introduced logicians to social choice, whereas tutorials on logic suggested the important idea of compositionality as a basis for a theory of social interaction (Bob Coecke) and presented a novel approach on how to build a theory of games starting from the notion of game homomorphism (Hyland). This was supplemented by a tutorial reporting on recent advances in related interdisciplinary investigations into program semantics and economics (Viktor Winschel).
Discussion groups had an assigned leader who prepared a short introduction and then opened the door for discussion. The topic of the working groups were suggested by the participants.
Outcomes The format of the workshop facilitated extended discussions between the participants and helped the two communities to find a common language. Non-classical logicians were encouraged to use their expertise to study the effect of non-classical logics on impossibility theorems and to bring in algebraic and categorical techniques. In another direction, using techniques from logic and computer science, the principle of compositionality could be used to study complex ways of judgment aggregation.
Highlights One of the highlights of the workshop was the long work session of Thursday afternoon, in which various discussions on topics ranging from introductory to advanced took place. All participants engaged, and gave enthusiastic feedback. More in general, participants declared the workshop a success and look forward to other similar installments, such as the upcoming conference Trends in Logic XV, 29 June – 3 July 2015, organized by the research group of Applied Logic at the Delft University of Technology.