关于广义量词many的广义三段论推理

三段论在自然语言信息处理和知识推理中占据着突出的地位,它们在自亚里士多德以来的逻辑中也一直扮演着重要作用。我们用广义量词many对传统三段论推理进行了扩展,利用广义量词理论和集合论,从语法上证明了14个广义三段论推理的有效性。这一方法为其他广义量词的广义三段论提供了一个简单合理的数学模式。     

带非精确线搜索的一类特殊算法之收敛性

线搜索过程是最优化方法的基本组成部分，由于在实际计算中，理论上精确的最优步长因子一般不能求到，求几乎精确的最优步长因子需花费相当大的工作量，因而花费计算量较小的非精确线搜索具有重要的实际意义。本文在四种非精确线搜索下讨论了一类比文［５］广的特殊算法，并获得了算法较强的收敛性质。     

论儿童生活的可能世界和现实世界

本文从儿童的生活世界出发,对儿童生活的可能世界和现实世界进行了区分与论述,进而提出:儿童的可能世界发生在儿童的游戏中,儿童的现实世界发生在社会的文化中,而想像则使儿童在这两个世界里自由地转换,并保持着内心的平衡。     

理想实验——可能世界的寻求

本文通过经典力学、狭义和广义相对论以及量子论中典型理想实验的分析 ,表明理想实验所寻求的只能是可能世界 ,而这个可能世界是由已知的所谓自然规律所制约的     

论非经典三段论有效推理的量与逻辑特征——兼与程仲棠教授商榷

含有负名词的直言命题变形推理后,根据经典三段论的推导规则,能够合乎逻辑地进行推导,并由此构建含有负名词的非经典三段论系统。非经典三段论突破了经典三段论的有效推导模式,扩大了直言三段论的推理范围,使三段论有效推理式由传统的24个增至41个。但引入负名词的非经典三段论的推导依然要遵循经典三段论的推导规则。     

非线性互补问题的光滑非精确牛顿法

在利用Fischer-Burmeister函数将非线性互补问题转化为非线性方程组的基础上,给出一种光滑NCP函数的光滑非精确牛顿算法解非线性互补问题.在每次迭代中只须求出线性系统的非精确解,并在较弱条件下证明了该算法的全局收敛性,数值结果证明了算法的有效性.     

关于宇宙结构的可能世界

本文通过对人类早期宇宙结构、对毕达哥拉斯到托勒玫、对哥白尼与开普勒以及爱因斯坦和他以后的宇宙结构的考察表明 ,其建构的约束条件主要有经验、逻辑观念和个人兴趣等 ,整个人类的宇宙结构的发展就是由于这些约束条件的改变而更新的     

非对称变分不等式的另一类非精确交替方向法

对一类非对称变分不等式问题提出了另一类非精确交替方向法，对其中一个子问题(线性变分不等式)的计算仅需要达到一个相对的精度，我们研究了迭代序列的若干性质，并证明了算法的收敛性。     

一类带非精确线搜索的共轭梯度法之收敛性

本文对无约束最优化问题给出一类以共轭梯度算法为其子类的下降迭代算法 ,并证明了这类算法在较弱的条件下具有全局收敛性     

非言语学习困难青少年空间和非空间关系推理策略分析

目的:探讨非言语学习困难青少年二维空间和非空间关系推理策略。方法:从初中二年级选取三组被试:非言语学习困难组(简称NLD)、言语学习困难组(简称VLD)和一般组(简称C)。结果:(1)NLD组空间关系推理成绩显著低于一般组;(2)在空间关系推理中,两类单模题推理成绩显著高于双模题。在非空间关系推理中,有无关前提的题推理成绩显著高于没有无关前提的题;(3)一般组正确运用模型建构策略显著高于NLD和VLD组。结论:NLD青少年通过建构模型解决空间关系推理,但不能有效运用该策略,非空间关系推理则采用逻辑规则策略。     

论可能世界理论中的两个问题

在现代逻辑研究中,可能世界语义学不仅揭示了模态逻辑公理系统的直观背景,而且提供了强有力的语义工具,使模态逻辑的研究进入了一个崭新的阶段。但在可能世界语义学的研究中,也遇到了许多哲学上的难题。因此,对有关可能世界的定义与跨界识别问题进行分析、探讨确实很有必要。     

D.刘易斯的可能世界理论述评

“可能世界”这一概念在语义学诞生之后得到了更广泛的运用，但实际中的可能世界究竟是什么，仍然未能取得一致认识。作为激进实在论的代表，Ｄ．刘易斯认为可能世界和我们的世界——即“我和我周围的环境”是同一类的，因此有相同的本体地位。Ｄ．刘易斯的这种观点跟梅农是一脉相承的，始终难以为人们所接受。     

关于库恩的科学革命问题——科学理论的转变对可能世界的影响

本文分析了库恩立论的基础和他有关科学发展范式的主张,指出其真理的非现实性并推断 他的所谓真理只能是一种可能世界,而这个可能世界是由范式决定的。     

“底线伦理”与建构大学德育的可能世界

我国高校的公民教育在伦理方面以培养公民伦理并通过大学德育进行道德教育,但现实中大学德育的效用并不高。究其原因就在于大学德育的"知行脱节":道德行为不能达到道德认知和行为规范的要求。站在伦理学高度看,人与人相处所存在的行为准则有多种,但是对于普通人来说,能以最基本的"底线伦理"——"不为恶"原则为行为原则就是实现了道德行为,遵循此原则就是从基本道德行为做起进而逐步达到公民伦理要求。大学生公民同样需要从"底线伦理"的行为准则做起以达到公民伦理的高层次要求。因此,要提升大学德育的效用就需要以"底线伦理"为基础进行道德行为约束,以达到"知行统一"的德育目标。高校基于"底线伦理"才可呈现高效用的大学德育的可能世界。     

二值命题逻辑中基于信息限制的真度理论

将基本真度概念进行推广,提出了二值命题逻辑中在有限信息Г限制下的公式真度概念,并讨论其计算性质．以此为基础定义了公式的Г-限制相似度和Г-限制伪距离,得到了在有限信息Г限制下公式到理论结论集伪距离的Г-限制真度表示式,为研究二值命题逻辑中基于有限信息限制的近似推理问题提供数值化工具．     

认知逻辑——对休谟问题的一种解决方案

休谟认为人的归纳认识过程不是一个逻辑推理的过程,而是一个习惯心理过程。罗素为解决休谟问题而提出归纳原则。金岳霖等人力图证明归纳原则是永真命题,但未对可能命题作出语义解释。该文用欣迪卡的认知逻辑理论及其模型集语义刻画归纳推理,证明罗素的归纳原则在这种逻辑中是有效的。我们还得到另一个有趣的结果。     

数学试卷质量分析的数理统计方法浅议

本文主要应用数理统计方法,通过探讨试卷的难度、区分度、信度、效度和覆盖度等质量指标分析数学试卷的质量,并用实例来说明对试卷质量分析的方法。     

从评价到决策:科学逻辑研究的可能转向

科学评价问题是科学逻辑的核心。科学理性不是体现在存在科学评价的逻辑上，而是体现在科学的决策之中。科学决策机制是一个特殊的“投票体制”，它与科学理性的关系，将是科学逻辑研究的一个可能转向。“科学决策”的研究方向将涉及到多个学科，如科学史学、科学社会学、逻辑学，它同时可以借鉴博弈论、经济学、政治学等学科里的研究成果，这将是一个富于成果的研究方向。     

归纳推理合理性的科学哲学解释

归纳推理的合理性问题最早由体谟提出,故又称“休谟问题”。他认为归纳推理中前提的真实性不能为结论的真实性提供逻辑保证,因而是无效推理。对此问题,许多哲学家和逻辑学家从不同角度提出解决方案,但无一得到普遍承认。本文试图从科学哲学角度寻找归纳推理在逻辑学和经验科学之间的最佳结合点,并从而得出结论：归纳推理作为一动态开放的过程,其合理性一方面在于归纳前提与归纳结论之间的互动关系,另一方面则在于一般归纳现则与具体归纳推理之间的相互调节而使双方获得相对一致的过程之中。     

文学公共领域：中国近世市民社会的一种雏形

文学公共领域是推动私人步出家庭及私生活进入政治公共领域的中介，是培育公众的基本机制和公共舆论的训练所。文学公共领域的充分发展是健全政治公共领域的前提。因此，解读中国近世政治演展的逻辑需要从解读中国近世文学公共领域的发展状况入手。