科学检验的逻辑及其困境

科学假说、理论必须接受观察、实验的检验,科学检验问题是西方科学哲学和科学方法论中的一个重要问题。从逻辑经验主义开始的西方科学哲学,企图从逻辑的、定量的角度探索解决科学检验问题,并给科学检验以逻辑表征。本文在西方科学哲学的基础上,着重探讨这种检验的逻辑过程和逻辑模式以及遇到的逻辑困难。以卡尔纳普为代表的逻辑经验主义继承了罗素、维特根斯坦的逻辑原子论思想,正式提出了经验证实原则,他们把这个原则概括为一句名言“命题的意义就是它的证实方法。”那么,科学假说、理论是怎样被证实的呢?也就是说,对假说、理论进行检验的活动其过程如何?一般说来,在检验一个假说、理论时,首先必须应用演绎法,从科学假说、理论推导出结果即经验陈述,然后把这种经验陈述与通过归纳法从观察、实验中得出的结果加以对照,看是否一致。如果用H表示假说、理论(一般为全称命题),E是由H导出的经验陈述或观察、实验结果,S为被考察对象系列,则其