Philosophy
The Problem of Future Contingents and the Open Future
Quick fact
In 350 BCE, Aristotle used the sea battle example to show that statements about future events seem to lack a truth value now, challenging the law of excluded middle.
Why this is interesting
You probably think every sentence is either true or false. But what about 'It will rain tomorrow'? Is it true or false right now?
Read the full explanation
Understanding The Problem of Future Contingents and the Open Future
Imagine you're about to toss a coin. Before it lands, is the statement 'This coin will land heads' true or false? It seems neither, because the outcome isn't determined yet. This is the problem of future contingents. In classical logic, every statement must be either true or false (the principle of bivalence). But if we say the future is open—that some events are not yet fixed—then statements about those events cannot be assigned a truth value now. This creates a puzzle: either we reject bivalence for future statements, or we accept that the future is already determined. The problem forces us to choose between logical principles and our intuitive sense of an open future.
A deeper explanation
The problem arises because classical logic assumes bivalence: for any proposition P, either P is true or P is false. For a future contingent like 'There will be a sea battle tomorrow', if we say it is true now, then the battle must happen, suggesting determinism. If we say it is false now, then it cannot happen, also implying determinism. But we intuitively believe the future is open—the battle may or may not happen. To resolve this, philosophers have proposed several solutions. Aristotle himself suggested that such statements are neither true nor false until the event occurs, a view later formalized in many-valued logics. Another approach, supervaluationism, treats the statement as 'true' only if it is true in all possible futures; if some futures have the battle and some don't, the statement is neither true nor false (a truth-value gap). Modern temporal logic models time as a branching tree, where the actual future is one path among many, and truth values are evaluated relative to a moment and a branch. This problem matters because it connects logic to metaphysics: how we assign truth values to future statements reflects our theory of time and causation. It also has implications for debates about free will and moral responsibility, since if the future is fixed, our choices may be illusory.