The general philosophical theory of signs and symbols, dealing especially with their function in languages, and including syntactics, semantics, and pragmatics (Note: Prior to Mar80, the use of this term was not restricted by a Scope Note)