逻辑悖论

悖论(英文:Paradox)是指导致矛盾的命题，逻辑悖论(英文:Logical Paradox)是其中一类悖论。

逻辑悖论详细介绍

悖论(英文:Paradox)是指导致矛盾的命题，逻辑悖论(英文:Logical Paradox)是其中一类悖论。

逻辑悖论定义

逻辑悖论(英文:Logical Paradox)总是相对于一个公理系统而言的，如果在一个公理系统中既可以证明公式A又可以证明A的否定元A',则我们说在这个公理系统 中含有一个悖论，因为这时A和A'在系统中是可证等价的。

逻辑悖论范例

最著名的逻辑悖论是英国哲学家、数学家、逻辑学家伯特兰·罗素提出的理发师悖论。

一个男理发师的招牌上写着：

告示：城里所有不自己刮脸的男人都由我给他们刮脸，我也只给这些人刮脸。

那理发师可以给自己刮脸么？如果他不给自己刮脸，他就属于“不给自己刮脸的人”，他就要给自己刮脸，而如果他给自己刮脸呢？他又属于“给自己刮脸的人”，他就不该给自己刮脸。

伯特兰·罗素提出这个悖论，为的是把他发现的关于集合的一个著名悖论用故事通俗地表述出来。某些集合看起来是它自己的元素。例如，所有不是苹果的东西的集合、它本身就不是苹果，所以它必然是此集合自身的元素。来考虑一个由一切不是它本身的元素的集合组成的集合。这个集合是它本身的元素吗？无论你作何回答，你都自相矛盾。

同时，伯特兰·罗素的这个悖论的提出引发了第三次数学危机。

逻辑悖论悖论分类

英国数学家、哲学家兼经济学家弗兰克·拉姆齐(FrankPlumpton Ramsey) 于1925最早把悖论区分为逻辑悖论和语义悖论(英文:Semantical Paradox)两个类别, 见文献的第二章逻辑与数学基础(The FoundationsofLogic and Mathematics)。罗素悖论属于前一类。