R演算——科学发现的逻辑

R演算是一个关于逻辑连接词符号和量词符号的形式推理系统,它可以把现有理论中与实验和观测结果矛盾的原理或定律推演出来并予以删除,之后再与实验支持的事实合并,获得新的自然科学理论。文章对R演算进行简单介绍,并使用R演算,对爱因斯坦创立狭义相对论和达尔文创立进化论的科学发现活动进行逻辑验证,最后讨论R演算的基本性质及其基本思想在软件测试和程序调试等方面的应用。