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)
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
More intuitions are of course offered in the other essays in this volume.
- 2.
We will discuss later some complexities behind reflexivity.
- 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.
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.
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.
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.
- 8.
- 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.
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.
Bacon, J. (1986). Supervenience, necessary coextension, and reducibility. Philosophical Studies 49(2), 163–176.
Beall, J. and G. Restall (2000). Logical Pluralism. Australasian Journal of Philosophy 78, 475–493.
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.
Calardo, E. and A. Rotolo (2016). Quantification in some non-normal modal logics. Journal of Philosophical Logic, 1–36.
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.
Chellas, B. F. (1980). Modal Logic. Cambridge University Press.
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.
Corsi, G. (2002). A unified completeness theorem for quantified modal logics. Journal of Symbolic Logic 67(4), 1483–1510.
Delgrande, J. P. (1998). On first-order conditional logics. Artificial Intelligence 105(1), 105–137.
Fine, K. (1978). Model theory for modal logic - Part II: The elimination of de re modality. Journal of Philosophical Logic 7, 277–306.
Forbes, G. (1985). The metaphysics of modality. Clarendon library of logic and philosophy. Clarendon Press.
Gabbay, D., J. Horty, X. Parent, and L. van der Torre (Eds.) (2013). Deontic Logic Handbook. London: College Publications.
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.
Goble, L. (1973). Opacity and the Ought-To-Be. Noûs 7(4), 407–412.
Goble, L. (2001). Multiplex semantics for deontic logic. Nordic Journal of Philosophical Logic 5(2), 113–134.
Goble, L. (2004). Preference semantics for deontic logic — Part II: Multiplex models. Logique et Analyse 47, 113–134.
Goble, L. (2005). A logic for deontic dilemmas. Journal of Applied Logic 3(3–4), 461–483.
Goldman, A. (1970). A theory of human action. Prentice-Hall.
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.
Hansen, J. (2005). Conflicting imperatives and dyadic deontic logic. Journal of Applied Logic 3 (3–4), 484–511.
Humberstone, L. (1993). Functional dependencies, supervenience, and consequence relations. Journal of Logic and Computation 2, 309–36.
Humberstone, L. (2002). The modal logic of agreement and noncontingency. Notre Dame Journal of Formal Logic 2, 95–127.
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.
Jones, A. J. I. and M. J. Sergot (1996). A formal characterisation of institutionalised power. Logic Journal of the IGPL 4(3), 427–443.
Kaminski, M. (1997). The elimination of de re formulas. Journal of Philosophical Logic 26, 411–422.
Kim, J. (1993). Supervenience and Mind: Selected Philosophical Essays. Cambridge Studies in Philosophy. Cambridge University Press.
Kraus, S., D. Lehmann, and M. Magidor (1990, July). Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence 44(1–2), 167–207.
Mason, E. (2015). Value pluralism. In E. N. Zalta (Ed.), The Stanford Encyclopedia of Philosophy (Summer 2015 ed.). Metaphysics Research Lab, Stanford University.
McLaughlin, B. (1995). Varieties of supervenience. In E. Savellos and U. Yalcin (Eds.), Supervenience: New Essays. Cambridge University Press.
McLaughlin, B. and K. Bennett (2014). Supervenience. In E. N. Zalta (Ed.), The Stanford Encyclopedia of Philosophy (Spring 2014 ed.).
McNamara, P. (2014). Deontic logic. In E. N. Zalta (Ed.), The Stanford Encyclopedia of Philosophy (Winter 2014 ed.). Metaphysics Research Lab, Stanford University.
Nute, D. (Ed.) (1997). Defeasible Deontic Logic. Dordrecht: Kluwer.
Parent, X. (2001). Cumulativity, identity and time in deontic logic. Fundamenta Informaticae 48(2–3), 237–252.
Schmitt, J. and M. Schroeder (2011). Supervenience arguments under relaxed assumptions. Philosophical Studies 155(1), 133–160.
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.
Searle, J. (1969). Speech Acts: An Essay in the Philosophy of Language. Cambridge: Cambridge University Press.
Searle, J. (1995). The Construction of Social Reality. Harmondsworth: Penguin.
Searle, J. (2001). Neither phenomenological description nor rational reconstruction: Reply to Dreyfus. Revue Internationale de Philosophie 55, 277–284.
Shoham, Y. (1990). Nonmonotonic Reasoning and Causation. Cognitive Science 14, 213–252.
Stalnaker, R. (1968). A theory of conditionals. In Studies in Logical Theory, Volume 2, pp. 98–112. Blackwell.
von Wright, G. H. (1951). An Essay in Modal Logic. Amsterdam: North-Holland.
Wedgwood, R. (2007). The Nature of Normativity. Oxford: Oxford University Press.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights 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)