溯因推理在人机交互中的作用

从认知心理学范畴内研究溯因推理在人机交互中的应用是近年来认知科学和人工智能研究的焦点问题。溯因是日常推理的一种形式,是人们在不确定的情境下通常会使用的推理方式。溯因能帮助我们更好地理解人机交互的必要条件,以及其在真实环境下较之在实验室环境下发生的概率要高的一个事实。人机交互中应用溯因推理能够增强我们的思维能力和实际行为,同时有助于我们在日常生活和科学研究中发挥创造性以获取更大的自由。     

论科学假说形成的逻辑操作

通过塞麦尔维斯产褥热病原的发现过程,结合大脑形成科学假说的逻辑操作,建构科学假说形成的逻辑操作模型。该模型操作步骤为,面对异常现象,科学家通过搜索和提取、类比和组合创造出与异常现象相似的经验或模型,借助相似经验现象的因果解释形成科学假说,再通过评价和选择得出最佳的科学假说。     

产褥热病原发现的方法论模型研究

产褥热的发现一直被当作是假说一演绎模型的经典案例,后又作为最佳说明推理的中心案例。文章比较了假说一演绎、溯因和最佳说明推理几种模型;并从塞麦尔维斯发现产褥热的过程分析其方法论模型,认为其更适合于溯因模型;最后,从案例中理解科学哲学中的一些基本问题。     

演绎、归纳与溯因———从信息哲学的观点看

推理实质上是认知信息的更新方式。从信息哲学的角度,可以为演绎、归纳与溯因等三种推理方式划定界限。除了可能世界语义学,使用邻域模型也可以为认知信息的更新构造模型。有两种更新方式：交集模型和子集模型。利用交集模型可以对演绎推理作出信息论的解释。归纳推理的结论是带强度的信念。子集模型可以对科学发现的过程作出解释,从而区分演绎、归纳和溯因。邻域语义学揭示的两种信息更新方式是不同的,这是信息更新的逻辑动态学方面的新发现。     

浅析逻辑哲学中心问题——“恰当性”

在逻辑哲学中,所谓中心问题指的是存在于逻辑系统内的具有有效性的形式论证和存在于系统之外的非形式原型的符合问题。逻辑形式论证主要是来自于日常生活中所应用的语言及相关没有经过任何形式化的科学语言,且该科学语言存在实际论证,即为形式论证。逻辑形式论证同时又可以对非形式论证进行概括,同时也是对非形式论证的一种反映。逻辑哲学实质上就是应用哲学对逻辑进行反思,其侧重点体现在站在哲学的角度上对相关逻辑问题进行分析和探讨。恰当性问题就是在形式系统内实施的相关推理的有效性是否能够与非形式原型的相关问题相互符合。     

最佳说明的推理及其科学实在论辩护

“最佳说明的推理”是一种依据假说给证据的说明程度来确定假说合理性的推理。它认为,理论在说明上的那种“最佳”状态描述了理论的经验适当性,即“最佳”的理论是趋真的,理论实体的预言空白得到了填充。这样,IBE既可被看做是对科学理论发明和科学推理过程的正确刻画,又被赋予了给由它所带来的结论以认识论上的保证,在科学实在论上具有重要的辩护作用。     

从"产后热"案例分析看波普尔假说观的局限性

文章以"产后热"案例分析为例,探讨了医学研究中假说生成和演化的基础及逻辑性,重新评估了经验在科学研究中的重要地位和作用,认为波普尔所强调的假说形成的非经验性、非逻辑性观点过于极端,与经验科学中实际科研工作进展不相符合.分析表明,至少在医学、地质学等学科中,假说的生成和演化有其前提、基础和内在逻辑关联.     

现代反实在论新解(二)

本文为《现代反实在论新解》的第二部分,着重梳理与阐明现代反实在论的主流及其代表性人物,如戴维森、达米特、后期的普特南等。讨论的主题包括戴维森对库恩概念模式相对论的批评,达米特通过对真理观的重构而提出的反实在论思想,该思想又是怎样推进了逻辑实证论的反实在论纲领。笔者在文章最后提出诸如实在论反实在论这样的哲学争论,是否像帕菲特所说的那样为一种"空问题"。     

火星上埋没的冰川

研究人员报道说,在火星的几处中纬度地区,从较陡峭的山脊缓坡而下的圆形面可能是被岩层覆盖的巨大的冰川。这些地形是在几十年前被发现的,但它们的真实面目一直是人们争论的议题。根据两个主要的假说,它们要么是被覆盖的冰川,要么就是被冰所充满的岩石堆。很清楚,它们要比在火星低纬度陡坡基部所发现的扇形岩屑沉着要大。其叶瓣形边缘也较为陡峭,而沉积物在它们的表面上呈现多个弯曲的标志．表明有某种黏性物质的流动。     

利普斯的心智逻辑理论

关于人类推理机制的说明主要有两种理论,分剐是心智模型理论和心智逻辑理论。利普斯的心智逻辑理论构造了一个近似于一阶逻辑的人类演绎推理的形式规则（PSYCOP）系统,来描述依据命题联结词和量词变量进行的推导过程,并用Prolog计算机程序来模拟和检验该理论所描述的人类推理的心智过程。该理论的核心优势是去量词化,但同时也面临着一些可能的缺陷。     

青海东部中到大雨天气特征对比分析

本文选用2002—2005年4—9月中到大雨及以上降水、3mm以下降水和无降水的天气过程各30次,对这三类天气形势、物理量进行了合成平均对比分析,结合地面锋面的位置,利用T213格点资料,运用热力学和动力学原理,计算和绘制了不同天气形势下的合成平均物理量场,分析了三类不同天气的热力和动力条件特征,在此基础上归纳出中到大雨短期预报的概念模式。     

基于民乐领域本体的语义推理研究

阐述了本体描述语言（描述逻辑）的概念、可满足性以及利用其进行语义推理的优越性。针对民乐领域本体的特点．利用描述逻辑语言ALC写出民乐领域的推理规则,使其符合描述逻辑的推理可满足性,并用Tableau算法测试其满足性,在构建好的民乐领域本体基础之上完成语义推理。     

联想的启示

联想,就是思路由此及彼的连接,即由所感知或所思的事物、概念或现象的刺激而想到其他与之有关的事物、概念或现象的思维方式。这种思维方式因有助于发明创造的实现,在创造发明过程中运用得非常广泛,很多成功的发明都是在联想的启示下实现的。如美国工程师杜里埃,看见妻子?..     

科学检验的复杂性探析——兼谈科学是否是真理

 科学通常由四个部分组成,科学事实;用猜测的原因对科学事实进行解释;推演出相应的定律、公式、预言等;对这些定律、公式、预言等进行严格检验.无论从理论上还是从实际情况看,运用观察或实验方法对科学进行严格检验都涉及到非常复杂的认识论问题.这些问题包括:经验事实并没有完全的客观性;相同的经验事实可以证明不同的科学假说;观察或实验本身是可错的;"后件为真(假),前件亦为真(假)"的科学检验原则无逻辑依据.因此在自然科学领域,科学检验是一个非常复杂的问题.     

论“本格推理”与少年推理小说——以谢鑫作品为例

所谓"本格推理",就是逻辑至上,严格遵循理性的原则。"本格推理"是侦探小说的一个主要派别。"本格"原为日文词,本格派又可称为古典派或传统派。以推理解谜为主要走向,是侦探推理小说的主流。本文以谢鑫创作的"课外侦探组"系列少年侦探小说为例,阐述"本格推理"的表现手法在中国当代少年侦探小说中的运用及其成效。     

妇产科疾病诊断专家系统的设计与实现

专家系统的设计以面向对象的理论寿基础,详细地分析并设计其静态架构的对象层、结构层和属性层之后给出主题层。最后,给出由静态架构反射出来的用例视图,用于表示系统功能的高层逻辑模型。专家系统在知识库的构造方面以产生或规则描述事件的前项和后项;在推理机的构造上采用混合式推理并应用加权不确定性推理算法对疾病的症状进行推理分析得出结论。     

博弈视野中的逻辑推理问题

博弈逻辑 (gamelogic)是随着博弈论的迅速发展而形成的一门新的学科 ,是一种行动逻辑。博弈逻辑研究的是理性人在互动中的推理问题。在博弈行为中存在演绎推理和归纳推理 ,这两种推理既有联系又有区别。     

浅谈数学教学中学生观察力的培养

观察是指人对周围事物或现象进行全面、深入的察看,按照事物或现象的本来面目,研究和确定它们的性质和关系的一种心理现象。数学教学活动中的观察,就是有意识地对事物的数和形的特点进行感知活动,即对符号、字母、数字或文字所表示的数学关系式、命题、几何图形的结构特点进行的察看。数学教学中必须重视学生观察能力的培养,其理由是显而易见的：     

辨证推理在法律中的运用及其哲学基础

本文从分析形式推理在法律领域局限性入手,论证形式法律推理只能保证法律推理形式有效性,而法律推理比其他推理活动更需要通过辩论、证明或论证,以达到弄清事实真相、做出公正判决目的并发挥以理服人教育作用。     

关于宇宙“暗能量”的基本假说

众所周知,在宇宙间存在着这样一个事实:即所有星系—-从恒星系、银河系到总体星系,都在不断发生向外扩张这样一种现象。这就是所谓的"宇宙膨胀"现象。而促使宇宙膨胀或产生这种宇宙膨胀的自然能量,有人把它比喻或称其为"暗能量"。然而,这种暗能量究竟是什么?是如何在宇宙间自然产生或形成的?关于这个问题,我们可以采用一个最基本的假设来得到最为合理的解释。