关于“秘密”的逻辑语义研究

“秘密”是知识与信念中的一个重要概念,也是信息网络隐私与安全所讨论的重要对象。文章从知识逻辑与信念逻辑两个方面分析了“秘密”的逻辑语义,并给出了其归约公理以及基于知识逻辑与信念逻辑的完全的公理化系统。然后从知识逻辑与信念逻辑两个方面剖析“纯秘密逻辑系统”的公理与规则,发现它们都是一个非正规模态逻辑系统ECKT4的扩张,这两个“纯秘密逻辑系统”只在讨论不同主体间的互动推理时存在差异,只是这两个系统的完全性问题还有待进一步研究。     

多模态Sahlqvist公理模式性质研究

多模态Sahlqvist公理模式是单模态Sahlqvis公式在多模态逻辑中的扩展.在多模态逻辑中,Sahlqvist公理模式对应的框架具有一阶性质,该框架的性质可以用关系方程进行描述.任意包含Sahlpvist公理模式的正规多模态逻辑系统相对于该Sahlqvist公理模式对应的一阶框架类都是完全的.Sahlqvist公理模式对多模态逻辑系统具有更强的刻画能力.     

教师教学认识信念的内涵、要素与结构逻辑

教师教学认识信念是指教师对知识的本质特征、教学的本质与过程、学生获得知识的过程及基本特征等方面的认识所形成的一个相对稳定的、带有一定“意动”成分的基本观点、态度和心理倾向。教师教学认识信念结构由知识信念、教学信念、学习信念、学生信念等要素组成。知识信念包括对知识认知、知识性质、知识价值、知识结构的认识信念;教学信念包括对教学本质、教学目的、教学设计、教学操作、教学评价的认识信念;学习信念包括对学习过程、学习能力、学习结果归因的认识信念;学生信念包括对学生智力与非智力发展、学生个体差异的认识信念。采用结构方程模型分析教师教学认识信念的构成要素,编制“教师教学认识信念结构量表”,建构教师教学认识信念结构模型1,并进一步提出具有竞争意义的教师教学认识信念结构模型2和模型3。通过分析、对比模型2和模型3,发现模型3的χ²、RMSEA、NFI、IFI、CFI等数据均优于模型1,从而验证了这一结构的合理性。“教师教学认识信念结构量表”可以作为了解教师教学认识信念状况的诊断性工具,也可作为研究教师信念的测量工具。厘清教师认识信念的内涵要素与结构逻辑,对教师专业发展具有参照意义和...     

荷兰赌论证的含义

经典荷兰赌论证表明:如果当事人的不确定信念度赋值不满足概率论公理,那么他在某一赌局中总是输。然而该论断并没有揭示荷兰赌的含义。文章基于拉姆齐的概念和公理,首先论证存在一个效用函数,它合理地表达了价值的定性概念,然后论证信念度的性质。这些概念的性质表明,所谓不确定信念系统的一致性是指价值与信念度的赋值和偏好的序关系是一致的。荷兰赌论证意味着,在当事人的不确定信念系统中,有关定性和定量概念之间没有协调性:其价值和信念度赋值是混乱的,并导致非理性决策。在这种情形下,当事人不确定信念系统的一致性将遭到破坏。由此可见,通过阐明荷兰赌论证的含义,我们可以为归纳和决策做出辩护。     

一个刻画句子顺序的逻辑

更新语义认为句子的意义在于改变了主体的信息状态。Veltman用更新语义刻画了一个关于认知的可能性的模态词might,S5系统相对于Veltman提出的更新语义是可靠的和完全的。在更新语义的基础上可以用形如φ;ψ公式刻画句子先φ后ψ的次序,对应的公理系统S5S也是可靠的和完全的。     

基于莱布尼兹偶然真理概念的逻辑

事实的真理是偶然的,它们的反面是可能的.基于莱布尼兹的这种偶然真概念,一个刻画偶真命题的极小非标准逻辑系统LC被给出.基于典范模型,LC被证明在任意克里普克框架下是可靠且完全的.通过增加不同公理,LC被扩张到不同系统;这些系统(包括不足道系统)在相应的“弱框架”下是可靠的且完全的.偶真的逻辑是关于事实真理的逻辑,这些逻辑有形而上学价值,同时它们可用来处理“不可证真理”等一类哲学问题.     

逻辑刻画:研究"理解"的新视角

对理解的哲学研究大多是纯粹的哲学思辨,很难体现理解所具有的客观性,不过也有哲学家把"理解"直觉上等同于"知道A的意义",或把理解归于"知道怎样",试图用知道的客观性来描述理解的客观性.理解可以用知道这样来表述:主体理解一个命题当且仅当主体知道这个命题真或知道这个命题假.把此命题形式化后作为特征公理纳入描述知识的S5系统,建立描述理解的认知系统U,用关系语义和典范模型方法证明此系统具有完全性与可靠性,能够逻辑地刻画理解的客观性.     

从冯·莱特的两个问题谈起——评刘奋荣的《动态偏好逻辑》

刘奋荣的《动态偏好逻辑》虽然也以冯·莱特的《偏好逻辑》为逻辑起点,然而却表现出了自己的独特优势:在方法论上采用了最新的动态认知逻辑的研究方法;在模态的偏好逻辑的基础上给出了偏好逻辑的动态形式——动态偏好逻辑;利用优先序列对偏好的原因进行了刻画;对偏好和信念的关系进行了系统的探讨;等等。     

学科互涉视野下的信念概念、理论与研究

信念是一种心理状态、知识系统和概率判断。分清信念与愿望、意图、信仰、信任等概念,有助于加深对人类认知和社会行为的理解。心理学中的效能理论和心理理论及其测评方法,揭示了自我与他人信念的作用机制及其复杂性。而社会学、经济学、政治学、管理学、逻辑学科中的信念研究,则进一步反映了影响人类思想和行动的基本信念。     

学习者知识体系构建过程模型的研究与应用

学习者知识建构系统是一个具有负反馈机制的控制系统.基于SECI理论的知识体系构建过程模型,适于刻画显性知识与隐性知识相互转化以及学习者认知结构形成的全过程.在钢琴集体课中,表现为社会化过程、外在化过程、整合化过程、内隐化过程.     

英语、汉语、朝鲜语、日语宾语的对比

对比英语、汉语、朝鲜语、日语四种语言的宾语,人们会发现它们存在很多异同。而这些异同点会为外语教学、翻译及第二语言习得等方面具有一定的实用价值。     

文学意义的消解与重建

在商品化和信息化的时代大潮冲击下 ,文学面临着意义的流失与消解。文学的这种现状是与整个人类文化的困境紧密相关的 ,是人类发展特殊阶段上的必然产物。中国当代文学应致力于意义的探寻与重建 ,这表现为在对现实的清醒认识的基础上对理想的重新肯定 ,对现实中的物欲的批判性把握 ,以及对人类生存意义的重新认识。     

从原型角度看《远大前程》中的郝维仙小姐

瑞士著名心理学家荣格的原型理论有四个重要方面：人格面具（persona）、阴影（shadow）、阿妮玛（anima）和阿妮姆斯（animus）、自性（self）。从以上四个方面来挖掘和分析《远大前程》中的郝维仙这一悲剧女性形象具有重要的意义，她的悲剧有着其自身的人格面具、阴影、阿妮玛和阿妮姆斯、自性等心理因素。     

从美语、英语差异看美语固有的活力

主要论述了美国英语和英国英语在语法运用、单词拼写和遣词造句等方面存在的差异。这些差异充分体现了当代美语既保持英语传统又从传统中革新的特点。并从这些差异的分析上进一步论述美国英语由于科技文化的发展 ,语言由繁趋简、活泼生动、富有表现力     

On the Principle with Listening and Speaking in the Lead

ＯｎｔｈｅＰｒｉｎｃｉｐｌｅｗｉｔｈＬｉｓｔｅｎｉｎｇａｎｄＳｐｅａｋｉｎｇｉｎｔｈｅＬｅａｄ￥ＬｕＤｏｎｇＡｂｓｔｒａｃｔ：Ｔｈｉｓａｒｔｉｃｌｅｄｅａｌｓｗｉｔｈｗｈａｔｔｈｅｐｒｉｎｃｉｐｌｅｗｉｔｈｌｉｓｔｅｎｉｎｇａｎｄｓｐｅａｋｉｎｇｉｎ...     

圣西门的实业思想与法国近代的工业化

圣西门的思想以实业理论而著称,这一理论认为近代社会是实业社会,以实业活动为基础,以创造财富、造福人类为目的;为此必须努力发展近代工商业,实现工业化;圣西门还就发展法国新型的金融业和改进农业经营提出了自己的主张.圣西门的实业思想和工业化主张成了第二帝国时代工业化的主导思想,对法国近代经济发展产生了重大而深远的影响.     

本然的和谐

科学创造文明 ,也使世界受到损害。当代人的生存被合法地虚无掉了 ,这种合法化的生存危机只有通过艺术的“解合法化”才能克服。艺术是人类感情的全音阶 ,能够使人意识到生命的真实存在。人与世界的和谐 ,是自然而然地拥有的。只是由于人的不断超越 ,这种本然的和谐被遗忘掉了。艺术能够引导人们回归人与自然本原的和谐状态     

绿色城市背景下如何实现景观的人本表达

我国城市建设发展迅速,对城市景观小品需求增大。速生的景观小品设计质量参差不齐,即使是设计质量较高的景观小品也因奢华而与绿色环保的时代要求相去甚远。景观设计将野草文化、就地取材纳入设计理念中,可以实现在绿色城市背景下景观的人本表达。     

《拉格泰姆时代》:向历史意义的回归

美国后现代小说家多克特罗的小说《拉格泰姆时代》,以历史事实与虚构故事相互交织,构筑了一个历史人物与虚构人物的共同世界;使文学政治化,政治历史化。它表现了历史人物和虚构人物都被无法控制的经济和政治力量所异化的命运,也讲述了一段作为拉格泰姆音乐撰写的历史,从而构成了一部节奏明快的新历史主义小说文本。     

广告语与幽默语的顺应性对比研究

广告语与幽默语的顺应性特征有显著的可比性。广告语是通过顺应受众、＂投其所好＂来达到目的。顺应受众是显性的＂褒扬的＂顺应过程;使受众顺应广告语者的目的、产生购买行为则是隐性的顺应过程。幽默语的特点是：幽默制作者有意违背或不顺应受众或听者的预期,这是一个显性的不顺应过程;而通过某种＂线索＂或＂关联＂（即隐性顺应因素）引导受众朝意想不到的或隐性的意义上思考,这个意义就是幽默制作者的意图,这是一个隐性的且具备＂贬损性质的＂顺应过程。广告幽默语具备广告的特征和幽默的顺应性特征。