15th International Conference on Deontic Logic and Normative Systems (DEON 2020), 30th July – 2nd August 2020
Idea & Motivation
The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts, normative language and normative systems with computer science, artificial intelligence, linguistics, philosophy, organization theory and law.
In addition to the general theme of the DEON conferences, DEON 2020 will encourage a special focus on the topic: Norms in Social Perspective.
- Abstract Submission Deadline: March 8th, 2020
- Paper Submission Deadline: March 15th, 2020
- Notification: May 29th, 2020
- Camera Ready: June 28th, 2020
- Conference: July 30th 2020 – August 2nd 2020
We invite papers concerned with the following topics (non-exclusive list):
- the logical study of normative reasoning, including formal systems of deontic logic, defeasible normative reasoning, logics of action, logics of time, and other related areas of logic
- the formal analysis of normative concepts, normative systems (and their dynamics)
- the formal specification of aspects of norm-governed multi-agent systems and autonomous agents, including (but not limited to) the representation of rights, authorization, delegation, power, responsibility and liability
- the normative aspects of protocols for communication, negotiation and multi-agent decision making
- the formal analysis of the semantics and pragmatics of deontic and normative expressions in natural language, including modals, imperatives, deontic verbs and adjectives, and discourse particles
- advances in formal models of context and discourse structure that aim to explain the use of deontic expressions in natural language, and their significance for communication, action and social structures
- the formal representation of legal knowledge
- the formal specification of normative systems for the management of bureaucratic processes in public or private administration
- applications of normative logic to the specification of database integrity constraints
- game theoretic aspects of deontic reasoning
- emergence of norms, including its logical and computational representation
- deontic paradoxes and their philosophical and linguistic import
- the connection between argumentation theory and normative reasoning, including the role of reasons and justifications
Special Focus: “Norms in Social Perspective”
While deontic logic is still often approached as the logic of objective, agent-independent notions of obligation, permission, and prohibition, there is a growing body of literature on the role of groups, social interaction, and networks in our norms and normative reasoning. The social perspective plays a role in our deontic reasoning in at least three different ways. First, it determines the way norms are adopted and updated. How individual and group agents relate to one another (e.g. via a social network or as part of an institution) is essential for the norms these agents endorse, and for the way their norms change. Second, social interaction is essential for the way normative language is used and interpreted: deontic terms can acquire meaning via social conventions, and we use deontic terms to communicate our ethical stances to one another, and to convince each other of the rationality of certain choices. Third, the social dimension is also essential in the way we evaluate norms: often, obligations cannot be properly explained in terms of a single normative code or one individual agent’s attitudes. Instead, one needs to refer to the preferences, goals, and norms of several agents, and to lift these to the group level in order to specify what ought to be done.
The conference is open to any contribution concerning deontic logic and normative systems. We however particularly welcome all contributions that relate to the special theme. Some examples of questions that can be addressed in connection with the theme are:
- What is the logical structure of social obligations and permissions? How do they relate to individual obligations and permissions?
- How should one interpret the various paradoxes of Standard Deontic Logic from the viewpoint of a social, interactive use of deontic terms?
- What type of norms govern our interaction and in particular, communication? Can we study these norms using (variants of) existing deontic logics?
- How are we to analyse the natural language forms that encode social relations, such as honorifics, address terms and allocative markers, in semantic and pragmatic theory?
- How do social relations, whether grammatically encoded or not, affect the interpretation of deontic and other modal expressions in natural language?
- How does norm change and norm update behave in the presence of networks?
- How do different perspectives on the evaluation of norms in social terms (e.g. individual vs. social, “flat groups” vs. networks of agents, in terms of explicit agreements vs. in terms of a social choice function) cash out in terms of formal logics?
- Can we suitably combine deontic logics and formal frameworks for reasoning about networks? What formal and philosophical hurdles should first be taken in order to merge these two lines of research?
- Can deontic terms such as must, ought, may acquire their meaning via social conventions? Could such a meaning acquisition be captured via a combination of logical and game theoretic tools?
- How do rights and duties of institutions relate to those of their members from a legal and political perspective? How can this relation be represented formally?top
Authors are invited to submit an original, previously unpublished, short research paper pertaining to any of these topics. The paper should be in English, anonymized, and should be no longer than 15 pages when formatted according to the 12pt LaTeX specification that will be sent to all authors of accepted papers. The first page should contain an abstract of no more than ten lines. Authors should submit their papers electronically using EasyChair.
Each submitted paper will be carefully peer-reviewed by a panel of PC members based on originality, significance, technical soundness, and clarity of exposition and relevance for the conference. For each accepted paper, at least one author is required to register for the conference and should plan to present the paper.
The proceedings will be published with College Publications. Copies of the proceedings will be provided to all participants. In addition, there will be post-publications for revised versions of selected papers from the workshop in the Journal of Logic and Computation (Oxford University Press).top
DEON 2020 will be co-located with the Summer School on Mathematical Philosophy for Female Students, to be held in Munich from 26th until 31st July 2020.
Reduced fee (for graduate students): 50 EUR
Regular fee: 80 EUR
Members of the MCMP and LMU: participation free of charge
The conference dinner is not included.
Room W 201
If you need help finding the venue or a particular room, you might consider using the LMU's roomfinder, a mobile web app that lets you display all of the 22.000 rooms at the 83 locations of the LMU in Munich.
Chairs of the Program Committee
Local Organizing Committee
DEON Steering Committee
Jan Broersen (Utrecht University) - Chair
John Horty (University of Maryland) - Vice Chair
Christoph Benzmueller (Freie Universität Berlin)
Cleo Condoravdi (Stanford University)
Melissa Fusco (Colombia University)
Beishui Liao (Zhejiang University)
Juliano Maranho (University of São Paulo)
Alessandra Marra (MCMP\LMU Munich)
Paul McNamara (University of New Hampshire)
Joke Meheus (Ghent University)
Gabriella Pigozzi (Université Paris-Dauphine)
Paul Portner (Georgetown University)
Antonino Rotolo (University of Bologna)
Oliver Roy (Universität Bayreuth)
Leon van der Torre (University of Luxembourg)
Malte Willer (University of Chicago)