|
|||||
|
|
| 科学发现的逻辑验证 | |
| 引用本文： | 李未.科学发现的逻辑验证[J].中国科学(E辑),2008(12):2005-2019. |
| 作者姓名： | 李未 |
| 作者单位： | 北京航空航天大学; |
| 基金项目： | 国家重点基础研究发展计划(批准号:2005CB321900) |
| 摘 要： | R演算是一个关于逻辑连接词符号和量词符号的演算系统．它是一个根据事实反驳对科学理论进行修正的符号演算系统．文中以狭义相对论和生物进化论为例，使用R演算，对这两个科学理论的发现过程，在数理逻辑层面进行了验证．验证的结果表明：对Einstein时代的物理学而言，狭义相对论是唯一而且正确的选择．对Darwin时代的生物学而言，在接受自然选择原理等前提下，R演算可以推导出3种不同的，但逻辑上合理的进化论方案．Darwin提出的进化论是其中一种．有趣的是三者中的另一种，现在看来它具有一定的包容性． |
| 关 键 词： | 科学发现 修正演算 相对论 进化论 |
| 本文献已被 CNKI 维普 等数据库收录！ | |