12-15 Jul 2014
Gent, Belgium
12th International Conference on Deontic logic and Normative Systems 12-15 July 2014, Ghent, Belgium http://www.deon2014.ugent.be [co-located with TiL 2014] The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts and normative systems with computer science, artificial intelligence, philosophy, organization theory and law. In addition to these general themes, DEON 2014 will have a special focus on the topic: Deontic modalities in natural language There have been eleven 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. This DEON will be colocated with the 2014 edition of TiL (Trends in Logic), 8 July - 11 July, same venue: http://entiaetnomina.blogspot.be/p/trends-in-logic-xiv.html ========= PROGRAM ========= Keynotes ????????? Sat, July 12 ?????????? ? Magdalena Kaufmann: Fine-tuning natural language modality. Sun, July 13 ???????????? ? Brian Skyrms: Emergence of Meaningful Signals. Mon, July 14 ???????????? ? Paul McNamara: Toward a More Fine-Grained Conceptual Scheme for Moral Statuses. Tue, July 15 ???????????? ? Sven Ove Hansson: Deontic Diversity. Contributed Speakers ???????????????????? Sat, July 12 ???????????? ? Alex Silk: Modality, Weights, and Inconsistent Premise Sets. ? Gunnar Björnsson and Robert Shanklin: Ought, Must, and the Structure of Standards. ? Nathan Howard: Dynamic Uses of Ought and Must. ? Alessandra Marra: For a Dynamic Semantics of Ought. ? Martin Rechenauer and Olivier Roy: The Logical Structure of Scanlon?s Contractualism. ? Justin Snedegar: Deontic Reasoning Across Contexts. Sun, July 13 ???????????? ? Peter Vranas: Natural Deduction for Imperative Logic I: Sentential Pure Imperative Logic. ? Eugenio Orlandelli: Proof Analysis in Deontic Logics. ? Christian Straßer and Ofer Arieli: Sequent-Based Argumentation for Normative Reasoning. Mon, July 14 ???????????? ? Justin Bledin: Modus Ponens Defended. ? Dov Gabbay, Livio Robaldo, Xin Sun, Leendert van der Torre and Zohreh Baniasadi: Towards a Linguistic Interpretation of Deontic Paradoxes. ? Erica Calardo, Guido Governatori and Antonino Rotolo: A Preference-Based Non-Normal Semantics for CTD Reasoning. ? Catharine Saint Croix and Richmond Thomason: Chisholm?s Paradox and Conditional Oughts. ? Robert Trypuz and Piotr Kulicki: A Deontic Logic of Actions and States. ? Federico L. G. Faroldi: Denial of Responsibility and Normative Negation. Tue, July 15 ???????????? ? Melissa Fusco: Factoring Disjunction out of Deontic Modal Puzzles. ? Albert Anglberger, Huimin Dong and Olivier Roy: Open Reading Without Free Choice. ? Xavier Parent and Leendert van der Torre: ?Sing and Dance!?. Input/Output Logics Without Weakening. ? Xin Sun and Leendert van der Torre: Combining Regulative and Constitutive Norms in Input/Output Logic. ? Regis Riveret, Alexander Artikis, Didac Busquet and Jeremy Pitt: A Self-Governance by Transfiguration of Learning into Prescriptions. ? Silvano Colombo Tosatto, Guido Governatori and Pierre Kelsen: Detecting Deontic Conflicts in Dynamic Settings. ======= Publication ======= Copies of the workshop proceedings will be provided to all participants. The proceedings will be published with Springer in their LNCS/LNAI series. During the conference, Springer will also provide temporary free access to the online version of the proceedings on SpringerLink. In addition, we anticipate that revised versions of selected papers from the workshop will subsequently be published in a special issue of the deontic corner of the Journal of Logic and Computation. ========= Program Chairs ========= Fabrizio Cariani, Northwestern University Davide Grossi, University of Liverpool Joke Meheus, Ghent University Xavier Parent, University of Luxembourg & University of Aix-Marseille, Ceperc ========================== Chairs of the Local Organizing Committee ========================== Christian Straßer (Ghent University) Erik Weber (Ghent University)