Skip to main content
SpringerLink
Log in

The Geometry of Standard Deontic Logic

  • Published:
Logica Universalis Aims and scope Submit manuscript

Abstract

Whereas geometrical oppositions (logical squares and hexagons) have been so far investigated in many fields of modal logic (both abstract and applied), the oppositional geometrical side of “deontic logic” (the logic of “obligatory”, “forbidden”, “permitted”, . . .) has rather been neglected. Besides the classical “deontic square” (the deontic counterpart of Aristotle’s “logical square”), some interesting attempts have nevertheless been made to deepen the geometrical investigation of the deontic oppositions: Kalinowski (La logique des normes, PUF, Paris, 1972) has proposed a “deontic hexagon” as being the geometrical representation of standard deontic logic, whereas Joerden (jointly with Hruschka, in Archiv für Rechtsund Sozialphilosophie 73:1, 1987), McNamara (Mind 105:419, 1996) and Wessels (Die gute Samariterin. Zur Struktur der Supererogation, Walter de Gruyter, Berlin, 2002) have proposed some new “deontic polygons” for dealing with conservative extensions of standard deontic logic internalising the concept of “supererogation”. Since 2004 a new formal science of the geometrical oppositions inside logic has appeared, that is “n-opposition theory”, or “NOT”, which relies on the notion of “logical bi-simplex of dimension m” (m = n − 1). This theory has received a complete mathematical foundation in 2008, and since then several extensions. In this paper, by using it, we show that in standard deontic logic there are in fact many more oppositional deontic figures than Kalinowski’s unique “hexagon of norms” (more ones, and more complex ones, geometrically speaking: “deontic squares”, “deontic hexagons”, “deontic cubes”, . . ., “deontic tetraicosahedra”, . . .): the real geometry of the oppositions between deontic modalities is composed by the aforementioned structures (squares, hexagons, cubes, . . ., tetraicosahedra and hyper-tetraicosahedra), whose complete mathematical closure happens in fact to be a “deontic 5-dimensional hyper-tetraicosahedron” (an oppositional very regular solid).

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Bailhache P.: Essai de logique déontique. Vrin, Paris (1991)

    Google Scholar 

  2. Barcan Marcus, R.: Iterated deontic modalities. In: Modalities. Philosophical Essays. Oxford University Press, Oxford (1993)

  3. Béziau J.-Y.: New light on the square of oppositions and its nameless corner. Log. Investig. 10, 218–233 (2003)

    Google Scholar 

  4. Blanché R.: Sur l’opposition des concepts. Theoria 19, 89–130 (1953)

    Article  Google Scholar 

  5. Blanché R.: Opposition et négation. Revue Philosophique 167, 187–216 (1957)

    Google Scholar 

  6. Blanché, R.: Structures intellectuelles. Essai sur l’organisation systématique des concepts. Vrin, Paris (1966)

  7. Carnielli W.A., Pizzi C.: Modalità e multimodalità. Franco Angeli, Milano (2001)

    MATH  Google Scholar 

  8. Chellas B.: Modal Logic: An Introduction. Cambridge University Press, Cambridge (1980)

    MATH  Google Scholar 

  9. Gardies J.-L.: La logique du temps. PUF, Paris (1975)

    Google Scholar 

  10. Gardies J.-L.: Essai sur la logique des modalités. PUF, Paris (1979)

    Google Scholar 

  11. Grana N.: Logica deontica paraconsistente. Liguori, Napoli (1990)

    Google Scholar 

  12. Hruschka J., Joerden J.C.: Supererogation: Vom deontologischen Sechseck zum deontologischen Zehneck. Zugleich ein Beitrag zur strafrechtlichen Grundlagenforschung. Archiv für Rechts- und Sozialphilosophie 73(1), 104–120 (1987)

    Google Scholar 

  13. Hughes G.E., Cresswell M.J.: A New Introduction to Modal Logic. Routledge, London (1996)

    MATH  Google Scholar 

  14. Kalinowski G.: La logique des normes. PUF, Paris (1972)

    Google Scholar 

  15. Kalinowski, G.: La logique déductive. Essai de présentation aux juristes. PUF, Paris (1996)

  16. Leibniz, G.W.: Le droit de la raison (texts selected by R. Sève), Vrin, Paris (1994)

  17. Leibniz G.W.: Scritti di logica. I. Laterza, Roma-Bari (1992)

    Google Scholar 

  18. Lokhorst, G.-J.: Mally’s Deontic Logic, Stanford Encyclopedia of Philosophy, 2008 (2002)

  19. Luzeaux D., Sallantin J., Dartnell C.: Logical extensions of Aristotle’s square. Logica Universalis 2–1, 167–187 (2008)

    Article  MathSciNet  Google Scholar 

  20. Mares E., McNamara P.: Supererogation in Deontic Logic: Metatheory for DWE and Some Close Neighbours. Studia Logica 57, 397–415 (1997)

    Article  MathSciNet  Google Scholar 

  21. McNamara P.: Making room for going beyond the call. Mind 105, 419 (1996)

    Article  MathSciNet  Google Scholar 

  22. McNamara P.: Doing Well Enough: Toward a Logic for Common-Sense Morality. Studia Logica 57(1), 167–192 (1996)

    Article  MATH  MathSciNet  Google Scholar 

  23. McNamara, P.: Deontic logic. Stanford Encyclopedia of Philosophy, (2006) (internet)

  24. Moretti A.: Geometry for Modalities? Yes: through ‘n-Opposition Theory’. In: Béziau, J.Y., Costa-Leite, A., Facchini, A. (eds) Aspects of Universal Logic, University of Neuchâtel, Neuchâtel (2004)

    Google Scholar 

  25. Moretti, A.: The Geometry of Logical Opposition. PhD Thesis, University of Neuchâtel, Switzerland (2009)

  26. Moretti, A.: Correcting a mistaken deontic hexagon through n-opposition theory (N.O.T.) (to be submitted)

  27. Moretti, A.: Correcting McNamara’s “deontic dodecagon for DWE”: through NOT. In: Proceedings of the VAF 2009 Conference, Tilburg, in a special issue of Logique et Analyse (submitted)

  28. Moretti, A.: The logical 4-dimensional hyper-tetraicosahedron (draft)

  29. Moretti, A.: New light on the Priest–Slater–Béziau debate on paraconsistent geometry: it leads beyond Suszko. In: Proceedings of the 4th World Congress of Paraconsistency, Melbourne, Australia, July 2008 (submitted)

  30. Moretti, A., Pellissier, R.: Expanding ‘n-Opposition Theory’: the Series of the Logical βn-structures (draft)

  31. Parsons, T.: The traditional square of opposition. Stanford Encyclopedia of Philosophy (2006) (internet)

  32. Pellissier R.: Setting n-Opposition. Logica Universalis 2-2, 235–263 (2008)

    Article  MathSciNet  Google Scholar 

  33. Pellissier, R.: 2-Opposition and the topological hexagon (forthcoming)

  34. Piaget, J.: Le structuralisme. PUF, Paris, 1992 (1968)

  35. Popkorn S.: First Steps in Modal Logic. CUP, Cambridge (1994)

    MATH  Google Scholar 

  36. Priest, G.: In Contradiction: A Study of the Transconsistent. Clarendon Press, Oxford, 2006 (1987)

  37. Sesmat A.: Logique II. Les raisonnements, la logistique. Hermann, Paris (1951)

    Google Scholar 

  38. Seuren, P.A.M.: The Victorious Square. A Study of Natural Predicate Logic (2007) (draft)

  39. Smessaert, H.: On the 3D visualisation of logical relations (forthcoming)

  40. Wessels U.: Die gute Samariterin. Zur Struktur der Supererogation. Walter de Gruyter, Berlin (2002)

  41. Wessels U.: Und es gibt doch Supererogationslöcher. Jahrbuch für Recht und Ethik 12, 511–528 (2004)

    Google Scholar 

  42. von Wright, G.H.: Norm and Action. A Logical Enquiry. Routledge and Kegan Paul, London (1963)

Download references

Author information

Authors and Affiliations

  1. Institute of Philosophy, University of Neuchâtel, 2000, Neuchâtel, Switzerland

    Alessio Moretti

Authors
  1. Alessio Moretti
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Alessio Moretti.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Moretti, A. The Geometry of Standard Deontic Logic. Log. Univers. 3, 19–57 (2009). https://doi.org/10.1007/s11787-009-0003-4

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11787-009-0003-4

Mathematics Subject Classification (2000)

Keywords

Search

Navigation