Skip to main content

Logics for Normative Supervenience

  • Chapter
  • First Online:
Supervenience and Normativity

Part of the book series: Law and Philosophy Library ((LAPS,volume 120))

Abstract

This essay addresses the problem of logically modelling the concept of normative supervenience. We will argue that alternatives of classical logic can grasp specific aspects of this concept. We will examine two cases: (a) the idea of institutional supervenience corresponding to the counts-as relation, (b) modal logics for jumping or generating the normative dimension of supervenient properties.

One virtue is that the plurality of the consequence relation comes at little or no cost. Another is that pluralism offers a more charitable interpretation of many important (but difficult) debates in philosophical logic than is otherwise available; […] pluralism does more justice to the mix of insight and perplexity found in many of the debates in logic in the last century. (Beall and Restall  2000 , 31)

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

Access this chapter

eBook
USD 16.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 139.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 139.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    More intuitions are of course offered in the other essays in this volume.

  2. 2.

    We will discuss later some complexities behind reflexivity.

  3. 3.

    Notice that this assumption is generic and it does not necessarily mean that individual normative properties directly provide grounds for single prescriptive statements. We simply assume that such properties are normative insofar as they are true in the context of ideal worlds. For instance, one can argue that the sentence “This piece of paper counts as a five euro bill” is normative without directly stating that something here is obligatory: indeed, this sentence presupposes the existence of a certain human institution which (i) refers to a set of ideal worlds where some properties apply to certain individuals, (ii) is globally oriented to guide human behaviour (see Sect. 4).

  4. 4.

    As Searle (1995) strongly emphasises, in all such cases the ascription of a status-function through the appropriate rule is not enough to establish such types of facts. To establish these facts we have to believe, or otherwise accept, acknowledge, collectively intend, etc., that X has the status-function assigned by the corresponding rules. This means that, in order to do their job these rules have to be agreed upon or believed in by members of the relevant community qua members of a collective. The reason for this is that it is a merely contingent fact that some X stands in a certain counts-as relation to some Y, because the only connection between X and Y obtains in virtue of collective belief or acceptance, and intention—or, to put it in Searle’s words, satisfying the X term is not by itself sufficient for being money, and the X term does not specify causal features that would be sufficient to enable the stuff to function as money. In order to function as money, human agreement has to be involved. Roughly, this is nothing but the idea that the ontology of institutional facts relies on a kind of “epistemic objectivity”.

  5. 5.

    It would sound perhaps more reasonable to emphasise the causal role that mental attitudes, such as collective intentionality, play in bringing into existence institutional reality. But even in this case, Searle (2001, sec. II) argues that “collective intentionality is not something which just causes institutional reality, it is constitutive of that reality precisely because it is constitutive of the ontology according to the constitutive rules”.

  6. 6.

    In addition to the intuitive observation that cases 2., 4., and 5. speak of being a handwritten signature as a brute fact, we should also recall that NS, in the sense of Definition 4, does not rely on distinguishing in the formal language different sorts of predicates or propositional letters.

  7. 7.

    According to Sect. 2, a formal analysis of NS may require to use predicate logics. For the sake of simplicity, we will work in this section with a propositional language, referring the reader to Delgrande (1998)’s investigations on quantification in conditional logics.

  8. 8.

    Non-normal deontic logics have been considered a solution to avoid many drawbacks of standard deontic logic (i.e., deontic KD), which does not tolerate deontic conflicts and gives rise to a number of paradoxes and puzzles (Goble 2005; Jones and Carmo 2002).

  9. 9.

    We assume, for the sake of simplicity, to work with constant domains. This assumption makes things simpler but is not conceptually required and thus is not essential for our purposes. It is a rather straightforward, but pedantic exercise to extend the analysis to varying domains.

  10. 10.

    Of course, we could have other models that make trivially true the conditionals by falsifying the antecedent.

References

  • Artosi, A., G. Governatori, and A. Rotolo (2002). Labelled tableaux for nonmonotonic reasoning: Cumulative consequence relations. Journal of Logic and Computation 12(6), 1027–1060.

    Article  Google Scholar 

  • Bacon, J. (1986). Supervenience, necessary coextension, and reducibility. Philosophical Studies 49(2), 163–176.

    Article  Google Scholar 

  • Beall, J. and G. Restall (2000). Logical Pluralism. Australasian Journal of Philosophy 78, 475–493.

    Article  Google Scholar 

  • Calardo, E. and A. Rotolo (2014). Variants of multi-relational semantics for propositional non-normal modal logics. Journal of Applied Non-Classical Logics 24(4), 293–320.

    Article  Google Scholar 

  • Calardo, E. and A. Rotolo (2016). Quantification in some non-normal modal logics. Journal of Philosophical Logic, 1–36.

    Google Scholar 

  • Castañeda, H.-N. (1981). The paradoxes of deontic logic: The simplest solution to all of them in one fell swoop. In R. Hilpinen (Ed.), New Studies in Deontic Logic, pp. 37–86. Dordrecht: D. Reidel.

    Chapter  Google Scholar 

  • Chellas, B. F. (1980). Modal Logic. Cambridge University Press.

    Google Scholar 

  • Cocchiarella, N. B. (1984). Philosophical perspectives on quantification in tense and modal logic. In D. Gabbay and F. Guenthner (Eds.), Handbook of Philosophical Logic: Volume II: Extensions of Classical Logic, pp. 309–353. Dordrecht: Reidel.

    Chapter  Google Scholar 

  • Corsi, G. (2002). A unified completeness theorem for quantified modal logics. Journal of Symbolic Logic 67(4), 1483–1510.

    Article  Google Scholar 

  • Delgrande, J. P. (1998). On first-order conditional logics. Artificial Intelligence 105(1), 105–137.

    Article  Google Scholar 

  • Fine, K. (1978). Model theory for modal logic - Part II: The elimination of de re modality. Journal of Philosophical Logic 7, 277–306.

    Google Scholar 

  • Forbes, G. (1985). The metaphysics of modality. Clarendon library of logic and philosophy. Clarendon Press.

    Google Scholar 

  • Gabbay, D., J. Horty, X. Parent, and L. van der Torre (Eds.) (2013). Deontic Logic Handbook. London: College Publications.

    Google Scholar 

  • Gelati, J., A. Rotolo, G. Sartor, and G. Governatori (2004). Normative autonomy and normative co-ordination: Declarative power, representation, and mandate. Artificial Intelligence and Law12(1–2), 53–81.

    Google Scholar 

  • Goble, L. (1973). Opacity and the Ought-To-Be. Noûs 7(4), 407–412.

    Article  Google Scholar 

  • Goble, L. (2001). Multiplex semantics for deontic logic. Nordic Journal of Philosophical Logic 5(2), 113–134.

    Article  Google Scholar 

  • Goble, L. (2004). Preference semantics for deontic logic — Part II: Multiplex models. Logique et Analyse 47, 113–134.

    Google Scholar 

  • Goble, L. (2005). A logic for deontic dilemmas. Journal of Applied Logic 3(3–4), 461–483.

    Article  Google Scholar 

  • Goldman, A. (1970). A theory of human action. Prentice-Hall.

    Google Scholar 

  • Grossi, D. and A. Jones (2013). Constitutive rules and counts-as conditionals. In X. P. D. Gabbay, J. Horty and L. van der Torre (Eds.), Deontic Logic Handbook. London: College Publications.

    Google Scholar 

  • Hansen, J. (2005). Conflicting imperatives and dyadic deontic logic. Journal of Applied Logic 3 (3–4), 484–511.

    Article  Google Scholar 

  • Humberstone, L. (1993). Functional dependencies, supervenience, and consequence relations. Journal of Logic and Computation 2, 309–36.

    Google Scholar 

  • Humberstone, L. (2002). The modal logic of agreement and noncontingency. Notre Dame Journal of Formal Logic 2, 95–127.

    Article  Google Scholar 

  • Jones, A. and J. Carmo (2002). Deontic logic and contrary-to-duties. In D. Gabbay and F. Guenthner (Eds.), Handbook of Philosophical Logic (2nd ed.). Dordrecht; Boston: Kluwer Academic Publishers.

    Google Scholar 

  • Jones, A. J. I. and M. J. Sergot (1996). A formal characterisation of institutionalised power. Logic Journal of the IGPL 4(3), 427–443.

    Article  Google Scholar 

  • Kaminski, M. (1997). The elimination of de re formulas. Journal of Philosophical Logic 26, 411–422.

    Article  Google Scholar 

  • Kim, J. (1993). Supervenience and Mind: Selected Philosophical Essays. Cambridge Studies in Philosophy. Cambridge University Press.

    Google Scholar 

  • Kraus, S., D. Lehmann, and M. Magidor (1990, July). Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence 44(1–2), 167–207.

    Google Scholar 

  • Mason, E. (2015). Value pluralism. In E. N. Zalta (Ed.), The Stanford Encyclopedia of Philosophy (Summer 2015 ed.). Metaphysics Research Lab, Stanford University.

    Google Scholar 

  • McLaughlin, B. (1995). Varieties of supervenience. In E. Savellos and U. Yalcin (Eds.), Supervenience: New Essays. Cambridge University Press.

    Google Scholar 

  • McLaughlin, B. and K. Bennett (2014). Supervenience. In E. N. Zalta (Ed.), The Stanford Encyclopedia of Philosophy (Spring 2014 ed.).

    Google Scholar 

  • McNamara, P. (2014). Deontic logic. In E. N. Zalta (Ed.), The Stanford Encyclopedia of Philosophy (Winter 2014 ed.). Metaphysics Research Lab, Stanford University.

    Google Scholar 

  • Nute, D. (Ed.) (1997). Defeasible Deontic Logic. Dordrecht: Kluwer.

    Google Scholar 

  • Parent, X. (2001). Cumulativity, identity and time in deontic logic. Fundamenta Informaticae 48(2–3), 237–252.

    Google Scholar 

  • Schmitt, J. and M. Schroeder (2011). Supervenience arguments under relaxed assumptions. Philosophical Studies 155(1), 133–160.

    Article  Google Scholar 

  • Schotch, P. K. and R. E. Jennings (1981). Non-Kripkean deontic logic. In R. Hilpinen (Ed.), New Studies in Deontic Logic, pp. 149–162. Reidel.

    Google Scholar 

  • Searle, J. (1969). Speech Acts: An Essay in the Philosophy of Language. Cambridge: Cambridge University Press.

    Book  Google Scholar 

  • Searle, J. (1995). The Construction of Social Reality. Harmondsworth: Penguin.

    Google Scholar 

  • Searle, J. (2001). Neither phenomenological description nor rational reconstruction: Reply to Dreyfus. Revue Internationale de Philosophie 55, 277–284.

    Google Scholar 

  • Shoham, Y. (1990). Nonmonotonic Reasoning and Causation. Cognitive Science 14, 213–252.

    Article  Google Scholar 

  • Stalnaker, R. (1968). A theory of conditionals. In Studies in Logical Theory, Volume 2, pp. 98–112. Blackwell.

    Google Scholar 

  • von Wright, G. H. (1951). An Essay in Modal Logic. Amsterdam: North-Holland.

    Google Scholar 

  • Wedgwood, R. (2007). The Nature of Normativity. Oxford: Oxford University Press.

    Book  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Antonino Rotolo .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this chapter

Cite this chapter

Rotolo, A. (2017). Logics for Normative Supervenience. In: Brożek, B., Rotolo, A., Stelmach, J. (eds) Supervenience and Normativity. Law and Philosophy Library, vol 120. Springer, Cham. https://doi.org/10.1007/978-3-319-61046-7_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-61046-7_1

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-61045-0

  • Online ISBN: 978-3-319-61046-7

  • eBook Packages: Law and CriminologyLaw and Criminology (R0)

Publish with us

Policies and ethics