1 I

Is understanding a separate epistemic state from knowledge? Current opinion within epistemology is divided. In this paper, I focus on one part of this much-debated issue: what epistemic properties distinguish understanding from knowledge? Note, however, that this question does not presuppose separatism, i.e., the position that knowledge and understanding form distinct epistemic states. A unifier still holds that understanding constitutes a distinctive subclass of knowledge, so the question can be reformulated as what distinguishes that kind of knowledge from the other kinds.

Both separatists and unifiers typically hold that the properties comprising understanding differ from those of knowledge (or other kinds of knowledge) by being intellectually more demanding.Footnote 1 My ambition in this paper is to specify what these distinguishing intellectually more demanding features of understanding are in terms of grasping. As part of this inquiry, I address and elaborate on whether these properties are non-basic, higher-order, and voluntary. To pay tribute to one of the themes of this conference, I shall also here in the beginning, and at the end, as well as in some remarks scattered in between, briefly raise, and comment on, the question whether these distinguishing features constitute skills.

Now regarding skills, my impression is that no consensus has yet been reached regarding their nature or epistemological significance. Nonetheless, my ambition is to conform to the ways the notion of a skill has been developed within the current discussion, but I do not aim for full coverage. Although my brief treatment will remain non-reductive, I do not take any definitive stand on the order of explication between skills and the epistemic states they supposedly form part of.Footnote 2 Moreover, although doing so would perhaps more directly tie understanding to skills, I shall not be occupied with posing any operational conditions on understanding, like analyzing grasping in terms of the ability to give explanations or draw conclusions, as especially some philosophers of science attempt.Footnote 3 The result of my investigation will reveal that grasping involves epistemic aspects that do not happily fit skills.

Instead, my main aim is to elucidate the epistemic properties involved in the grasping of relationships that figure essentially in many contemporary accounts of understanding. Compared to the classical tripartite analysis of knowledge as true justified belief, I shall primarily be occupied with the corresponding epistemic and doxastic constituent of understanding and leave the issue of factivity aside.Footnote 4

The structure of this paper is as follows. In this section, I specify what kind of understanding I shall focus on. Section 2 brings in features, I and other epistemologists, have argued such understanding consists in, thereby throwing light on what grasping amounts to. In Section 3, I assess whether these features suggest that the act of grasping constitutes a voluntary act. Section 4 considers and responds to the objection that my account is too permissive in crediting subjects with understanding. Finally, in Section 5, my suggestions will briefly be compared to Sosa’s account of knowing fully well, or aptly, and his related notion of judgment from his recent book Judgment and Agency.Footnote 5 Here, the notion of a skill will briefly reappear in my discussion.

The kind of understanding where grasping plays a central role is objectual understanding. Such understanding is usually contrasted to propositional understanding. Propositional understanding, or understanding that p, concerns understanding of particular propositions. By contrast, the objects objectual understanding varies over are wider in scope, terms like “domains” or “topics” are also employed. Precisely how to demarcate the objects in question is an intriguing task, but examples include subjects like parlamentarism, organic chemistry, nineteenth century African history, the free will problem, or Slovenian grammar. In an often quoted passage, Jonathan Kvanvig characterizes objectual understanding in the following manner

understanding requires, and knowledge does not, an internal grasping or appreciation of how various elements in a body of information are related to each other in terms of explanatory, logical, probabilistic, and other kinds of relations that coherentists have thought constitutive of justification. (Kvanvig 2003, 192–3, italics added)

In the next section, I shall distill several important features of understanding from this and similar passages, particularly those that bring out what grasping consists in. (In the following by “understanding” I have objectual understanding in mind.)

2 II

One feature that emerges from the quotation is that while knowledge can be both basic and non-basic, understanding constitutes a non-basic epistemic state with a prominent intellectual character. Understanding is not an epistemic state arrived at by any capacity in which the subject stands in direct contact with reality, like the senses or some other such basic faculty, but rather a state primarily arrived at by relating already held beliefs into a coherent body of information: to organize these beliefs precisely as relata, or infer through these relata. The subject will thus of course also be able to derive new beliefs from those she already possessed, but the classification as non-basic remains. The newly derived beliefs are based on those beliefs already held rather than formed directly based on, say, the senses. I shall return to the doxastic condition in Section 3, but note here that the non-basic character of understanding brings about a conditional character: the justification of at least some of the relata in the relationships needs to come from somewhere else.

Inference is therefore an important notion to bring in here for further elaboration. We need to dwell on this elusive operation to further spell out understanding in general and grasping in particular.Footnote 6 Next, since inferring seems like something one can be skilled at, we can, in turn, relate these notions. To me, moreover, non-basic epistemic states fit better as skills. To quote Carlotta Parvese skills are

abilities that (i) are acquirable and (ii) that manifest characteristically in actions, for one is skilled at doing things and doings are actions” (Parvese 2016b, 657)

Not every perceptual ability then counts as a skill, and especially not basic cases thereof, but expert perception would, Parvese suggests. To classify non-expert basic perceptual abilities as skills would be to stretch the term, in my opinion, by suggesting voluntary control and the possibility of conscious refinement of those skills. A subject should be able to exercise a skill well or skillfully. Non-basic epistemic states also seem to have a less imposing character than basic epistemic states do, thereby suggesting voluntary control of some sort. Here, inferring seems to share these features and would thus prima facie constitute a skill.Footnote 7

A further notion to explicate in the quotation from Kvanvig is the one of grasping. Here, the aforementioned feature of understanding constituting an intellectually demanding state comes to the fore. This notion can fruitfully be spelled out in terms of the familiar internalist condition that the subject must have access to the constituents of understanding. Grasping is precisely a way of capturing this internalist condition.

If you are an internalist unifier, then this internalist condition does of course not distinguish understanding from other kinds of knowledge, but note that grasping is explicated in terms of actual access rather than mere accessibility: to grasp is to access the inference in operation. It is through grasping that the actual access is obtained. Understanding thus possesses stronger internalist conditions on access than other kinds of knowledge do.

As an illustration of the stronger internalist condition posed on understanding, Linda Zagzebski writes

Understanding has internalist conditions for success, whereas knowledge does not. Even when knowledge is defined as true justified belief and justification is construed internalistically, the truth condition for knowledge makes it fundamentally a concept whose application cannot be demonstrated from the inside. Understanding, in contrast, not only has internally accessible criteria, but is a state that is constituted by a type of conscious transparency. It may be possible to know without knowing that one knows, but it is impossible to understand without understanding that one understands. (Zagzebski 2001, 246)Footnote 8

Thus, understanding x and understanding that one understands x is one and the same epistemic state, according to her. The same would go for the case of grasping an inference: there is not one act of inferring and another one of grasping, but only one.

Even though Zagzebski acknowledges fallibility at the second level,Footnote 9 she thus endorses a principle for understanding corresponding to the so called KK-principle for knowledge, which I in earlier writings call the UU-principle

If S understands x, then S understands that S understands x.Footnote 10Zagzebski thus endorses the strongest option regarding transparency: requiring that all conditions of understanding must be transparent to the subject for grasping and understanding to occur.

Let us now connect transparency to inferences specifically. At least from an externalist perspective, a subject may infer p from q without any access to the nature of that inference; but a subject who grasps the inferential relationship that p stands to q, then precisely enjoys epistemic access to the inference. If she were unable to gain any access into the inferential relationship, then her epistemic state would not be one of grasping, but simply one of basing her belief that p on q.

It is undoubtedly an epistemological desideratum to account for this distinction. Should we then endorse the very demanding transparency or access Zagzebski poses?—My answer is no. Placing the internalist requirement at that end of the spectrum seems far too demanding. Just as with the case for other epistemic states, doing so leads to hardly anyone understanding anything. I am therefore going to offer a weaker condition that, nonetheless, poses stronger internalist conditions on understanding than externalists place on knowledge and therefore fulfills the aforementioned desideratum.

The access to the fulfillment of the epistemic condition is ambiguous with respect to an important distinction William Alston famously drew. Let me for the sake of clarification present and then apply his distinction between access to the ground and access to the adequacy of the ground.Footnote 11 Access to the ground consists in having access to that relatum in the justificatory relation: the ground or basis of your belief. Access to the adequacy entails that access, but goes beyond by also requiring access to the adequacy of the ground qua ground.Footnote 12

An externalist omits both as conditions on knowledge, but I suggest that understanding requires the former kind of access, i.e., access to the ground, which in the case of understanding amounts to having access to the epistemic relation the relata stand to one another. It is precisely this relation that the subject grasps when she understands. Posing the very strong internalist conditions on understanding as Zagzebski does could then naturally be interpreted as demanding the stronger form of access: having access to the adequacy of the inference in question. By gaining access to the adequacy of the relationships comprising the object of understanding, the subject would understand that she understands that object.

Let me illustrate the different forms of access with a case of simple enumerative induction. From a number of premises where the subject observes that an object a is F, the subject infers that all objects a are F.

Now, (i) to just base the belief in the conclusion on the premises, i.e., the observations, without having any access to the inference in question, would still count the subject as being justified in believing the conclusion that all a:s are F from an externalist perspective, but not as having gained any understanding. In this case, the subject has not grasped the inferential relationship the premises stands to the conclusion, but she may still be justified in believing the conclusion of the inference.

Next, we apply Alston’s distinction to generate (ii) access to the inference by which the subject reaches the conclusion from the premises, which is what I am now suggesting grasping, as a constituent of understanding, consists in, and (iii) in addition, to have access to the adequacy of the inference by which the subject reaches the conclusion from the premises. (iii) constitutes an excessively strong requirement, even for understanding, that few ever fulfill. Moreover, in the case of basic inferences, no one could ever fulfill this condition.Footnote 13

In the case of (ii), the subject need not possess the concept of induction, but she does need to access having based her conclusion that all a:s are F on her having noted that all a:s observed so far are F. My conjuncture is thus that both (ii) and (iii) provide cases of understanding, while (i) does not. My middle ground proposal is that (ii) suffices for grasping and understanding even though the strongest kind of internalist access is not reached. Even without the strongest form of access, (ii) still captures the crucial difference between being justified in believing a conclusion p versus being justified in believing p qua conclusion. (ii) is not necessarily meant to convey that the subject necessarily grasped how her belief in the conclusion was initially formed, it may instead at a later point in time “merely” capture how her belief is maintained.

3 III

Let us now turn to the doxastic condition where most epistemologists hold that understanding entails belief just like knowledge does. The state of understanding is stored as beliefs in the subject. The same would go for grasping: although new beliefs are not necessarily formed, already existing beliefs become more entrenched and stable by the grasping of the relationships they stand to one another.

I beg to differ. In virtue of its conditional, non-basic character, an important difference between understanding and knowledge precisely consists in that a subject may possess understanding without having any beliefs about the relata comprising the object of understanding. The required grasping of relationships can occur without the subject believing in any of the relata, or for that matter, even if the subject has false beliefs regarding them.Footnote 14 The relata merely need to be comprehended, but not believed.

One way to illustrate this point is that a subject may grasp how incompatible propositions are derived from different theories and, as a result, refrain from believing in any of the alternatives. Understanding thus lacks a no defeater condition. More precisely, understanding is compatible with overriding defeaters to any of the relata of the relationships, which in turn comprise the object of understanding.Footnote 15 However, the subject needs to believe in the conditional that captures the inferential relationships that hold between the relata. It is those the subject grasps. (See Section 5 below.)

Here, we thus seem to come across an aspect in which understanding supposedly fits skills in that the subject precisely can abstain from belief. Such abstinence can occur without endorsing doxastic voluntarism since it is not in the possession of the beliefs in the relata the epistemic state resides. The ability of grasping relationships would also be something you could acquire, at least more complicated ones, as well as become more skilled at.

However, the grasping of the relationships is not a voluntary act. It is no coincidence that the episode is typically characterized as one of “seeing,” thereby suggesting that grasping, like seeing with your eyes, is not voluntary. Once you notice the relationship, it phenomenologically strikes you. The subject is fallible in this regard, both when it comes to whether it really is in virtue of the grasped relationship she believes in the conclusion (insofar as she does) and whether the relationship is a genuinely epistemic one. Importantly, on my account the relationships grasped are subject to externalist conditions in that, first, whether the relation really obtains between premises and conclusion is an objective fact about which the subject may be mistaken no matter how reasonable the connection seems to her; and second, whether the relation is genuinely epistemic is likewise an objective fact about which the subject may be mistaken, no matter how strongly she believes it is.Footnote 16 So not just any relation qualifies as epistemic, no matter how well the subject grasps the relation psychologically.

The subject can thus resist believing in the conclusion (and/or the premises for that matter), but the grasping of the relationship holding between the premises and the conclusion is not likewise a voluntary act. Note here that the ability to refrain from believing the conclusion does not depend on lack of belief in the relata constituting the premises. Even if the subject does believe in the premises, she might still not believe in the conclusions drawn from them. The subject might, as I noted before, for instance, arrive at incompatible conclusions drawn from different premises and inferences she also believes in.Footnote 17

A subject thus cannot choose to grasp, respectively refrain from grasping, an inference. A final point in this regard: a subject who grasps the inference by which she arrives at the belief that all a:s are F is intellectually more sophisticated than someone who remains at level (i). If it is such intellectual sophistication that the phrase “reaching a higher epistemic level” signifies, then I have no quarrel with that classification. To me, however, a higher epistemic level suggests a stronger epistemic position, i.e., that the justification is stronger in (ii) than in (i) and thereof no guarantee is obtained. (iii) would indeed be so (see next section), but is precisely therefore a largely elusive state.

Thus, by classifying (ii) as understanding I do not thereby intend to improve on the (externalist) justification already present in (i). By gaining understanding, the subject does not enhance the justification already present in (i).Footnote 18 On the contrary, the epistemic state of understanding essentially depends on that justification. As non-basic, understanding does not constitute, or improve on, the justification of basic inferences.

4 IV

One might wonder whether my moderately internalist suggestion is too permissive in line with a serious objection raised against externalism.Footnote 19 The problem for externalism is that, as long as there is a reliable connection between two beliefs, a subject believing in one of the beliefs is justified in believing the other belief, even in cases where she clearly ought not to be so. To take an example from Paul Boghossian: from a belief in some simple arithmetic truth, a subject would, through entailment, be justified in believing Fermat’s last theorem.

Does adding access to the ground enable externalism to deny that the subject has grasped the inference in such a case and thus (rightly) lacks understanding? If we add condition (ii) to the case at hand, then the subject would be aware that she bases her belief in Fermat’s last theorem on the simple arithmetic truth, say 2 + 2 = 4. Ideally, adding this condition should underpin the intuitive negative classification. The desired outcome is that this subject is neither justified in her belief in that theorem as conclusion of that inference, nor does she thereby understand that advanced part of arithmetic. The subject does not grasp any epistemically significant relation between these propositions.

In order to address this issue properly, I need to spell out my suggestion further. But before I do that, I would like to discard some red herrings, concerning the challenge as such, that might lead us astray. First of all, both the propositions believed are necessary. Such propositions create well known obstacles for externalism, but the objection should be independent of the modal status of the involved propositions. The epistemic promiscuity occurs for relations between contingent propositions as well.

Second, related to the first point, the first proposition entails the second one. (The second of course conversely entails the first proposition as well since the propositions precisely are necessary.) The entailment relation also gives rise to familiar problems within epistemology. For instance, subjects seem to be rationally committed to believing all entailed beliefs of the ones they hold. The standard move is to restrict them to known entailments. Baron Reed aptly remarks (in a different context) “entailment is not in itself an epistemic relation”.Footnote 20 For internalism, the mere presence of a relation between two relata does not suffice for a subject being justified; an additional access to that relation is also required. Since externalism precisely omits access conditions on justification where internalists pose them, maybe we have here come across a problem for externalism specifically. The challenge for externalism, then, consists in how to likewise internalize the relevant relation in an epistemically appropriate fashion without posing any access condition. The problem arises for any “reliably truth-preserving” relation one relatum stands to the other. Here, the basing relation might come to the rescue with respect to internalization, but adding that requirement does not help in the case at hand for the two first reasons already stated.

Let me note on the side that I am unsure whether adding this epistemic constraint is sufficient for understanding in cases of entailment. Boghossian’s example contains two arithmetical propositions belonging to the same object of understanding. However, since any necessary proposition stands in a relation of reciprocal entailment to any other necessary proposition, a haphazard object can be conjoined out of any disparate necessary propositions from different domains. Accordingly, as long as the subject knows their general modal status, i.e. that they are necessary, the subject seems to possess understanding of this strange object.Footnote 21

Third and last, our intuitions may differ depending on whether the inference in question is basic or not. In the case of the proof of Fermat’s last theorem, more specific and highly advanced mathematical beliefs and lemmas are needed to get the proof off the ground and many intermediary steps must be taken in order to arrive at Fermat’s last theorem; for instance, apparently along the way one needs to prove something called the Taniyama-Shimura conjecture which says that every elliptical equation can be correlated with a modular form.Footnote 22 So the inference arriving at Fermat’s last theorem is not basic, and accordingly, an externalist could plausibly claim that a subject needs to base her belief in the theorem on these intermediate steps in order to possess understanding.

The externalist might thus pose a dilemma to internalism: the inference is either basic or not. Now as we have just seen, externalism may escape permissiveness with respect to non-basic inferences. What about basic inferences then? Here, internalism is at least as worst off as externalism for well-known reasons. Neither position can offer what internalism requires for justification; the subject is instead caught in a regress or a circle.Footnote 23 The externalist thinks that the lesson to learn is that at some point we must go external and basic inferences seem a good point to do so.

With these provisos made, is the limited access I propose, which omits access to the adequacy of the inference, sufficient in meeting the charge of granting understanding too promiscuously? I suggest that emphasizing that the stronger form of access in (iii) requires access to the objective adequacy provides the key for giving a positive answer to the question. In (ii) the subject does lack access to the objective adequacy, but if she herself does not think that the conclusion follows from the premises, then how she arrives at the conclusion from the premises will seem like a mystery to her, reminiscent of how Laurence Bonjour depicts his famous reliable clairvoyants.Footnote 24 This phenomenological character of the inference does not of course amount to the inference thereby being objectively adequate. Nonetheless, how the subject could conclude that Fermat’s last theorem holds because 2 + 2 = 4 would seem obscure to her (and rightly so). Rather than treating the conclusion as the result of an inference, the “conclusion,” in so far as the subject would feel inclined to believe the first proposition based on the second proposition, would rather appear as the result of compulsion. Both scenarios would be compelling for sure, but in very different ways for the subject. I therefore believe that my moderate internalist suggestion gives the right verdict for the right reason and thus escapes the charge of permissiveness.Footnote 25

5 V

Having already mentioned Sosa’s account from his latest book, it may be illuminating finally to compare and contrast the results gained so far regarding understanding with his SSS-structure for epistemic competences together with his recently developed notion of knowing full well whereby he replaces reflective knowledge.Footnote 26

Sosa analyzes competences in terms of what he dubs the SSS-structure. The SSS-structure is spelled out as Seat, Shape, and Situation where skill depicts the innermost basis—the seat of the competence.Footnote 27 He holds that all epistemic states are constituted by competences and that all competences display this structure. Sosa’s employment is clearly more general than Parvese’s. Sosa here distinguishes between functional and intentional beliefs. Both kinds of beliefs aim (constitutively) for truth and can therefore be classified as actions. Whilst the former aims so “through psychological or biological teleology”, the latter can do so consciously.Footnote 28 Despite this distinction, Sosa in my mind stretches the notion by letting skills form part of any epistemic state/competence. I remain unpersuaded: skills, as actions, only fit the intentional side of the divide and actions are few and far between in epistemology.Footnote 29

One aim for Sosa in the book is to develop his notion of knowing full well or fully apt and to stress the importance of that epistemic state.Footnote 30 When a subject knows fully well or aptly, she aptly attains aptness of affirmation, which in his terminology amounts to a judgment

Once the affirmation also aims to get it right aptly, then it ascends epistemically to the level of judgment. An apt judgment is hence a fully apt affirmation, one that aims for aptness in alethic affirmation, and aptly attains that objective. (Ibid, 93.)Footnote 31

Does my suggestion then classify understanding as fully apt?—No, it does not. Let me point to some important contrasting features. (1) As we have seen, I suggest that access to adequacy is not required for understanding, so the subject need not have any objective epistemic access into the adequacy of her epistemic state. The subject need not, then aptly attain apt understanding. Moreover, (2) unlike the state of knowing full well, no epistemic enhancement occurs in gaining understanding in that the original justification of the relata or the relationships themselves becomes stronger (which I hold would be required).Footnote 32 (3) No increased confidence need to occur in the subject as she gains understanding and, moreover, if such an increase does occur, the epistemic position is not solely thereby strengthened.Footnote 33 (4) As we have seen, the grasping of the relationships is not a voluntary conscious act as judgments are.Footnote 34 Grasping thus belongs to the functional side of the divide Sosa distinguishes.

(5) Finally, no second order epistemic state is necessarily involved in understanding and, in particular, no second order guiding of the first order necessarily takes place in reaching understanding.Footnote 35 In fact, even less so in one crucial aspect: since the relata need not be beliefs, the belief about the relationships they stand to each other must not be second order for the sake of being a belief about a belief. So no second order is necessarily involved unless the claim is that the internalist condition of awareness always requires epistemic states to be raised to a higher level. In that case, however, understanding would not stand apart in this respect from any other epistemic state falling under the internalist condition.

What Sosa shows at most is that if a subject has a full blown intention and makes a conscious decision to affirm, deny or suspend judgment, then the resulting state is second order,Footnote 36 but the subject can grasp relationships without undergoing any of these second order mental processes. Note here that neither the non-basic, nor the relational character of understanding, entail a second order status; nor does the more demanding condition of access to the adequacy—that is just another kind of access into the epistemic properties of the epistemic standing in question. Understanding and knowing full well thus come apart. For my purpose of investigating understanding, Sosa’s account offers at best a case of a sufficient rather than a necessary condition and, often, superfluous hyper-intellectualization.

To sum up, we have gained headway into the elusive nature of grasping as a constituent of understanding by, for instance, employing Alston’s useful distinction between access to the ground and access to the adequacy of the ground. However, although grasping shares some features with skills in a narrow sense, we have noted that other features do not fit well, so subsuming understanding under skills does not seem a fruitful or illuminating endeavor. In particular, unlike grasping an object with your hands, mental grasping is not a voluntary act.