Hans,
I'd love to hear more about what you're *doing* with this idea of a dimensional array.
As my prior post hints, there's a great deal of resonance between your big-picture musings and Charles Peirce's logic.
However, Peirce argues that the conceptual structures you end up needing will be triadic, and whenever you're tempted to find 4 or five "dimensions" you're probably looking at triads within triads. ;)
It's important to note that to function as a "character" in the Peircean sense is to manifest a recognizable and repeatable quality that is not *experienced as* compound — in just the way that the letter and numeral forms do for people who are familiar with them. To think of something as a character is thus to abstract away from any aspects of the thing (such as its font) that is irrelevant to this repeatability. (Chinese characters aren't actually "characters" in this sense for those who aren't fluent with them, though; for most of us, we're just like kids who don't see p and b and q and d as anything but vaguely similar shapes. Even Chinese and Japanese people sometimes have to "parse" an unfamiliar character into its component parts in order to go look it up.)
The distinction between "character" and "word" however is an artifact of some languages rather than others; it shouldn't be baked into your logic that characters are *only* building blocks and words are *always* a combination of characters. In Chinese (and hieroglyphics) every character is a word. And some characters even in English can function as words. (I have a speed-typing program such that any single letter (other than a and i) expands into the most easily-associated common word.) Still, treating someting as a character is different from treating it (functionally) as a word.
I would like to hear more about why "key" and "name" would be seen as separate dimensions from each other in your scheme... But here's a Peircean starting point that resonates with your word - name - category sequence:
possibility-by-itself
pointer-to-something (what Peirce calls an "index" as in "index finger")
regularity or field of connection
These correspond, roughly, to zero-dimensional point, one-dimensional line, and two-dimensional plane figure.
I wonder whether what you might want, then is something like...
(a) identifiable building block of meaning considered AS independent of whether it can be considered to have its own semantic content (The character "I" is not excluded, but we bracket its ability to function as a word)
(b) word-AS-semantically meaningful unit (usually a string of characters in English, but that's a coincidence)
but then there's further division between words that name ...
qualities ("green") and other relations ("beside")
[all qualities are relations, with simple qualities being 1-place relations]
actualities ("Hans") and other locatables (via reference-index pointing relations)
kinds / types ("human") (categories)
(c) word-combinations as *affirmed* (or as open to affirmation)
And then it turns out that there are lots more triads that open up from this one. Among the things we can do with an assertable is: (a) simply entertain it, discuss it as a proposition; (b) accept it; (c) build with it, in connection with other claims (meaning, getting it into inference relations, arguments, proofs, etc.). Among the kinds of propositions we can affirm, meanwhile, there's another triad: possibilities, actualities, and necessities.
The triad-talk may sound mystical at first. But once you get the hang of it, it's pretty powerful. For example, Peirce was able to prove that the robust structure of triadic relations is irreducible (you can't express a 3-place relations in 2-place languages), but all 4+-place relations can be expressed as (reduced into) 3-place relations.
-Springer