No argument with the last two claims... generally speaking, that is.TimeSeeker wrote: ↑Thu Nov 08, 2018 5:08 am
Whether "the symbols of programming languages are themselves meaningful" becomes just another topic of philosophical masturbation.
We simply fail to distinguish the various use-cases: language for reasoning/decision-making (computation) versus language for communication (communication protocol). Language for self-expression (poetry)
Language is a tool. It serves a purpose in a particular context.
Distinguishing between the various use cases is done, so I've no idea what you're trying to say here. You just did it. Besides...
It's careful contemplation and consideration of the content of correlation that matters most. It is key and requires an adequate framework.
All the historical confusions stemming from objective/subjective, internal/external, map/territory, and all the other miserably failed attempts at distinguishing between things that are existentially dependent upon language and things that are not are dissolved by virtue of getting thought/belief right. Unfortunately, it seems that you've followed some of the same academic paths that lead to a gross misunderstanding of thought/belief.