科学发现的逻辑验证

• 作者: 李未
• 来源期刊: 中国科学E辑
• 关键词: 科学发现 修正演算 相对论 进化论
• 年，卷（期）: 2008,（12）
• 页码范围: 2005-2019
• 页数: 15页
• 语种: 中文

摘要

R演算是一个关于逻辑连接词符号和量词符号的演算系统.它是一个根据事实反驳对科学理论进行修正的符号演算系统.文中以狭义相对论和生物进化论为例,使用R演算,对这两个科学理论的发现过程,在数理逻辑层面进行了验证.验证的结果表明:对Einstein时代的物理学而言,狭义相对论是唯一而且正确的选择.对Darwin时代的生物学而言,在修稿自然选择原理等前提下,R演算可以推导出3种不同的,但逻辑上合理的进化论方案.Darwin提出的进化论是其中一种.有趣的是三者中的另一种,现在看来它具有一定的包容性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李未		23	113	7.0	10.0