10 Jan 2025 update: added list item (12)
Modality is possibility/necessity, presumably called that because one can think of possibility and necessity as modes of truth. Something is necessary if it must be that way. The possible can be understood in terms of the necessary (and vice versa), so one might say that something is possible if it’s not necessarily not that way. Forgive the double negative, but that’s how it is. For example, it’s possible that I will be late for work tomorrow: the statement is not necessarily false.
It will be helpful to describe metaphysical modality in the context of two other kinds of modality: physical and logical. It’s incumbent on me to describe only necessity since, as I mentioned, possibility and necessity are definable in terms of each other. First, what is physical necessity? Something is physically necessary if it must be the case given the laws and boundary conditions of nature. For example, it’s physically necessary that a stone will fall if dropped. Something is logically necessary if it must be that way given the rules of logic. For example, it’s logically necessary that God either exists or he doesn’t.
What, then, is metaphysical necessity? Something is metaphysically necessary if it must be that way given our intuitions about what could have been real. Metaphysics is that branch of philosophy concerned with the nature of reality, whether physical or not. It’s best to look at examples. Here are twelve statements that, though logically possible, are necessarily false in the metaphysical sense:
- 7 + 5 = 13
- Jim is taller than himself
- Prime Minister Thatcher is a prime number
- The ball is both red and green all over at once
- The chair created itself
- Mary danced with the square circle
- God committed adultery
- There is something with a shape but no size
- Joe traveled to a time before he was born and killed his grandfather
- The desk on which I’m now typing is made of ice
- Alex’s thirty-first birthday party preceded itself in time
- It’s good to torture and rape a little girl for fun
None of these statements is contradictory, but all of them are absolutely incapable of corresponding to reality.