自然语言语义学（natural language semantics），文学-语言文字-语义学，研究自然语言意义的语义学，与研究人工语言的语义学相区别。自然语言指英语、汉语等人类语言，是自然而然产生并变化的语言，自然语言的意义是认知和功能驱动的，具有歧义性。人工语言是为了特定用途而人为设计的语言，例如逻辑语言、数学语言、编程语言等。对人工语言的语义研究又称为纯语义学，对自然语言的语义研究又称为描写语义学、语言中的语义学。狭义的语义学就是自然语言语义学，包括形式语义学、认知语义学、计算语义学等多个分支，从不同的角度对自然语言的语义进行研究。研究自然语言意义的形式语义学一般又称为真值条件语义学、逻辑语义学，把自然语言当作逻辑语言来研究，将逻辑推演和数学运算等逻辑分析方法应用到自然语言的语义分析中，认为意义可以通过逻辑形式语言以真值条件的方式得到描述。形式语义学中影响较大的理论有蒙塔古语法、广义量词理论、情境语义学和类型逻辑语法等，这些理论从不同的角度展开对自然语言语义的研究。代表人物有D.戴维森、R.蒙塔古等。