悖论

悖论，亦称弔诡、佯谬或诡局，指结论自相矛盾或违背常理的命题。通常从逻辑上无法判断是非的称悖论，似非而是称佯谬；有时候违背直觉的正确论断也称为悖论。如二律背反即为一类，若假设某前提为真，经过一系列无误的推理，结论却又得出它为假；反之亦然。古今中外有不少着名的悖论震撼了逻辑和数学的基础，刺激了人们求知和细究，吸引了古往今来许多思想家和爱好者的关注。解决悖论难题需要创造性的思考，悖论的解决又往往可以给人带来全新的观念。
悖论亦有“似非而是”的解释，即用普通常识看上去不正确，却是正确或有可能的。例如“站着比走路更累”。一般常识是走路比站着累，但要一个人例如在公园里站一个小时，他可能宁愿走动一个小时。因为“站着比走路更累”。也例如狭义相对论里面的双生子佯谬亦是另外一个例子。
佛法中也有佛陀破外道悖论之例，如《大智度论·卷一》中举出长爪梵志的例子。长爪梵志提倡一种“一切法不受”的主张，意思是说他不接受世间一切理论，释迦牟尼佛就问他：「你接不接受你自己所建立的这个“一切法不受”的理论？」。当佛陀提出这个问题的时候，长爪梵志就知道自己的理论是有问题的──如果接受，那就是“接受一种理论”，与其“一切法不受”的主张违背；如果不接受，那他的主张就不存在。如此一方面显示长爪梵志的理论是一种悖论，另一方面也突显佛陀仅以简短的开示就把长爪梵志折服了。
另外，有些悖论与谬误息息相关，例如：连锁悖论与连续体谬误。连锁悖论是由正确的前提和正确的推理，却得到一个明显与认知上不一致的结果，而连续体谬误则是针对连锁悖论的结论，认为X与非X并没有区别。

== 定义 ==
斯坦福哲学百科全书“悖论”条目认为，所谓“悖论”通常是指一种命题，声称某项内容超出（甚至反对）“通常的见解”（通常被认为，或持有）。
抛开悖论的各种含义，通常所说的导致矛盾的悖论，应当满足如下条件：

有一个命题A，称为悖论命题。
有一个逻辑系统L，称为相关系统。
有一组命题E, 称为背景命题。背景命题都是相关系统中的真命题。相关系统被简化为背景命题，背景命题成为悖论证明的依据。
相关系统存在两个证明可以获得悖论命题A的真值，其中一个证明A为真，而另一个证明A为假，从而出现矛盾。
因此，要判断一个悖论是否真的逻辑悖论，就是要确定要素A、L和E，特别是要确认E中的命题都是真命题，而且所给出的两个证明都是正确合规的证明。如果E中的命题不真，或者所给出的证明是错的，则这不是一个逻辑悖论，而是一个逻辑错误。许多逻辑悖论最终都可以归结为一个命题A⇔¬A，称为悖论情形（paradox situation），是进一步推出矛盾的依据。根据悖论情形，可以有证明1：假设A为真，可以推出A为假，矛盾，因此A为假。但同时也可以有证明2：假设A为假，可以推出A为真，矛盾，因此A为真。证明1和证明2都是正确合规的证明。因此问题就是，A⇔¬A在相关系统中是不是一个真命题…