“无限全称命题概率为0”问题与归纳概率逻辑

分析卡尔那普以及波普尔得出"无限全称命题概率为0"结论的原因,介绍欣迪卡α-λ二维系统和宁尼鲁托K维系统的基本概念和主要结果.指出"无限全称命题概率为0"是归纳概率逻辑发展早期由于理论不成熟而产生的问题,这个问题在20世纪70年代已经解决.说明归纳概率逻辑与归纳推理的关系.     

归纳逻辑的发展历史与前景

归纳逻辑是传统逻辑学的重要组成部分之一,然而由于其结论的或然性,归纳逻辑遇到了空前的质疑.近年来,随着认知科学和人工智能等新兴领域的崛起,归纳逻辑迎来了发展的契机.对归纳逻辑的发展历史进行简单梳理,并对归纳逻辑的现代应用前景进行展望,以期获得对归纳逻辑更加客观的认识.     

人工智能研究对归纳逻辑的新理解——从科学哲学与逻辑哲学观点看

从科学哲学观点看 ,人工智能领域机器学习研究的进展 (如ID3和GOLEM)表明 ,培根的机械归纳方法与波普尔的证伪方法具有互补性 ;从逻辑哲学观点看 ,作为非经典逻辑的现代归纳逻辑正在向AI领域拓展。通过与PROLOG的类比 (它将控制引入计算机逻辑 )表明 ,存在着作为推理 +控制的归纳逻辑。     

经验逻辑:类比和归纳

逻辑学的主题是推理。根据经验所进行的推理属于经验逻辑研究范畴,类比和归纳是经验逻辑中主要的推理模式。类比的显特征是“以一推一”,归纳的显特征是“以一推全”或“以少推全”。     

论归纳与演绎逻辑的融合

由于归纳与演绎逻辑具有不同的逻辑推理特征，二者长期以来一立处于一种分化的状态．然而，目前人工智能逻辑程序设计的研究正在改变这种状态，即在一种逻辑＝推理十控制的新框架内，归纳与演绎逻辑之间出现了一种融合的倾向。     

浅谈传统归纳逻辑和现代归纳逻辑

归纳逻辑是我国逻辑学界研究比较薄弱的一个部分.本文试图从归纳入手,进而指出归纳逻辑的含义,将归纳逻辑分为传统归纳逻辑和现代归纳逻辑两个部分,并分别讨论了它们的本质、特征以及各自的发展情况,使读者对归纳逻辑的历史有个清晰的了解.     

浅析归纳逻辑的地位及逻辑的本质

逻辑学的发展经历了一个漫长的历史过程。纵观逻辑发展史．考察不同的逻辑流派诸多观点的纷争．使我们明确归纳逻辑的重要地位，以及逻辑的本质逻辑是要使推理正确的一种“工具”。随着我国科学技术的飞速发展，我们应当树立科学的逻辑观，充分发挥逻辑学应有的社会文化价值。     

正确认识和科学发展归纳逻辑

归纳法是一种重要的科学方法,人们对归纳逻辑的作用一直争论不休。科学发展的客观事实要求必须正确认识和科学发展归纳逻辑。只有在具体的科学实践活动中坚持辩证和历史的观点,才能正确认识归纳逻辑;只有把归纳逻辑和科学方法论的研究与发展结合起来,才能科学发展归纳逻辑。     

中国当代归纳逻辑研究概况

我国归纳逻辑的研究始于20世纪初,但直到20世纪80年代初西方现代归纳逻辑传入国内之后,才开启了我国当代归纳逻辑研究的新时代.在这近三十年的研究中,广大归纳逻辑学者围绕着形式与非形式、概率与因果、巴斯卡概率与非巴斯卡概率这些核心问题进行了广泛而深入的探讨,取得了丰硕的成果;此外,在应用研究和逻辑哲学问题研究方面也取得了重要的进展;与此同时,我国学者还积极开展了国际交流与合作,并取得了一定的成绩.     

归纳逻辑与贝叶斯方法

现代归纳逻辑发轫于20世纪初,其主流是概率归纳逻辑,即用概率论作为工具研究归纳推理,贝叶斯方法在其中起着关键的作用.贝叶斯方法的奠基性工作是英国数学家托马斯·贝叶斯的论文<论机会学说中的一个问题>,贝叶斯去世两年之后,1763年,他的朋友普赖斯(Richard Price)将这篇论文推荐给英国皇家学会时,强调了它对归纳问题的重要意义.逻辑贝叶斯派和主观贝叶斯派是现代归纳逻辑中最有影响的两个学派.     

冯·赖特归纳逻辑理论探赜

冯·赖特运用条件分析法对契合法、差异法、契合差异并用法做了全新的阐释和处理,但在国内尚未见到有人对其作深入系统的介绍和评价。为了改变国内的这种研究现状,我们将评介和阐释冯·赖特的条件分析法归纳其逻辑理论,目的在于发掘其科学知识的创新意义。     

也析科恩逻辑体系的理论价值与应用价值

科恩逻辑的理论创新意义在于：它避免了数学概率逻辑在认识论和方法论上的先验性,使得归纳逻辑更符合科学研究的实际;同时局部主义及其方法在一定程度上为归纳逻辑解决了休谟问题的诘难.科恩逻辑的实践意义在于：它顺应归纳逻辑研究的确证转向,避免了H-D模式和贝叶斯模式的困境,为科学确证提供了新的逻辑工具.     

概率逻辑及其带来的逻辑哲学问题

"概率逻辑"是亚当斯对有效推理中概率传递(或由此不传递)的研究而提出的一种逻辑思想,它通过把条件概率引入到条件句概率中的方法,在逻辑和概率两者之间建立的一种重要联系,从而把条件句语义的复杂问题简单化。这种联系就是把条件句的概率看作是条件概率,这个思想也被人们称为"亚当斯论题"。人们对"亚当斯论题"是否成立进行了广泛的逻辑哲学讨论。     

古德曼悖论与形式的归纳逻辑系统

之所以会产生古德曼悖论,不仅是因为类律假说和偶适假说的混同,而且也是因为对归纳的这样一个似是而非的刻画：假设归纳推理的前提都为真,则其结论不一定但很可能为真(即所谓的“归纳概然性特征”)。这证明基于归纳的概然性特征,不可能建立起形式的归纳逻辑。相反,一旦以下述归纳的必然性特征来刻画归纳：假设归纳推理的前提都为假时,则其结论一定为假,就可以建立起形式的归纳逻辑系统。     

回归模型中的预测问题

概率统计在社会的各个领域都有着广泛的应用,尤其是回归模型。对回归模型的预测与控制问题进行了研究。首先介绍了回归模型以及回归模型的预测与控制方法,然后分析了回归模型预测的步骤,最后以企业实例为基础,分别对一元回归模型的预测、二元回归模型的预测进行了分析。     

D-S理论的一致性问题(英文)

基于信念函数解释,本文分析了Dempster组合规则,以及Wang[9]对Dempster-Shafer证据理论不一致性的论证,指出这种不一致性产生的原因,最后提出消除这种不一致性的方法。     

科学发展观的逻辑建构

科学发展观作为党的理论创新的最新成果,具有深刻的实践逻辑、历史逻辑和理论逻辑。就实践逻辑而言,它是我国三十多年改革开放和现代化建设实践的理论总结,也是着眼于实践中存在的矛盾和问题而提出的新的发展理念和发展模式。就历史逻辑而言,它是几代中共领导核心不懈探索建设中国特色社会主义的历史经验的科学总结,是党基于清醒认识我国所处历史方位而得出的科学结论,也是我们党领导人民实现“中国梦”这个伟大使命的理论指南。就理论逻辑而言,它是由世界观方法论层面、发展规律层面、发展战略和政策层面以及实践层面构成的完整而科学的理论体系。     

政府“公共性”回归的逻辑思考

一味的迎合当前的时代需要,必然产生经验主义的崇拜和实用主义的思维,而忽视理论的洞见和价值的判断,以及对＂形而上学＂的思考。以致于无法意识到目前政府实践背后所隐含的价值或更大的政治哲学,更无法意识到现有经验之外的其他可能,而造成无法超越现实的局限。因此,政府不能拘泥于现象,而须坚守和彰显本质,即政府＂公共性＂回归。     

论科学假说的实践检验

实践是检验科学假说的最终标准 ,也是对科学假说的最高裁判。对科学假说进行实践检验之前 ,首先应当根据能动反映论的认识论原理和科学实践的规律对科学假说进行审查 ,这是对科学假说进行具体实践检验前的必要准备。对科学假说进行具体的实践检验 ,一般程序包括思维实践过程、具体实践过程和分析实践结果的过程三个环节。科学假说的实践检验的补充形式是逻辑检验 ,它凭借自身的优点能够克服实践检验的局限性。科学假说的实践检验与逻辑检验是辩证统一的关系 ,在科学假说的检验过程中 ,既要重视实践检验的决定作用 ,又要重视逻辑检验的补充功能。     

用EPROM简化组合逻辑电路的设计

逻辑线路的设计是比较复杂的,对于初学者来说是一大难点,用EPROM可以简化逻辑设计,本文给出简化组合逻辑电路设计的方法。