语言学的分支学科。研究语言单位的意义方面。研究对象由词义扩展到句子的意义。注意运用义素分析法，深入到语义的微观层次。引入命题、预设、蕴涵等概念，进一步分析语言单位之间的意义。借助现代逻辑学和数学的手段，使描写形式化。