Cognitive model of processing symbolic information abstracted from verbal expressions should consider running text, not scattered sentences. A valid abstraction of information structures should be based on explicit encoding of intentionality and valuation. A model must cope with empirical context and novelty instead of truth-values in…

A curriculum theory begins in the transference of meaning from the familiar and the comprehensible to the abstract and perplexing problems arising from the actual teaching situation. These metaphors that evolve into theories serve to direct research by creating a symbolic language. (JN)

This paper explores languages for communicating precise ideas within limited domains, which include mathematical notation and general purpose and high level computer programming languages. Low-level properties of such natural artificial languages are discussed, with emphasis on those in which names are chosen for concepts and symbols are chosen…