萨伽德才将程序应用到气候变化的争论中。长期以来，对全球气候变暖的解释有两种，种来自联合国政府间气候变化专门委员会主流观点认为气温上升是人类活动排放温室气体造成的，另种对立观点则认为气温上升是地球气候的自然波动与人类活动无关，萨伽德运用程序对两种观点进行了模拟，解释为什么这两种相互矛盾的观点为什么能长期共存。对于全球气候变暖这个议题，的主流观点和对立观点都需要解释的证据包括他现象的事实，而这些是创世论无法解释的。他在物种起源的第版中说很难想象个的理论会像自然选择理论那样，以令人满意的方式解释上述几大类事实。最近有人反对说，这是种不安全的辩论方法，但这是种用于判断生活中常见事件的方法，并且经常被最伟大的自然哲学家所使用。拉瓦锡认为氧化论取代了基于假想物质燃素的燃素论在于氧化论的简洁性，他说我从个简单的原理推导出所有的解释，即纯净的或有生命的空气是由个特定于它的原理组成的，这个原理构成了它的基础，我把它命名为氧气原理，结合了火和热的物质。旦这原理被承认，化学的主要困难似乎就消失了，所有的现象都以惊人的简单性加以解释。菲涅尔抨击了粒子理论，认为波动理论作了能解释了反射和折射的现象以外，还可以解释衍射和偏振现象，而粒子理论需要加入振动和光线相互影响的特设性假说。他曾在封信中写道反射折射衍射的所有情况倾斜入射的彩色环和垂直入射的彩色环，以及产生相同环的空气和水的厚度之间的显著致性所有这些现象，在牛萨伽德从科学史上胜利者的视角重新建构了论点。程序的影响。从程序开始，萨伽德就注意到了计算机智能和人类智能的相似之处，他将人类思维比作计算机程序，将人类的思维结构比作数据结构，将人类的思维过程比作计算机算法，萨伽德这种运用心理学和计算机或者人工智能研究科学哲学的方法为科学哲学的认知转向奠定了基础。参考文献科学究竟是什么第版，北京商务印书馆，拉里劳丹进步及其问题刘新民译，北京华夏出版社，任定成科学哲学认知转向的出色范例论保罗萨伽德的化学革命机制计算理论哲学研究，周燕科学理论评价的计算模型的认知计算分析哲学研究，王小红人工智能机器发现系统是对强纲领的经验拒斥吗评析围绕计算机模拟科学发现所引发的争论哲学分析，赖明东，张增萨伽德科学理论评价的计算模型从到的发展自然辩证法通讯，。在国内，任定成较早的介绍了萨伽德的工作，包括程序中的知识表示方法和新概念的合成方法，程萨伽德科学理论评价方法的指标及其争议探究哲学论文变暖。结语萨伽德的科学理论评价思想的变化。在程序的理论评价模块里，萨伽德继承了劳丹科学研究的本质就是解题活动的思想，也把科学理论的评价看成对这个理论的解题效力的评价，但他并非像劳丹以往哲学家那样着力描述自己的思想而对实际的比较泛泛而谈，萨伽德把科学理论的解题效力指标化，并通过编写实际的计算机程序来比较科学史上诸多相互竞争的科学理论，他试图建立个普遍的科学理论评价的计算机程序。程序的评价标准不再是劳丹的解题效力，而是理论的解释连贯性，解释连贯性理论的原则不仅包含了程序中的致性简单性的指标，也包含了类比关系的作用反向证据的作用以及更高层次的理论参与解释的作用，命题系统对些观察证据的拒绝则显示汉森观察渗透理论的思想是如何在程序中起作用的，同时程序作为个联结主义的计算模型，显示了理论包含的假说和证据被接受和拒绝的心理学过程，这个心理学过程理性的。程序运用了热认知理论，热认知理论认为个人态度但这种假设与西方国家避免石油限制和政府干预的价值观是相冲突的，而程序的模拟显示了个人的情感价值如何通过破坏更好支持证据的假设来干扰信念修正。程序的意义是什么人工智能先驱西蒙把人脑可以看成个信息处理系统，并倡导通过计算机模拟人类思维来揭示人类思维和创造力的本质。西蒙的这研究进路很快成为人工智能研究的主流方法，萨伽德也深受西蒙影响。西蒙和合作者设计了大量的人工智能发现系统模拟科学家的科学发现过程，彼得斯莱让克认为西蒙的计算机程序独立于社会因素完成了科学发现，是对科学知识社会学强纲领的经验拒斥，引发了学者和认知科学研究人员之间的争论。学者认为科学知识的生产来源于科学家的动机和利益之争，主张用社会学来解释切科学知识的问题，批西蒙的人工智能发现系统和研究方法并没有完全将社会因素排除在外。在这场争论中，萨伽德意识到科学知识的研究无法完全排除社会因素，提倡综合了认知因素和社会因素的大气变暖比其他任何变暖时期都要严重北极的冰正在迅速融化，世界各地的冰川正在消融历史上，全球气温与氧化碳水平有很强的相关性。辅助事实氧化碳甲烷和水蒸气是温室气体温室气体吸收红外辐射，其中些被重新送回地球表面自工业革命开始以来，大气中的氧化碳含量直在增加。的假设温室效应使地球变暖温室效应有增强的潜力全球变暖是人为造成的危机大气中温室气体的浓度增加直接导致地球的变暖全球温度的微小变化有可能彻底破坏各种气候系统。对立观点的假设和信念包括地球轨道参数太阳活动火山活动和相关气溶胶的长期循环是地球变暖的自然原因自然因素对全球温度的影响使温室效应的影响相形见绌气候系统将受到自然周期和自然波动的影响全球变暖是自然现象，并不令人担忧温度的微小变化不会对全球气候产生显著的负面影响。程序用的算法以上假设和证据模拟，结果显示温室效应比地球程序可以翻译成热认知，此前的被看成是冷认知，程序用来模拟解释连贯性，而程序则用来模拟情感连贯性，热认知理论认为个人态度的发展和变化是与观念信仰和目标系统所依附的价值观之间密切联系，充分考虑到了个人情感因素观对理性认知的修正作用。根据萨伽德的描述，程序可以广泛应用于哲学伦理学政治学和心理学的研究中，在哲学方面的应用也包括科学理论的评价。程序可以看成是程序的扩展，程序中，每个单元除了有活化值以外，还有个价，价最初只分布在表征情感的若干单元里，价的算法开始运行后再扩散到命题单元和证据单元，最终经由证据单元到达证据的综合评价单元，综合评定的价是正值还是负值代表了接受或拒绝情感单元包含的信念，其中价的算法与程序中活化值的算法类似，只是在循环算法中每个单元的价键入的净值受到与之连接的命题单元的价和活化值共同影论更为复杂，但是菲涅尔光的波动理论实际上比牛顿的微粒理论在逻辑上更不经济，因为它假设了以太的存在，他认为只要本体数量的增加有助于理论整体上的致性和简单性，那么本体假设上的复杂性并不减损理论的解释价值或可接受性。，除了致性和简单性指标以外，萨伽德特别强调类比的作用。般的科学哲学家都认为，类比充其量与理论的发现有关，与理论的正当性无关，但是萨伽德通过对科技史案例的研究发现，类比在达尔文以及光的波动理论的支持者的争论中起着重要的作用，达尔文声称人工选择和自然选择之间的类比关系是他相信自己理论的基础之，而惠更斯杨菲涅耳都用声音现象和光现象之间的类比来支持光的波动理论，尽管有人怀疑这种类比解释的正当性，萨伽德仍认为有需要将类比作为科学理论评价的标准之，应该对具有此类类比的理论给予了些偏好。只不过，如何在程序里确定类比指标的参数存在实际困难，指标过于复杂以后有可能出现为了增加类比指了计算机智能和人类智能的相似之处，他将人类思维比作计算机程序，将人类的思维结构比作数据结构，将人类的思维过程比作计算机算法，并研究运用计算机模型模拟科学理论评价的思维过程，他年的科学哲学学术生涯编写了个包含科学理论评价功能的计算机程序，分别是和，尽管这些程序受到过质疑，但是在人工智能热潮再度兴起的今天，弄清这个程序的原理以及适用性对我们运用人工智能技术研究科学哲学问题依然有十分重要的借鉴意义。本文将对和这个计算程序中关于科学理论评价方法和指标及其引发争论进行评述。关键词哲学指标科学哲学问题科学理论评价萨伽德计算模型查尔莫斯回顾科学哲学的历史，认为世纪年代之前科学哲学的个特点是逻辑经验主义者和否证主义者关于什么是个好的科学理论的争论，卡尔纳普等人认为科学是从事实中推导出来的，科学理论的好坏在于它能从多少事实中的得到确证，事实越多越好波普尔等否证主义者以科学理过程，这个心理学过程理性的。程序运用了热认知理论，热认知理论认为个人态度的发展和变化是与观念信仰和目标系统所依附的价值观之间密切联系，程序是对程序的扩展，程序充分考虑到了个人情感因素观对理性认知的修正作用，解释了为什么个理论比另个理论有更好的解释连贯性，仍然不被些科学家接受的原因。总的来说，萨伽德认为接受或者拒绝个理论的标准，在程序里是解题效力，在程序里是解释连贯性，在程序里也是解释连贯性，但是考虑到了情感因素对理性认知的修正作用。存在的问题。萨伽德及其同事作为这个程序的原始数据的输入人员，理论拆分成命题单元以及选取证据单元的工作都是他们完成的，因此萨伽德的立场很大程度主导着程序的输入，尤其是程序和程序关于类比关系的输入，的类比原则认为与被广泛接受的理论在结构上有相似之处的理论应该优先考虑，但是这种相似性是有程序的输入者认定的，程序输入者的论中，萨伽德意识到科学知识的研究无法完全排除社会因素，提倡综合了认知因素和社会因素的解释方法。程序正是这样个计算机程序，即遵循了西蒙倡导的用计算机模拟人类思维的研究方法，又把学者倡导的社会价值和情感融入到计算机程序的模拟过程中，是次有意义的综合。程序模拟了解释全球变暖的两种理论并存的情况，是否意味着萨伽德陷入了科学理论评价的相对主义主张对萨伽德来说，程序模拟的结果代表了解释连贯性，解释连贯性是评价科学理论好坏的标准，程序的模拟结果显示温室效应比地球气候的自