|In a categorical
representation, each assertion must fall into one of three categories:
necessarily true, impossible, or “who knows”.
This forces us into a very
crude approximation of our knowledge.
We can either write down a meaningful universal, which is typically
false. Or a true universal, which is
typically useless. We need something
that expresses the finer shades of possibility and probability.