从动态谓词逻辑视角看皮尔士谜题

"皮尔士谜题"由皮尔士(C.S.Peirce)提出,其核心问题在于,一阶逻辑框架内两对表达式真值相同,而它们在自然语言中所对应的句子却不等值。研究该问题的已有文献,有的从严格蕴涵入手,有的是将一阶表达式对应的自然语言的句子中所出现的代词看作回指词而不是普通代词。论文试图说明,在一阶框架内等值的两个表达式,在动态谓词逻辑框架内其实并不等值,因此,一阶框架内等值的表达式,其在自然语言中对应的句子不等值也就可以接受了。

皮尔士谜题

皮尔士谜题由C.S.皮尔士于1906年提出,由于这一谜题涉及到了一阶逻辑表达式与其所对应的自然语言表达式之间的真值差异问题,所以一直以来都受到了学者们的广泛关注。然而对皮尔士谜题的大量研究都集中在语言学中,但这一研究进路却未能帮助我们了解逻辑在刻画自然语言中所出现的问题,因此在本文中,作者将从梳理皮尔士谜题的各种处理方案入手,指出其中存在的问题,进而给出合适的解决方案并在文章最后区分自然语言的两种逻辑研究方式。

皮尔士谜题的范畴类型逻辑解析

皮尔士谜题关注的是自然语言及其形式化表达式真值不一致的问题。本文在概述皮尔士谜题的基本构造及其解决方案的基础上,借助范畴类型逻辑的技术手段,给出这一谜题的语言学解析方案,以便于进一步说明皮尔士谜题出现的语言学原因。

皮尔士谜题的范畴类型逻辑解析

皮尔士谜题关注的是自然语言及其形式化表达式真值不一致的问题。本文在概述皮尔士谜题的基本构造及其解决方案的基础上,借助范畴类型逻辑技术手段,给出这一谜题的语言学解析方案,以便进一步说明皮尔士谜题出现的语言学原因。自然语言中的表达式往往具有不止一个范畴,虽然在具体语境中,我们通过语句的句法分析,能够给出大多数表达式的确定范畴,但还是有很多特殊情况使得我们无法确定某一表达式的范畴,从而造成唐词甚至语句的歧义。

演算LLC+q的扩充和应用

给出演算LLC+q的一个加模态算子的扩充,即通过向LLC+q的语言中增加一个一元模态算子◇,进而得到扩充演算LLC+q+◇。LLC+q+◇这一演算不但能够处理语言学中的回指以及量化问题,还能对“可能”这一模态词进行刻画。除此之外,LLC+q+◇还能被用于分析皮尔士谜题并给出皮尔士谜题的一个范畴类型逻辑的处理方案。