动态认知逻辑视域下的知识与信念

对于话语交流中知识与信念变化的研究主要采用两种技术路线：一是数值方法。数学与计算机学界常用的方法;一是符号逻辑方法,用逻辑或者数学的方式进行形式刻画并提供结构模型。而以当前兴起的动态认知逻辑为切入点来讨论知识与信念变化的形态、动机、过程等问题,为其提供切实可行的逻辑语言表述与结构模型．必然会拓宽用符号逻辑方法研究知识与信念变化的途径。     

密码通信下的动态认知逻辑

动态认知逻辑能够完成多主体信息交互活动中认知状态的刻画,但是它缺乏对密码通信的支持,同时密文处理规则的描述和主体密码全能问题也是迫切需要解决的问题.CDEL(Cryptography Dynamic Epistemic Logic)是支持密码规则的一阶认知逻辑,它为开放环境下主体传送信息提供了一个良好的描述方法.文章讨论了该逻辑中的密码公理的引入和密码全知问题的处理,简要介绍了其动态扩展方法和进一步研究的方向.     

在文化的动态中认知音乐与社会

音乐是社会的精神产品,它的历史历来被当作某种社会现象来看待,是一种社会生活的凝聚。社会是文化的驻地和载体,在这个载体中,“真”、“善”、“美”谨慎而有效地守护着自己的文化领地。音乐与各层次间跨文化的对话、冲突、整合形成了整体文化发展的动力,音乐作为文化系统中艺术层次的子层,无论如何也不能超脱社会,充当无所不能、无所不知的上帝。历史的变迁常使音乐无可奈何地变化自身。因此,讨论音乐,应从历史的层面上,在一定的经济的、政治的、社会的和历史的条件下对人类活动的各个方面进行考察。才能更好地理解音乐,对音乐教育作文化上的提升。     

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

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

融合学科逻辑和学生认知逻辑的“热化学”单元教学研究

单元教学逻辑的建构既要关注学科逻辑又要兼顾学生认知逻辑。以选择性必修“热化学”教学内容为例,基于学科视角抽提形成“热化学”特征的思维方式、建构具有实质联系的学科内容体系;基于学生视角分析“热化学”学习进阶路径、提取关注学生认知的内容组织形式。在平衡“学科”和“学生”的基础上,设计促进学生学科理解的选择性必修“热化学”单元教学逻辑和核心问题,取得较好的教学效果。     

先秦儒家内省观与大学生内省品质的养成

先秦儒家内省的对象是君子,君子指的是国家中的掌权者或者将来有可能成为掌权者的读书人。内省的精神实质是责任意识和自我提升,其目的在于培养德才兼备的统治者,它不仅关乎个人伦理,还关乎政治教化。大学生是国家的未来,类似于君子中那些可能成为掌权者的读书人。立足内省这一优秀传统,从中获得对大学生个人修养的启示,探讨当代大学生的内省品质的养成,有利于社会主义核心价值观的培育和践行。     

试论语文教学中认知与情感的融合

在语文教材中,文质兼备的文章甚至文学作品占有相当多的篇幅,所以情感因素在语文教学中有着得天独厚的条件。因此,语文课堂教学尤其要注重语文知识教学与情感教育的融合。     

简析认知逻辑与决策逻辑的区别及联系

本文以“如果今晚停电,那么电视就看不成了”和“如果要过河,那么就要先备好船”两个实例为主要比较对象,得出认知逻辑与决策逻辑在概念、逻辑构成、前后件关系、解决问题等方面的区别及联系。     

在高中生物教学中培养学生的自知内省智能

自知内省智能是一种认识自我以及在此认识的基础上采取相应的调控策略、改善相应行为的能力。结合案例,就培养和发展学生的自知内省智能阐述了3点做法:创设自我感知环境,唤醒自知内省智能;通过自我指导学习,发展自知内省智能;加强元认知的训练,发掘自知内省智能。     

家庭中孩子内省智能的培养

由梁家辉主演的电影《刮痧》,描述的是发生在美国中部密西西比河畔的城市圣路易斯一个中国移民家庭的故事。电影中的主人公许大同的孩子与邻居一位美国朋友的孩子发生了冲突。许大同获悉后,赶忙到对方家向朋友道歉。而他的美国邻居却说,不应该由大人向大人道歉,而是应该由小孩自己解决自己的冲突,因为这样才可以促使孩子反思自己的行为,孩子才能真正有所进步……这一场景,即使是没有看过这部电影的家长,相信也都不会感到陌生,因为我们自己或就在我们身边,类似的为孩子“排忧解难”的故事实在太多太多。以上电影片段却在一定程度上反映了中美…     

公开宣告逻辑研究现状

信息流和主体间互动是近年来动态认知逻辑研究的主要问题。主体的知识和信念随着信息的更新而改变,比如宣告p成立之后主体知道p。信息是不断更新变化的,受信息变化的影响,主体的知识和信念也是动态变化的,绝不是静态的。信息变化的形式是多种多样的,动态认知逻辑在静态的认知和信念等逻辑的基础上,引入新的动态算子,建立形式系统,研究模型上的变化,以此研究主体根据信息变化进行的推理。     

一个刻画理解的认知逻辑

通过两次问卷调查可以发现,绝大多数调查对象直观上都认为：理解一个命题就是知道它的意义。然后我们认为,在认知逻辑中,理解,作为一个模态算子,可以在一个较弱的意义上用知道算子来刻画：理解一个命题就是知道它的真假。由此,我们给出一个刻画理解的认知逻辑来揭示理解与知道之间的联系与区别。     

弗协调多主体认知逻辑系统CnEmK

以弗协调命题逻辑Cn（1≤n〈ω）为基础,采取逻辑分支相融合的方式,使用逻辑扩张的方法,可以将弗协调逻辑措施应用于多主体认知逻辑,建立一个弗协调逻辑与多主体逻辑的融合系统CnEmK（1≤n〈ω）;CnEmK（1≤n〈ω）具有可靠性和完全性,并且是一个可以处理弗协调性的多主体认知逻辑系统;CnEmK（1≤n〈ω）也是一种基本的弗协调多主体认知逻辑系统,以之为基础可以进一步扩张得到关于公共知识、共同知识、协同知识的弗协调多主体认知逻辑系统。     

认知逻辑存在的问题及发展趋向

认知逻辑属于哲学逻辑的一个重要的分支,时至今日,已经发展得相当成熟了,但它也面临着种种的问题和挑战.除了传统的逻辑全能问题之外,还存在其它哲学方面的一系列问题.尽管认知逻辑面临着一系列的问题,但它还是取得了长足的发展,逐渐从静态向动态发展,从单主体向多主体方向发展,同时研究的方法也多样化起来.     

浅析归纳逻辑的认知倾向

现有的归纳推理模型都是领域一般性的,这些模型的局限性和遭遇到的困难说明在领域一般性的意义上考察归纳推理可能是行不通的。而且逻辑学的研究已经承认,要建立一个完全的归纳逻辑也是不可能的。因此,对归纳推理研究应该放弃领域一般性的思路,而采用领域特殊性的视角和功能分析的研究方法可能会给归纳推理研究带来新的活力。     

解析C+ +中的动态联编技术

C 充分支持面向对象程序设计，面向对象程序设计的实现在其继承机制中有时需要采用多态性为各类指定表现行为，多态性的实现得益于C 中的动态联编技术。本文通过对动态联编的关键技术虚拟函数表进行剖析，解析动态联编的过程及其技术要领。     

动态句法学的逻辑与计算思想

动态句法学本质上是自然语言句法语义的计算分析理论,它继承了自然语言理解的加标演绎思想,并结合了模态树逻辑的技术。该理论的提出是逻辑与计算在自然语言研究中的一次富有成效的结合,其主要特点是句法树的动态生成和句法语义并行演绎,这实际上也符合自然语言的真实理解过程。     

动态逻辑的强完全性和不协调性

动态逻辑的证明系统揭示了典范模型的一些比较特殊的特征,即程序的不协调性。在标准的模态逻辑证明系统中,真值引理指在典范模型的世界里真的公式集．正好是由这些公式所组成的极大一致集,该公式集是由哪个世界来识别的,称之为公式协调性,相对于程序来说就称为程序协调性。使用协调的原因在于当公理和程序都是协调的时候,典范模型的语义和证明理论是完全一致的。在此给出了无穷的动态逻辑的证明系统,即命题动态逻辑的一个强完全性的证明系统．是相对比较简单的系统,这使得证明也相对比较简单,但却可以很容易地扩张为其它的模态逻辑。同时证明了该典范模型不是程序协调的．而是公式协调的。