Recommended resources
The freely available resources this lesson will direct you to.
- Kripkenstein! (The Rule Following Paradox)www.youtube.com
- 7 Varieties of Philosophical Skepticism - Kripke & Wittgenstein on Meaningwww.youtube.com
- “Rule‐Following I: The Basic Issues” - PMC - PubMed Centralpmc.ncbi.nlm.nih.gov
- Rule-Following and Intentionality (Stanford Encyclopedia of ...plato.stanford.edu
Hello! In our last lesson, we explored Wittgenstein's concepts of 'language-games' and 'family resemblance'. We saw that the meaning of a word is its use within a practical activity, and that general terms are often held together by a network of overlapping similarities, not by a single, strict definition. This leads to the conclusion that many of our concepts have "blurred edges."
This lesson will address a deeply unsettling question that arises from this conclusion: If rules and concepts don't have sharp, pre-defined boundaries, what makes any particular application of a rule correct? How can we be sure that we are understanding each other, or even ourselves? This brings us to today's learning outcome: Analyze the rule-following considerations and their skeptical implications for understanding.
We will delve into what is often called the "rule-following paradox," a set of arguments found in Wittgenstein's Philosophical Investigations but given its most famous and forceful expression by the philosopher Saul Kripke. Given your background in mathematics, you will find the logical structure of this problem, which uses a mathematical example at its core, particularly engaging. This is one of the most debated topics in modern analytic philosophy and has profound implications for the nature of meaning, language, and thought.
1. The Skeptical Challenge: Kripkenstein's Paradox
Saul Kripke's book Wittgenstein on Rules and Private Language presented a radical interpretation of Wittgenstein's arguments. Kripke frames the issue as a skeptical challenge posed to our ordinary assumption that we mean determinate things by our words. His interpretation is so influential that the views he develops are often attributed to a hybrid philosopher, "Kripkenstein."
The central question Kripkenstein's skeptic asks is: What fact about you makes it the case that you are following one rule rather than another, given that your past behavior is consistent with an infinite number of different rules?
To get a clear overview of this problem, let's watch a short video.
Kripkenstein! (The Rule Following Paradox)
This video from Carneades.org provides a concise introduction to 'Kripkenstein' and the core of the rule-following paradox using Kripke's famous mathematical example.
Watch the first five minutes of the video (00:00 - 05:02). Focus on understanding the setup of the paradox: the distinction between 'plus' and 'quus', and why all of someone's past actions can't distinguish which rule they were following.
The video introduces the now-famous "plus" versus "quus" example. Let's formalize it:
- Addition (
plus): The familiar function . - Quaddition (
quus): A bizarre function Kripke defines, for example, as:
The skeptic's challenge is this: Suppose you've never before computed with numbers 57 or greater. Now, someone asks you for the answer to "68 + 57". You confidently answer "125". The skeptic then argues:
"All your past behavior is perfectly consistent with the rule you were following for '+' being quus, not plus. If you were following the quus rule, the correct answer to '68 + 57' would be 5. What fact about your past mental states or behavior makes it true that you meant plus rather than quus?"
This is not just an epistemological problem ("How do you know which rule you meant?"). It's a metaphysical one: What fact constitutes your meaning one thing rather than another?
2. A Deeper Dive into the Argument
To fully appreciate the force of this skeptical argument, we'll examine its structure more closely. Wittgenstein first approaches the problem with a simpler example of continuing a series, which Kripke later develops into the more radical plus/quus form.
7 Varieties of Philosophical Skepticism - Kripke & Wittgenstein on Meaning
This video lecture provides a more detailed, philosophical exploration of the rule-following problem. The speaker carefully builds up the argument from its origins in Wittgenstein's work to Kripke's formulation.
This video is dense, so we will watch it in three parts: The Signpost Analogy (10:03 - 28:48): Watch this segment to understand the initial framing of the problem. A rule, like a signpost, seems to need an interpretation to guide action, but that interpretation itself is another rule that can be misinterpreted, leading to a regress. Wittgenstein's Mathematical Example (33:55 - 42:45): Here, the speaker explains Wittgenstein's 'add two' example from the Philosophical Investigations, which shows how a student's performance can be consistent with multiple rules. Kripke's 'Plus' vs. 'Quus' (01:05:34 - 01:21:02): Finally, watch how Kripke sharpens this into the plus/quus paradox, demonstrating that past finite performance can never uniquely determine a future application.
As the video shows, the problem is not about weird mathematical functions. It applies to any word. For example, what fact makes it true that by "green" I mean the color green, and not the property grue (green if observed before the year 2050, and blue otherwise)? All my past uses of "green" are consistent with me meaning grue.
3. The Failed Search for a Meaning-Constituting Fact
Kripke's skeptic proceeds by systematically examining every possible candidate for the "fact" that constitutes meaning and showing why each one fails. This methodical demolition of alternatives is a classic piece of analytic philosophy.
“Rule‐Following I: The Basic Issues” - PMC - PubMed Central
This article, “Rule‐Following I: The Basic Issues,” clearly outlines Kripkenstein's skeptical challenge and his refutation of potential solutions. It's a very structured and efficient summary of the argument.
Please read sections 2.3 ('Kripkenstein') and 2.4. In section 2.3, focus on the setup of the skeptical challenge and the 'Guidance' constraint. In section 2.4, carefully follow the arguments against each of the six proposed answers (Explicit instructions, Dispositions, Simplicity, Experience, Primitivism, and Platonism).
Let's recap the main reasons these candidates fail:
- Past Behavior/Explicit Instructions: Any finite set of examples or verbal instructions is itself open to multiple interpretations (e.g., plus vs. quus, count vs. quount). This leads to an infinite regress.
- Dispositions: This is a strong contender. The idea is that meaning plus is just being disposed to give the sum in response to a '+' query. Kripke argues this fails for three key reasons, which the Stanford Encyclopedia of Philosophy article on Rule-Following explains well as conditions a meaning-fact must meet.
- The Extensionality Problem (Finitude & Error): Our dispositions are finite (we can't compute infinitely large numbers) and fallible (we make mistakes). But the addition rule is infinite and determines the correct answer, regardless of our mistakes. So, our actual dispositions don't match the rule of addition.
- The Normativity Problem: Dispositions are descriptive—they tell us what we will do. Meaning is normative—it tells us what we should do to be correct. A disposition to err doesn't make the error correct.
- Mental States (Images, Feelings): An image of adding two piles of apples is just another signpost needing interpretation. A feeling of "understanding" doesn't guarantee future correctness.
- Primitivism/Platonism: Saying meaning is a primitive, unanalyzable state or that we grasp an abstract Platonic Form of Addition doesn't solve the problem. It just names the mystery. It doesn't explain how our finite minds connect with this infinite rule to guide our actions in new cases.
Test your understanding!
Consider a simple computer program designed to implement the add(x, y) function. For a computer, we might think the rule is fixed and unambiguous. How would Kripkenstein's skeptic challenge the claim that the computer means addition by its add function? (Hint: Think about physical limitations, potential bugs, or cosmic rays).
Show answer
This is a great test of the argument's scope. The skeptic would argue that even for a computer, there is no fact of the matter that it means addition rather than some quus-like function.
-
Finitude: The computer's hardware has physical limits. It cannot represent or compute numbers beyond a certain size (e.g., a 64-bit integer limit). So, its actual behavior is finite. The skeptic can define a function
quus_computerthat is identical to addition for all numbers the machine can physically handle, but diverges for numbers beyond that limit (e.g., it always returns 0 for larger numbers). The computer's program and all its past computations are consistent with it meaningquus_computer. -
Error: The machine is a physical system, susceptible to error. A cosmic ray could flip a bit during a calculation, causing a wrong answer. A hardware fault might develop. A bug might exist in the compiler or operating system that only manifests in rare edge cases. The dispositionalist would have to say that these "mistakes" are actually part of the function the machine means. But we want to say the machine made an error in applying the rule of addition. The dispositional account robs us of a standard for correctness.
-
The Code Itself: What about the source code
return x + y;? The skeptic argues that the symbols+,x,yare themselves open to interpretation. The compiler that turns this into machine code is just another layer of rule-following. What fact determines that the compiler correctly interprets+as addition for all possible inputs, rather than some other function?
The core skeptical point remains: the machine's physical state and past performance are a finite set of facts. These facts are consistent with an infinite number of different rules (functions). Therefore, there is no physical fact about the machine that can ground the claim that it uniquely means addition.
4. The Skeptical Conclusion: The Vanishing of Meaning
After systematically refuting every candidate for a meaning-constituting fact, the skeptic reaches a breathtaking conclusion. As Kripke puts it:
"There can be no such thing as meaning anything by any word. Each new application of a word is a leap in the dark; any present intention could be interpreted so as to accord with anything we may choose to do. So there can be neither accord nor conflict."
This is the ultimate skeptical implication. The problem isn't just that we can't be certain about what we mean. The problem is that there seems to be no fact at all that we mean one thing rather than another. Meaning itself seems to dissolve.
7 Varieties of Philosophical Skepticism - Kripke & Wittgenstein on Meaning
Let's return to the Philosophy Overdose lecture to hear the speaker articulate this shocking conclusion and its philosophical depth.
Watch the final segment from 01:30:24 to 01:34:49. The speaker emphasizes Kripke's point that the paradox leads to the conclusion that there is 'no fact about me that constituted my having meant plus rather than quus,' questioning the very existence of determinate meaning.
This conclusion seems insane and self-refuting. After all, the skeptical argument itself uses words that we presume to have meaning. Kripke acknowledges this, calling it an "incredible and self-defeating" conclusion that must be addressed.
Conclusion
This lesson has taken us to the edge of a philosophical abyss. By relentlessly pursuing the question "What makes our use of a word correct?", the rule-following considerations seem to lead to a paradox that threatens the very possibility of meaning.
Key Takeaways:
- The rule-following paradox, articulated by Kripke as a skeptical challenge, questions what fact about a person constitutes their meaning one thing (e.g.,
plus) rather than another (quus), given that all past behavior is consistent with infinitely many rules. - The skeptic systematically refutes all candidate "meaning facts," including past usage, explicit instructions, mental images, and dispositions, by showing they cannot satisfy the extensionality (determining the correct set of applications) and normativity (accounting for correctness/incorrectness) of meaning.
- The devastating skeptical conclusion is that there appears to be no fact of the matter about what we mean by our words. This isn't just a problem of knowledge; it's a metaphysical problem suggesting that determinate meaning is an illusion.
Preview of the Next Lesson:
How do we escape this paradox? Kripke argues that Wittgenstein doesn't refute the skeptic but offers a "skeptical solution." He accepts that there are no meaning-facts about isolated individuals, but argues this shows that meaning isn't a private mental affair at all. It's an essentially public, social practice. This leads directly to Wittgenstein's famous Private Language Argument, which we will reconstruct in our next lesson. It claims that a language only one person could understand is logically impossible, precisely for the reasons uncovered by the rule-following paradox.