在中山大学，啃了四年逻辑学，毕业六年，我们宿舍四人没一个搞学术

我是2020年从中山大学哲学系逻辑学专业毕业的。到今年2026年，六年。

逻辑学在中山大学的处境，怎么说呢，往好了说是全国数一数二的逻辑学重镇，往难听了说是康乐园里最不为人知的一个角落。哲学系在锡昌堂，红砖绿瓦那栋老楼，跟怀士堂隔了一片草坪。大一开学典礼，系主任站在讲台上说：“你们是全国最后一批高考直接招生的逻辑学本科生。”底下没几个人听懂这句话的意思。后来才知道，逻辑学在很多学校根本不招本科，研究生阶段才开。

大一宿舍卧谈，四个人聊为什么选这个专业，没人说热爱。老大说他第一志愿哲学，被逻辑学截胡了。老二说他报了中大几个冷门专业，就这个录取了。老三最诚实，说我高考数学考砸了，没敢报经管，听说逻辑学要学数学就来了。我说我是调剂进来的，收到短信时压根不知道逻辑学是干啥的。四年念下来我们才明白，逻辑学跟日常生活那个“你说话要讲逻辑”完全两码事。数理逻辑、模态逻辑、集合论、证明论、模型论，随便拎一门课出来都能把人学到怀疑人生。

如今毕业六年，我们四个人做的职业彼此之间风马牛不相及，但都跟“逻辑”这两个字，多多少少还沾着点边。

室友A：河北保定人，唯一一条路走到黑的，去了荷兰读博后还没回国

老A是我们宿舍真正的学霸。保定人，说话慢条斯理，做事有一种钟表般的节奏。大学四年他坐在宿舍最里面那张桌子，桌面永远是一摞外文文献和一本翻烂了的《递归论》。

大三那年他决定出国，方向是数学哲学和可计算性理论。他考了GRE和托福，申请材料里写了一篇关于图灵机与人类认知边界的个人陈述。大四那年他拿到了荷兰阿姆斯特丹大学的offer。2020年夏天我们都在打包行李准备离校，他还在宿舍跟导师视频会议，聊一个哥德尔不完备定理的扩展问题。现在六年过去，他在学术这条路上走成了我们当年觉得不可能的样子——博后阶段已经发了两篇Journal of Philosophical Logic和一篇Journal of Symbolic Logic，在我们眼里算是登顶了。

前阵子他在群里发了一张照片，阿姆斯特丹大学哲学系楼下的运河边，自行车停了一排。他说国外学术圈确实自由，但也孤独。他到现在还是一个穷博后，合同一年一签，未来的教职完全不确定。他偶尔看国内同学买了房生了娃，也会恍惚。

室友B：浙江杭州人，毕业直接进大厂，现在在AI公司训练大模型

老B是我们宿舍最让人看不懂的人。杭州人，父母做服装生意。他性格很闷，平时话不多，但一开口往往戳在点子上，逻辑学上课他回答问题总用那种“你这个前提在模态系统下不成立”的句式，老师说他脑子带钩子。

大二那年他忽然迷上了编程。他不是玩玩而已，他在宿舍床上贴着李开复的海报，每天在MOOC上刷Python和数据结构。大三那年他辅修了计算机的双学位，毕业那年秋招拿了字节跳动和商汤科技的offer。他去了字节做算法，但没待满两年就觉得不太对，他说大部分工作是在调参跑实验，跟他想的不太一样。后来跳去杭州一家AI公司做自然语言处理的底模。他说逻辑学帮他理解了Transformer架构里的推理链路——当语言转化为向量，向量在模型里流转的时候，那个过程有点像在推导一个极其复杂的逻辑证明。去年他的年薪到了五十多万。去年底他在群里发了一条消息：“如果哥德尔还活着，他会怎么看待大语言模型。”没人回他。

室友C：湖南长沙人，考了两次公务员，现在在税务系统

老C是我们宿舍最务实的人。长沙人，性格爽朗，说话直来直去。大一学真值表学到崩溃，他在宿舍摔笔：我以后要是靠这个吃饭，我全家都得喝西北风。大二那年他开始关注国考省考。他跟我算过一笔账：长沙公务员一年到手十二三万，虽然不算高，但离家近、稳定、食堂一天三顿。

逻辑学考公有优势，行测里的逻辑推理、定义判断、类比推理全是逻辑学的基本功。那些图形推理、数字推理，就是把离散数学和组合逻辑换了个马甲而已。别人刷行测刷到怀疑智商，逻辑学的学生上手比一般文科生快得多。2020年毕业那年他国考报了深圳税务，竞争太激烈没过。第二年省考报了老家湖南的税务局，笔试面试都过了。现在他在长沙市一个区税务局干了快五年，副科长。他跟我说他的日常工作就是看企业报表、查账、跟纳税人在窗口打交道，每年企业所得税汇算清缴那两个月是他最忙的时候，加班能加到凌晨。

最后是我，分享人：河南周口人，辗转做了辩论教练

我是河南周口农村出来的。选逻辑学是一场彻底的误打误撞——高考数学考砸了，以为逻辑学是学文科的，收到录取通知书才知道是数学和哲学的交叉学科。大学四年我很努力，但成绩一直在中下游。

大三那年我加入了中大辩论队打华语辩论锦标赛，拿了华南赛区的亚军，那是我大学最高光的时刻。我发现学了三年逻辑学再回来打辩论，突然会拆对方的论证了：你前提没共识你怎么推出结论、你这个滑坡论证犯了连续归谬的错误、你诉诸权威又不是有效论证。毕业后我在广州一家辩论培训机构做课程研发，专门给中学生打比赛做培训。去年开始自己做工作室，接各种辩论赛的评委和教练，去年到手大概十八万。这个收入在广州不算高，但工作自由。

今年年初我去中大南校区参加一个辩论讲座，讲完路过锡昌堂，路灯底下那栋红砖楼安静得跟当年一模一样。我站了一会儿，想起大二考数理逻辑期中，我考了62分，老A考了98分。我在宿舍哀嚎说这专业没法读了，老B在旁边冷冷地说：“你先把全称量词和存在量词分清楚再哀嚎。”我骂了他一句，然后继续翻那本我至今没完全看懂的模态逻辑教材。

逻辑学这个专业，说好听点是哲学加数学交叉的贵族学科，说难听点是哲学系边缘专业的边缘。它不像法学、经管有明确的职业通道，也不像计算机、医学有肉眼可见的高薪。但它的训练是实打实的——怎么识别论证里的谬误，怎么在不确定的条件下做推理，怎么把一个复杂问题拆解成可操作的命题，怎么在不同系统之间切换规则。这几样东西，放到哪个行业，都是硬通货。我们宿舍四个人，博士也好，大厂也好，税务也好，辩论也好，某种意义上都在靠当年被虐出来的那种思维方式吃饭。

如果你也在读逻辑学，或者正在犹豫要不要报，我想说的是这个专业不会承诺你任何出路，但它会教你一种极稀缺的本事：在满地谬误的世界里，知道怎么分清哪些是前提，哪些是结论，哪些是噪音。