Comment by User23

I grow increasingly convinced that the difference in “verbal” and “mathematical” intelligence is in many ways a matter of presentation.

While it’s indisputable that terse symbolic formalisms have great utility, one can capture all the same information verbally.

This is perhaps most evident in formal logic. It’s not hard to imagine a restricted formalized subset of natural language that is amenable to mechanical manipulation that is isomorphic to say modal logic.

And finally, for logic at least, there is something of a third way. Diagrammatic logical systems such as Existential Graphs capture the full power of propositional, predicate, and modal logic in a way that is neither verbal nor conventionally symbolic.