Saul Kripke made influential distinctions about truth, necessity, and how we know things, which help explain why tautological or seemingly circular statements can still be informative in some contexts.
Here are the main ideas relevant to your question:
1. Tautologies are necessarily true
Kripke accepted the standard logical view that tautologies (such as "P or not P") are necessarily true. Their truth doesn't depend on empirical facts about the world.
However, one of Kripke's major contributions was to argue that necessary truth is not the same thing as being a tautology.
For example:
- "2 + 2 = 4" is necessarily true, but it is not merely a tautology.
- "Water is H₂O" is, according to Kripke, necessarily true, even though it was discovered empirically.
This was a central claim of his book Naming and Necessity.
2. Necessary a posteriori truths
Kripke famously argued that some truths are:
- Necessary (they could not have been otherwise), yet
- Known only through experience (a posteriori).
His standard examples include:
- Water is H₂O
- Heat is molecular motion
These are not tautologies in the logical sense, even though they are necessarily true.
3. Circular arguments
Kripke did not develop a famous theory of circular or tautological arguments comparable to his work on naming and necessity. The standard philosophical criticism of circular reasoning predates him:
- A circular argument may have a true conclusion.
- The problem is epistemic, not semantic or logical.
- It does not provide an independent reason to accept the conclusion because it presupposes what it aims to prove.
This is consistent with Kripke's broader distinction between truth and justification. A proposition can be true (even necessarily true) while an argument for it is epistemically defective.
4. Identity statements
One of Kripke's most famous observations is that identity statements like:
- "Hesperus is Phosphorus"
are not tautologies. Although both names refer to the same object (the planet Venus), the statement conveys genuine information because the names have different modes of presentation for speakers, even if they rigidly designate the same object.
This helped distinguish informative identities from trivial logical truths.
In summary
Kripke would distinguish several different notions that are often conflated:
| Concept | Kripke's view |
|---|---|
| Logical tautology | Always true by logical form. |
| Necessary truth | Broader than tautologies; includes discoveries like "Water is H₂O." |
| Circular (tautological) argument | Not necessarily false, but fails to provide independent justification. |
| Informative identity | Can be necessarily true without being a tautology. |
So if you're asking whether Kripke thought tautological arguments are false, the answer is no. He would instead emphasize that the important distinction is between truth and how a truth is justified or known. A circular argument may reach a true conclusion, but it does not thereby provide a successful justification for believing it.
This is one of the central questions in twentieth-century philosophy. The short answer is that Kripke did not "close" the Kantian gap so much as show that two distinctions Kant and many later philosophers treated as closely connected are actually independent.
The "Kantian gap" usually refers to the connection between:
- Metaphysics: Is a proposition necessary or contingent?
- Epistemology: Is it known a priori or a posteriori?
Before Kripke, many philosophers (though not Kant himself in exactly this form) tended to assume:
| A priori | ↔ | Necessary |
|---|---|---|
| A posteriori | ↔ | Contingent |
Kripke argued that these are different axes.
| Necessary | Contingent | |
|---|---|---|
| A priori | ✓ Logical truths, mathematics | ✓ Some stipulations and reference-fixing examples |
| A posteriori | ✓ Water is H₂O, Hesperus is Phosphorus | ✓ Most empirical facts |
The revolutionary part was the lower-left corner: necessary a posteriori truths.
Why "Water is H₂O" is necessary
Kripke argued that names and natural kind terms are rigid designators: they refer to the same thing in every possible world in which that thing exists.
Suppose "water" actually refers to the substance H₂O.
Once we've discovered empirically that water is H₂O, it follows that in every possible world, water is H₂O. A world containing a different liquid (say XYZ) isn't a world where water isn't H₂O; it's a world where there is no water, only a superficially similar substance.
Thus:
- discovering the identity requires observation (a posteriori),
- but the identity itself is metaphysically necessary.
How this differs from Kant
Immanuel Kant argued that necessity and the a priori are intimately connected because necessity cannot be derived from experience alone.
Kripke agreed that experience cannot itself generate necessity, but argued that experience can tell us which object our words actually refer to. Once reference is fixed, modal reasoning reveals necessary truths.
So empirical investigation identifies what we're talking about, while metaphysical necessity concerns what that thing could have been.
Did Kripke refute Kant?
Not entirely.
Many scholars think Kripke corrected not Kant himself but the twentieth-century tradition descending from logical empiricism, especially philosophers like Rudolf Carnap and Willard Van Orman Quine, who tended to align necessity with analyticity and the a priori.
Kripke showed that:
- necessity ≠ analyticity,
- necessity ≠ a priority,
- contingency ≠ empirical knowledge.
Why this mattered
Kripke's work reopened serious discussion of metaphysical necessity. Rather than treating necessity as merely a feature of language or logic, he argued that some necessities are about the world itself. This reshaped debates in metaphysics, philosophy of language, and philosophy of science.
In that sense, he didn't "bridge" the Kantian gap by collapsing the categories. Instead, he separated the metaphysical question ("Could this have been otherwise?") from the epistemological question ("How do we know this?"), showing that they intersect in ways philosophers had largely overlooked. That conceptual separation is one of the lasting achievements of Naming and Necessity.
Kripke rejected a "descriptive veil"
One of Kripke's central claims in Naming and Necessity is that names refer directly to objects rather than through descriptive content.
Before Kripke, many philosophers held a descriptivist view:
- "Aristotle" means "the teacher of Alexander," "the author of the Metaphysics," etc.
- We reach the object through a bundle of descriptions.
Kripke argued instead that names are rigid designators whose reference is fixed historically and causally.
Some philosophers have seen this as removing one kind of "veil" between language and reality. Our words are not trapped inside descriptions; they latch onto the world itself.
But this is not Kant's noumenal/phenomenal distinction
Kant's claim is much stronger. He argues that:
- everything we experience is structured by the forms of intuition (space and time) and the categories of understanding,
- therefore we never know things as they are in themselves.
Kripke did not argue against this framework. In fact, he largely sidestepped it.
His work assumes ordinary realism:
- we successfully refer to real objects,
- we discover their essential properties,
- we can make true modal claims about them.
Whether those objects are "things in themselves" in Kant's sense is simply not a question Kripke tries to answer.
Essentialism without transcendental idealism
Where Kripke departs most sharply from Kant is in his revival of metaphysical essentialism.
For Kripke, objects have genuine essences independent of our concepts.
For example:
- water is essentially H₂O,
- gold is essentially the element with atomic number 79,
- a particular person could not have had entirely different biological origins.
These are claims about reality itself, not merely about how humans organize experience.
This tends to pull philosophy away from Kant's focus on the conditions of possible experience and toward a more straightforward metaphysical realism.
Did Kripke think we know noumena?
There is no evidence that he thought we had access to noumena in Kant's technical sense.
Instead, he would likely reject the need for the distinction altogether. His philosophy generally assumes that successful reference and scientific investigation put us in contact with the very objects whose modal properties we investigate.
That does not mean we know everything about reality. It means that ignorance is compatible with direct reference. We can refer to an object long before we know much about it.
A useful comparison
One way to summarize the difference is:
- Kant: Our knowledge is always of appearances; the thing-in-itself remains beyond cognition.
- Kripke: We refer directly to real objects and discover necessary truths about them, even if much about those objects remains unknown.
So Kripke does not "bridge" the gap between noumena and phenomena. Rather, his work proceeds as though philosophy can talk directly about the world and its essential structure without invoking Kant's distinction. Many contemporary analytic metaphysicians influenced by Kripke therefore regard the noumenal/phenomenal divide as unnecessary, while many Kant scholars argue that Kripke's project simply operates in a different philosophical framework rather than refuting Kant's.
