陈星群
- 作品数：2 被引量：3H指数：1
- 供职机构：深圳大学人文学院哲学系更多>>
- 发文基金：国家社会科学基金更多>>
- 相关领域：哲学宗教更多>>
- 弗雷格迷题的无解性被引量：1
- 2014年
- 为真的同一陈述句a=b与a=a在认知价值上有区别。这种区别的根源是什么?弗雷格在《论涵义与指称》中试图从语义的角度来解释。这个问题后来被称作"弗雷格迷题"。其他的哲学家或是从语义方面继承弗雷格的思想,或是从语形方面来解决它。但已有的这两方面的考虑都不能解决弗雷格迷题。若某种语义理论能够解决弗雷格迷题,其自身所存在着的"高阶"弗雷格迷题将迫使它或者不能解决后者,或者会导致不同的符号无法被用于同一陈述。另一方面,从语形出发解释弗雷格迷题的方案,并不比直接规定"这两个表达式的认知价值不同"有更多的优势。从这个意义而言,弗雷格迷题是不可解的。
- 陈星群
- 关键词：指称涵义语义学
- 概称句词项逻辑系统GAG与Gaa的完全性被引量：2
- 2017年
- GAG与Gaa是关于概称句推理的逻辑系统。概称句词项逻辑的要点是引入了表示概念的词项,从而以更自然的方式表示概念在推理中的作用,这也带来了概称句词项逻辑语言的特点。涵义语义是用于概称句词项逻辑语言的形式语义。在涵义语义下GAG与Gaa是可靠的,但是完全性证明一直空缺。通过完全性证明,发现有必要对原来的涵义语义做一些补充和完善,为此提出涵义语义结构的一般形式,进而给出全涵义结构和实涵义结构。原来的语义结构实际上是全涵义结构。完全性证明需要使用实涵义结构。实涵义结构的框架部分与解释函数有关,因而不完全独立于被解释的语言。实涵义结构更像是认知主义语义观下的语义构造。长期以来,实在论语义观在逻辑学研究中根深蒂固。实涵义结构的提出,对这类逻辑研究的哲学基础提出了反思。
- 陈星群周北海
- 关键词：词项逻辑
