摘　要：解决亨佩尔乌鸦悖论的方案可分为四类：甲，否认或修改尼科德判据；乙，否认换质位定律；丙，否认或修改等值条件；丁，认为尼科德判据中的“验证”与等值条件中的“验证”不是同一个概念。目前学界所提出的各类解决乌鸦悖论的方案绝大多数属于甲类，其中贝叶斯型方案被认为是最成功的一类。但即使是贝叶斯型方案，也存在严重问题；否认换质位定律又违犯逻辑，丁类方案也不可取。但是，逻辑等值的命题可以不是同一个命题，所以支持等值条件的亨佩尔论证是错误的。我们还用“例证”的例子表明了等值条件不成立。因此，可以用丙类方案来解决乌鸦悖论。用命题理论来解决乌鸦悖论是一个完全新的方案。
关键词：乌鸦悖论  例证  验证  尼科德判据  等值条件