悖论

悖论    bèi lùn

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


参见:悖論
扫描版:「悖论」在《现代汉语词典》第58页