It has been striking to me how post-modern philosophy seems to have recentered itself around the questions of language... while «naming things» is considered one of the ~~two~~ three «hardest problems in CS» !
I’m not really bickering about names here, just trying to succinctly describe ideas.
The irony of the GGP comment is that it claims mathematical ideas are successful ones and philosophical ones aren’t, but that’s not a mathematical claim. So either it’s right and it’s wrong, or it’s wrong.
Not directly related, we're now surrounded by computers, which are even dumber (some forms of machine learning and analog computers aside ?) in that they have zero flexibility in treating symbols as something else...
Not directly related to the above, but maybe also relevant : Wolfram's «new science» project centered around computability : https://writings.stephenwolfram.com/2017/05/a-new-kind-of-sc...