Abstract
Two families of positions dominate debates over a metaphysically reductive analysis of knowledge. Traditionalism holds that knowledge has a complete, uniquely identifying analysis, while knowledge-first epistemology contends that knowledge is primitive—admitting of no reductive analysis whatsoever. Drawing on recent work in metaphysics, I argue that these alternatives fail to exhaust the available possibilities. Knowledge may have a merely partial analysis: a real definition that distinguishes it from some, but not all other things. I demonstrate that this position is attractive; it evades concerns that its rivals face.
Similar content being viewed by others
Notes
As we shall see, even this description does not identify a unique project, as there is substantial disagreement among metaphysicians about what metaphysical reduction consists of.
The extent to which epistemologists previously accepted a justified-true-belief analysis of knowledge is somewhat debatable (see Dutant 2015). Minimally, however, subsequent discussions about the analysis of knowledge can be reasonably considered to be a reaction to Gettier’s work.
Williamson does not himself use terms like ‘metaphysically posterior’ or ‘ontologically depend.’ However, those who countenance such notions would, presumably, understand knowledge-first epistemology in this way. For one such view, see Horvath (forthcoming).
As I mentioned before, other projects may count as ‘an analysis of knowledge.’ The distinction I make here (and the history of inquiry I briefly describe) is not intended to capture these other projects; its focus is solely on those who take themselves to be investigating a metaphysically reductive analysis of knowledge.
I introduce the term ‘primitivist’—instead of using ‘knowledge-first epistemologist’—for two reasons. The first is that it allows for more concise prose. The second is that, at least sometimes, ‘knowledge-first epistemology’ refers not only to the conviction that knowledge is primitive but also to the positive project of analyzing other notions in terms of knowledge. Philosophers can consistently hold that knowledge is primitive and take all such proposals to be false. ‘Primitivism,’ as I use the term, encompasses both those who accept and those who reject analyses of notions like justification and belief in terms of knowledge.
Williamson’s initial characterization of knowledge-first epistemology is stated in terms of conceptual analysis rather than metaphysical reduction. However, for discussions of the knowledge-first approach that are more explicitly metaphysical in nature, see Carter et al. (2017), Ichikawa and Jenkins (2017), Schechter (2017) and Williamson (2017).
Please permit a brief discussion of the motivation behind this development: while epistemologists debated the analysis of knowledge, metaphysicians were beset by a problem of their own. The formalization of quantified modal logic broke a long-standing resistance to essentialism; philosophical analyses were thought to be correct just in case they provided adequate necessary and sufficient conditions. It has been claimed that modal accounts of essence were once “so widespread that it would be pointless to provide references” (Correia 2005, p. 26). However, see Marcus (1967), Kripke (1980) and Plantinga (1974) for defenses of this claim. Metaphysicians began to unabashedly provide putative analyses in modal terms.
The shortcomings of the modal approach quickly became apparent. Fine challenged modal conceptions of essence on the grounds that there are many necessary yet inessential connections between various sorts of things. For example, it may be that Socrates is necessarily the entity contained in {Socrates} but it would be absurd to analyze personal identity in terms of set theory. Various philosophers have attempted to revive modal accounts of essence, but the general consensus is that these attempts have been unsuccessful. See, for example, Zalta (2006), Wildman (2013) and Livingstone-Banks (2017). Rather than defining essence in terms of modality, some have suggested defining modality in terms of essence. See Sect. 4.5 for a further discussion of this turn.
There may well be a reading of ‘being a vixen is the property of being a female fox’ which resembles an identity. If there is, this is not the reading I am concerned with. I contend that there also is a reading that does not resemble an identity because it is asymmetric; while ‘the property of being a vixen is the property of being a female fox’ is true, ‘the property of being a female fox is the property of being a vixen’ is false. In any case, not much turns on this particular example, so long as the target phenomenon is clear.
More precisely, if there is a necessary and sufficient connection between knowledge and justified true belief and the concept of knowledge is grounded in an n-tuple of the concepts of justification, truth and belief.
It comes apart in that the terms ‘to be F’ and ‘to be G’ need not denote, so there may be no entities that are strictly identical.
Nor will it help to frame primitivism as the claim that there are no true instances of ‘To be knowledge is to be G’ where ‘G’ is a term other than ‘knowledge’; ‘To be knowledge is to be either knowledge or knowledge’ is also a true generalized identity.
Correia (2017) operates with a somewhat different reading of ‘To be F is to be G’ than Dorr does. In particular, Correia’s reading of ‘To be F is to be G’ is irreflexive, because being G grounds being F (and grounding is an irreflexive relation). As with Rosen, Correia’s proposal is compatible with merely partial definition if we allow for merely partial grounding.
Chalmers may have more resources than this brief discussion indicates. Perhaps he would add the ‘knowledge truths’ to the basic class of truths from which all others are derived. I lack the space to adequately address this proposal, but have a few brief thoughts: it is worth noting that not all of the knowledge truths need be added to Chalmers’ basic class in order for them to be scrutable. If, for example, the content of an agents S’s belief concerned a physical falsity, then the physical truths would suffice to derive that S does not know that p. At most some of the knowledge-truths need be added to the basic set. This motivates an interesting picture: one on which some (but not all) of the knowledge-truths are primitive (in that some are added to the basic class of truths, while others are not). I am unsure whether primitivists would accept this position, but suspect many would prefer to frame the debate in other terms. My thanks to an anonymous reviewer for raising this point.
Quidditists need not accept this claim. Perhaps properties are not defined in terms of their causal roles, but necessarily play the roles that they actually play.
For an argument that the necessary connection between belief and knowledge need not entail a definition or analysis of knowledge in terms of belief, see Williamson (2017).
Goldman (2009) hints that this might be the case. I take his work to be an insightful precursor to my own. He suggests that knowledge may have necessary but no sufficient conditions. He does not, however, investigate the metaphysical underpinnings of his proposal. He offers no discussion of what it takes, metaphysically speaking, for this to be the case.
However, for challenges to this view, see Teitel (forthcoming) and Wildman (forthcoming).
This may need some qualification. Presumably, if God were to fix all of the facts about truth, she would have fixed all of the facts. This would trivially fix all of the facts about knowledge. Let us set this worry aside. Assume that God fixed all of the facts about the truth of the content of agents’ beliefs; and not the facts about their knowledge.
Of course, those who dispute the intelligibility of definition—or who prefer other conceptions of it—may take this to be an empty question. As before, it is not my aim to defend this conception here.
For those who describe knowledge-first epistemology in this way, see Gerken (2017) and—most explicitly—Schechter (2017), who states, “Once it is claimed that knowledge is unanalyzable and irreducible (in anything like the traditional way), we have a new primitive to deploy. We can try to put this primitive to work in providing conceptual analyses and metaphysical reductions . . . The characterization of belief in terms of knowledge is part of the essence of belief. It provides the real definition of belief (and similarly for other cognitive states). The characterization of justification in terms of knowledge is part of the essence of justification. It provides the real definition of justification (and similarly for other epistemic statuses)” (pp. 133–135).
This does not conflict with the claim that modality is reducible to essence. Socrates is necessarily such that 2 and 2 make 4. This is inessential to him, but follows from essential truths for the vacuous reason that it follows from any essential truth that Socrates is such that 2 and 2 make 4.
References
Armstrong, D. (1973). Belief, truth and knowledge. Cambridge: Cambridge University Press.
Armstrong, D. (1989). A combinatorial theory of possibility. Cambridge: Cambridge University Press.
Armstrong, D. (1989). Universals: An opinionated introduction. Boulder, CO: Westview Press.
Benacerraf, P. (1965). What numbers could not be. The Philosophical Review, 1, 47–73.
Bird, A. (2007). Justifying judging. Philosophy and Phenomenological Research, 74(1), 81–110.
Byrne, D. R., & Hilbert, A. (2007). Color primitivism. Erkenntnis, 66, 73–105.
Carter, A., Gordon, E., & Jarvis, B. (2017). Knowledge First. In A. Carter, E. Gordon, & B. Jarvis (Eds.), Knowledge first: Approaches in epistemology. Oxford: Oxford Univerity Press.
Chalmers, D. (2012). Constructing the world. Oxford: Oxford University Press.
Cohen, S. (1999). Contextualism, skepticism, and the structure of reasons. Philosophical Perspectives, 13, 57–989.
Correia, F. (2005). Existential dependence and cognate notions. Munich: Philosophia.
Correia, F. (2006). Generic essence, objectual essence and modality. Noûs, 40(4), 753–67.
Correia, F. (2012). On the reduction of necessity to essence. Philosophy and Phenomenological Research, 84(3), 639–53.
Correia, F. (2017). Real definitions. Philosophical Issues, 27(1), 52–73.
Craig, E. (1990). Knowledge and the state of nature: An essay in conceptual synthesis. Oxford: Oxford University Press.
Dasgupta, S. (2015). Inexpressible ignorance. The Philosophical Review, 124(4), 441–480.
DeRose, K. (1992). Contextualism and knowledge attributions. Philosophy and Phenomenological Research, 52(4), 913–929.
Dorr, C. (2016). To be \(F\) is to be \(G\). Philosophical Perspectives, 30(1), 39–134.
Dutant, J. (2015). The legend of the justified true belief analysis. Philosophical Perspectives, 29, 95–145.
Fine, K. (1994a). Essence and modality. Philosophical Perspectives, 8, 1–16.
Fine, K. (1994b). Morality modality & belief. Essays in honor of Ruth Barcan Marcus. In D. Raffman & N. Asher (Eds.), Senses of essence Diana Raffman & Nicholas Asher. Cambridge: Oxford University Press.
Fine, K. (1995). Ontological dependence. Proceedings of the Aristotelian Society, 95, 269–290.
Fine, K. (2015). Unified foundations for essence and ground. Journal of the American Philosophical Association, 1, 296–311.
Gerken, M. (2017). Against knowledge-first epistemology. In A. Carter, E. Gordon, & B. Jarvis (Eds.), Knowledge first: Approaches in epistemology. Oxford: Oxford University Press.
Gettier, E. (1963). Is knowledge justified true belief? Analysis, 23, 121–3.
Goldman, A. (1979). What is justified belief? In G. S. Pappas (Ed.), Justification and knowledge. Dordrecht: D. Reidel.
Goldman, A. (2009). Williamson on knowledge and evidence. In P. Greenough, D. Pritchard, & T. Williamson (Eds.), Williamson on knowledge (pp. 73–91). Oxford: Oxford University Press.
Horvath, J. (forthcoming). Philosophical analysis: The concept grounding view. Philosophy and Phenomenological Research.
Ichikawa, J., & Jenkins, C. (2017). On putting knowledge first. In A. Carter, E. Gordon, & B. Jarvis (Eds.), Knowledge first: Approaches in epistemology and mind. Oxford: Oxford University Press.
Johnston, M. (1992). How to speak of the colors. Philosophical Studies, 68(3), 221–263.
Johnston, M. (2006). Hylomorphism. The Journal of Philosophy, 103(12), 652–98.
Kornblith, H. (2008). Knowledge needs no justification. In Q. Smith (Ed.), Epistemology: New essays (pp. 5–24). Oxford: Oxford University Press.
Kripke, S. (1980). Naming and necessity. Cambridge: Harvard University Press.
Kripke, S. (2011). Nozick on knowledge. Philosophical troubles: Collected papers (Vol. 1). Oxford: Oxford University Press.
Lewis, D. (2009). Ramseyan humility. In D. Braddon-Mitchell & R. Nola (Eds.), Conceptual analysis & philosophical naturalism (pp. 203–222). Cambridge: Cambridge University Press.
Lewis, D. (1996). Elusive knowledge. Australasian Journal of Philosophy, 74(4), 549–567.
Linnebo, Ø. (2014). Just is’ statements as generalized identities. Inquiry, 57(4), 466–482.
Livingstone-Banks, J. (2017). In defence of modal essentialism. Inquiry, 60, 1–27.
Lowe, E. J. (2008). Two notions of being: Entity and essence. Royal Institute of Philosophy Supplement, 63(62), 23–48.
Lowe, E. J. (2012). What is the source of our knowledge of modal truths? Mind, 121(484), 919–50.
Marcus, R. B. (1967). Essentialism in modal logic. Noûs, 1(1), 91–6.
Nozick, R. (1981). Philosophical explanations. Cambridge: Harvard University Press.
Oderberg, D. (2007). Real essentialism. London: Routledge.
Parsons, T. (1993). On denoting propositions and facts. Philosophical Perspectives, 7, 441–460.
Plantinga, A. (1974). The nature of necessity. Oxford: Oxford University Press.
Pritchard, D. (2005). Epistemic luck. Oxford: Oxford University Press.
Rayo, A. (2013). The construction of logical space. Oxford: Oxford University Press.
Rosen, G. (2015). Real definition. Analytic Philosophy, 56(3), 189–209.
Schechter, J. (2017). No need for excuses. In A. Carter, E. Gordon, & B. Jarvis (Eds.), Knowledge first: Approaches in epistemology and mind. Oxford: Oxford University Press.
Sosa, E. (1999). How to defeat opposition to Moore. Noûs, 33, 141–153.
Stine, G. (1976). Skepticism, relevant alternatives and deductive closure. Philosophical Studies, 29, 249–261.
Sutton, J. (2007). Without justification. Cambridge, MA: MIT Press.
Teitel, T. (forthcoming). Contingent existence and the reduction of modality to essence. Mind.
Wildman, N. (forthcoming). Against the reduction of modality to essence. Synthese.
Wildman, N. (2013). Modality, sparsity and essence. Philosophical Quarterly, 63(253), 760–82.
Williamson, T. (2000). Knowledge and its limits. Oxford: Oxford University Press.
Williamson, T. (2017). Acting on Knowledge. In A. Carter, E. Gordon, & B. Jarvis (Eds.), Knowledge first: Approaches in epistemology and mind. Oxford: Oxford University Press.
Zagzebski, L. (1994). The inescapability of gettier problems. The Philosophical Quarterly, 14(147), 65–73.
Zalta, E. (2006). Essence and modality. Mind, 115(459), 659–93.
Acknowledgements
I would like to thank Shamik Dasgupta, Michael Della Rocca, Catherine Elgin, Daniel Greco, Michael Hannon, Timothy Williamson, and the attendees of the Northern New England Philosophical Association, The Philosopher’s Cocoon Conference and the Bled Philosophical Conference for providing comments on earlier versions of this paper.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Elgin, S.Z. Merely partial definition and the analysis of knowledge. Synthese 198 (Suppl 7), 1481–1505 (2021). https://doi.org/10.1007/s11229-018-1846-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11229-018-1846-0