语义学是符号学的一个处理意义的分支。符号学的两外两个分支为符号关系学（关于符号的组织）以及语用论（关于说话者跟符号之间的关系）。在讨论自然语言和计算机语言时，区别有时在于语法（例如，句子或者计算机命令符中词语的顺序）和语义（单词实际所说的或者命令要求的作用）之间。