The fact is you are talking about the meaning of words. Be they English words; or Mathematical words. If you are going to talk about the correspondence theory

The fact is you are talking about the meaning of words. Be they English words; or Mathematical words. If you are going to talk about the correspondence theory in the same breath as you are talking about any language - you need to solve the symbol-grounding problem. What function/mechanism/relation (or if you don't like any of those words - pick your own) grounds symbols? https://en.wikipedia.org/wiki/Symbol_grounding_problem https://en.wikipedia.org/wiki/Symbol_grounding_problem