语义学（Semantics）是一个跨学科领域，涉及语言学、逻辑学、计算机科学、自然语言处理、认知科学和心理学等多个领域。尽管这些学科对语义学的探讨有所共通，但具体的研究方法和内容各有侧重。语义学的核心关注点是自然语言的意义，包括词、短语、句子和篇章等不同层级的语言单位。
语言学的语义学旨在探索语义表达的规律，揭示不同语言在表达意义上的共性和个性，以及词汇的内在解释。而逻辑学的语义学则侧重于逻辑系统中的真值条件，与自然语言直接关联度较低。计算机科学中的语义学关注机器对自然语言的理解，是实现自然语言处理的关键环节。认知科学则研究人脑如何储存和理解语言单位的意义，如词汇的网络储存机制。
在语言学的严格分类中，语义学可以分为结构主义和生成语言学两个分支。结构主义语义学起源于20世纪上半叶的美国，关注词汇的意义和结构，如义素分析和语义场。生成语义学则介于结构主义和形式语义学之间，主张语言底层结构是义素，并通过句法变化和词汇化展现表层结构。形式语义学则进一步发展，强调语义解释与句法结构的统一，它是生成语言学中的重要部分。
逻辑学的现代语义学关注逻辑系统中的语义解释，是设计形式语言系统并给予其意义解释的过程，与计算机科学中的语义学有相似之处。逻辑系统由词汇、句法和语义三个部分构成，分别定义符号、组合规则和合格句子的解释。自然语言处理中，词汇意义的研究相对成熟，但对更复杂的语言单位意义理解仍在探索中。Web 2.0中的语义网络是互联网理论的一个重要概念，它以语义为核心组织网络资源。在认知科学中，词汇语义学的研究已超越传统框架，如词义在网络中的储存和关联研究。此外，语义学在计算理论、自然语言处理等领域也有广泛应用，如逻辑编程语言Prolog。
语义学semantics，研究自然语言中词语意义的学科。也可以指对逻辑形式系统中符号解释的研究。