Hacker News new | ask | show | jobs
by ukj 2085 days ago
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