Williamson and Fine: A Note On Metaphysics, Logic and Philosophy of Education
What is it to understand something, rather than merely to get it right? This question sits at the centre of philosophy of education yet much contemporary practice tends to answer it indirectly by tracking correctness, fluency, or performance under assessment conditions. Kit Fine and Timothy Williamson offer a set of conceptual tools that allow us to reopen this question with much greater precision. They subtly disagree on some things and subtly agree on others.
Although their debate is conducted in the language of metaphysics and philosophical logic, it can be translated, carefully and without distortion, into a framework for thinking about educational understanding, assessment, and the structure of knowledge.The key to doing this is to proceed slowly through the technical distinctions, since each one corresponds to a potential distinction in educational practice that is otherwise difficult to articulate.
The first and most basic distinction is between necessity and essence. In modal logic, which studies necessity and possibility, a statement is necessary if it is true in all possible worlds, that is, in all ways things could have been. For example, “2 + 2 = 4” is necessary in this sense. Modal logic gives us formal tools to represent this using operators like □ (necessarily) and ◇ (possibly). Much twentieth-century metaphysics, especially after Kripke, treated necessity as a central notion for understanding reality. If something is necessarily true of an object, that was often taken to tell us something deep about that object.
Fine’s intervention is to argue that necessity is not fine-grained enough. There is a further notion, essence, which concerns what something is. Formally, Fine introduces an operator, often written as “it is essential to x that A,” which cannot be reduced to □A. The crucial claim is that there are statements that are necessarily true of an object but are not essential to it.
The standard example works like this. Consider Socrates and the set that contains only Socrates. It is necessarily true that Socrates belongs to that set. There is no possible world in which he does not. Yet it does not seem to be part of what Socrates is that he belongs to that set. By contrast, it does seem to be part of what that set is that it contains Socrates. So we have:
Necessarily, Socrates ∈ {Socrates}
But not: essentially, Socrates ∈ {Socrates}Whereas:Essentially, {Socrates} contains Socrates
This shows that necessity and essence come apart. The modal fact does not settle the essentialist fact.
If we translate this into educational terms, we obtain a first important distinction. A student may produce answers that are correct across all relevant assessment conditions. Their performance is stable and invariant. In a loose sense, their responses are “necessary” relative to the test conditions. Yet this does not show that they grasp what the subject matter is. Their correctness may arise from memorisation, pattern recognition, or external scaffolding. The distinction between necessity and essence becomes the distinction between invariance of output and grasp of nature.
Williamson challenges whether this extra notion of essence is required. His strategy is not to deny that we can talk this way, but to question whether the distinction reflects genuine metaphysical structure or whether it arises from features of language and cognition. To do this, he focuses on how expressions contribute to the content of sentences.
Here we need to introduce a second distinction, between extensional, intensional, and hyperintensional contexts. An extensional context is one in which only reference matters. If two expressions refer to the same object, they can be substituted without changing truth. For example, since “the successor of 7” and “the predecessor of 9” both refer to 8, the sentences “8 = successor of 7” and “8 = predecessor of 9” are both true, and substitution preserves truth.
An intensional context is one in which substitution can fail even when reference is the same. Belief reports are the standard example. “Alice believes that Clark Kent is a journalist” can be true while “Alice believes that Superman is a journalist” is false, even though Clark Kent is Superman. The difference in mode of presentation matters.
A hyperintensional context goes further. It allows distinctions even between statements that are necessarily equivalent, that is, true in all possible worlds. For example, “2 + 2 = 4” and “all bachelors are unmarried” are both necessary, but they differ in content in a way that matters for explanation. Hyperintensional frameworks are designed to capture these differences.
Fine’s central claim is that essence is hyperintensional. It is sensitive not just to what expressions refer to, nor even just to how they are presented, but to the internal structure of the proposition and the relations it encodes. Williamson challenges this using cases involving functional expressions. Consider:
It is essential to 8 that it is the successor of 7
It is essential to 8 that it is the predecessor of 9
Most people judge the first true and the second false. Williamson argues that if “successor of 7” and “predecessor of 9” are directly referential, meaning they contribute only their referent, 8, to the meaning of the sentence, then substitution should preserve truth. Since both expressions pick out 8, the two sentences should have the same truth value. Our differing judgements must therefore be mistaken. This argument depends on a particular view of semantics, often associated with a Russellian picture, in which the content of a sentence is built from the referents of its parts. Fine’s response is to challenge this picture by introducing a more structured account of content.
He does this through the notion of objectual content. The idea is that a proposition is not just a truth value or a set of possible worlds, but has an internal structure involving objects and relations. Formally, if a sentence E is built from parts E1, E2, …, En, then its content e is a function of the contents of those parts, and its objectual component o(e) is the union of the objectual components of the parts. In simpler terms, the objects mentioned in a sentence matter to its content. The sentence “8 = successor of 7” involves the objects 8 and 7. The sentence “8 = predecessor of 9” involves 8 and 9. Even though both sentences are true, and necessarily so, they differ in their objectual structure.
This difference can be relevant to essentialist claims. What is essential to 8 may depend on its relation to 7 rather than its relation to 9, because the successor relation plays a role in the structure of the natural numbers. Fine is not claiming that this settles the issue, but that Williamson’s argument does not eliminate the possibility that such structural differences matter. Consider two students solving a problem. Both arrive at the same correct answer. One does so by reconstructing the chain of reasoning from first principles, invoking the relevant concepts and their relations. The other does so by recognising a pattern and applying a memorised rule. At the level of output, the two are indistinguishable. At the level of objectual content, their cognitive states differ. The first involves the relevant concepts and their relations, the second does not. Fine’s framework gives us a way of saying that these differences are not merely psychological but correspond to differences in the structure of understanding.
The next step in Fine’s argument concerns ontological dependence. This is a metaphysical notion that captures the idea that some things depend on others for what they are. A set depends on its members. A hole depends on the object in which it is found. Fine connects essence to dependence through a principle:
If it is essential to y that A, and A is about x, then y depends on x
The idea is that what is essential to something reflects what it depends on. If something does not depend on x, then x is not relevant to its essence.
Williamson’s explanation of error appeals to a “relevance filter,” a heuristic by which we ignore features that seem irrelevant. Fine reframes this by distinguishing between a correct metaphysical principle and a problematic linguistic one. The correct principle concerns dependence. The problematic one says that if a sentence contains a term referring to x, then the proposition is about x in the relevant sense. Fine argues that this is false. A sentence can contain a term referring to something without the proposition being about that thing in a way that matters for essence.
Suppose we say, “the winner of the race is tall.” The sentence contains a reference to the race, but the proposition is about the person who won, not about the race itself. Similarly, “8 = predecessor of 9” contains a reference to 9, but the proposition may not be about 9 in a way that is relevant to the nature of 8.
In educational terms, this corresponds to the distinction between surface features of explanation and structural relevance. A student may include many terms in an explanation, but not all of them are doing explanatory work. What matters is whether the concepts invoked are those on which the result depends. The notion of truthmakers brings this into sharper focus. A truthmaker is what in reality makes a statement true. Fine’s approach is to treat truthmaking as structured and fine-grained. Different truths have different kinds of truthmakers, even if they are necessarily equivalent. This aligns with his hyperintensional framework. In education, we can reinterpret this as the question of what makes a student’s answer correct. The correctness of an answer can be grounded in different ways. It can be grounded in a grasp of underlying structure, in recall of a definition, or in the application of a procedure. These are different “truthmakers” of correctness. A system that evaluates only correctness collapses these distinctions.
Williamson’s caution is that we should not multiply distinctions without necessity. Not every difference in explanation reflects a deep difference in structure. Some may be artefacts of language or presentation. This is an important methodological constraint. In educational terms, it warns against over-interpreting student responses, against reading deep understanding into stylistic variation.
The value of the Fine Williamson framework lies in holding these two perspectives together. Fine provides a way of articulating layers of understanding, from extensional correctness to hyperintensional structure. Williamson provides a discipline that requires us to justify these distinctions and to ensure that they correspond to something more than linguistic variation. From this, we can construct a more articulated model of understanding in education.
At the first level, there is extensional success. The student produces correct answers. This corresponds to truth across relevant conditions. It is what most assessments measure. At the second level, there is intensional competence. The student can follow and reproduce the reasoning that leads to the answer. They can explain the steps and apply them in similar contexts. At the third level, there is hyperintensional understanding. The student grasps the structure of the subject matter, the relations between concepts, and the dependencies that make the result what it is. They can distinguish between different routes to the same answer, evaluate their relevance, and adapt their understanding to novel situations.
The current educational ecology, especially under the influence of generative systems, stabilises at the first level. Outputs can be produced independently of the learner’s own engagement with the structure of the subject. The Fine Williamson framework allows us to see why this is insufficient. It shows that correctness underdetermines understanding, and that deeper forms of grasp require attention to structure, dependence, and grounding.
At the same time, it reminds us that moving beyond correctness requires careful methodological work. We need ways of eliciting and evaluating structure without relying on unreliable proxies. This might involve tasks that require explanation, comparison of alternative approaches, or application in unfamiliar contexts where surface patterns no longer suffice. The broader implication is that understanding is not a single property but a layered phenomenon. It involves relations between outputs, processes, and structures.
Fine’s contribution is to give us the conceptual resources to articulate these layers. Williamson’s contribution is to ensure that we do so with discipline, resisting the temptation to infer structure where none is warranted. Seen in this light, the dispute is not a remote technical quarrel but a resource for rethinking the aims and practices of education. It allows us to move from a model centred on the production of correct outputs to one centred on the articulation and evaluation of structure. It also allows us to see why this shift is both necessary and difficult, since it requires engaging with distinctions that are finer than those captured by current systems of assessment.