主题：科学理论与可证伪性辨析 -- 唐家山

如果有类似表述，那也是我误打误撞。

你这篇帖子的其它观点我都没意见。只有下面这一段

中的“证伪”，感觉还是有歧义。

如果是波普的“可证伪”，是说某科学理论的适用边界之外的“事件”，是对该科学理论的证伪。这种证伪并不能否掉该科学理论。牛顿力学就是一个典型的例子，其仍旧在小范围低速的环境下成立。

感觉你说的“证伪”类似于数理逻辑中的soundness。这个词通常翻译为“健全性”，是指某个逻辑判定为真的命题一定为真，只要有一例为假，就说明该逻辑是不能自洽的。数理逻辑还有一个更强的要求是completeness，翻译为“完备性”。是说系统中所有真命题都能被该逻辑判定为真。对于一个逻辑来说，完备性通常做不到，健全性是必须要有的。