论科学发现作为问题解决的特殊性——对赫伯特·西蒙机器发现研究的分析

将科学发现视为问题解决的观点,是科学哲学与认知研究相结合的产物,促成机器发现研究方法的产生。西蒙不仅指出科学发现作为问题解决的普遍特征,还概括了科学发现区别于其他问题解决的个性特征。这些个性特征从创造性的角度将科学发现与常规科学的问题解决区分开来。从科学问题的角度看,科学发现和机器发现都是从未知到已知的科学问题解决过程,体现了不同层面的创造性,使得机器发现可以通过再发现的形式模拟科学发现。     

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

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

科学发现的创新意蕴

当我们回溯发现与创新问题研究的历史时会看到，最先把创新概念引入学术领域的经济学家把发明和发现排除在自己的视阈之外，而长期以来钟情于发现辩护问题的科学哲学家却忽视对发现本性问题的探索。十分有趣的是现在他们殊途同归：经济学家们已经认识到科学发现是创新的源头；而科学哲学的研究中也出现了触及发现与创新关系问题的迹象。本文试图通过对上述问题的梳理，阐释发现与创新的关系，揭示科学发现的创新本质。     

爱因斯坦与老子科学发现方法论的相似与区别

分析了爱因斯坦和老子对科学发现方法论的贡献,比较了其各自发现方法论的基本思想及其相似与区别,指出了老子发现方法论中所潜在的优势及其现代意义,说明了建立新的、中西互补的科学方法论体系的可能性和必要性,讨论了老子发现方法论的潜在优势转化为有效的现实意义的社会条件.     

科学发现的社会基础——评布兰尼根科学发现的赋值模型

科学发现研究是科学技术学研究的重要问题,传统观点认为科学发现是自然发生的客观事件,发现的地位获得仅决定于发现的原始文本。布兰尼根通过对孟德尔遗传定律等案例的详细考察提出科学发现的赋值解释模型,主张科学发现是特定历史语境中社会建构的结果,科学家和科学解释者根据可理解性标准从备选的研究成果中选择并赋予其发现的地位,同时,赋值模型对于多重发现和科学发现优先权研究具有启发意义。     

中西两种科学文化背景下的郑和下西洋和地理大发现之比较

本文从科学文化的角度对郑和下西洋和地理大发现进行了比较研究，探讨了两者在科学探索动机、地理知识和造船航海技术诸方面的差异及其由此产生的不同影响，认为尽管郑和航海在规模、航路和航海技术等实用科学层面上远远领先于西方，但在科学探索动机、科学精神和理论知识背景等科学文化层面上却大大逊色于西方，两种科学文化背景的差异是导致中西航海活动不同结局的深层原因。     

胸腺功能的发现——一个科学发现优先权之争的案例分析

胸腺功能的发现是免疫学史上一个里程碑式的事件.这个发现是由三个研究小组几乎同时独立完成的,国内已有研究者从其中两组(个)不同的发现者的角度,记述了他们各自独立发现胸腺免疫功能的经过,但并未涉及这个发现的优先权问题.本文通过对相关历史材料的梳理,叙述了围绕这个重要医学发现的优先权之争,并结合免疫学的历史发展,分析了这场优先权争论的特点,尝试说明为何这场争论旷日持久而难有结果.     

研究科学发现的计算途径:对BACON程序的考察

二十世纪末，人工智能(AI)界出现一个不同于历史、哲学、心理学的研究科学发现的新领域，即机器发现，这种机器发现工作已经远远超出其本身所有的人工智能价值而对科学史、科学哲学乃至认知科学研究产生了广泛影响。本文从方法论视角考察最重要的机器发现程序之一BACON，以揭示它对我们了解科学发现本性的重要意义。     

HPS在美国的创立及其对科学发现方法论的贡献

近年来,HPS,即科学史和科学哲学研究领域在国内学界受到更多的重视。回顾HPS的发展,哲学家汉森为HPS事业在美国的创立做出了奠基性的贡献,在这之后他的科学哲学理念又对当代科学哲学以及科学发现方法论产生了深远的影响。全文在考察汉森创立HPS事业的特殊历史背景的基础上,深入探讨了汉森分外强调的注重科学史考察的科学哲学研究理念对当代科学发现逻辑的复兴以及对西蒙的机器发现研究所产生的影响。     

“建构”与“发现”的真实融合——齐曼自然主义视域的科学知识观

从自然主义本体论和认识论视角,齐曼向我们展示了科学宏大而"真实的"图景.在对科学的自然主义描述中,主要立足于社会学维度,齐曼消解了社会建构论和朴素科学主义的科学知识观,提出了科学知识是"建构"与"发现"的真实融合的辩证观点,对于深化我们对科学知识本质的认识与理解,具有重要的启发意义.     

对增乘开方及其相关问题的再探讨

通过对开方术、带纵开方及增乘开方算法的比较分析，认为增乘开方的思想源于《九章算术》的开方术，带纵开方是中间的过渡阶段。增乘开方是将开方术归纳、推广的结果。而贾宪三角是记录了用增乘法得到的备乘方之廉。即：传统开方→立成释锁→释锁求廉本源(贾宪三角的造表法)→增乘开方。在开方算法的完善中体现出的中算的构造性特征及程序化的算法思想，至今仍有重要义。     

The Prospects for Machine Discovery in Linguistics

The article reports the results from the developmentof four data-driven discovery systems, operating inlinguistics. The first mimics the induction methods ofJohn Stuart Mill, the second performs componentialanalysis of kinship vocabularies, the third is ageneral multi-class discrimination program, and thefourth finds logical patterns in data. These systemsare briefly described and some arguments are offeredin favour of machine linguistic discovery. Thearguments refer to the strength of machines incomputationally complex tasks, the guaranteedconsistency of machine results, the portability ofmachine methods to new tasks and domains, and thepotential machines provide for our gaining newinsights.     

华蘅芳的方程论研究

通过对《诸乘方变式》、《开方别术》、《开方古义》等著作的研究，阐述了清末数学家华蘅芳（１８３３－１９０２年）在方程变换理论、整系数数值高次方程求根方法，及其对“开方作法本源”的新探索等方面所作的出色工作，从而进一步拓展了清代数学家关于方程论的研究领域。     

李善兰“中国定理”之由来及其反响

在查阅西方文献的基础上,考证了“中国定理”的来源,指出它是李善兰发明,由英国新教传教士伟烈亚力首次披露的。分析了李善兰得出“中国定理”的思路,并详细记述了由“中国定理”引发的讨论。最后指出中国数学史论著中有关论述之错误。     

再谈"中国古代数学中的‘黄金分割率''''"--与蒋谦、李思孟先生商榷

中国古代数学虽然有过辉煌的成绩,但中国古代数学与黄金分割无内在联系,蒋文[1]搞混了黄金分割的本质,把"河图"、"洛书"、"贾宪三角形"、"五运六气"等与没有逻辑关系的黄金分割率联系在一起,这是不合逻辑的没有根据的主观臆断,它给人造成一种错觉,似乎黄金分割率在中国古代数学中早已有之,这是不符合客观事实的误断.     

基于语义三角理论的佛教术语观

佛教的术语观源于佛教的语言观,即佛教认为语言的本质是虚妄的,没有自性(即体性)。从语义三角理论出发,总结佛教的术语观,即能指与所指间、概念与所指间、概念与能指间都表现出不同于世俗语言学的符号关系。语义三角的三个位点都可以体现为虚妄相或多元可置换性。真如实相的术语观是三个位点都体现为虚妄相,部分位点的虚妄相和不同程度的多元可置换性都是佛菩萨顺应众生根基所采取的相应变通。     

Rationality in the Discovery of Empirical Laws

In this paper I argue against the traditional viewthat in discovery processes there is no place forrational decisions. First I argue that some historicalprocesses in which an empirical law was developed,were rational. Second, I identify some of themethodological rules that we can follow in order to berational when constructing an empirical law. Finally,I argue that people who deny that scientific discoverycan be rational do not understand the nature ofmethodological rules.     

Analogical Reasoning and Modeling in the Sciences

This paper aims at integrating the work onanalogical reasoning in Cognitive Science into thelong trend of philosophical interest, in this century,in analogical reasoning as a basis for scientificmodeling. In the first part of the paper, threesimulations of analogical reasoning, proposed incognitive science, are presented: Gentner's StructureMatching Engine, Mitchel's and Hofstadter's COPYCATand the Analogical Constraint Mapping Engine, proposedby Holyoak and Thagard. The differences andcontroversial points in these simulations arehighlighted in order to make explicit theirpresuppositions concerning the nature of analogicalreasoning. In the last part, this debate in cognitivescience is applied to some traditional philosophicalaccounts of formal and material analogies as a basisfor scientific modeling, like Mary Hesse`s, and tomore recent ones, that already draw from the work inArtificial Intelligence, like that proposed byAronson, Harré and Way.     

Creating a discoverer: Autonomous knowledge seeking agent

Construction of a robot discoverer can be treated as the ultimate success of automated discovery. In order to build such an agent we must understand algorithmic details of the discovery processes and the representation of scientific knowledge needed to support the automation. To understand the discovery process we must build automated systems. This paper investigates the anatomy of a robot-discoverer, examining various components developed and refined to a various degree over two decades. We also clarify the notion of autonomy of an artificial agent, and we discuss the ways in which machine discoverers become more autonomous. Finally we summarize the main principles useful in construction of automated discoverers and we discuss various possible limitations of automation.