逻辑的悖论是什么


逻辑的悖论是什么

文章插图
逻辑悖论(英文:Logical Paradox)总是相对于一个公理系统而言的,如果在一个公理系统中既可以证明公式A又可以证明A的否定元A',则我们说在这个公理系统 中含有一个悖论,因为这时A和A'在系统中是可证等价的 。
悖论通常是指这样一种命题,按普遍认可的逻辑推理方式,可推导出两个对立的结论,形式为:如果事件A发生,则推导出非A,非A发生则推导出A 。

【逻辑的悖论是什么】