出处:哲学卷 • 逻 辑 学 • 总 论
词条 | 悖论 |
释义 | 悖论 悖论 逻辑学名词。一命题A,如果承认A,可推得█A(非A);反之,如果承认█A,又可推得A,就称命题A为一悖论。分逻辑悖论(又称“集合论悖论”)与语义悖论两类。前者只出现于逻辑与集合论,1900年前后罗素、康托尔等人发现的集合论悖论,对数学界产生较大影响,推动了集合论的公理化;后者则与“真假”“表示”“可定义”等语义概念有关,如早在古希腊时就已发现的“说谎者悖论”等。 出处:哲学卷 • 逻 辑 学 • 总 论 悖论 一命题A,如果承认A,可推得7A(非A);反之,如果承认7A,又可推得A,就称命题A为一悖论。分逻辑悖论(又称“集合论悖论”)与语义悖论两类。前者只出现于逻辑与集合论,1900年前后罗素、康托尔等人发现的集合论悖论,对数学界产生较大影响,推动了集合论的公理化;后者则与“真假”、“表示”、“可定义”等语义概念有关,如早在古希腊时就已发现的“说谎者悖论”等。 出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础 |
随便看 |
百科全书收录258893条中英文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。