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.