Abstract
What is it for something to be essential to an item? For some time, it was standard to think that the concept of necessity alone can provide an answer: for something to be essential to an item is for it to be strictly implied by the existence of that item. We now tend to think that this view fails because its analysans is insufficient for its analysandum. In response, some argue that we can supplement the analysis in terms of necessity with a further condition. In this paper I argue that this view is untenable in its current form. I then provide a glimmer of hope to those who think that essence is at least partially analyzable in terms of necessity.
Similar content being viewed by others
Notes
A few remarks. First, unless I specify otherwise, talk of necessity is always of metaphysical necessity. See Kment (2012) and Fine (2005) on the varieties of necessity. Second, I use the ‘For it to be that … is for it to be that …’ locution to express reductive analyses. I take statements of this form to imply strict equivalences between analysandum and analysans. Third, I chose ‘necessity’ in ‘Necessity Analysis’ instead of ‘modal’ so as not to suggest that alternative theories of essence are non-modal. See Menzel (2015) and Teitel (2017).
By a ‘theory of essence’ I mean any answer to the question ‘What is it for something to be essential to an item?’. This includes the answer according to which essence is primitive.
Fine (1994a) considers other examples as well. Either those examples can be assimilated or they put further constraints on what shape a sufficiently fine-grained theory of essence should take. In any case, my focus is on the constraints imposed by Necessary Non-Essential and Discernibility.
In this paper I assume that ‘essence’ is univocal. As a result, I ignore (Zalta 2006). His view is not sensibly read as “adding a further condition to the Necessity Analysis”. Rather, Zalta adds a further form of predication, namely encoding, restricted to abstract items. I also ignore (Brogaard and Salerno 2013) for similar reasons: their account is counterfactual.
I avoid \(\lambda \)-abstraction. This is because \(\lambda \)-abstracts hold in virtue of that from which they are abstracted. For example, \([\lambda x. Fx]b\) holds in virtue of Fb. So I will say that it is essential to {Socrates} that Socrates is a member of {Socrates} and not that it is essential to {Socrates} that {Socrates} is an x such that Socrates is a member of x.
Why the possibility operator? First, the syntax of first-order logic allows us to take any n-ary predicate and n number of terms and form a sentence. We will not want any well-formed sentence to be an O-truth simply by virtue of the predicate involved being S. Second, this possibility operator relieves the O-operator from being factive: that \(O(R x_1 \ldots x_n)\) implies \(R x_1 \ldots x_n\). If factivity is desired, we simply drop the diamond.
What exactly it is for something to be part of the scientific understanding of the world is a legitimate question that has not yet been fully pursued by its proponents. For some further illumination, see Schaffer (2004, 93).
What about Necessary Non-Essential? The result above concerning Necessary Non-Essential—that to have a non-redundant analysis, the proponent of the Supplemented Necessity Analysis must accept that their preferred operator applies to some contingencies— will be revisited later on. But it will not be a claim of this paper that the Supplemented Necessity Analysis is inconsistent with Necessary Non-Essential. For example, the proponent of Intrinsicality might say that, although the existence of Socrates strictly implies his distinctness from 2, it is not intrinsic that Socrates is distinct from 2. Since Intrinsicality implies the Supplemented Necessity Analysis, it follows that the Supplemented Necessity Analysis is consistent with Necessary Non-Essential.
Fine (1995b) uses predicates instead of terms, but he interprets statements of essence using predicate extensions; and Correia (2005) uses plural terms over singular terms. This is why I said “consistent with”. In any case, informal statements of essence such as ‘It is essential to Socrates that Socrates is human’ implicitly have the syntax I describe here.
A few remarks. First, Livingstone-Banks (2017) may be construed as supplying a version of the Further Supplemented Necessity Analysis in terms of truth-making. However, he denies that there are essential relations, and so his view is inconsistent with Discernibility. Second, it is worth emphasizing that Intrinsicality and Naturalness cannot be straightforwardly amended to fit the Further Supplemented Necessity Analysis, since predicates are thought to be intrinsic or natural simpliciter, and not relative to items that satisfy them.
References
Brogaard, B., & Salerno, J. (2013). Remarks on counterpossibles. Synthese, 190(4), 639–660.
Correia, F. (2005). Existential dependence and cognate notions. Munich: Philosophia Verlag.
Correia, F. (2007). (Finean) essence and (priorean) modality. Dialectica, 61(1), 63–84.
Correia, F. (2012). On the reduction of necessity to essence. Philosophy and Phenomenological Research, 84(3), 639–653.
Cowling, S. (2013). The modal view of essence. Canadian Journal of Philosophy, 43(2), 248–266.
Dasgupta, S. (2014). Metaphysical rationalism. Nous, 50(1), 379–418.
Denby, D. (2014). Essence and intrinsicality. In R. Francescotti (Ed.), Companion to intrinsic properties (pp. 87–109). Berlin: De Gruyter.
Fine, K. (1981). First-order modal theories I-Sets. Nous, 15(2), 177–205.
Fine, K. (1994). Essence and modality. In James Tomberlin (Ed.), Philosophical perspectives 8: Logic and language (pp. 1–16). Atascadero, CA: Ridgeview.
Fine, K. (1994b). Senses of essence. In Walter Sinnott-Armstrong (Ed.), Modality, morality, and belief, 5373. New York: Cambridge University Press.
Fine, K. (1995a). Ontological dependence. Proceedings of the Aristotelian Society, 95, 269–90.
Fine, K. (1995b). The logic of essence. Journal of Philosophical Logic, 24, 241–73.
Fine, K. (2000). Semantics for the logic of essence. Journal of Philosophical Logic, 29(6), 543–584.
Fine, K. (2005). The varieties of necessity. In Modality and tense: Philosophical papers. Oxford: Oxford University Press.
Fine, K. (2007). Response to Fabrice Correia. Dialectica, 61(1), 85–88.
Kment, B. (2012). Varieties of modality. In E. N. Zalta (Ed.), The Stanford encyclopedia of philosophy. http://plato.stanford.edu/archives/win2012/entries/modality-varieties/.
Kripke, S. (1980). Naming and necessity. Cambridge: Harvard University Press.
Koslicki, K. (2013). Ontological dependence: An opinionated survey. In B. Schnieder, M. Hoeltje, & A. Steinberg (Eds.), Varieties of dependence: Ontological dependence, grounding, supervenience, response-dependence (basic philosophical concepts) (pp. 31–64). Munich: Philosophia Verlag.
Lewis, D. (1968). Counterpart theory and quantified modal logic. Journal of Philosophy, 65(5), 113–126.
Lewis, D. (2009). Ramseyan humility. In D. Braddon-Mitchell & R. Nola (Eds.), Conceptual analysis and philosophical naturalism (pp. 203–222). Cambridge: MIT Press.
Livingstone-Banks, J. (2017). In defense of modal essentialism. Inquiry, 60(8), 1–27.
Menzel, C. (2015). Logic essence, and modality-review of Bob Hale’s necessary beings. Philosophia Mathematica, 23(3), 407–428.
Plantinga, A. (1974). The nature of necessity. Oxford: Clarendon Press.
Prior, A. N. (1971). Platonism and quantification. In P. T. Geach & A. J. P. Kenny (Eds.), Objects of thought (pp. 31–47). Oxford: Oxford University Press.
Schaffer, J. (2004). Two conceptions of sparse properties. Pacific Philosophical Quarterly, 85, 92–102.
Teitel, T. (2017). Contingent existence and the reduction of modality to essence. Mind. https://doi.org/10.1093/mind/fzx001.
Torza, A. (2015). Speaking of essence. Philosophical Quarterly, 65, 754–771.
Wildman, N. (2013). Modality, sparsity, and essence. Philosophical Quarterly, 63(253), 760–782.
Wildman, N. (2016). How (not) to be a modalist about essence. In M. Jago (Ed.), Reality making. Oxford: Oxford University Press.
Zalta, E. (2006). Essence and modality. Mind, 115(459), 659–693.
Acknowledgements
Thanks to Louis deRosset, Kathrin Koslicki, Mike Raven, Riin Sirkel, and to an audience at the University of Vermont for helpful feedback.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Zylstra, J. Essence, necessity, and definition. Philos Stud 176, 339–350 (2019). https://doi.org/10.1007/s11098-017-1018-y
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11098-017-1018-y