[F]ormal languages are subsets of our full language. They are platonic (imaginary and symbolic) by definition and intent. Operational language is not platonic, but extant and demonstrated in real time and space, and can be used to describe actions in time and space, and if constrained to the description of actions in time and space, are open to observation, and confirmation, and falsification. This is why science requires operational language. This is why ethics MUST require operational language. Otherwise deception, self deception and error are obscured by the fungibility of language.
Tarski, Alfred, “The Semantic Conception of Truth and the Foundations of Semantics”, in Philosophy and Phenomenological Research, 4 (1944).
Tarski, Alfred. “The Concept of Truth in Formalized Languages”, in Logic, Semantics, Metamathematics, Clarendon Press, 1956.