Handbook of Deontic Logic and Normative Systems
Volumes 1 and 2
Editors: Dov Gabbay, John Horty, Ron van der Meyden, Xavier Parent and Leon van der Torre
Volume 1 out anytime soon! Volume 2 planned for publication in 2014
0) SURVEY. Like all handbooks, the articles will give a survey of the area (2/3) and may also contain a more personal view (1/3). For the survey part, at least the work reported in the DEON conference series should be discussed, all abstracts can be searched on this website
1) FORWARD LOOKING. Instead of a historical overview only, we will make a forward looking volume, focussing on new developments. History is restricted to two chapters.
2) PROBLEM DRIVEN. We distinguish logical problems (permission, counts-as, ctd, dilemmas, etc) from formalisms (SDL, DSDL, input/output logic, etc) and applications (electronic commerce, security, specification and verifiction, norm compliance, normative multiagent systems, etc). In other words, we do not just collect logical systems and subsequent 'problems', but we start from what you can do with deontic logic and formal systems of normative reasoning.
3) NO APPLICATIONS IN VOLUME 1. The first volume is on foundations and a complete draft is ready before next DEON. The second foreseen volume is on appplications and can build on the first one. In general, we do not emphasize the many major areas where deontic ideas play: philosophy, law, computer science, economics, etc. - and then present the logic as an answer to a Genuine Problem: finding the common patterns, allowing for 'trade in ideas'. The applications starting point is not feasible, because applications are not well developed yet (the reason why we put them a second book). Note: this is analogous to the situation for the quantum logic handbook, where they did a second volume on applications
4) NUMBER OF VOLUMES IS OPEN. For example, there may be a third volume on applications in law.
5) BROAD. In the first volume, we want to appeal to all disciplines, including logic, computer science, law, philosophy, linguistics
6) COMPREHENSIVE. It can be as long as it takes, both for chapters as for whole volume. Though there are no page limits, we estimate articles of 50 pages. For each volume, there is a maximum of 820 pages for publishing reasons.
7) CHEAP. It will be published by College Publications (authors keep their copyright), such that it will be cheap (20 pound for the softcover, 25 pounds for the hardcover). Main reason is that the book should be affordable for student courses.
Table of Contents - volume 1
Introduction Part 1 - BACKGROUND
- Deontic logic: a historical survey and introduction (R. Hilpinen and P. McNamara)
- Imperatives logic and its problems (J. Hansen)
- The varieties of permissions (S.O. Hansson)
- Prima facie norms, normative conflicts and dilemmas (L. Goble)
- The theory of normative positions (M. Sergot)
- Constitutive norms and counts as conditionals (D. Grossi and A. Jones)
- Alternative semantics for deontic logic (S.O. Hansson)
- Input/output logic (X. Parent and L. van der Torre)
- The theory of joining systems (L. Lindahl and J. Odelstad)