zhenzhi - 北京师范大学.pptVIP

真值条件语义学简介An Introduction to Truth- conditional Semantics 李 颖 （lypublic@） 提纲 什么是真值条件语义学 基本概念与理论架构 小结 结束语 什么是真值条件语义学 真值条件语义学也称逻辑语义学或者形式语义学，由蒙太古（Montague）创立。 用数理逻辑(主要是命题逻辑与谓词逻辑)作为工具来研究自然语言的语义。奠基性论文有(1)English as a Formal Language.(2)The Proper Treatment of Quantification in Ordinary English.等 面向的是自然语言，但不是自然语言的全部，只是研究其中的陈述句。 基本概念与理论架构 基本概念 真值条件 模型 可能世界 理论架构 基本概念 真值条件（truth condition）：那些可使一个语句为真的条件就是该语句的真值条件。 句子的意义（meaning of sentence）：理解句子的意义就在于获取它的真值条件。 S is true iff p. S 代表某个句子，p 代表句子的真值条件，iff （if and only if ）是充分必要条件。例如：“snow is white” is true iff sno