形式若无意义，便无法用于交流。语义学是研究语言意义的学科——词语、短语和句子如何与概念、指称对象和真值条件相联系。

词汇语义学研究词义及其关系，例如同义词和下义关系。组合语义学研究短语意义如何由各部分构成。形式语义学方法运用逻辑工具；认知语义学方法则强调概念结构。

语义学与语用学相联系，语用学负责处理上下文相关的信息丰富化。歧义、模糊性和预设是经典的研究课题。相关见解为词典编纂、语言哲学和自然语言理解系统提供了理论基础。

• 语言意义的研究
• 涵盖单词、短语和句子
• 包括词汇分支和构成分支
• 与语用学不同但又与之相关