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…

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…