Logic itself is a formalism. Subject to all the constraints of formal language theory/linguistics. It fails to address the symbol-grounding problem. https://

Logic itself is a formalism. Subject to all the constraints of formal language theory/linguistics. It fails to address the symbol-grounding problem. https://en.wikipedia.org/wiki/Symbol_grounding_problem https://en.wikipedia.org/wiki/Symbol_grounding_problem