Modal Metaphysics: Identity & Necessity

Hello! In our last lesson, you learned how to construct and defend a formal argument, moving from the role of critic to that of an architect. We saw how a valid logical form, combined with well-defended premises, creates a powerful philosophical position.

Today, we delve into a specific and influential toolkit used in contemporary analytic philosophy: modal reasoning. This lesson will equip you to achieve the learning outcome: Apply modal reasoning (possible worlds, rigid designators) to evaluate a metaphysical claim about identity or necessity. You will learn how philosophers like Saul Kripke revolutionized arguments about what is, what must be, and what could be. This is not just a lesson about a philosophical tool; it's a lesson in using that tool to reshape our understanding of reality itself.

We will cover:

1. The Framework: Understanding possible worlds and the modal operators for necessity and possibility.
2. The Key Concept: Distinguishing rigid from non-rigid designators.
3. The Application: Using these tools to evaluate a famous metaphysical claim about identity, leading to the groundbreaking discovery of the "necessary a posteriori."

1. The Framework: Possible Worlds and Modality

Analytic philosophers needed a precise way to talk about possibility and necessity. The framework that emerged, largely developed by Saul Kripke, is built on the idea of possible worlds.

A possible world is a complete and consistent way the universe could have been. In the actual world, you are studying this lesson. But there is a possible world, extremely similar to this one, where you decided to get a coffee first. There are more distant possible worlds where the dinosaurs never went extinct.

To get a clear, intuitive grasp of this concept, let's start with a short video.

With the concept of possible worlds in hand, we can define necessity and possibility with greater precision. Given your background in mathematics and logic, you'll appreciate the formal operators used:

• Necessity (□): A proposition $P$ is necessary if it is true in all possible worlds. We write this as $\square P$.
• Possibility (◇): A proposition $P$ is possible if it is true in at least one possible world. We write this as $◊P$.

These operators are interdefinable: $\square P$ is equivalent to $\neg ◊\neg P$ ("It is not possible for P to be false").

A crucial distinction to make here is between two types of possibility.

• Metaphysical Possibility: Concerns how the world genuinely could be. A mathematical truth, if true, is true in all possible worlds; it is metaphysically necessary.
• Epistemic Possibility: Concerns what might be true for all we know. Before it was proven, it was epistemically possible that Fermat's Last Theorem was false, but it was never metaphysically possible.

In this lesson, when we talk about necessity and possibility, we are concerned with the metaphysical kind.

2. The Key Tool: Rigid Designators

Now that we have the framework of possible worlds, we can analyze how language refers to things within this framework. This brings us to Kripke's most famous contribution: the concept of a rigid designator.

As the video explains:

• A rigid designator is a term that refers to the same object in every possible world in which that object exists. Kripke argues that proper names (e.g., "Aristotle", "Mount Everest") are rigid designators.
• A non-rigid (or "flaccid") designator is a term that can refer to different objects in different possible worlds. Most definite descriptions (e.g., "the tallest mountain on Earth", "the inventor of bifocals") are non-rigid.

To deepen this concept, let's see how Kripke himself introduces and uses it.

The core idea is that the name "Aristotle" picks out that specific individual, Aristotle, even in a possible world where he decided to become a fisherman instead of a philosopher. However, the description "the teacher of Alexander the Great" would, in that world, pick out someone else.

3. Application: Evaluating the Necessity of Identity

Now we will use this machinery to evaluate a metaphysical claim. Before Kripke, it was almost universally accepted that truths discovered through empirical investigation were contingent, not necessary. For example, astronomers discovered that "Hesperus" (the evening star) and "Phosphorus" (the morning star) were the same object (the planet Venus). This identity statement, Hesperus = Phosphorus, was considered a classic case of a contingent a posteriori truth—contingent because it seemed things could have been otherwise, and a posteriori because it was discovered through observation.

Kripke's modal reasoning turns this view on its head.

Kripke's Modal Argument for the Necessity of Identity

The argument is elegant and powerful. Given your familiarity with formal proofs, you might appreciate its structure.

1. Premise 1: Proper names like 'Hesperus' and 'Phosphorus' are rigid designators. They refer to the same object (Venus) in all possible worlds.
2. Premise 2: The statement Hesperus = Phosphorus is true in the actual world.
3. Inference: If 'Hesperus' and 'Phosphorus' both refer to Venus in every possible world, then the statement Hesperus = Phosphorus must be true in every possible world. In any world, it simply asserts that Venus is Venus.
4. Conclusion: Therefore, Hesperus = Phosphorus is a necessary truth.

This argument shows that if an identity statement between two rigid designators is true, it must be necessarily true. For a formal demonstration of this principle, often called the "Necessity of Identity", you can refer to the proof in section 1.5 of the resource "Kripke, Naming and Necessity".

This leads to a stunning conclusion. The statement Hesperus = Phosphorus is:

• A posteriori: We needed empirical evidence from astronomy to discover it is true.
• Necessary: Modal logic shows it couldn't possibly be false.

This gives us a new category of truth: the necessary a posteriori.

This next segment of the video explains this revolutionary idea and extends it to scientific identities like Water = H₂O.

By applying modal reasoning, we have evaluated the metaphysical status of an identity claim and found it to be necessary, contrary to centuries of philosophical tradition. This is a paradigm example of the power of analytic methods.

Practice Application

Now, let's apply this reasoning yourself.

Consider two claims:

1. Claim A: "It is possible that Aristotle was not a philosopher."
2. Claim B: "It is possible that the most famous student of Plato was not a philosopher."

Using the concepts of possible worlds and rigid vs. non-rigid designators, explain the truth value of each claim. Why do they differ?

Conclusion

In this lesson, you've added a sophisticated set of tools to your philosophical arsenal. We've seen how a formal apparatus for reasoning about possibility and necessity can lead to profound metaphysical conclusions.

Key Takeaways:

• Modal Reasoning: The framework of possible worlds, combined with the operators for necessity ($\square$) and possibility ($◊$), allows for precise arguments about what must be and what could be.
• Rigid vs. Non-Rigid Designators: This distinction, central to Kripke's work, is key to how language functions when discussing counterfactual possibilities. Proper names are typically rigid; definite descriptions are not.
• The Necessary A Posteriori: By applying modal reasoning, we can show that some truths, like identity statements between names (Hesperus = Phosphorus) or scientific identities (Water = H₂O), are necessary despite being discovered empirically. This severed the traditional link between necessity and a priori knowledge.

In our next lesson, we will continue to apply our analytic skills to another core area of your interest: the philosophy of mathematics. We will compare how a Platonist and a Fictionalist would interpret the truth of a specific mathematical theorem, a debate that lies at the very heart of the foundations of mathematics.