逻辑学名词。一命题A，如果承认A，可推得﹁A（非A）；反之，如果承认﹁A，又可推得A，就称命题A为一悖论。分逻辑悖论（又称“集合论悖论”）与语义悖论两类。前者只出现于逻辑与集合论，1900年前后罗素、康托尔等人发现的集合论悖论，对数学界产生较大影响，推动了集合论的公理化；后者则与“真假”、“表示”、“可定义”等语义概念有关，如早在古希腊时就已发现的“说谎者悖论”等。