Theory and study of signs and symbols dealing especially with their function in languages, including syntax, semantics, and pragmatics.