A logical statement, in formal language statement is not semantically bound (cor

A logical statement, in formal language statement is not semantically bound (correspondent with reality); it is an axiomatic argument and is merely internally consistent. The only information present is that stated in the axioms.

A statement in informal language *is* semantically bound (correspondent with reality). There is more information present in informal languages than in formal languages.

A statement in normative ‘natural’ language is not logically bound, or semantically bound, but merely a matter of useful communication – short hand. There is information outside of the statements necessary to interpret them.

A statement in colloquial language consists of a mixture of natural and analogical symbols neither logically, correspondently, nor normatively bound. There is both information and structure outside of the statements and structure necessary to interpret them.

Operational language is an informal language (correspondent with reality) bound not internally, but by existence. It is a higher standard than natural langauge.