Mathematics
Logical Consequence and the Semantic Theory of Proof
Quick fact
The semantic theory of proof shows that a proof's validity rests on the absence of any counterexample—not just the ones we can think of, but all imaginable ones.
Why this is interesting
You know a valid argument when you see one—but what makes it valid? Surprisingly, it's not about the facts but about all possible worlds.