The Logical Structure of Scanlon’s Contractualism

  • Martin Rechenauer
  • Olivier Roy
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8554)


In this paper we use fixed-point modal logic to study the logical properties of justified norms in Scanlonian contractualism. We show a natural connection between Scanlon’s test for justifiability and the computation of the smallest fixed point; we rebut a common charge of vacuity based on the recursive character of the proposal; we show that the resulting justification operator is not a normal modality, and we explore the epistemic component often left implicit in the justification procedure. Given that such procedural justifications have so far not been investigated using modern logical tools, this paper contributes both to deontic logic and to the literature on contractualism in ethics.


Motivation Condition Winning Strategy Propositional Variable Deontic Logic Motivational Attitude 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Barry, B.M.: Justice as impartiality. Oxford UP (1995)Google Scholar
  2. 2.
    Fontaine, G.M.M.: Modal fixpoint logic: some model theoretic questions. Ph.D. thesis, Institute for Logic, Language and Computation (2010)Google Scholar
  3. 3.
    Menzies, P.: Counterfactual theories of causation. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy, Spring 2014 edn. (2014)Google Scholar
  4. 4.
    Pogge, T.W.: What we can reasonably reject. Nous 35(s1), 118–147 (2001)CrossRefGoogle Scholar
  5. 5.
    Scanlon, T.: What we owe to each other. Harvard University Press (1998)Google Scholar
  6. 6.
    Smith, M.: The moral problem (1994)Google Scholar
  7. 7.
    Tarski, A., et al.: A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics 5(2), 285–309 (1955)CrossRefzbMATHMathSciNetGoogle Scholar
  8. 8.
    Venema, Y.: Lectures on the modal μ-calculus (2008) (manuscript)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Martin Rechenauer
    • 1
  • Olivier Roy
    • 2
  1. 1.Universität KonstanzGermany
  2. 2.Universität BayreuthGermany

Personalised recommendations