The Logical Structure of Scanlon’s Contractualism
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.
KeywordsMotivation Condition Winning Strategy Propositional Variable Deontic Logic Motivational Attitude
Unable to display preview. Download preview PDF.
- 1.Barry, B.M.: Justice as impartiality. Oxford UP (1995)Google Scholar
- 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.Menzies, P.: Counterfactual theories of causation. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy, Spring 2014 edn. (2014)Google Scholar
- 5.Scanlon, T.: What we owe to each other. Harvard University Press (1998)Google Scholar
- 6.Smith, M.: The moral problem (1994)Google Scholar
- 8.Venema, Y.: Lectures on the modal μ-calculus (2008) (manuscript)Google Scholar