什么是真值条件语义

真值条件语义学也称逻辑语义学或者形式语义学,由蒙太古（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.
由3部分组成
真值条件理论
模型理论
可能世界真值理论
处理过程分3步
翻译：把自然语言句子翻译成逻辑语言.逻辑语言没有歧义,句法与语义被精确定义.
建模：为逻辑语言建立一个形式化的情景模型.
计算逻辑语言表达式在给定模型下的真值.
用数理逻辑方法解释自然语言的语义,开辟了用严格数学方法研究自然语言语义的新方向.具有重要意义.因为在这之前,逻辑学家和语言学家都认为适合人工形式语言的描述方法不能直接用于自然语言.
1、面向的对象不是整个自然语言中的语句,只研究陈述句；
2、把自然语言转换成谓词表达式,没有提供一种与语种无关的普适的转换方法,蒙太古针对英语做了很深的研究,但事实上汉语在这一步比较艰难.我国学者在领域中很有建树（陆汝占、靳光瑾、方立等）；
3、真值条件语义学,只是孤立地分析一个句子,没有语境的支持,有时候是不会得出语句的真正含义的.需要有语用学来支撑.
4、逻辑联结词只是自然语言众多连接词中的一小部分,未能处理句子之间各种语义关系,就是定义好了的逻辑联结词,其意义与自然语言中的意义在对接中也存在一定误差,如合取,英语用“and”
（1a）they got married and had a baby
（1b）they had a baby and got married
（2）if they got married and had a baby ,their parents would be pleased ,but if they had a baby and got married,their parents would be upset.
析取,汉语用“或”
（3a）我们选张三当班长或者选李四当班长；
（3b）他学过英语或法语.
真值条件语义学使人们看到了语言形式化处理的曙光,架起了语义学与逻辑学的桥梁.但其缺陷让人不得不思考这样的问题：语言学中是否存在一个笛卡尔坐标系?如同空间中的一个点（X,Y,Z）总可以通过它的一组基底{（1,0,0）,（0,1,0）,（0,0,1）}表示出来.（X,Y,Z）=X（1,0,0）+Y（0,1,0）+Z（0,0,1）
语言的基底在何方?要寻求这个问题的答案,要么天才地去修补蒙太古理论,要么天才地另辟蹊径进行非常规研究!
事实上,非常规科学研究促成了有两个可喜的成果,一个是HNC理论（找到了词汇、句子、句群和篇章的基元）；一个是北师大中文信息处理研究所的两栖人才研究队伍.
请及时采纳,多谢!