饮者悖论 饮者悖论也被称为饮者定理饮者原理或饮酒原理是经典谓词逻辑的一个定理它实际上并不是一个悖论它的明显的矛盾的性质来自于它通常的在自然语言中的表述在酒吧裡会有一个人对于这个人如果他在喝酒那么所有在酒吧裡的人都在喝酒 有两点看起来是反直觉的  这里面有一个人他会引起其他人喝酒这里有一个人一整夜他都是最后一个喝酒的第一个反对的理由是由于混淆了形式的 IFTHEN 陈述与因果关系见相关不蕴涵因果定理的形式化陈述是不受时间限制的我们可以消除第二个反对理由是因为在一个时刻使得陈述成立的那个特别的人见证者并不需要与在任何其它时刻使得陈述成立的那个人是同一个人实际的定理是  x  P     D  x    y  P    D  y    displaystyle exists xin P Dxrightarrow forall yin P Dy 其中 D 是一个任意的谓词英语PredicatemathematicallogicP是一个任意的集合这个悖论是因数理逻辑学家雷蒙思木里安而广为人知的雷蒙思木里安在他  年出版的书 What is the Name of this Book 中称它为 饮酒原理