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

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

卡尔纳普归纳逻辑系统在知识获取中的应用

本文简要地讨论了Carnap归纳逻辑系统以及该系统在人工智能中进行实际应用的困难与可能性,着重分析了Carnap系统的一个可能应用领域——基于概念学习的知识获取,最后给出了我们在micro VAXⅡ上使用Prolog所实现的一个知识获取算法CAA,此算法运用Carnap归纳逻辑系统的相应理论和方法对所获取的知识进行了评估和证实。

柯斯塔归纳逻辑系统理论

德·柯斯塔是弗协调逻辑的著名代表人物之一。他将弗协调思想运用于归纳逻辑的研究,提出了自己的归纳逻辑系统,以便为归纳推理提供一个新的辩护,同时说明归纳与科学的关系。柯斯塔认为:通过建立一个新的归纳逻辑系统,将能“抓住科学的基本累积特性,并使我们能够说明,为什么接受和相信由归纳获取的结论确实是有根据的。”柯斯塔认为:为了克服休谟难题,需修改对归纳结论的看法,用对归纳结论作实用真理或似真理的理解代替作绝对真理的理解。似真理或实用真理的范畴是新的归纳逻辑的支点。由于对归纳结论作了似真理的理解,因此,所有的归纳推理都可以还原为假设演绎法,即可以通过假设演绎主义的术语得到理解并概率化,从而能够用实用概率对似真性的归纳结论进行评价,而对实用概率的解释系统构成了柯斯塔的归纳逻辑。总的看,柯斯塔用实用真理或似真理对归纳推理作定性分析,其着眼点是归纳结论;用实用概率对归纳推理作定量评价。实用真理和实用概率构成了归纳逻辑的基础和主干,因之也可以称柯斯塔的逻辑是一种实用的或似真的归纳逻辑。

新科学知识或然性问题归纳逻辑有效性分析

不同归纳逻辑系统都有一种对新科学知识或然性(probability)问题的解释和处理方式,每一种解决方案都具有限域,即在一定使用范围内具备有效性和确定性。英国科学哲学家科恩在经验科学实验基础上建立起非帕斯卡归纳逻辑系统体系,他认为新科学知识的归纳逻辑系统或然性结论不具有"逼真性"而是"逼律性"特征,即不断逼近经验规律。另外,新科学知识的归纳逻辑系统初始概率和结论不是先验的,而是经验的并具有可修改性。新科学知识归纳逻辑系统的或然性问题在科恩系统中获得了一种解决方式。

落后神学的弃女 自然科学的宠儿——试析形式归纳逻辑体系的建立

归纳逻辑是研究人们的认识如何从具体、个别性的前提上升到一般概括性的结论。它的前提的真实性只为结论的真实性提供了部分支持,它是一种或然性,不确定性的推理。自然科学的不断发展构成了归纳逻辑产生和发展的重要原因;同时,归纳逻辑在科学创新中也具有重要作用和意义。因此,形式的归纳逻辑系统具有建立的可能性和必要性。

略论卡尔纳普对概率逻辑的研究

卡尔纳普(Rudolf Carnap,1891—1970)是一位有影响的现代哲学家与逻辑学家。他与石里克一道,是维也纳学派的代表人物。他作为一位逻辑学家,不仅对数理逻辑与数学基础、模态逻辑、语义学、语言的逻辑句法等方面作出了贡献,而且在归纳逻辑方面提出了自己的概率逻辑系统,有着重大的影响。就他对逻辑的研究来说,他比较注意对逻辑的全面研究,正如他对待科学持有统一的观点(物理主义)一样,对逻辑也可说持有一种统一的观点,这使他不仅注意演绎逻辑的研究,而且也注意归纳逻辑的研究。尤其有趣的是,他对逻辑的一些研究成果,特别是在语言的逻辑分析、语义学等方面的一些论著。

归纳逻辑:卡尔纳普的公理系统和我们的设想

本文作者在评述卡尔纳普的公理系统后指出,这一系统中“无差别原则”的使用,使得该系统不可能成为发现的逻辑,而只能是证明的逻辑。由于“休谟问题”的出现,作者设想可建立一个以中介逻辑为基础的归纳逻辑系统,认为在这样的系统中,“休谟问题”是能够被排除的,卡尔纳普提出的“有限目的归纳机”也是有可能实现的。

归纳逻辑与人工智能相结合的研究问题

自然科学技术与哲学社会科学相互渗透、相互结合的趋势是近半个世纪以来科学技术革命向纵深发展的一个突出特点。这不仅与种种学科各自发展必然导向相互间辩证联系的强化有关,尤其与横断性、交叉性的系统科学之形成与发展有关;与数学的研究对象与适用范围逐渐由自然界扩展到社会与人类思维、智能领域。

第二届归纳逻辑与人工智能研讨会综述

继1988年4月在扬州召开第一届归纳逻辑与人工智能研讨会之后,1989年7月24—29日在成都召开了第二次会议。会议由王雨田教授主持的课题组主办,并与中国管理科学研究院思维科学研究所、清华大学社科系等单位联合召开。会议的特点是全国性的多学科协作研究。会议的代表30人,主要来自数理逻辑、归纳逻辑、统计、人工智能、机器学习、神经网络、科学哲学、认知科学等学科。会议对过去一年来的阶段性成果进行了讨论。有的代表在IBM-PC机上演示了具有初级归纳功能的计算机系统。会上报告与讨论的问题主要有:(1)发现的定义和实质,(2)

现代西方科学哲学是怎样反映技术发展的?

现在流行一种看法,认为现代西方哲学及时反映了当代科学技术的成果,而马克思主义哲学未能做到这一点,所以,现代西方哲学获得了发展,马克思主义哲学则落后于时代。这种认识是十分肤浅的。现代西方哲学究竟是怎样反映科学技术发展的,以及这些反映是否全面、正确?这是本文所要探讨的。

谈我国逻辑学之落后状况及其出路

哲学教材改革,其呼吁之声虽已渐渐地远去,可喜的是,其步履之声却已从地平线上传来。在这个新栏目下,我们首先披露的是逻辑学方面的情况。从这组文章中可以看见,改革的动因,一是教材本身落后于本学科的发展,二是教材本身落后于社会实践的需要。哲学其他学科,恐怕也免不了碰到同样的问题。哲学科学的社会职能,很难说不是为社会群体提供一种特殊的工具,既用以认识世界,又用以改造世界。我们跻身于社会主义改革的时代,改革教材以适应学科的发展,并满足社会实践的需要,不无现实意义和政治意义。哲学教材改革和哲学教学改革,似乎是一项工作的两个方面,但前者无疑是着重于学科本身的发展和理论体系的阐述,后者涉及的则主要是教育学和教育心理学及授课的具体措施。显然,我刊只能把沟通教材改革的信息看作自己的任务。