30 Jul - 2 Aug 2020
Munich, Germany
***15th International Conference on Deontic Logic and Normative Systems (DEON
2020), *30^th July ? 2^nd August 2020, Munich Center for Mathematical
Philosophy (MCMP\LMU), Munich, Germany.
In addition to the general themes of the DEON conferences, DEON 2020 will
encourage a special focus on the topic: /Norms in Social Perspective///(cf.
infra).//Keynote speakers will be announced shortly.
Important Dates:
· 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?
*About DEON*
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.
There have been fourteen previous DEON conferences: Amsterdam, December 1991;
Oslo, January 1994; Sesimbra, January 1996; Bologna, January 1998; Toulouse,
January 2000; London, May 2002; Madeira, May 2004; Utrecht, July 2006;
Luxembourg, July 2008; Fiesole, July 2010; Bergen, July 2012; Ghent, July 2014;
Bayreuth, July 2016; and Utrecht, July 2018.
General Themes
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?
*Submis**sion Details*
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:
https://easychair.org/my/conference?conf=deon2020#
<https://easychair.org/my/conference?conf=deon2020>
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.
*Publication*
The proceedings will be published with College Publications. Copies of the
proceedings will be provided to all participants. In addition, there will be
journal post-publications for revised versions of selected papers from the
workshop.
*Chairs of the Program Committee*
Fenrong Liu, Tsinghua University
Alessandra Marra, MCMP/ LMU Munich
Paul Portner, Georgetown University
Frederik Van De Putte, University of Bayreuth and Ghent University
**
*Local Organizing Committee*
Alessandra Marra, MCMP/ LMU Munich (chair of the local organizing committee)
Norbert Gratzl, MCMP/LMU Munich
Hannes Leitgeb, MCMP/LMU Munich
*Co-located Event: *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. Further information will be available on
https://www.mcmp.philosophie.uni-muenchen.de/events/workshops/index.html
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam