编者按： 为了拓宽青年学生的学术视野，帮助在校大学生养成科学思维，培养健全人格，升华审美情怀，树立求真、求善、求美的人生理想，营造良好的校园科技文化和学术文化氛围，本学期起，学校将邀请科技、人文、艺术三大领域的专家开设“科学·人文·艺术”系列讲座。校新闻网特设【科学·人文·艺术系列讲座】专题，将全新的讲座信息与师生们共同分享。



       5月6日下午，“科学与中国”院士专家巡讲团暨国家大学生素质文化教育基地“科学•人文•艺术”系列报告会在育才校区田家炳教育书院一楼报告厅举行。中国科学院院士、北京航空航天大学教授李未为在场师生做了题为“科学发现的的逻辑”的报告。报告由校长梁宏主持，桂林航空航天学院院长易忠，我校各学院400余人到场聆听。

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

       李未院士给出了一个在科学发现过程中使用的逻辑推理系统，称为R-演算，它由一组7个关于一阶语言的逻辑连接词和量词的推理规则组成。在科学实验的结论与现有理论矛盾时，使用R-演算可以推演出现有理论中与实验结论相矛盾的假设和原理，对其修正后产生新的理论。

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

       最后，校长梁宏做总结发言，他认为，李院士从科技逻辑的角度，为大家做了一场精彩的报告，对在场师生开阔学术专业视野、拓展科学思维、启迪创新意识方面有很大的助益。

       在互动阶段中，同学们借助宝贵的机会和时间踊跃地提出问题，纷纷向李院士请教，李院士耐心细致地一 一回答了他们的问题，现场气氛热烈。


 

    作    者：大学生通讯社 顾祖敏
    发布单位：新闻中心

报告会现场（大学生通讯社 蒋晨曦 李俊霖 摄）

李未院士主讲“科学发现的逻辑”

校长梁宏主持报告会