裘江杰
- 作品数：26 被引量：12H指数：2
- 供职机构：中国人民大学哲学院更多>>
- 发文基金：国家社会科学基金中国博士后科学基金中国人民大学科学研究基金更多>>
- 相关领域：哲学宗教自然科学总论理学文化科学更多>>
- 萨奎斯特逻辑的格
- 2009年
- 以萨奎斯特公式为额外公理添加到极小正规逻辑K上得到的逻辑都是完全的。这样得到的逻辑被称为萨奎斯特逻辑。所有的萨奎斯特逻辑组成了一个格。这个格中有可数无穷长的链以及可数无穷长的反链,格中的每个逻辑相对于格的不完全度是1。另外,萨奎斯特逻辑格的子格E具有规整的结构。
- 裘江杰周北海
- 关系语义与非正规性
- 2008年
- 尽管关系语义有着广泛应用,它却不能处理非正规现象。然而,在诸多的研究领域中,我们却经常面对这类现象。因此,如何适当改进关系语义以用来探讨非正规现象具有重要意义。通常的关系语义不适用于非正规性的原因,主要有三种解决方案可供选择。
- 裘江杰
- 关键词：正规性
- 沈有鼎:心无旁骛,凌空蹈虚
- 沈有鼎,字公武,1908年出生于上海的一个书香门第之家。早在中学时,沈先生就读过逻辑学方面的书,对逻辑学有过独立的思考。沈先生在清华大学读书期间,受业于金岳霖先生。沈先生经常和同学们讨论逻辑问题。据说"一次高谈阔论之际,...
- 裘江杰
- 文献传递
- Bull定理一个证明的注记
- 2011年
- Blackburn等的ModalLogic是一部优秀的中高阶教材,但是该书中对Bull定理的证明存在着不少疏漏。本文对之进行了修正,同时给出关键步骤的简化证明。
- 裘江杰
- 实际因果的形式化模型被引量：1
- 2021年
- 因果是哲学研究中的一个核心概念,对因果的最基本的划分是类型因果与实际因果;美国哲学家路易斯开创了对实际因果的形式化研究,其提出的神经元图是实际因果的一种形式模型,应用颇广;希区柯克认为另一种形式模型,结构方程模型优于神经元图;文章试图论证,希区柯克的结论是在对类型因果与实际因果的某种模糊之下得出的;特别的,结构方程模型编码了律则性,而实际因果则包容非律则性,因此两者并不契合;文章也形式化了神经元图中的时间因素,发展出一种带时间段的神经元图,这种形式模型可能更便于实际因果的深入探讨。
- 裘江杰
- 关键词：结构方程模型
- 初等类的一个注记
- 2022年
- 初等类是模型论的一个核心概念。对初等类有多个刻画定理,其中一个使用“对初等等价封闭”与“对超积封闭”。《初等模型论》是新近出版的一部优秀的模型论作品,在其中根据上述刻画定理,给出了可数无穷步得到一个结构类的初等类闭包的“操作性”方法。这一方法颇为直观,可以加深我们对初等类这一概念的理解,然而由于疏忽了“共尾”现象,这一方法或有漏洞。本文引入“取κ超积闭”这一概念,首先“优化”了前述刻画定理,然后依据这一“优化”后的结果修补了上述“操作性”方法。本文也据此初步讨论了结构类上几个性质之间的关系。
- 裘江杰
- 关键词：超积
- 模态逻辑的典范性问题
- 2009年
- 裘江杰
- 关键词：模态逻辑逻辑学家农业革命语义理论克里普克人类学
- 一族不完全的逻辑被引量：1
- 2007年
- 裘江杰
- 关键词：模态逻辑时态逻辑不可数代数VB
- 模态逻辑典范框架的生成子框架被引量：2
- 2009年
- 模态逻辑的典范性由"局部"典范性拼接而成。本文讨论了"局部"典范性问题,即一个模态逻辑的典范框架的什么样的生成子框架是该逻辑的框架。主要的结果是证明了一个逻辑的典范框架的有界宽的生成子框架都是该逻辑的框架,并且典范框架内嵌了所有该逻辑的有穷宽框架。
- 裘江杰
- 关键词：模态逻辑
- 一类认知词模态逻辑Ⅰ:基础逻辑
- ＜正＞一引言语言中有许多认知词:知道、相信、认为、断定、……..。从机器处理的角度,可以将它们统一处理成为不同程度的相信:相信1、相信2、……。机器在作自然语言处理时,可以不管一段言语是由哪个主体发出的,它只要把不同的认...
- 裘江杰
- 文献传递
