科学哲学家拉卡托斯提出的思想。
它是方法论否证主义发展了的一种形式。在拉卡托斯看来，波普尔的否证主义具有朴素的性质。
首先，它认为理论一经遇到反例就应当被否证；第二，它认为否证是理论与反例的两项关系。
拉卡托斯认为这两个假定都是错误的，因此有必要加以修改。
精致的否证主义认为，否证并非遇到反例就马上发生。相反，科学常常在大量的反例存在的情况下取得进步，甚至在反例的海洋里获得进步。对此他用科学研究纲领的启发法的作用加以说明，反面启发法禁止把批评指向纲领的硬核从而免遭否证。正面启发法可以建立保护带，并把反例成功地转化为例证。
但是否证总还是要发生。当着研究纲领退化的时候就有遭到否证的可能。
精致的否证主义认为，否证不是理论和反例两项之间的关系，而是有了竞争的理论之后才可能发生，这就涉及到至少一个与之竞争的理论同反例的关系。旧的理论为新的理论所否证只有在如下的条件下才能发生：(1)新理论能够解释旧理论所解释的经验内容，使得新理论包括旧理论中一切未被反驳的内容；(2)与旧理论相比它具有超等的经验内容，即可以预见新颖的事实，(3)新理论的超前内容有一些得到了确证。
这样在新理论存在的条件下，旧理论被否证。按照精致否证主义的看法，否证的意义已经发生了变化，没有任何一个事实可以单独成为潜在否证者，一定要由理论说明的事实才可能。这样否证也失去了断然的意义，也就是说我们可以接受新理论抛弃旧理论，但不能保证旧理论一定不能再导致成功。
我们也无法确切相信，旧的理论已经彻底没有希望了，精致的否证主义或许消除了否证主义的朴素性，但导致了相对主义的结论。
