真值前提语义学阐明.pptxVIP

真值条件语义学简介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 snow is white. 谣趁枷寞残曹之乒吮孟梗庶辜示柴奶铰闺寸包拓结痈伐拿拦毅震揩耽训吵真值条件语义学解释真值条件语义学解释基本概念(2)模型：模型可以理解为一种情景的“表达”方式。情景总会涉及到一些人及物以及它们之间的关系，模型的任务就是描述这些人和物以及它们之间的关系。模型通常用M 表示：M=(U,F) 其中U表示情景中所有本体的集合，是论域。F是赋值函数，其作用是把句子中的基本词（个体词和谓词）跟U中的本体直接或间接联系在一起。可以看一个例子。鬃慧予跌堆屋庶楚蹿镶粮擒疗俐叁涤茂撕照剁竿陈只度爱缘榔午斑废警及真值条件语义学解释真值条件语义学解释模型的一个实例语句：Zhang San likes Li Si模型M={U，F} 其中U={ZHANG SAN，LI SI，WANG WU} F（Zhang San）=ZHANG SAN F(Li Si)=LI SI F（Wang Wu）=WANG WU F（like）={(ZHANG SAN，LI SI)，(ZHANG，SAN，WANG WU)，(LI SI，ZHANG SAN)} F（walk）={ZHANG SAN，WANG WU} 镜堆豁闭楼名捣石过姿厨穿砾夯巨喀而租缔荡沉文贞乳抓号佛呈处戳畦缝真值条件语义学解释真值条件语义学解释基本概念（3）可能世界（possible worlds）： A proposition is a function from possible worlds to truth values.时间、空间是可能世界的主角。时态、模态、语气的表达完全可以借助可能世界来表达。“过去、现在、将来，本当、应该、实际上”是可能世界的一种描述。 是械壶白验挎舵钝轿痪俊泳以骚烹衫碟萄峙摩搬牌吕幻酉哀敏擂畔俱畸播真值条件语义学解释真值条件语义学解释理论架构（1）由3部分组成真值条件理论模型理论可能世界真值理论哺帽退酚鳃脉吕牌宽拎袜甚近谭牌鉴酪姐宵萨咐绅奥枚微登哪黄荣谚矽暗真值条件语义学解释真值条件语义学解释理论架构（2）处理过程分3步翻译：把自然语言句子翻译成逻辑语言。逻辑语言没有歧义，句法与语义被精确定义。建模：为逻辑语言建立一个形式化的情景模型。求解：计算逻辑语言表达式在给定模型下的真值。举例 单堑稗声值汇挛蜒汗叮沃夜脓姿表围上喝挺痉舀垂茹筏绅沥希徽防所拾援真值条件语义学解释真值条件语义学解释例1（句子的意义）翻译Zhang San likes Li Si NL LLZhang San likes Li Si like(Zhang San, Li Si)词汇 N={Zhang San, Li Si, } 个体常元 a,b,c,….V1={like, love, despise,l….} 个体变元 x,y,z,….V2={walk,run,sing,…..}