摘要:从经典命题逻辑到原始兰贝克演算,基于规则的存废形成了演算的“结构层级”。对于自然语言的计算处理来说,各层级系统各有优劣。虽然原始兰贝克演算较好地体现了自然语言的资源管理方...
摘要:近现代辩证逻辑科学哲学化的过程中,既有形式化的研究也有非形式化的研究。本文基于辩证逻辑中的论辩特征,既从非形式化的角度分析辩证逻辑中论辩的内容,又从形式化的角度建构辩证结...
哲学研究摘要:多模态逻辑是关于“包含多种模态的逻辑”的研究,它的系统内包含两种或两种以上模态算子,并且算子间不可归约。多模态逻辑旨在为研究多种类型的模态提供统一的形式框架,其基...
摘要:敌友逻辑(vanderHoek,etal.,2018)采用结构平衡理论的视角对社会网络的动态变化进行了刻画。在一个稳定的社会网络中,主体之间没有理由改变当下的关系,而不稳...
摘要:如何让智能体像人一样具备遗忘的能力,目前仍然是人工智能所面临的最大挑战之一。遗忘在基于符号逻辑的知识表示与推理领域和基于统计的机器学习领域都有研究。特别在知识表示与推理领...
语篇教学的课堂模式语篇教学是从认知中,探索语篇构造框架、动态分析心智和语篇之间的互动以及认识世界,百科知识在语篇生成中的作用。如:认知主体的视角的主观因素,可产生不同的语言表达...
摘要:在达米特给出的直觉主义谓词逻辑矢列演算系统的基础上,构造一个与等价的系统,这有助于研究直觉主义命题逻辑的可判定性问题。与此同时,还构造经典谓词逻辑的矢列演算系统以及直觉主...
摘要:奎因是20世纪西方最伟大的哲学家之一。逻辑的理论和方法是奎因哲学的基础。他强调一阶逻辑的重要性,甚至认为模态逻辑不属于逻辑。他对许多传统哲学观念提出挑战,包括关于分析判断...
摘要:“创新思维何以可能”是全球化时代文化哲学本体论问题。包括科学在内的一切领域的知识创新或思想创新,都是从经验的发现到理论的发明的过程,都必须依赖于直觉和逻辑。创新思维的可能...
摘要:介绍2018年9月出版的《自然语言信息处理的逻辑语义学研究》的写作背景及其主要内容。指出该书有3个鲜明特色:理论性与应用性结合、对汉语特殊性的关注、多学科交叉融通;其理论...
主持人语:中国逻辑学会会长邹崇理研究员波兰逻辑学家卢卡西维茨曾建立被称为波兰表示法的符号系统,仅仅使用联结词符号就可以无歧义地表达公式。中国逻辑学家张清宇先生在20世纪90年代...
【摘要】资本逻辑在当代发生若干明显改变,对这些变化的自觉问题意识和总体哲学审视不仅至关重要,而且刻不容缓。从资本一般的视角看,增殖逻辑整体强化,扩张逻辑持续加强,负向逻辑驱逐正...
摘要:慈善捐助本是善事、好事,却时常会出现类似广东湛江乡贤捐赠别墅纠纷的案例。此类冲突于媒体、坊间各种议论纷起之时,若不能进行清楚地分析,容易产生对慈善救助的误解和人性善恶的误...
摘要:亨迪卡的众多研究项目之一名为“人类思维的逻辑工具及其历史”,这实际上是对这位逻辑学大师一生工作的恰当总结。他开创了数理逻辑和哲学逻辑中的几种新方法和新系统,其中包括分配范...
摘要:模态逻辑是基于命题逻辑的一门逻辑学科。它早在亚里士多德时期就被广泛研究和探讨。在之后的发展过程中,美国逻辑学家刘易斯在无意间创造了现代模态逻辑。而刘易斯在继前人的基础上注...