认知科学视域下的归纳逻辑研究述评

在认知价值的引导和认知科学方法论的昭示下,归纳逻辑已经完成了从面向定性认知和定量认知到面向不足认知和复杂认知的转型。但是,认知价值始终是归纳逻辑不变的取向。古典归纳逻辑中的诸多逻辑方法以推进人们的认知为己任,而现代归纳逻辑更是一开始就直接期望建立满足定量认知需要的完善体系。面向不足认知和复杂认知的归纳逻辑研究,不仅是人类认知需要的深入拓展,更是归纳逻辑必然的发展方向。逻辑学不仅在认知召唤下走得更远,而且对于归纳逻辑而言,进一步发展的动力和方向都可能是认知。     

从认知发展看思维和逻辑的基本类型

人类和个人对事物的认知发展过程可分为感性认知和理性认知两大阶段。思维即理性认知。思维按其意识和复杂性程度可分为直觉思维、形象思维、抽象思维和辩证思维四种基本类型。逻辑学是描述思维的产物即思想的形式结构与其规律的科学,也是为思维提供思维形式与其变形规则的模规范性科学。当代逻辑学按其产生和适用的主要思维领域不同,可分为准逻辑、形象逻辑、形式逻辑和辩证逻辑四种基本类型。     

认知逻辑与认识论之研究现状

在某种程度上说,认知逻辑似乎有些脱离一般的认识论研究。本文旨在说明介于这两个领域之间的“桥梁”依然存在。而且,事实上它们之间的联系十分紧密。文章通过分析下面的一些实例对此加以论证,即,知识和证据演算的关系,怀疑主义,信息的动态性,学习和证实,多主体或群体问题等等。作者试图通过以上分析来表明下面的观点:知识不应被定义成命题的某种本质特征,我们应当根据知识在认知活动中所起的作用来对它加以理解。     

从方法论的角度看动态认知逻辑的研究

本文主要探讨动态认知逻辑技术结果背后的思想,着重强调其在方法论方面的一般想法。文章在公开宣告逻辑的基础上展开讨论,重点考察了归约公理的意义,揭示了其本质是在基本语言中提前解析动态信息对认知产生的影响。文章以公共知识为例,说明了并非所有的逻辑算子都能找到归约公理,有时候我们需要丰富基本语言的表达力。而且,我们从如何给出一个逻辑的角度提出,动态认知逻辑实际上是在“动态化”认知逻辑,这种动态化的方法可以应用在其他静态的逻辑系统中。我们以动态偏好逻辑为例,说明了这一过程是如何实现的。     

博弈论中重复可允许算法的认知分析

博弈论中重复可允许(Iterated Admissibilty)算法对于快速约简博弈模型、寻找合理置信的纳什均衡具有重要意义,但该算法的认知基础存在悖论。本文构建一个完备的博弈认知逻辑系统EL_G,利用该系统语言描述博弈相关概念和性质,使得我们可以基于EL_G逻辑刻画重复可允许算法,从而达到为该算法提供合理的认知基础,解决算法背后的认知悖论的目的。     

资本逻辑视域下的生态文明建设

资本逻辑是生态危机产生的一个重要原因。资本以追逐利润为目的,疯狂地发展生产力,必然对自然生态环境造成破坏,从而导致人与自然关系的异化,即生态危机。异化消费既是劳动异化的表征,也是人与自然关系异化的重要推手。在中国特色社会主义建设中,我们离不开资本,需要资本作为中国道路的铺路石,但资本逻辑又使生态环境问题凸显,使我们陷入两难境地之中。这就要求我们直面资本逻辑,承认资本逻辑及其作用的存在,驾驭好资本。中国特色社会主义生态文明建设必须是也只能是驾驭资本的结果。     

发生认识论视域下心理逻辑的先天机能

随着心理学从哲学的剥离,哲学认识论的实证研究任务转到了心理学的层面上来,但是试图割裂人类心理研究的思辨过程方显实证主义者的祛魅。[1]心理学的哲学性使认知理论研究属于一个既现实存     

在动态认知逻辑中融合观察与内省

一直以来,我们使用逻辑系统来描述数学的证明、结构的计算以及语言的意义。近年来,逻辑系统却越来越多地被用来研究理性行动者的很多方面。例如,如何接受单一的信息,多主体间的交流行为,以及更为一般的受目标驱动的主体间的互动。特别是,对观察和交流中的信息流的研究,大家使用所谓的知识更新、信念修正和偏好改变的动态认知逻辑。当新信息进来时,这些逻辑使用信息的“语义意义”作为被更新状态的选择范围。 然而,同样重要的是,理性主体的行动也会基于其他信息,譬如,由推理和反省得到的信息。对这些问题的研究实际上是对信息在更为语法的意义上进行理解的,即,把信息看作是可以由主体阐明的东西。也许有些奇怪,尽管在这一领域已经存在不少的研究方案,但是大家对什么是信息,信息的关键机制是什么等问题更少有一致的意见。可以看出,对“信息”的意义在逻辑中确实有很多不同的理解。 本文基于可能世界的语义,给出一个一致的信息模型,同时也赋予可能世界语法的“可及通路”。这样,我们就能把外部的“更新信息”和内部的“阐明信息”放在同一个动态逻辑系统中。特别是,我们提出了两个基本的信息行动：纯粹的基于观察的更新（“单纯的看”）和把不明显的知识变为明显知识的“知觉实现”。我们阐明为什么这些行动是自然的,同时我们也提出了一些新的研究问题。其中,很多问题探讨如何使其他的逻辑传统,包括信念修正理论、情景语义学和弗协调逻辑等适用于信息一驱使的理性行动者的图景。     

基于广义框架的概率认知逻辑

概率认知逻辑将认知和概率推理融合到同一个逻辑框架中。本文提出了一个基于广义框架的概率认知模型,并讨论了这一模型与已有两种概率认知模型的关系。基于广义框架的概率认知模型能为任意概率认知逻辑公式指派概率,因而是一种比较理想的概率认知逻辑语义模型。本文给出了一个可靠且完全的概率认知逻辑公理系统,提出并证明了概率函数存在引理,进而给出了这一逻辑的完全性证明。最后,本文运用这一逻辑刻画了混合策略博弈的两种状态,为进一步讨论混合策略博弈奠定了基础。     

从动态认知逻辑的角度看偏好——刘奋荣《动态偏好逻辑》评介

《动态偏好逻辑》一书是国家社会科学基金青年项目（项目编号：04CZX001）的优秀成果,也是刘奋荣博士在荷兰阿姆斯特丹大学逻辑、语言和计算研究所（ILLC）从事博士项目研究的主体内容。全书分为七章：第一章引论;     

中医四诊的认知逻辑

中医四诊的认知逻辑辽宁中医学院（沈阳１１００３２）刘庚祥一、四诊的反映中医四诊是对病人的体症进行观察与询问,一般认为：临证所谓的“舌红苔黄”是病人舌红苔黄的客观体症反映到医者的感官,被医生所认定,所谓“脉弦数”,是客观的弦数之脉反映到医者的手下。然而...     

广义论证视域下朱熹论辩逻辑体系的考察

近年来,广义论证视域下的中国古代逻辑史研究成为学界关注的热点,在丰硕的研究成果中,仍存在“怎样深化”与“如何拓展”等问题。在广义论证视域下对朱熹论辩逻辑体系进行考察,一方面可以打破以往研究主要集中在先秦时期的囿限,进一步拓展其研究范围;另一方面也可以在逻辑体系的构建中深化中国古代逻辑研究。从广义论证角度看,朱熹的逻辑是“名义界分”“知言穷理”等说理论证规则的集合,基于上述逻辑,朱熹同陆九渊、张栻等人围绕“太极”“仁说”等进行论辩实践,逐步建立起以名、辞理论为基础的“名、辞–辩”的逻辑体系。上述体系对后世影响深远。从广义论证角度考察朱熹论辩逻辑体系,对新时期回应如何做“中国古代逻辑”具有启发意义。     

资本逻辑与理性的自我分裂

对于现代性的矛盾,西方许多思想家都把其根源归结为理性的自我分裂。在马克思主义的视域中把握现代性的理性分裂,重要的一点,是透过马克思所发现的资本逻辑来审视理性在现代社会发展进程中的生成与蜕变。启蒙理性从自我解放、自我实现走向自我逆转、自我毁灭的辩证法根植于资本的矛盾逻辑。资本逻辑在推动理性化蓬勃发展的同时,也埋下了理性自我分裂的种子,诱发了理性化进程的全面逆转。在资本逻辑的要求下,理性发生自我分裂,片面发展为"工具理性",蜕化为"经济理性",并进一步逆转为"反理性",最终蜕变为对人类自身进行支配的"权力"。由此,理性的自我分裂便构成了现代性矛盾的重要因素。     

面向不足与复杂认知的当代归纳逻辑研究

一从定性认知到定量认知:古典归纳逻辑到现代归纳逻辑归纳逻辑是以归纳推理和归纳方法为基本内容的知识体系。归纳推理的前提是一些关于个别事物或现象的判断,而结论是关于该类事物或现象的普遍性的判断。归纳推理的结论超出了前提所断定的范     

基于逻辑的社会选择理论研究

尽管我们处在一个以市场机制为主导的时代,理性个体总是处在利益对抗的竞争之中,但是仍然有许多问题需要整合社会成员的个体意志做出群体决策,如公共事业投资、社会福利分配以及投票选举等等。社会选择理论探讨的正是如何将存在冲突的个人偏好聚合(aggregate)为群体或社会偏好从而奠定群体决策的理性基础,探讨群体决策得以形成的内在机制,以及如何保证群体决策公平公正,符合社会     

概率逻辑与模糊逻辑在精细化学习诊断中的对比研究

精细化学习诊断有助于客观准确探究学生学习现状,为实施有针对性的补救教学提供理论和数据支持。本文对比研究概率逻辑与模糊逻辑在精细化学习诊断中的表现。首先,从“概念”视角介绍和对比两种逻辑。其次,介绍两个分别基于上述两逻辑的代表性模型：HO-PINC和Fuzzy-DINA。然后,对比两模型在五个实证数据上表现。最后,通过模拟研究进一步对比两模型的心理计量学性能。DIC等模型-数据拟合指标和RMSE等参数返真性指标的结果表明两模型对同一批数据有较一致的分析结果。建议实践者忽略模型选择对数据分析的影响,从概念或思辨视角入手选择使用概率逻辑或模糊逻辑来定义属性。     

直觉主义认知逻辑与不同程度的真

直觉主义认知逻辑IEL不仅为邱奇–费奇悖论提供了解悖思路,还促进了直觉主义认识论的研究。IEL的构建旨在遵循BHK解释,以“直觉主义知识就是证实的结果”作为核心观点,接纳A→KA和KA→??A。IEL的预期解释借助“证实”概念给出了“直觉主义知识KA的证明”的定义,并以此扩展BHK解释。但直觉主义逻辑依赖于直觉主义数学,这使得BHK解释的核心在于对构造性证明的要求,基于此,IEL的预期解释偏离了BHK解释的初衷,进而IEL未能达到预期构建目标。通过对KA作新解读,能引出直觉主义真和经典真之间不同程度的真,IEL系统的一些重要内定理也将获得新理解。此外,关于IEL系统对应问题的一个猜测被提出来。     

偏好变化的一个量化模型

偏好是哲学、博弈论、决策论和效益理论等学科的核心概念,偏好及其逻辑性质在行为哲学和理性选择理论中尤其占有十分重要的地位。偏好的概念使得我们对世界的看法变得多姿多彩,它驱使着我们在尘世的种种行为选择。然而,偏好不是静止不变的,建议、命令、以及其他的信息不断改变着我们的偏好。近年来,逻辑学家们开始对偏好的改变进行深入的研究。到目前为止,关于偏好变化的模型主要有以下两种：第一、采取AGM理论研究偏好变化,给出变化的逻辑公设。第二、采用新近发展起来的动态认知逻辑的方法,对偏好的具体变化机制进行研究,给出动态偏好逻辑系统。无论是上面提到的哪种方法,都是采用定性的视角,即,偏好被表示成一个序关系。与此相反,本文采取量化的视角来研究偏好,利用偏好赋值函数给出偏好的量化语义。就逻辑语言而言,我们给出一个包括命题常元的新语言。这个语言既简练又富于表达力。基于这样的量化语义,处理偏好变化的方法就与以往的方法有所不同。根据经典的乘积更新的机制,我们提出了新的加法规则和一个参数化规则,来刻画偏好赋值的细微变化之处。同时,我们给出一个动态认知赋值逻辑,并证明其完全性。此外,我们还考虑道义逻辑最近的一些研究成果,表明本文给出的模型同样适用于道义的情境。特别是,这个新的模型能够解决困扰人们已久的义务冲突问题。最后,针对赋值偏好模型,我们定义了适用于它“赋值互模拟”。而且,我们还进一步给出了一个新的互模拟概念“距离互模拟”以结束本文。     

IF多值逻辑及博弈语义

本文基于经典一阶逻辑句法的逻辑优先性分析,把Hintikka的独立联结词和独立量词扩展到多值逻辑中。我们给出IF多值逻辑的句法,并使用不完全信息的语义赋值博弈解释了IF多值逻辑。