Logics for Social Behaviour

********* TOPIC AND AIMS *********** This workshop is aimed at starting new scientific collaborations among researchers in the following communities: (a) mathematical logicians using algebraic, topological and category-theoretic methods for nonclassical logics; (b) researchers in social choice and judgment aggregation interested in applying logical methods. While researchers in group (a) are mostly unfamiliar with social choice as a potential field of application of their specific results and techniques, researchers in group (b) have mostly been exposed to only a fragment of the available logical formalisms and techniques, namely to those pertaining to classical logic and model theory, and have largely not been exposed to the results and techniques in the area of group (a). The many possibilities for applying nonclassical logics and their surrounding mathematical theory (duality theory, algebraic, topological, and category-theoretic methods) to social choice and judgment aggregation form an uncharted research territory which the workshop aims at exploring.

********* STRUCTURE OF THE WORKSHOP ******** Towards this goal, rather than displaying the standard organization, the present workshop is structured around the following activities: (i) tutorial sessions, aimed at creating a necessary common ground of core notions between the two communities; (ii) discussion sessions, led by a first discussant, who introduces the topic with a 10-minute presentation at the beginning of the session, making use of the bases provided by the tutorials. The discussion sessions are aimed at expanding and sharpening the common language introduced in the tutorials, at formulating hypotheses, and at developing connections between notions and results in judgment aggregation and methods in duality theory and neighbouring areas; (iii) work sessions, in which the participants are encouraged to meet in smaller groups and discuss concrete research directions emerged during the discussion sessions.