entailment-and-presupposition

Presupposition:Theinformationthataspeakerassumestobealreadyknown.预设是指暗含在语句中的一种预先设定的信息，在交际中通常表现为双方都可理解，都可接受的那种背景知识。（在我国语言学界，“presupposition”通常被称为“前提”，而在逻辑学界，为了与推理中的前提(premise)相区别，一般都称之为“预设”。）Presupposition:Therelationshipbetweentwopropositions•Lisaatetheappleonthetable.(p)•Therewasanappleonthetable.(q)•Johnnolongerwritesfiction.(p)•Johnoncewrotefiction.(q)•Mary’scatiscute.(p)•Maryhasacat.(q)pq=ppresupposesq•Ifthespeakerdeniesthepropositionp(Notp),thepropositionqdoesn’tchange.•Mary’scatisn’tcute.(Notp)•Maryhasacat.(q)•Notpq=Notppresupposesq•Mr.Singletonhasresumedhishabitofdrinkingstout.(p)•Mr.Singletonhadahabitofdrinkingstout.(q)•pq•Mr.Singletonhasn’tresumedhishabitofdrinkingstout.(Notp)•Mr.Singletonhadahabitofdrinkingstout.(q)•Notpq•2008年奥运会在中国的北京成功举行。（p）•中国有一个叫做北京的城市。(q)•pq生活中的预设：有一家西餐馆，早晨的鸡蛋卖得一直不太好，后来老板发现，问题出在服务员身上。这个餐馆的服务员询问客人时习惯说：“要不要鸡蛋？”差不多有一半客人回答说不要。这位聪明的老板让服务员们改变询问的方式把“要不要鸡蛋”改为“你要几个鸡蛋”？这样一改，差不多所有的顾客都要鸡蛋了，起码至少要一个鸡蛋。提问“要不要鸡蛋”时，有一个前提是“本餐馆有鸡蛋提供”本句要表达的意思是“你可以要鸡蛋，也可以不要鸡蛋”。而提问“你要几个鸡蛋”的前提是具体是要一个还是两个鸡蛋。•IfAistrue,Bistrue•JohnregretsthathekissedMary.－JohnkissedMary•IfAisfalse,Bisstilltrue•Johndoesn’tregretthathekissedMary.－JohnkissedMary•Thenegationofthesentencedoesn’taffectthepresuppositionrelationship.•Constancyundernegation(否定测试检验)•Basically,itmeansthatthepresuppositionofastatementwillremainconstant(remaintrue)evenwhenthatstatementisnegated.•当句子进行否定时，它的预设保持不变•P:DaveisangrybecauseJimcrashedthecar.•q:Jimcrashedthecar.•pq•Notp:Daveisn’tangrybecauseJimcrashedthecar.•q:Jimcrashedthecar.•Notpq•预设与蕴含的区别•Presuppositionsaredifferentfromentailments.•Entailmentreferstothesemanticrelationshipbetweenpropositionsofwhichonelogicallyfollowsfromanother.•Presuppositionreferstothesemanticrelationshipbetweentwopropositionsofwhichoneisthepremiseorpre-conditionoftheother.•Shehasn’tstoppedsmoking.•Stillpresupposes•Sheusedtosmoke.•Mydogdidn’teatmybag.•Stillpresupposes•Ihaveadog,andI(still,itseems)haveabag.•While•Theemperorwasn’tassassinated.•Doenotentailanymore1、Someonewasassassinated.2、Theemperordied.Logicalconsequence(alsoentailment)isoneofthemostfundamentalconceptsinlogic.Itistherelationshipbetweenstatementsthatholdstruewhenonelogicallyfollowsfromoneormoreothers.Avalidlogicalargumentisoneinwhichtheconclusionsfollowfromitspremises,anditsconclusionsareconsequencesofitspremises.•定义：蕴涵（implication或entailment）在命题逻辑和谓词逻辑中用来描述在两个句子或句子的集合之间的联系。•简而言之，判断前后两个命题互为条件关系的叫蕴涵。表现形式为如果……则……(符号:→)。•语义蕴涵•陈述句子集合A语义上蕴涵句子集合B。•形式定义：集合A蕴涵集合B，在其中A中所有句子都为真的所有模型中，在B中的所有句子也是真的。在图表形式中，它看起来像：•逻辑蕴涵•陈述句子集合A逻辑蕴涵句子集合B。它可以读作B可以证明自A。•定义：A逻辑蕴涵B，如果通过假定所有A中所有的句子并通过对它们应用一个有限序列的推理规则（比如来自命题演算的），你可以推导出B中的所有句子。•当然，这与特定的逻辑（证明演算）有关。•假言命题•在充分条件假言判断中:如果P，那么Q，可以表示为P→Q•P称为前件(条件)，Q称为后件(后果)，→这个符号，逻辑叫做蕴涵“蕴涵式中，只有当前件真后件假时整个假言判断为假，其余均为真。•如果事件A发生必导致事件B发生，则称A蕴含了B，或者说B包含了A，记为A包含于B。•蕴含的符号:A蕴含B,记为A→B•蕴含的传递性:如果A→B并且B→C,那么A→C(读作:如果A蕴含B并且B蕴含C,那么A蕴含C)真假值如下表:PQP→Q真真真真假假假真真假假真•语义关系中的蕴含(entailment)（语言学）•X蕴含Y（Y是X的一个含义）[XentailsY（YisanentailmentofX)]•例如：1.X:Johnmarriedablondheiress.(约翰娶了一位金发美女继承人。）Y:Johnmarriedablond.（约翰娶了一位金发美女。）2.X:HehasbeentoFrance.（他去过法国。）Y:HehadbeentoEurope.（他去过欧洲。）•蕴含是一种包含关系。如果X蕴含Y，那么Y的意义就包含于X中。•从真值条件的角度来分析蕴含关系，我们可以得出以下结论：•如果X为真，Y一定为真。例如，如果他去过法国，他就一定去过欧洲。•如果X为假，Y有可能为假，有可能为真。例如，如果他没去过法国，他有可能去过欧洲，也有可能没去过。•如果Y为真，X有可能为真，也有可能为假。•如果Y为假，X一定为假。