从实质归纳理论看归纳的局部化趋势

实质归纳理论是近些年归纳逻辑领域发展出的一套新理论,它拒斥带有普遍模式的归纳理论。该理论指出,概率方法不能为归纳推理提供普遍适用的解释。不可否认,贝叶斯推理在许多领域得到了广泛应用,至少为这些领域提供了一种绝妙的工具。我们远未拒斥贝叶斯主义,但贝叶斯主义是否适用于某些领域是由其领域的背景事实所决定的,这些背景事实也将决定贝叶斯主义推理的适用范围。为此,讨论扩展1,3,5,7序列的归纳问题,能更好地阐明实质归纳理论的基本思想,说明贝叶斯主义的局限性。因此,不应该期望概率方法的普适性,试图去构建大一统的归纳概率理论,一种局部适用的概率观或许更为恰当。

论穆勒五法的方法论特征与价值

“穆勒五法”不仅是古典归纳逻辑的最高成就之一 ,而且具有鲜明的方法论特征与不可低估的方法论价值。穆勒所论述的五种方法是以消除非相干因素为基础 ,以演绎思想为补充的求因果归纳方法 ;它们可作为实验探索的方法论准则 ,在科学假说的构建与确证中起着重大作用。

广义量词的推理模式研究

基于Peters和Westersthl(2006)、Moss(2010,2011)、Chow Ka Fat(2012)等相关文献的工作,可进一步概括出广义量词的三种主要推理模式:论元结构推理、单调性推理和广义三段论推理。可以用大量实例对这些推理模式加以说明。由于广义量词在自然语言中普遍存在,这些研究对计算机科学中的知识表示和知识推理等方面具有重要意义。

为什么归纳推理的领域一般性模型是不可能的

现有的归纳推理模型都是领域一般性的,这些模型的局限性和遭遇到的困难说明在领域一般性的意义上考察归纳推理可能是行不通的。而逻辑学的研究已经承认,要建立一个完全的归纳逻辑是不可能的。归纳推理研究应该放弃领域一般性的思路,并且进一步预测,在进化心理学的范式下,采用领域特殊性的视角和功能分析的研究方法会给归纳推理研究带来新的活力。

论归纳与演绎逻辑的融合

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

数学归纳推理的认知过程研究

对归纳推理的研究,一直是人类关注的重要课题之一.采用口语报告法对数学归纳推理的认知过程进行实证研究的结果表明:学生的归纳加工一般是按照定向→识别→转化的顺序进行的,不同学生在归纳加工的层次上、元认知的活动及策略的选择上存在差异.

证伪主义方法在统计推理中的扩展和运用

国内科学哲学界专注于证伪主义方法在确定性理论范围内的分析,而对其在统计推理中的运用鲜为关注。在科学推理中,证伪主义方法的主要问题是归纳意义问题。证伪主义在面对确定性理论时,其本身的反归纳性不能解释许多科学推理中的经典模型;而在统计推理中,以证伪主义为方法论依据的显著性检验模型,又面临归纳显著性的质疑。证伪主义方法可行的修正性进路将是引入"真"的概念及其概率分析。

证据选择与归纳确证

确证假说的证据是归纳确证中不可忽视的重要因素,证据的选择具有归纳逻辑视野的程序与规则。证据具有特定的经验内容,但在表达形式上又是一种语句;某语句被确认为相关假说的证据,既取决于个人对该语句及其竞争语句的主观概率评价,还取决于证据语句集的逻辑一致性;证据选择与证据的效用密不可分,而证据效用度在一定程度上体现了主观期望效用的测度。因此,何种语句可选作证据,何种语句优先选作证据,均需要确证活动的操作者依据一定的规则和程序来确认。

图书编目利用外部数据源问题探讨

本文重点介绍和分析了目前主要外部数据源的种类和特点,以及有关外部数据源利用中存在的问题和对策。

浅析波普尔的证伪主义——波普尔对“分界问题”与“归纳问题”的解决

证伪主义是波普尔在批判归纳主义与证实原则的基础上建立起来的。证伪原则既是波普尔解决"分界问题"与"归纳问题"的关键,也是他的科学认识论与方法论的基础。波普尔的证伪主义为科学与哲学的发展提供了重要经验,但也面临许多困难。

科学发现的本质及其逻辑机制的再发现

不管对科学发现进行语义分析,还是对科学发现活动本身进行历史探究,我们都会发现,科学发现除了具有社会、历史和心理上的属性外,它在本质上乃是新假说的产生、选择、修正、接受和解释的逻辑过程,其逻辑机制正是皮尔士与汉森等所倡导的溯因推理。而且,现代认知科学的新成果促进了溯因推理形式的不断完善,人们意识到在新假说产生与选择中背景理论与背景知识的重要作用,创新了溯因推理的推理形式,令人满意地回答了溯因推理何以能够以及如何能够成为科学发现的逻辑的问题。

实质蕴涵与自然语言中的相关蕴涵命题分析

实质蕴涵是现代逻辑的一个极其重要的概念,但是用实质蕴涵理论来分析和说明自然语言中的假言命题却出现了许多解释不通的问题。这种状况有悖于逻辑规范和引导人们进行正确思维及表达的宗旨。传统逻辑和模态逻辑在分析自然语言假言命题方面都存在缺陷。提出“相关蕴涵”概念主要是为了对自然语言假言命题进行符合自然语言实际的分析。

“穆勒问题”和经济学方法论的新趋势

由于解决“穆勒问题”努力的失败和科学哲学、语言哲学和后现代主义等思潮的影响,当代西方经济学方法论的探讨成为一个非常活跃的领域,但这种状况在国内并未引起足够的注意。本文探讨了当代西方经济学方法论思考的重要性增长的深刻根源,指出其多元化发展趋势,简要评介了其中几个重要方案,并就西方经济学方法论思考对中国经济学创新的意义提出看法。

金岳霖的归纳理论述评

金岳霖教授是我国现代著名的哲学家、逻辑学家，其归纳理论既是其哲学思想的核心内容，又是他的逻辑思想的重要方面。本文以金氏的归纳思想为研究对象，对之进行较为系统的阐述。

评波普尔对归纳问题的取消

波普尔认为 ,科学知识即理论内容的增长是科学进步的最为重要的标志。然而 ,科学理论的内容丰富程度与逻辑概率之间正好是反变关系 ,因此 ,科学的目标不是追求理论的高概率 ,而是追求理论的低概率 ,不是追求理论的可证实性 ,而是追求理论的可证伪性。既然归纳推理是确立结论真实性或概然性的推理 ,所以 ,归纳推理是与科学目标背道而驰的 ,因而应当将它从科学方法论中清除出去 ,相应地 ,休谟提出的归纳问题也就一并被取消了。然而 ,当波普尔引入“逼真性”概念以后 ,他的验证方法便不可能是完全演绎的 ,或多或少地含有归纳的成分。因此 ,波普尔对归纳问题的取消是不成功的。

关于休谟问题的一个解决方案

关于休谟问题的一个解决方案陈晓平在文［１］中我们讨论了主观主义概率论对于休谟问题的＂解决＂。本文将给出笔者关于休谟问题的解决方案。文［１］的结尾处曾谈到，主观主义概率论对休漠问题的＂解决＂虽然不很成功，但却颇具启发性；可以说，笔者的方案在很大程度上是...

变元间的相关性是人类逻辑的本质属性——由关于“实质蕴涵”的“相关蕴涵”引发的深层思考

“相关蕴涵”的立论之本是基于对变元间相关性的尊重,变元间的相关性是人类逻辑的本质属性。“实质蕴涵”乃至其他真值形式都以舍弃变元间相关性为代价,追求变元孤立意义上的绝对真假抽象,其实质是抽掉了人类逻辑本源的对象,代之以人工设计或规定出来的人造对象。现代逻辑是方法论意义上的理论,人类主流逻辑是认识论意义上的理论,认清两者质的不同非常重要。

丘奇——图灵论点与认知递归计算假说

丘奇——图灵论点与认知递归计算假说郝宁湘提起哥德尔不完备性定理，从事数学哲学、乃至一般哲学研究的人几乎没有不知晓的。然而与其齐名、并同样具有重大数学意义和哲学意义的丘奇图灵论点，知道它的人就少得多了。对它的数学意义和哲学意义给出深刻研究的人就更少了。...

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

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