共查询到10条相似文献,搜索用时 93 毫秒
1.
似真推理能否独立于演绎推理和基于概率的归纳推理,成为第三种独立类型的证据推理形式,法律逻辑学界和证据法学界存在争论,主张似真推理与概率推理存在本质区别的观点可称为二元论,其理由是似真推理思想能够支撑似真证据理论,在理解证据证明力概念方面非常有效。主张似真推理与概率推理在某种程度上可以还原的观点可称为还原论,包括似真性还原论和概率还原论。似真性还原论主张概率推理本质上可以还原为似真推理,其理由为概率在司法证明中不起作用,而似真推理可以避免概率推理所面临的证明难题。概率还原论则主张似真推理可以还原为概率推理。实际上,二元论和似真性还原论进路均失之偏颇,而概率还原论更为合理。似真推理不能被视为第三种类型的证据推理形式,因为似真推理本质上就是概率推理,概率才是似真推理与概率推理的相同深层结构。 相似文献
2.
在数学教学中,教师不仅应培养学生演绎等严格推理的能力(具有根本意义),而且还应培养学生开展预感试验,尝试归纳、猜想、类比等一般非形式推理(也称似真推理)的能力.那么,如何培养这种能力呢?笔者通过多次实践,认为必须做到以下几点. 方法之一 经验归纳(或不完全归纳) 众所周知,数学的形式化的体系是建立在严格演绎推理的基础上的,但数学上许多定理、结论及其证明的思路则往往靠似真推理,才得以发现.当然,这些发现所得的结论是真是伪, 相似文献
3.
合情推理是指合乎情理的、好像是真的推理,因此又被称为似真推理.其清晰程度并不能与数学中的论证推理相比,并没有固定的逻辑,仅仅只是笼统的但又合乎情理的推理.因此合情推理并不能获得所有人的认同,但是尽管如此,合情推理在数学中依然有论证推理不能替代的作用,它对于数学的创造性发展有着重大意义.一、合情推理的数学教学意义“合情推理”一词,很早就出现在G·波利亚的《数学与猜想》一文中,在这前后,也已经有许多学者对合情推理进行了 相似文献
4.
合情推理(似真推理)是根据已有的知识和经验,在某种情境和过程中推出可能性结论的推理.G·波里亚说:“数学家的创造性工作成果是论证推理,即证明;但是这个证明是通过合情推理,通过猜想而发现的,只要数学的学习过程稍能反映出数学发明过程的话,那么应当让猜测、合情推理占有适当 相似文献
5.
罗旭 《衡阳师范学院学报》2009,30(2)
从案件事实中确认法律事实,就是构建法律推理小前提的过程,它既是构建法律推理的起点,也是需要通过法律推理确认其法律后果的目的所在.构建小前提应注意首先要准确地理解法律精神,其次是遵守充足理由律,为法律适用提供可靠的正当性证明或理由. 相似文献
6.
著名数学家和教育家格·波利亚(G·polya)指出:“一个学习数学的有心人,如果他立志把数学作为终身事业,那他就必须学习证明推理,但他若还想获得真正的成就,就还必须学习似真推理。即使非专业的或业余的数学爱好者,在他一切活动的初始,都更需要似真推理。” 相似文献
7.
《科学技术哲学研究》2017,(1)
"似真性"说明科学进步有必要回应"道德和知识语境下的如何进步"。尼尼鲁托重拾"似真性",从哲学史的线索中说明"似真"是认识不能回避的理论逻辑,它以"真"为前提,却不等同于"真"。他论证波普尔"似真性"命题可以用似真度的后验概率来证明并用来说明科学进步;他认为理论的"真实进步"都是以现有的证据和自我"估计进步"来认定,以此为基础的函数模型可以超越信念修正AGM理论,排除理论退步的可能。可是罗伯顿却坚定认为"科学进步与似真性无关",因为似真性难以解释虚假理论促进科学进步的问题。"似真性"在深化检验真理的逻辑参与上有进步意义,但用来说明科学进步具有局限性。 相似文献
8.
9.
10.
基于MAS系统的动态web服务组合形式化建模研究 总被引:1,自引:0,他引:1
动态服务组合是解决SOA和SOC的重要方案之一.针对动态服务组合的实现,把MAS技术应用到服务组合中.首先对MAS和web服务组合的本质进行分析,讨论了MAS和web服务组合的关系.其次,构建了基于MAS的web服务组合框架,命名为CSMWC,并用Jade实现了该框架.此框架初步实现了语法级别的动态服务组合,并为语义级别的动态服务组合打下基础.为说明构建框架的正确性,应用pi演算对构建的MAS体系结构进行形式化描述,同时对web服务组合中重要的性质如动态性、适应性进行了推理.最后给出了应用基于pi演算的验证工具Pi4SOA进行验证的过程. 相似文献