[necovek]

The top-level comment tried to distinguish betweeen symbolic processing — verbal and non-verbal — as really being "thought", and other cognition/reasoning not.

I believe many of the things you bring up still involve symbolic reasoning (eg. how do you decide when is too much coffee if you do not think in representation of "I had N or too-many"? how do you consider code transformations unless you think in terms of the structure you have and you want to get to?).

It's no surprise that one is good with one language and sucks at the other, though: otherwise, we'd pick up new languages much faster. And not struggle as much with different types of languages as much (both spoken — think tonal vs not, or Hungarian vs anything else ;) — and programming — think procedural vs functional).

So spoken/written languages are one symbolic way to express our internal cognition, but even visual reasoning can be symbolic (think non-formal and formal flowcharts, graphs, diagrams... eg. things like UML or algorithm boxes use precisely defined symbols, but they don't have to be as precise to be happening).

It is a question if it is useful to make a distinction between all reasoning and that particular type of reasoning, and reuse a common, related word ("thinking", "thought"), or not?