The general philosophical theory of signs and symbols in communication, which has three branches: syntactics (formal relations between signs), semantics (how symbols may be combined independently of their meanings), and pragmatics (relations between signs and their users).