I dunno, how much are you going to bid knowing? ;-)
> I wouldn't push the analogy too far. Western will be used casually
> by non-mathematicians to compose reports, letters, maybe even
> Poetry. But the idea of the language carrying a grammatical structure
> that allows some proof or disproof of the statement being conveyed
> simply seems necessary, since it is used to write down spells that
> manipulate entities on the sorcery planes.
That (and your example) seem to argue simply for more detail, rather than for a logical (in the technical sense) structure to the language. That would imply, to me, something more like explicit quantification and scoping to the language, for example, to avoid some of the major gotchas of semantic disambiguation in natural language.
Cheers,
Alex.
Powered by hypermail