科学发现的逻辑——李未院士应邀来我所作报告

　　2015年4月23日下午，中国科学院院士李未先生应院士着作馆邀请，为我所员工及部分高校师生和科研单位的听众作了题为《科学发现的逻辑》的精彩报告。中信所戴国强所长、国家科技图书文献中心袁海波主任等领导参加了报告会。报告会由中信所副所长张新民主持。

　　李院士在报告中主要介绍了R演算的基本要素、狭义相对论的逻辑验证、达尔文的进化论和R的主要理论。李院士首先引用了Karl Popper的话对如何“抛弃现有理论，提出新的猜想，构造新的理论”的问题，然后通过讲解爱因斯坦建立狭义相对论的过程，说明在科学发现的过程中，科学家所表现出来的洞察力和逻辑直觉是一种潜意识的逻辑分析和推理活动。

　　此后李院士引用狭义相对论的逻辑验证和达尔文进化论的产生的例子说明：当科学理论和实验事实相矛盾时，可以运用R演算的七条规则来删除主要矛盾，通过保留与实验结果相协调的现有理论的最大子集，将受到实验支持的事实提升为一个新的原理，并将现有理论的极大缩减与新原理合并，就能得到一个新的科学理论。李院士使用R-演算对爱因斯坦发现狭义相对论的过程和达尔文创立进化论的过程进行了逻辑验证，其结果是：狭义相对论是唯一正确的选择，而对于进化论，用R-演算可以推演出三种可能的进化理论，达尔文的进化论是其中之一。这在一定程度上解释了为什么达尔文进化论创立了150年并已成为主流科学理论。

　　李院士从科学逻辑的角度，为在座听众做了一场精彩的报告，对在座听众开阔学术专业视野、拓展科学思维、启迪创新意识方面有很大的助益。

　　精彩的报告在热烈掌声中结束。随后李院士向院士着作馆捐赠了他的着作，并在中信所及国家科技图书文献中心领导的陪同下参观了国家工程技术图书馆院士着作馆。