悖论指在逻辑上可以推导出互相矛盾之结论，但表面上又能自圆其说的命题或理论体系。
悖论的出现往往是因为人们对某些概念的理解认识不够深刻正确。悖论的成因极为复杂且深刻，但深入研究有助于数学、逻辑学、语义学、形而上学等等理论学科的发展，因此具有重要意义。其中最经典的悖论包括罗素悖论、说谎者悖论、康托尔悖论等等。悖论，亦称为吊诡、诡局或佯谬，是指一种导致矛盾的命题。在逻辑学上指可以同时推导或证明出两个互相矛盾的命题的理论体系或命题。哥德尔关于一阶逻辑完全性定理与不完全性定理的本身就是悖论，已经暴露出逻辑导致发生的问题。哥德尔不完全性定理是缺乏评判，以决定的主导方面为衡量标准，或衡量标准过多而引起的悖论。所谓的标准也是一种规定。
悖论的理解很多，最主要的是要通过博弈当中才能得出来的，如果通过博弈感觉到这个问题，没有什么可比性或有些不常规性那就叫谬论，如果这个问题大家都同意或者是有通信的或者是正确的，这叫正确论。
悖论，在物理学中也常称为佯谬。在英语中它们是同一个词paradox，指那些与常识相抵触、自相矛盾的反论，有的“似非而是”，又有的“似是而非”。严格说起来，佯谬只是悖论的一种，而且是其中最主要的一种，现在在自然科学工作者中几乎成了悖论的同义语。所谓佯谬，字面上的意思就是“假的谬误”，这是一些看起来是错的，实际上却是对的，即“似非而是”的那样一些论断。另外还有两种形式的悖论，我们把它总归为第二类。其一是在本来意义上的自相矛盾的反论。悖者，违背，违反之意也。如果对所考虑的某件事情，这样分析会得出一种结论，那样分析又会得出另一种结论，陷入左右为难，自相矛盾的境地，这就构成了悖论。其二则是那些真正错误的论断，可看起来似乎是对的，即“似是而非”，就是我们通常所说的诡辩。这与香港的黄展骥先生在“构成‘说谎者’悖论的两个矛盾———逻辑自身消解不了逻辑矛盾!”一文中把悖论定义为挑战常识的“大是若非”的卓论和“大非若是”的谬论的观点是一致的。
悖论就是一句话中所说的命题相互矛盾。
例如，理发师是只给不理发的人理发，那么，他给自己理发吗?
