资源描述：
《晦暗语境与蒙太古的内涵逻辑理论》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。
1、晦暗语境与蒙太古的内涵逻辑理论 一晦暗语境与蒙太古的内涵逻辑 经典逻辑中与外延相关的同一替换定律是指,对于系统中任意的合适表达式s、t、φ而言,s=t▏＝φ↔φ[t/s]成立.按照蒯因(表示的意思,那么M(┓┓p)=〈M(┓),M(┓),M(p)〉,即┓┓p的意思就是一个由┓的意思以及p的意思构成的三元组,但是p的意思则是一个由p的意思构成的一元组,即M(p)=〈M(p)〉,因此可得┓┓p与p意思不同,进而由意思上的区分将逻辑等值但是句法构成不同的命题区分开来. 而针对例3中所示的那种由本身就在任何可能世界中都逻辑
2、等值的命题所导致的晦暗语境问题,福克斯(C.Fox)和莱宾(S.Lappin)指出,蒙太古的内涵逻辑是以丘奇(Church)的简单类型论(simpletheoryoftypes)为基础的,因此蒙太古才很难使得他的内涵逻辑能够成为足够灵活且相对丰富的类型系统以适合于自然语言语义.在这种认识的基础上,我们或者可以选择增加蒙太古内涵逻辑中的类型种类以使得我们对类型以及类型转换的刻画更为精细或者可以选择将内涵作为初始概念在系统中给出并说明内涵上的运算和转换方式以区分那些句法表达不同,但是却逻辑等值的命题. 这一系列的解决方案看似可以在刻画内涵的基础上解决我们所
3、面对的晦暗语境问题,但是这些方案中却也存在其极大的问题以至于无法回答我们到底什么内涵的问题: 1.就蒙太古的内涵逻辑而言,其将内涵等同于一个从可能世界到个体的函数,这个定义本身就是有问题的.首先,在我们所讨论的不同对象在所有可能世界中都具有相同指称的情况下,这一定义就会退化为一个外延化的定义,这也是为什么在蒙太古的内涵逻辑中无法处理例2以及例3这种晦暗语境问题的原因;其次,这一内涵定义只不过告诉我们语词甚至语句的指称对象是随可能世界的变化而变化的,如专名约翰在可能世界ma;、Λ等表示.一个性质p属于个体Γ就可表示为p&isin
4、;Γ. 2.我们日常所谈论的个体之间的关系,实际上就是不同个体之间的某个或某几个性质之间的关系的阐述.例如,在北京在上海的北边.这一句子中,北京这一专名所指称的个体Γ与上海这一专名所指称的个体Γ'相比,在地理位置这一性质上就具有Γ在Γ'北边这一关系.如果用p和p'分别表示Γ和Γ'中所包含的表示地理位置的性质,那么这一关系可形式化表示为:pp'ΓΓ'(p∈Γp'&
5、isin;Γ'∧在北边(p,p')). 3.对于同一性质或关系我们可以用不同的语言或者句式加以表达.例如,在张三推开那个门.这一句子中,对于张三所指称个体与那个门所指称个体之间的这种关系的描述,我们还可以用汉语中的把字句或被字句的形式进行表达,即张三把那个门推开.或那个门被张三推开.,除此之外,甚至还可用英语(ZhangSanpushedthatdooropen.)或其他语言进行描述. 4.在作为基始的性质的基础上可以进行一定的运算.例如,如果存在某一性质p,那么我们就可以将一元算子┓添加在p的前面以对其进行运算,
6、在运算之后,我们所得到的性质在逻辑上可能等值于原来的性质,如对于性质p而言,┓┓pp,在这种情况下,我们认为┓┓p与p表示的是同一性质,但是对这两个性质的认识步骤或层次却存在不同. 之所以给出这一论点是因为,我们将所有基始的性质,即不添加任何逻辑联结词的性质视为基本性质,而这些基本性质就可被归类为认识的基本单元,通过对这些基本性质的运算所得到的性质即使与原基本性质逻辑等值,但是与基本性质相比,也还是至少增加了进行逻辑运算、运算后与原性质逻辑等值这两个认识过程.因此即使┓┓p与p表示的都是同一个性质,但是因为与对p的认识相比,对┓┓p的认识要经过更多的
7、认识步骤,所以对于那些经历了这些认识步骤的人来说,其就能认识到两者表示的是同一性质,但是对于那些没有经历这些认识步骤的人来说,就认识不到两者表示同一性质的问题.以此类推,对于那些逻辑等值的非基本性质而言,如┓p∨q和p→q,我们同样认为由于对他们的认识要经历不同的认识步骤,因此即使他们之间存在逻辑等值关系,但是对于具有不同认识能力的人来说,认识不到他们之间的等值关系也是正常的. 而当p表示某一命题时,我们也认为p即使与某一其他命题(如┓┓p)逻辑等值,但他们所经历的认识步骤或所处的认识层次却是不同的.①在这四个基本论点的基础上,我们就可
8、以认为一个概念的外延就是其所适用的个体,但是这里的个体所指的是由性质构成的集合,
