理发师悖论（又作罗素悖论）【英】
Barber paradox; Russell’s paradox
译文来源
[1] 金炳华，冯契.哲学大辞典（修订本）[Z].上海辞书出版社，2001：817.
[2] Barber paradox. via: https://en.wikipedia.org/wiki/Barber_paradox
定义
萨维尔村有个理发师，他给自己制定了一条看来是极符合常情的店规：他只给村子里自己不刮脸的人刮脸，而且也只给这些人刮脸。理发师自信开店以来他一直在遵守这条店规，然而有一天一个精明的顾客问他这条店规是否同样适用自己时，理发师便陷入了极其困窘的境地。如果他不给自己刮脸，按店规他必须给自己刮脸；如果他给自己刮脸，按店规他就不应给自己刮脸。因此，自己不刮脸，按店规该刮；自己刮脸，却违反了自己的店规。这就是著名的理发师悖论（汪启明，2013：117）。1874年，德国数学家康托尔创立了集合论，并很快渗透到数学的大部分分支中，成为数学最重要的基础理论之一。1902年，英国数学家、哲学家罗素提出了一个悖论对集合论进行质疑，这个悖论就是著名的“罗素悖论”，又称为“理发师悖论”。罗素悖论的出现，震动了当时的数学界。当时，德国的著名逻辑学家弗里兹正准备将他关于集合的基础理论完稿付印，得知罗素悖论后．只好推迟了出版计划．并伤心地说出了上文曾提及的那句话：“一个科学家所遇到的最不合心意的事，莫过于是在他的工作即将结束时，其基础崩溃了。罗素先生的一封信正好把我置于这个境地。”罗素悖论带来了所谓的“第三次数学危机”，但是此后，为了克服罗素悖论，数学家们做了大量研究工作，由此产生了大量新成果．也带来了数学观念的革命。可见，悖论不仅能给人带来前进道路上的困惑，也能提供前进道路上的动力（星汉，2013：49-50）。
定义来源
[1] 汪启明.辩论口才[M].巴蜀书社，2013.
[2] 星汉.世界上最经典的哲学故事[M].宁夏人民出版社，2013.
网络参考例句
例句 1：
一些最简单的决策悖论只涉及操作而不直接涉及价值，故而称之为“操作悖论”，如理发师悖论。——“语义悖论、直观悖论和决策悖论——关于悖论的分类和解决”，载于《重庆理工大学学报（社会科学）》2016年第9期
The simplest decision paradox refers to operation only, thus it can be called “paradox of operation”, e. g., the Barber paradox.
例句 2：
通过分析著名的理发师悖论、金山悖论和说谎者悖论的历史起源和发展过程，不难发现一直以来在语言学研究范围内被学者广泛争议和探讨的语言悖论所体现的哲学问题，即人们可以运用逻辑分析的方法建造一种克服日常语言缺陷的理想语言，用这种语言表达思想，就会像用数学和逻辑语言那样精确和严格。——“语言悖论的哲学问题”，载于《学术交流》2009年第3期
Through analyzing the origin of famous barber paradox, jinshan paradox and liar paradox, we can discover the philosophical problem expressed in language paradox that scholars have long discussed widely in linguistics studying, i. e. people can apply logic analysis to create an ideal language by which they can overcome language weakness in daily life, expressing just like exact math and logic language.
例句 3：
对角化原理在整个计算科学特别是数学逻辑基础论证中起着至关重要的作用。伯特纳德•罗素用它提出了著名的“理发师悖论”，对整个数学的逻辑基础提出了质疑。——“对角化原理的逻辑形式及其应用”，载于《长江大学学报（自科版）》2006年第1期
The diagonalization principle plays an essential role in the whole science of computation, especially in the demonstration of the foundation of math logics. The famous paradox named as “barber paradox” proposed by Bertnard Rullsell questions to the entire foundation of math logics.