五条命换一条命，九成人拉杆：电车难题的两套直觉
钩子：1967 年福特写下电车难题——五换一，九成人拉杆；换成天桥推人，同样五换一九成人拒绝。数字没变，变的是另一套直觉。附电车推演台（变体芯片：拉杆 5/1/90.0% 变道档；天桥 5/1/10.0% 推人档；环形 5/1/30.0% 环形档，支持率为教学取值）+ 三轨道示意 canvas + 三题（推人也该做×/多数拒绝推人✓/直觉只看结果×）。第 1 期立论：你的直觉是两套系统在打架。
脑内剧场
面向普通人的哲学/思想实验科普连载：哲学不背答案，哲学搭台唱戏——思想实验是哲学家的剧场：台上没有台词是确定的，每个角色都要被换位、被变体、被逼到边界。第 1 期立论「电车难题：你的直觉是两套系统在打架——结果说拉，身体说不」；第 15 期「你来当馆长」把任何难题关进剧场走完十步——首尾呼应。第一季三幕：道德的算术（电车难题/双效原则/无知之幕）→ 同一与无穷（忒修斯之船/庄周梦蝶与缸中之脑/模拟论证/芝诺悖论/希尔伯特旅馆/无限猴子）→ 名实与心智（白马非马/濠梁之辩/中文屋/奥卡姆剃刀/利贝特时钟）→ 收官。每页一个可亲手玩的交互实验：电车推演台、四闸审核台、规则设计台、零件替换台、现实审计台、模拟推算台、追击求和台、房客调度台、打字机账本、名实关检台、濠上辩盘+他心立场台、规则手册台、解释竞争台、决策时钟、开馆决断台+十步开题闯关+15 期徽章墙。看完这一季你会记得：思想实验是脑内的剧场——门票是想象力，检票员是逻辑。
作者： 灏天
知识页
同样五换一，为什么就不能推人：双效原则的四道闸
钩子：拉杆可以、推人不行——这道裂缝公元 13 世纪就有人补过：阿奎那《神学大全》双效原则四道闸。附四闸审核台（案例芯片：拉杆 4/4 通行档；推人 3/4 越界档——坏结果是手段；环形 2/4 断闸档——好果长在坏果上）+ 四闸流水线 canvas + 三题（坏结果非随便接受/推人是手段✓/不能终结争议）。四闸判定为教学简化口径。
蒙上眼才配得上的公平：无知之幕后的社会契约
钩子：1971 罗尔斯《正义论》：设计规则前先蒙眼——不知道自己会生为富豪还是穷人。附规则设计台（幕态×规则六组合：落幕 78.0/18/幕平档；揭幕(你是赢家) 赢者通吃 48.0/2 站队档等全验，教学取值）+ 获选率双组柱 canvas + 三题（不靠善靠无知✓/差别原则✓/揭幕保障意愿回落✓）。划界「人生决策实验室」：规范性 vs 描述性。
每块木板都换过了，它还是那条船吗：忒修斯之船
钩子：普鲁塔克的雅典老问题——忒修斯的船木板全换过还是原船吗？霍布斯 1655 补刀：旧木板再拼一条呢？附零件替换台（滑块更换比例×三立场：材料账 100−k（100→0.0 换血档；45→55.0 修补档；0→100.0 原装档）；形式账恒 100.0 图纸档；连续账恒 100.0 连续档）+ 船体木板网格 canvas + 三题（不显然✓/霍布斯抢材料标准✓/连续性也是标准✓）。
庄子梦蝶那晚，普特南泡好了大脑：缸中之脑
钩子：庄子梦蝶那晚问出的话，2300 年后普特南装进了玻璃缸——缸里的大脑连「醒来」这个词都是输入的。附现实审计台（滑块剧组预算 0-100，五件证据伪造难度固定：疼 40/记忆 70/文字 85/灯光 95/掐 60：60→2 实感档；90→4 布景档；100→5 全息档）+ 难度阶梯 canvas + 三题（疼不证明醒着✓/同一朵怀疑✓/找不到破绽双向不证明×）。伪造难度为教学取值。
你几乎肯定活在模拟里：这只是一行概率算术
钩子：2003 博斯特罗姆三难——文明灭绝/后人类不感兴趣/或者我们几乎肯定活在模拟里。不是玄学，是一行算术。附模拟推算台（c×f 双滑块：100/50→98.04 过半档；1/50→33.33 嫌疑档；1000/10→99.01 缸中档；0→0.00 原版档）+ 人口面积对比 canvas + 三题（三选一非断言✓/自抽样算术✓/第二岔路失效✓）。哲学推演，非技术断言。
全希腊跑得最快的人，追不上一只乌龟：芝诺输给求和公式
钩子：芝诺说阿基里斯永远追不上乌龟——无穷个「又一点」。第欧根尼走路反驳错了对象：芝诺问的是无穷段之和凭什么有限。附追击求和台（d/r 双滑块：90/10→100.00/10.0/0.090 飞驰档；100/2→200.00/100.0/12.500 胶着档；60/4→80.00 稳健档）+ 逐段收敛线 canvas + 三题（走路没驳倒账本✓/无穷和可以有限✓/逼出微积分✓）。乌龟速度固定为教学口径。
客满的旅馆永远住得下新客人：无穷是间希尔伯特旅馆
钩子：客满的无穷旅馆又来客人——让每位移到下一间，房 1 空出；∞ 辆 ∞ 大巴按 2^(t−1)×(2p−1) 入住，一间不挤。附房客调度台（三模式：1 位新客→原 5 号房客去 6 号/新客入住 腾挪档；∞大巴→偶化档 全体×2；∞ 辆→幂化档 房 5=车1·座3）+ 房号轴迁移 canvas + 三题（客满是有限方言✓/∞+∞=∞✓/∞×∞ 住得下✓）。fleet 调度为教学构造（唯一分解）。
给猴子一台打字机：宇宙年龄只够它打出六个字母
钩子：1913 博雷尔的猴子——给够时间能敲出莎士比亚吗？「MONKEY」6 字母期望 3.1 亿次（4.89 年）；「TOBEORNOTTOBE」18 字母期望 4.7×10^17 年——宇宙年龄的 3000 多万倍。附打字机账本（目标芯片×速度滑块：MONKEY@2→308,915,776/4.89 人间档；SHAKESPEARE@2→3.670×10^15/5.815×10^7 文明档；TOBEORNOTTOBE@2→2.948×10^25/4.671×10^17 宇宙档）+ 进度对数标尺 canvas + 三题。期望按 26 键独立重复口径。
白马非马：一个「是」字骗过守关人两千年
钩子：公孙龙牵白马过关——「白马非马」，「马」言形「白」言色，关吏被绕晕放行。集合论摊牌：白马是马的真子集，辩士偷换的是「是」的两个意思。附名实关检台（白马数/马匹数双滑块：3/10→30.0% 真子集 子集档；10/10→全同 全同档；0→空集 空集档）+ 集合圈 canvas + 三题（非「不属于」✓/全同时成立✓/名家有逻辑价值✓）。过关马匹为教学场景。
子非鱼，安知鱼之乐：濠水桥上的他心问题
钩子：《庄子·秋水》桥上抬杠：子非鱼，安知鱼之乐？——他心问题今天还在哲学系课堂上。附濠上辩盘（四步顺序闯关：惠子发难→庄子反问→惠子退半步→庄子收网；乱序 0/4 顺序错了；依序 4/4 濠上档）+ 他心立场台（类比 62.0 类比档/行为 78.0 行为档/怀疑 0.0 悬置档，教学取值）+ 濠水桥 canvas + 三题。
屋里那位对答如流，却一个汉字都不认识：中文屋
钩子：1980 塞尔中文屋——不懂中文的人照手册查表对答如流，屋外以为坐着大师。四十年后小屋搬进每台手机。附规则手册台（轮数滑块×视角芯片：办事员 70.0/0.0 空白档；35 轮 95.0 流畅封顶；整间屋 100.0 系统档；手册 0.0 符号档）+ 小屋示意 canvas + 三题（流畅≠懂✓/系统回应✓/未关死 AI 理解✓）。流畅度/理解度为教学取值；只讲哲学论证不讲工程。
一把剃刀砍掉 79 个本轮：奥卡姆的省钱定律
钩子：托勒密地心说要 80 来个本轮才能算准行星；开普勒 1 个椭圆全替了——奥卡姆的威廉：如无必要，勿增实体。附解释竞争台（三案例×λ 滑块：地心 λ=2→-65 vs 90 剃刀档；λ=0→95 vs 92 拟合档；五点 λ=5→78 vs 75 直线档；上班路线 λ=6→大道档）+ 得分双柱 canvas + 三题（简单≠免检真理×/λ=0 误差王✓/地心输在假设税✓）。假设数/误差为教学取值，本轮数为科学史传言口径。
大脑抢先 350 毫秒：自由意志的计时官司
钩子：1983 利贝特实验——大脑「准备电位」比你报告的决定时刻早约 350 毫秒：你还没决定，大脑已发车。附决策时钟（领先量滑块×三解读：350→200ms 否决窗口 通知档；500→350 否决档（free won't）；200→50 测不准档）+ 双时间轴 canvas + 三题（非板上钉钉✓/利贝特留了否决权✓/Soon 2008 是加剧非反转×）。W 时刻为主观回溯报告，教学简化；划界大化流变论/人体使用说明书。
你来当馆长：把任何难题关进剧场的十步
收官：十四场戏散场，剧场交给你——十步工序把任何难题关进舞台（定义术语/拆开直觉/逛变体画廊/换位置站站/算一笔账/过四道闸/挥一次剃刀/找反例/划清边界/写下判词）。附开馆决断台（5 开关：全开 开馆 GO；只关变体 变体档；再关四闸 NO-GO；点回实时重算；其余复核档 N=未开数）+ 十步开题顺序闯关（乱序 0/10 顺序错了即归零；依序 10/10 十步通关）+ 徽章墙 15 枚三幕收官，预告第二季（图灵测试考场/玛丽的房间/布里丹之驴/柏拉图洞穴/纽康姆（划界博弈论）/休谟归纳（划界统计））。教学推演。