Note on Williamson and Fine on Hyperintensionality and Education

The exchange between Kit Fine and Timothy Williamson turns on a deceptively simple question, one that becomes increasingly difficult the more closely one examines it, namely when we should count two things as the same. In their hands this question concerns propositions, properties, explanations, and logical form, but it can be rearticulated in a way that bears directly on philosophy of education. What counts as the same piece of knowledge, the same understanding, or the same achievement? Are two students who produce the same correct answers thereby equivalent in what they have learned, or are there further distinctions that matter? The Fine–Williamson debate provides a set of conceptual tools for thinking about these questions with unusual precision, especially through the contrast between extensional, intensional, and hyperintensional frameworks.

The starting point is the distinction between extensional and intensional ways of individuating content. An extensional framework is the coarsest. It treats two expressions, properties, or items of knowledge as the same if they have the same extension, that is, if they apply to the same things in the actual world. The classic example concerns expressions such as “creatures with hearts” and “creatures with kidneys.” In the actual world these happen to pick out exactly the same organisms. From an extensional perspective there is no difference between them. The distinction collapses because the criterion for sameness is exhausted by actual co application. This framework has an intuitive analogue in education. If two students produce identical answers on an assessment, then extensionally they are the same. The focus is on actual performance. What matters is what they did, not what they would do under different conditions, and not how they arrived at their answers. This perspective underlies many basic forms of assessment, particularly those that prioritise observable outputs. It is attractive because it is simple, operationalisable, and publicly verifiable. However, it is also limited. It cannot distinguish between coincidence and understanding, nor between robust knowledge and fragile success.

The move to an intensional framework introduces modality, that is, the language of possibility and necessity. Rather than asking whether two things coincide in the actual world, the intensionalist asks whether they coincide across all possible worlds, all relevant ways things might have been. Two properties are the same if they apply to the same things in every possible case. Two propositions are the same if they are true in exactly the same possible situations. Necessary equivalence becomes the standard of sameness.This refinement resolves some of the limitations of extensionalism. Returning to the earlier example, even though “creatures with hearts” and “creatures with kidneys” coincide in the actual world, we can imagine a possible world in which a creature has a heart but no kidneys. Because the two expressions come apart under this modal variation, the intensionalist treats them as distinct. The criterion is no longer what happens to be the case, but what must be the case across possibilities.In educational terms, this corresponds to a richer conception of learning. Two students are the same, in the relevant respect, not merely if they answer the same test questions correctly, but if they would answer all relevant variations correctly. This brings in ideas of transfer, generalisation, and robustness. A student who understands a concept should be able to apply it in novel situations, not merely reproduce it in familiar formats. The intensional perspective therefore aligns with a more demanding account of knowledge, one that looks beyond immediate performance to modal competence.

Timothy Williamson’s position is firmly situated within this intensional framework. Drawing on the tradition of possible worlds semantics, developed most prominently by Saul Kripke, Williamson argues that properties, propositions, and states of affairs can be adequately individuated by their modal profiles, that is, by how they behave across possible worlds (Williamson 2013). If two propositions are true in exactly the same possible worlds, then they are the same proposition. If two properties apply to exactly the same objects in every possible world, then they are the same property. This yields a unified and mathematically tractable framework that has proved influential not only in philosophy but also in linguistics, computer science, and economics.Williamson emphasises several virtues of this approach. It is simple, in the sense that it employs a single, clear criterion of sameness. It is well understood, with a long history of formal development. It is stable, allowing researchers to build upon it without constantly revising its foundations. And it is widely applicable, connecting with probabilistic and scientific models that also operate over structured spaces of possibilities. These features make it an attractive candidate for a general framework within which to analyse meaning, knowledge, and reasoning.

However, Kit Fine argues that this framework, for all its virtues, is not fine grained enough. His central claim is that necessary equivalence is too coarse a standard for sameness. Two expressions can be true in exactly the same possible worlds and yet differ in ways that matter. To capture these differences, he proposes a hyperintensional framework, one that distinguishes between items even when they coincide across all possibilities.The motivation for this move can be illustrated with simple logical examples. Consider the sentences “P” and “P or (P and Q).” These are necessarily equivalent. In every possible world in which P is true, both sentences are true. In every possible world in which P is false, both are false. From an intensional perspective, there is no difference between them. Yet intuitively, they are not the same. The second sentence has a more complex structure. It introduces an additional disjunct, “P and Q,” which, although redundant in terms of truth value, represents an extra route by which the sentence can be true.

Fine’s proposal is that such differences should be taken seriously. They are not merely stylistic or linguistic variations, but reflect genuine distinctions in content. To articulate this, he introduces the notion of truthmakers. A truthmaker is, roughly, whatever in the world makes a statement true. The sentence “P” is made true by whatever fact ensures that P holds. The sentence “P or (P and Q)” can be made true in more than one way, either by the fact that P holds, or by the fact that both P and Q hold. Even though these possibilities collapse into the same truth value across worlds, the structure of dependence differs. Hyperintensionality tracks these differences in what makes something true, not merely in whether it is true.

This leads to a key distinction in Fine’s account between one to one and one to many relations between language and reality. On a one to one view, each true sentence corresponds to a single fact that makes it true. On a one to many view, a single sentence may be made true by different facts. It is this multiplicity that allows Fine to distinguish between necessarily equivalent sentences. They may share the same truth conditions, but differ in their truthmaking structure. The crucial point is that intensionalism looks at whether two things always come out the same, while hyperintensionalism also looks at how and why they come out the same. The latter introduces a finer grain of analysis, sensitive to structure, explanation, and dependence.

Williamson resists this move on several grounds. One of his main concerns is what he calls projection. He argues that many of the intuitions that motivate hyperintensionalism arise from projecting features of language or discourse onto the world itself. For example, we often judge that one explanation is better than another because it is more informative or more helpful in answering a question. But this is a pragmatic feature, not necessarily a semantic or metaphysical one. The fact that “furze is gorse” is a more helpful explanation than “furze is furze” does not mean that the corresponding propositions differ in truth conditions. They are simply different ways of presenting the same content. This critique is particularly relevant in educational contexts. Teachers frequently assess understanding on the basis of explanations, valuing clarity, coherence, and informativeness. Williamson’s point suggests that such judgments may be influenced by communicative factors rather than by underlying differences in knowledge. A student who provides a more articulate explanation may not, in fact, possess a deeper understanding. The risk is that we mistake differences in expression for differences in content.

Fine acknowledges the importance of this concern but argues that not all cases can be dismissed as projection. In his view, the distinction between “P” and “P or (P and Q)” is not merely a matter of how something is said, but of what is said, once we attend to the structure of truthmaking. Similarly, differences in explanation may reflect differences in the underlying organisation of knowledge, not just in its presentation. The challenge is to distinguish genuine hyperintensional differences from merely linguistic ones.The debate becomes especially illuminating when applied to learning. Consider two students who consistently produce correct answers across a wide range of problems. From an intensional perspective, they are equivalent. Their knowledge tracks truth across all relevant possibilities. However, from a hyperintensional perspective, they may differ significantly. One student may rely on memorised procedures, while the other understands the principles that justify those procedures. The difference lies not in the outcomes, which are the same, but in the structure of understanding that supports them.

This distinction is central to many concerns in contemporary education, particularly in relation to artificial intelligence. Generative systems can produce correct answers across a wide range of tasks, often matching or exceeding human performance. From an intensional perspective, this may appear to demonstrate a form of knowledge. However, if the system lacks the underlying structures of understanding, if it cannot explain, justify, or adapt its responses in a principled way, then a hyperintensional analysis would deny that it possesses knowledge in the same sense as a human learner. The outputs are the same, but the grounds of those outputs differ.

Fine’s framework also has implications for the design of curricula and assessments. If we adopt an intensional approach, we are likely to prioritise tasks that test performance across varied conditions, ensuring that students can generalise their knowledge. If we adopt a hyperintensional approach, we may also seek to assess the structure of understanding, through explanation, justification, and the ability to reconstruct knowledge from first principles. This is more difficult to standardise and measure, but may better capture what we value in education.

The discussion of counterfactuals in the Fine–Williamson exchange further enriches this picture. Counterfactual reasoning, thinking about what would happen if things were different, is a key component of understanding in many domains. Fine argues that hyperintensional frameworks allow for a more flexible and expressive treatment of embedded counterfactuals, as well as for the reduction of complex counterfactuals to simpler forms. Williamson, by contrast, treats counterfactuals as a kind of modality, subject to the same general principles as other modal operators. The disagreement reflects different views about how structured and simplifiable our representations of possibility should be. In educational terms, this connects to the role of hypothetical reasoning in learning. Students who can navigate layered “what if” scenarios, considering multiple interacting conditions, demonstrate a form of understanding that goes beyond simple correctness. Whether this capacity can be adequately captured within an intensional framework, or requires a hyperintensional one, is an open question, but the debate highlights its importance.

At a more general level, the exchange reveals a methodological tension in philosophy. Williamson places a premium on simplicity, stability, and the success of established frameworks. He is cautious about introducing additional distinctions unless they are clearly necessary, and sceptical of intuitions that conflict with well supported theories. Fine, while also valuing simplicity, is more willing to revise frameworks in response to particular cases that reveal their limitations. He emphasises the importance of attending to the details of our intuitions and experiences, even at the cost of complicating our theories.

This tension has clear parallels in educational theory. On the one hand, there is a need for stable, general frameworks that can guide practice and policy. On the other hand, there is a recognition that learning is complex and context dependent, and that overly coarse frameworks may obscure important differences. The Fine–Williamson debate suggests that both perspectives have something to contribute. Intensional frameworks offer clarity and scalability, while hyperintensional frameworks offer sensitivity to structure and depth.

In conclusion, the distinction between extensional, intensional, and hyperintensional approaches provides a powerful lens for thinking about learning. Extensionalism focuses on actual performance, intensionalism on performance across possibilities, and hyperintensionalism on the structure and grounding of that performance. The debate between Fine and Williamson shows that moving from one level to the next involves trade offs between simplicity and granularity, stability and sensitivity. For philosophy of education, the challenge is not to choose once and for all between these levels, but to understand how they relate and where each is most appropriate. 

In an educational landscape increasingly shaped by technologies that can replicate correct outputs, the question of what lies beneath those outputs, what makes them true, and whether that structure is present in the learner, becomes ever more pressing. The Fine–Williamson discussion does not settle these questions, but it equips us with a clearer vocabulary for asking them.

References

Fine, K. (2017). The Limits of Abstraction. Oxford: Oxford University Press.

Fine, K. (2012). “Guide to Ground.” In F. Correia and B. Schnieder (eds.), Metaphysical Grounding: Understanding the Structure of Reality. Cambridge: Cambridge University Press.

Kripke, S. (1980). Naming and Necessity. Cambridge, MA: Harvard University Press.

Williamson, T. (2013). Modal Logic as Metaphysics. Oxford: Oxford University Press.

Williamson, T. (2000). Knowledge and Its Limits. Oxford: Oxford University Press.

Yablo, S. (2014). Aboutness. Princeton: Princeton University Press.