Modal Distinctions: Necessity, Possibility, and Contingency

1. The Language of Modality: Box and Diamond

Just as we introduced symbols like $\forall$ and $\exists$ to capture the logic of quantification, modal logic introduces two new unary operators to handle modal claims:

• $\square$ (the "box") represents necessity.
• $◊$ (the "diamond") represents possibility.

When we place one of these operators before a proposition $p$, we form a new proposition. For instance, if $p$ stands for "It is raining," then:

• $\square p$ is read as "It is necessary that it is raining" or "Necessarily, it is raining."
• $◊p$ is read as "It is possible that it is raining" or "Possibly, it is raining."

These two operators are not independent; they are interdefinable in a way that should be quite intuitive and reminiscent of the relationship between universal and existential quantifiers. To say that something is necessary is to say that its negation is not possible. For example, to say "A square must have four sides" ($\square p$) is equivalent to saying "It is not possible for a square to not have four sides" ($\neg ◊\neg p$).

Conversely, to say that something is possible is to say that its negation is not necessary. To claim "It is possible that we will discover alien life" ($◊p$) is equivalent to saying "It is not necessary that we will not discover alien life" ($\neg \square \neg p$).

This gives us two fundamental equivalences:

1. $\square p\equiv \neg ◊\neg p$
2. $◊p\equiv \neg \square \neg p$

Because of this interdefinability, we technically only need one operator to build our system, but it's conventional and convenient to use both.

To begin, let's watch a short video that introduces these operators and their basic formal properties.

2. The Core Modal Statuses: Necessary, Contingent, and Impossible

With the box and diamond operators, we can now precisely define the modal status of any given proposition. A proposition can be necessary, impossible, or—falling between these two extremes—contingent.

• Necessity: A proposition $p$ is necessary if it must be true. It is not possible for it to be false.

  • Formalization: $\square p$

• Impossibility: A proposition $p$ is impossible if it must be false. It is not possible for it to be true.

  • Formalization: $\neg ◊p$ (which is equivalent to $\square \neg p$)

• Contingency: This is the crucial middle ground. A proposition $p$ is contingent if it is neither necessary nor impossible. This means it's possible for it to be true, but it's also possible for it to be false. Most everyday truths fall into this category. For example, the statement "I am reading this lesson right now" is true, but it isn't necessarily true (I could be doing something else), nor is it impossible.

  • Formalization: $◊p\wedge ◊\neg p$

These three categories are mutually exclusive and exhaustive. For any proposition $p$, it must be either necessary, impossible, or contingent.

An important relationship exists between necessity and possibility: if a proposition is necessary, it must also be possible. Formally, $\square p\to ◊p$. This principle, that "what is necessary is possible," seems self-evident. If a proposition must be true, it surely can be true. This implication is a foundational axiom in most systems of modal logic.

The following video segment explores these definitions and the logical relationships between them. The presenter also introduces the concept of analyticity ($\square p\vee \square \neg p$), which refers to any statement that is either necessary or impossible (i.e., not contingent).

3. Kinds of Modality

So far, we've treated "necessity" as a single concept. However, the meaning of a modal claim like "X is necessary" can shift dramatically depending on the context. Distinguishing between different kinds of modality is essential for clarity. Given your background in physics and mathematics, these distinctions will be particularly relevant.

The introductory philosophy article below provides an excellent overview of the most important kinds of possibility and necessity.

Let's summarize and build on that reading:

• Logical Possibility/Necessity: This is the broadest sense of modality. A proposition is logically possible if it does not involve a contradiction. "A married bachelor" is logically impossible. "My desk is made of cheese" is bizarre, but logically possible. The laws of logic themselves (e.g., $p\vee \neg p$) are logically necessary.
• Physical (or Nomological) Possibility/Necessity: This modality is constrained by the laws of nature as we know them. It is physically impossible to accelerate a massive object past the speed of light, even though we can coherently imagine it, making it logically possible. Physical necessities are truths that are consequences of physical laws, such as the conservation of energy in an isolated system. Your work with simulations provides a great analogy: within a given simulation (e.g., of Barchan dunes), the programmed rules define what is "physically" possible for that system. But you, the programmer, can logically conceive of and implement a different set of rules.
• Metaphysical Possibility/Necessity: This is arguably the most philosophically contentious but also one of the most interesting categories. It seems to sit between logical and physical necessity. Metaphysically necessary truths are not necessary simply due to logic, nor are they dependent on the specific physical laws of our universe. They are thought to be true in virtue of the fundamental nature of reality itself.
  • Examples: Mathematical truths like "2+2=4" are often considered metaphysically necessary. Truths of identity, such as "Water is H₂O," are also prime candidates. While it might be physically possible for a substance to exist that looks and feels like water but has a different chemical structure (say, XYZ), philosophers like Saul Kripke have argued that such a substance would not be water. The identity of water is its chemical structure, making "Water is H₂O" a necessary truth.

Understanding these distinctions is crucial. When a philosopher claims something is "impossible," you must ask: logically, physically, or metaphysically impossible?

4. A Framework for Modal Thinking: Possible Worlds

How can we make these abstract modal ideas more concrete? Philosophers have developed a powerful conceptual tool known as possible worlds semantics. We will formalize this in the next lesson, but for now, we can use it as an intuitive framework.

Imagine a vast space of "possible worlds." The actual world—the one we inhabit—is just one among these many worlds. A possible world is a complete and consistent way things could have been. There's a possible world where you chose to study biology instead of physics, a world where the dinosaurs never went extinct, and so on.

Using this framework, we can redefine our modal statuses in a very intuitive way:

• A proposition is necessary if it is true in all possible worlds.
• A proposition is possible if it is true in at least one possible world.
• A proposition is impossible if it is true in no possible worlds.
• A proposition is contingent if it is true in some possible worlds (including, perhaps, the actual world) and false in at least one other possible world.

This video offers a gentle introduction to this powerful idea.

The "possible worlds" heuristic also helps clarify the different kinds of necessity. For instance, physical necessity means "true in all worlds with the same laws of physics as ours." Logical necessity means "true in all worlds, period." Metaphysical necessity means "true in all worlds that are metaphysically possible," a set of worlds that is broader than the physically possible ones but perhaps narrower than the logically possible ones.

Conclusion

In this lesson, we have taken our first steps into modal logic. We have moved beyond the flat landscape of truth and falsehood into the richer terrain of what might and what must be.

Key Takeaways:

• Modal logic extends propositional and predicate logic with operators for necessity ($\square$) and possibility ($◊$).
• A proposition's modal status can be necessary ($\square p$), impossible ($\neg ◊p$), or contingent ($◊p\wedge ◊\neg p$).
• These concepts depend on the kind of modality in question: typically logical, physical, or metaphysical. What is physically impossible may be metaphysically or logically possible.
• The possible worlds framework provides a powerful intuitive tool for thinking about modal claims: necessity is truth in all worlds, possibility is truth in some world, and contingency is truth in some but not all worlds.

Preview of the Next Lesson:

We've used the idea of "possible worlds" informally today. In our next lesson, we will see how this intuitive picture is transformed into a rigorous formal semantics for modal logic. We will explore Kripke semantics, which uses mathematical structures of worlds and accessibility relations to define truth for modal formulas, providing the foundation for proving the validity of modal arguments. This will connect directly to your experience with formal mathematical structures and provide the tools for the rest of our exploration of modal systems.