A Unified Formal Theory on the Logical Limits of Symbol Grounding