国家社会科学基金(13BZX068)
- 作品数：6 被引量：2H指数：1
- 相关作者：胡泽洪邓雄雁秦波更多>>
- 相关机构：华南师范大学贵州师范大学更多>>
- 发文基金：国家社会科学基金广东省哲学社会科学规划项目更多>>
- 相关领域：哲学宗教更多>>
- 自由模态逻辑及其表列系统
- 2017年
- "空词项"在语形、语义两方面都给模态谓词逻辑带来了难以克服的困难。于是,产生了旨在克服"空词项"的模态谓词逻辑,即自由模态逻辑。自由模态逻辑由于其复杂性,若用公理系统加以刻画,难以展现其全貌。相对于纯对象语言的公理系统而言,表列系统同时涵盖对象语言和元语言,并且其完全性定理的证明更为简洁。因而,表列系统用来刻画自由模态逻辑更具优势。
- 胡泽洪邓雄雁
- 关键词：自由逻辑模态逻辑
- 谓词抽象和模态谓词逻辑的合法性被引量：1
- 2014年
- 奎因对模态谓词逻辑的合法性持怀疑态度,他从逻辑角度论证了模态语境是指称不明的,同一替换原理和存在概括规则在模态语境中都是无效的,他的批评影响很大。但是,若在模态谓词逻辑中引入谓词抽象,它可以表达所有模态从言和从物命题,还能有助于区分严格指示词和非严格指示词的模态意义。同一替换和存在概括都有从言和从物形式,可是奎因没有注意到这些重要区别,所以,奎因的论点是以偏概全的,其论证并不真正构成对模态谓词逻辑发展的威胁。
- 邓雄雁胡泽洪
- 关键词：模态逻辑谓词抽象严格指示词
- 三值自由模态逻辑FML被引量：1
- 2016年
- FML是以自由逻辑为基础构建起来的一个三值模态谓词逻辑表列系统。若一个词项无所指(空词项)则包含该词项的简单句子无所指(即无真值),FML的偏函数语义模型体现了这一思想。通过借鉴普利斯特的一度衍推系统和菲汀的抽象谓词思想,FML系统刻画了在内涵语境下关于空词项的推理规律。最后,用数模的方法证明了FML的强完全性。
- 胡泽洪邓雄雁
- 关键词：模态逻辑
- 非严格弗雷格自由逻辑被引量：2
- 2014年
- 莱曼(S.Lehmann)的1994年的论文从三值逻辑角度处理语言中的空词项。弗雷格认为句子的所指是真值,包含空词项的句子缺乏所指,而只有涵义,那么这样的句子不真也不假。莱曼的文章刻画了弗雷格这一思想,但有两点不尽人意之处:其一、对量词进行特殊处理,使得量词公式是二值的;其二,把包含空词项的复合句一概归于第三值。针对上述两点,本文以一度衍推系统为基础,在语义上,以偏解释函数为基础构造了一个非严格弗雷格中性自由逻辑表列系统,使得量词公式是三值的,同时使得一部分包含空词项的复合公式或真或假。
- 胡泽洪邓雄雁
- 关键词：自由逻辑
- 经典逻辑、自由逻辑与空词项
- 2017年
- 经典逻辑与自由逻辑都涉及空词项问题。经典逻辑对空词项采取的是一种否定的态度,它要求命题的"主词非空",在逻辑中排斥带有空词项的命题,从而导致经典逻辑与存在问题缠绕在一起。自由逻辑把空词项视为合法的逻辑词项,允许含有空词项的命题出现在逻辑系统中,并试图给包含空词项的命题以恰当的语义解释。自由逻辑对空词项的这一积极态度,带来了一系列逻辑和哲学上的好处。
- 胡泽洪邓雄雁
- 关键词：经典逻辑自由逻辑
- 谓词抽象和“弗雷格之谜”
- 2014年
- 弗雷格认为"相等"问题需要考虑涵义和意谓两个因素,这个问题包含相等的必然性、同一保真替换有效性和空词项三方面的问题。这些之所以成为问题,原因在于缺乏一个有效手段对"相等"的从言和从物形式进行区分,并误认为内涵和外延是截然对立的。引入谓词抽象,可以穿透内涵语境,把涵义和意谓衔接起来,对模态从言和从物形式进行区分,并刻画词项的不同指称方式,从而完成对"相等"问题的三方面考察。
- 邓雄雁秦波胡泽洪
- 关键词：弗雷格谓词抽象
