鞠实儿
- 作品数：47 被引量：224H指数：7
- 供职机构：中山大学人文科学学院逻辑与认知研究所更多>>
- 发文基金：教育部人文社会科学重点研究基地度重大研究项目国家社会科学基金教育部人文社会科学研究重大课题攻关项目更多>>
- 相关领域：哲学宗教理学自然科学总论自动化与计算机技术更多>>
- 关注我们这个时代的哲学多元的逻辑(笔谈)被引量：1
- 2007年
- 宽泛地说，逻辑学的主要任务之一是研究合理的论证，构造相应的论证系统，例如亚里士多德的三段论和一阶逻辑。如今，人们已普遍接受一个常识：如果没有合理的论证方法，理性的（民主的）社会生活和科学研究是不可能的，作为证据，请考虑一下说理与证明在人类文明中的作用。同时，运用计算机处理某对象领域中相关问题的必要条件是：该领域能够被二进制逻辑描述。因此，计算机在全球的普遍运用等于宣告逻辑学渗入世界的每一个角落。不言而喻，就其重要性而言逻辑学是人类文明的基石之一。
- 鞠实儿
- 关键词：逻辑学哲学人类文明亚里士多德社会生活
- 信念逻辑的逻辑全知问题被引量：3
- 2007年
- 一、逻辑全知者问题
逻辑学研究的对象是人的思维．现代数理逻辑与哲学逻辑则致力于考察人的推理行为与模式。作为个体的人，由于受其所在环境、所接受的知识、所掌握的资源的限制，其推理能力必然是有限的。例如，假设从理论上讲，某人从其当前所掌握的知识出发，能够推出一个命题α。实际上．他仍可能推不出α。也许推出α过于困难．超出了此人的能力。
- 刘虎鞠实儿
- 关键词：哲学逻辑全知信念逻辑学研究数理逻辑知识
- 广义论证的理论与方法被引量：30
- 2020年
- 首先,从自然语言论证的语境敏感性和论证的文化相对性入手,提出基于经验数据的社会文化解释方法,阐明在变动的语境下采用该方法考察论证的必要性。其次,将广义论证重新定义为:社会文化群体中依据社会规范开展的基于语篇的具有说理功能的社会互动;其外延覆盖包括形式论证在内的不同文化的论证方式。再次,从论证者所属社会文化群体规范的角度解释论证规则,描述广义论证的基本结构。最后,在本土原则和语境原则的基础上,提出获取不同社会文化群体的论证规则和结构的广义论证研究程序,并界定其使用的条件和范围。由此,本文阐明了广义论证理论及其研究方法。
- 鞠实儿
- 关键词：社会互动文化解释形式逻辑
- 一个非形式的归纳支持句法系统——与刘壮虎先生商榷被引量：2
- 1991年
- 本文致力于解决非实质相似(不同类型)假设归纳支持的可比性问题。首先,本文分析了刘壮虎提出的VIL系统,指出由于语义、表达能力、相关变量方法三方面的困难,VIL系统是不恰当的、不完备的,因而无法解决上述问题。其次,本文重新表述了J.Cohen归纳支持理论的基本概念和相关变量方法,在此基础上指出J.Cohen的归纳支持句法同样是不完备、不恰当的。再次,本文吸取Cohen理论中的合理部分——相关变量方法,纠正了J.Cohen对上述句法中有关原理的证明错误,提出和证明了六条新的原理,构造了归纳支持句法非形式系统,克服了Cohen理论的困难,为解决上述问题提供了可行的方案。最后,本文指出;对归纳支持的逻辑结构的研究有可能导致全新的逻辑系统。
- 鞠实儿
- 关键词：一阶逻辑语义理论证伪恰当性复合命题等价命题
- 论逻辑学的未来发展方向
- 试图从自然科学和人文社会科学两个方面探讨逻辑学的未来.首先，在文献[1]的基础上，我们说明逻辑学是一个家族类似，在内涵和外延两方面具有开放性，从而揭示逻辑学在其未来发展过程中转变方向的可能性.其次，通过对Boole，Hi...
- 鞠实儿
- 关键词：逻辑学
- 论逻辑学发展的方向被引量：24
- 2003年
- 本文论述了逻辑学发展的认知转向,其目标是:给出只是获取,知识表达以及知识的扩展和修正的合理方法。
- 鞠实儿
- 关键词：逻辑学
- 不确定推理的支持度被引量：7
- 1999年
- 在引进的不确定性支持度的基础上，提出了不确定推理的一个可操作模型．定义了不确定推理的概念，引进了不确定推理的支持度，讨论了它们的初步性质．所有这些都是建立在经典的二值逻辑的基础上的，因而具有较牢固的基础．
- 周青鞠实儿
- 关键词：知识集人工智能
- 旅居与杂居藏汉双文化个体认知差异的研究
- 2018年
- 本文比较了旅居和杂居的藏汉双文化个体在文化和民族认知、文化框架转换上的差异。结果表明:(1)藏族旅居双文化个体的民族本质论认知倾向高于杂居双文化个体,同时藏族和汉族杂居双文化个体的双文化认同整合水平均高于旅居双文化个体。(2)与旅居双文化个体不同,在文化线索启动下,杂居双文化个体未表现出经典的双文化框架转换效应。以上结果表明,旅居和杂居双文化个体之间存在不同的第二文化认知表征和经验组织模式。
- 李枏冯聪鞠实儿
- 论休谟问题与科学研究活动启发式程序重建纲领被引量：6
- 1988年
- 本世纪二、三十年代的自然科学,尤其是数学基础研究导致了数理逻辑的兴起和公理化浪潮。作为科学发展的哲学反响,逻辑实证主义者提出了科学研究活动的理性重建纲领。由于逻揖实证主义者过于注重科学理论和科学评价的逻辑学、语言学特征,忽略了社会、历史因素对科学研究活动的影响,因此,本世纪五、六十年代在历史学派的攻击下,逻辑实证主义的理性重建纲领被搁置起来.但几乎与此同时,计算机科学的发展把人工智能研究提到日程上来了。它要求进一步认识科学理论的结构、科学研究活动的一般方法论规则,同时也表明了启发式规则在问题求解、机器学习及其它智能模拟过程中的方法论意义;另一方面,科学哲学开始重新研究“科学发现的逻辑”,研究的结果使一部分科学哲学家认识到;
- 鞠实儿
- 关键词：逻辑学逻辑实证主义启发式规则背景知识
- SLO的代数结构
- 鞠实儿（1998）提出的一个基于开放世界预设的3-值逻辑系统（SLO）,试图描述开放世界预设下知识表达和推理的逻辑结构. 它的特点是其否定词与规范的3-值语句逻辑不同。该系统有7 个公理,具有函数完备性和系统完备性。本文...
- 霍书全鞠实儿
- 文献传递
