真值条件语义学解释

真值条件语义学简介AnIntroductiontoTruth conditionalSemantics 李颖 lypublic 提纲 什么是真值条件语义学基本概念与理论架构小结结束语 什么是真值条件语义学 真值条件语义学也称逻辑语义学或者形式语义学 由蒙太古 Montague 创立 用数理逻辑 主要是命题逻辑与谓词逻辑 作为工具来研究自然语言的语义 奠基性论文有 1 EnglishasaFormalLanguage 2 TheProperTreatmentofQuantificationinOrdinaryEnglish 等面向的是自然语言 但不是自然语言的全部 只是研究其中的陈述句 基本概念与理论架构 基本概念真值条件模型可能世界理论架构 基本概念 真值条件 truthcondition 那些可使一个语句为真的条件就是该语句的真值条件 句子的意义 meaningofsentence 理解句子的意义就在于获取它的真值条件 Sistrueiffp S代表某个句子 p代表句子的真值条件 iff ifandonlyif 是充分必要条件 例如 snowiswhite istrueiffsnowiswhite 基本概念 2 模型 模型可以理解为一种情景的 表达 方式 情景总会涉及到一些人和物以及它们之间的关系 模型的任务就是描述这些人和物以及它们之间的关系 模型通常用M表示 M U F 其中U表示情景中所有本体的集合 是论域 F是赋值函数 其作用是把句子中的基本词 个体词和谓词 跟U中的本体直接或间接联系在一起 可以看一个例子 模型的一个实例 语句 ZhangSanlikesLiSi模型M U F 其中U ZHANGSAN LISI WANGWU F ZhangSan ZHANGSANF LiSi LISIF WangWu WANGWUF like ZHANGSAN LISI ZHANG SAN WANGWU LISI ZHANGSAN F walk ZHANGSAN WANGWU 基本概念 3 可能世界 possibleworlds Apropositionisafunctionfrompossibleworldstotruthvalues 时间 空间是可能世界的主角 时态 模态 语气的表达完全可以借助可能世界来表达 过去 现在 将来 本当 应该 实际上 是可能世界的一种描述 理论架构 1 由3部分组成真值条件理论模型理论可能世界真值理论 理论架构 2 处理过程分3步翻译 把自然语言句子翻译成逻辑语言 逻辑语言没有歧义 句法与语义被精确定义 建模 为逻辑语言建立一个形式化的情景模型 求解 计算逻辑语言表达式在给定模型下的真值 举例 例1 句子的意义 翻译ZhangSanlikesLiSi NLLLZhangSanlikesLiSilike ZhangSan LiSi 词汇N ZhangSan LiSi 个体常元a b c V1 like love despise l 个体变元x y z V2 walk run sing 谓词P N 句法S NP V如果P是一元谓词 a是个体词 那么P a 合法S NP1 V NP2如果B是二元谓词 a b是个体词 那么B a b 合法NP Npr 例1 句子的意义 语义解释ZhangSanlikesLiSi 1 建模M U F 其中U ZHANGSAN LISI WANGWU F ZhangSan ZHANGSAN F LiSi LISIF WangWu WANGWUF like ZHANGSAN LISI ZHANGSAN WANGWU LISI ZHANGSAN F walk ZHANGSAN WANGWU 2 语义规则如果a是谓词或个体常元 a M F a 如果a是一元谓词 b是个体常元 则 a b M 1当且仅当 b M a M如果a是二元谓词 b c是个体常元 则a b c M 1当且仅当 b M c M a M 例1 句子的意义 真值计算ZhangSanlikesLiSi likes ZhangSan LiSi M 1当且仅当 ZhangSan M LiSi M like M ZhangSan M LiSi M F ZhangSan F LiSi ZHANGSAN LISI like M F like ZHANGSAN LISI ZHANGSAN WANGWU LISI ZHANGSAN 由于 ZHANGSAN LISI ZHANGSAN LISI ZHANGSAN WANGWU LISI ZHANGSAN 所以 likes ZhangSan LiSi M 1也就是说 likes ZhangSan LiSi 的真值为真 其含义是 存在两个人ZhangSan和LiSi并且ZhangSan喜欢LiSi 例2 复合命题 Tomishandsomeandheisrich 分解TomishandsomepTomisrichqAnd Tomishandsomeandheisrich p q p q 意义定义为 p q 1iffp 1并且q 1更多的联结词 常见逻辑联结词真值表 例3 命题逻辑形式推理1 例3 如果今天是星期一 则要进行英语或语言学考试 如果英语老师有会 则不考英语 今天是星期一 英语老师有会 还考语言学吗 p 今天是星期一q 进行英语考试r 进行语言学考试s 英语老师有会前提 p r q s q p s结论 r 例3 命题逻辑形式推理2 1 p r q 前提引入 2 p前提引入 3 r q 1 2 假言推理 4 s q前提引入 5 s前提引入 6 q 4 5 假言推理 7 r 3 6 析取三段论 例4 谓词逻辑形式推理 主要贡献主要缺陷 主要贡献 用数理逻辑方法解释自然语言的语义 开辟了用严格数学方法研究自然语言语义的新方向 具有重要意义 因为在这之前 逻辑学家和语言学家都认为适合人工形式语言的描述方法不能直接用于自然语言 主要缺陷 1 1 面向的对象不是整个自然语言中的语句 只研究陈述句 2 把自然语言转换成谓词表达式 没有提供一种与语种无关的普适的转换方法 蒙太古针对英语做了很深的研究 但事实上汉语在这一步比较艰难 我国学者在领域中很有建树 陆汝占 靳光瑾 方立等 3 真值条件语义学 只是孤立地分析一个句子 没有语境的支持 有时候是不会得出语句的真正含义的 需要有语用学来支撑 主要缺陷 2 4 逻辑联结词只是自然语言众多连接词中的一小部分 未能处理句子之间各种语义关系 就是定义好了的逻辑联结词 其意义与自然语言中的意义在对接中也存在一定误差 如合取 英语用 and 1a theygotmarriedandhadababy 1b theyhadababyandgotmarried 2 iftheygotmarriedandhadababy theirparentswouldbepleased butiftheyhadababyandgotmarried theirparentswouldbeupset 析取 汉语用 或 3a 我们选张三当班长或者选李四当班长 3b 他学过英语或法语 结束语 真值条件语义学使人们看到了语言形式化处理的曙光 架起了语义学与逻辑学的桥梁 但其缺陷让人不得不思考这样的问题 语言学中是否存在一个笛卡尔坐标系 如同空间中的一个点 X Y Z 总可以通过它的一组基底 1 0 0 0 1 0 0 0 1 表示出