# 饮酒者悖论

> “在任何非空的酒吧里，都存在这样一个人：如果他在喝酒，那么酒吧里的每个人都在喝酒。”

- ID: m05578
- 分类: structure
- 领域: 逻辑学

## 定义

“在任何非空的酒吧里，都存在这样一个人：如果他在喝酒，那么酒吧里的每个人都在喝酒。” 这是一个逻辑上的实蕴含真理，虽然听起来反直觉。原理是：要么大家都喝（此时那个人是任何人），要么有人没喝（此时那个人是没喝的那位，前提为假，蕴含式为真）。脚手架作用： 逻辑与直觉的断裂。它提醒我们，形式逻辑的严密性往往与自然语言的直觉相悖。在处理严密的法律条文或代码逻辑时，必须抛弃日常直觉，严格遵循逻辑运算。

## 机制

命题"非空酒吧中存在一人：若他在喝，则所有人都在喝"是经典实质蕴涵（material implication）真理。因实质蕴涵只要求"前件假或后件真"：若有人没喝，取那人为例前件假而整句真；若全在喝，取任何人前件后件皆真。它暴露自然语言直觉与形式逻辑（P→Q等价于非P或Q）的断裂。

## 练习

处理法律条文、代码条件或形式规范时，放弃日常"如果…就…"的因果直觉，严格按真值表运算；遇到"若P则Q"先改写为"非P或Q"检验；对蕴含式前件为假即全真的性质保持警觉，避免误读。

## 脚手架用法

逻辑与直觉的断裂。它提醒我们，形式逻辑的严密性往往与自然语言的直觉相悖。在处理严密的法律条文或代码逻辑时，必须抛弃日常直觉，严格遵循逻辑运算。

[阅读网页](https://thinkingmodels.site/entries/detail/m05578)