| 强证实和弱证实 strong verification and weak verification 英国艾耶尔用语。在《语言、真理和逻辑》一书中提出。他把可证实性分为强意义的和弱意义的两种。认为如果一个命题的真实性可以在经验中得到确切的证实，那么这个命题就被认为在可证实性这个词的强意义上是可证实的;如果经验可能使这个命题成为或然的，那么这个命题就被认为在可证实性这个词的弱意义上是可证实的。他作出强证实和弱证实的区分，是为了修正德国石里克等人把确实的可证实性，即强意义的可证实性作为判断命题是否有意义的标准。认为这条标准要求太高，因为有许多关于规律的普遍命题，如“凡人皆有死”等等，是不能确切地加以证实的，因此他主张用弱意义的可证实性取代强意义的可证实性。 |