从一次"说谎者悖论"的失眠开始的坚定
决定考清华逻辑学，源于本科大二一堂逻辑学导论课上老师随手写在黑板上的那句话——"这句话是假的"。如果它是真的，那它就是假的；如果它是假的，那它就是真的。整个教室安静了大概十秒钟，然后爆发出此起彼伏的争论声。那十秒钟的沉默，是我第一次感受到逻辑学最致命的吸引力——它不给你安稳的答案，而是把你最习以为常的思维方式撕开一道口子，让你不得不重新审视"推理"本身是否可靠。后来我在图书馆翻到清华哲学系关于形式语义学与逻辑哲学的几篇论文，那种用严格的符号系统去追问"真"与"可证"之本质的研究路径，让我彻底坚定了报考的方向。
备考的日子像一次漫长的逻辑推演训练，需要不断回到公理、回到证明、回到推理规则的源头。春天我还在犹豫主攻数理逻辑还是哲学逻辑，夏天在自习室里梳理从命题逻辑到一阶逻辑再到模态逻辑的形式系统推到深夜，秋天开始感到疲惫和焦虑，冬天又咬牙坚持着走进考场。最难的不是记住某条推理规则或某个定理，而是在日复一日的形式推演中保持对"有效性"与"可靠性"的精确把握。我渐渐明白，考研就像完成一次严格的逻辑证明——重要的不是一开始就写出完美的推导，而是在反复检验中不断逼近更严谨的论证，力求抵达更精确的表达。
公共课稳扎稳打
政治是我最早开始准备的公共课。前期先系统过一遍基础知识，把框架搭好；中期开始大量刷选择题，遇到错题就回到教材对应位置重新理解；后期集中精力背大题，结合当年的时政热点整理自己的背诵手册。政治是一门投入产出比很高的科目，只要方法得当，短时间内也能拿到不错的分数。
英语一是我投入精力较多的科目。清华哲学系逻辑学专业对英语能力的要求较高，复试中有英文问答环节，部分导师的研究方向对英文文献阅读能力也有要求。单词从备考第一天背到考前最后一天，雷打不动。我用实体单词书，每天定量推进，反复循环，把不认识的词标黄重点记忆。阅读是重中之重，近十五年的真题我认真做了两遍，每做完一篇就逐句分析长难句和出题逻辑。到了后期，每天朗读一篇阅读保持语感，考前一个月开始整理作文模板。英语提分没有捷径，靠的是日积月累的坚持，急不得，也慢不得。
专业课深耕细作
清华大学逻辑学隶属于人文学院哲学系，是哲学一级学科（学术学位，专业代码010100）下设的重要研究方向之一。根据近年招生目录，哲学专业统考招生人数极少，7个研究方向合计仅招收4人左右，每个二级学科招收0-2人，容错率极低。初试科目包括101思想政治理论、201英语一（或203日语、241德语等）、303数学三或647西方哲学史（二选一），以及894数理逻辑。复试专业综合考试内容为一阶逻辑。学院未公布官方指定参考书目，根据考生经验，核心参考教材如下：
专业课一（647西方哲学史）：赵敦华《西方哲学简史》（北京大学出版社，2002年版）、邓晓芒与赵林合著《西方哲学史》（高等教育出版社，修订版）、马工程版《西方哲学史》（高等教育出版社）、希尔贝克与吉列尔《西方哲学史——从古希腊到当下》（上海译文出版社）。
专业课二（894数理逻辑）：汉密尔顿《数理逻辑》（朱水林译，华东师范大学出版社）、周北海《模态逻辑》（中国社会科学出版社，1996年版）、清华大学《GCT逻辑备考与模拟试题》、编写组《普通逻辑学》。
此外，逻辑学方向还需重点研读：王路《逻辑的观念》、陈波《逻辑哲学导论》、金岳霖《形式逻辑》、王浩《数理逻辑通俗讲话》、Enderton《A Mathematical Introduction to Logic》、Mendelson《Introduction to Mathematical Logic》、Boolos等《Computability and Logic》等经典著作，以及关注逻辑哲学、非经典逻辑、计算逻辑等前沿议题的学术文献，同时关注《哲学研究》《世界哲学》《哲学动态》《Journal of Symbolic Logic》《Notre Dame Journal of Formal Logic》等国内外核心期刊。
我的方法可以概括为"先筑哲学史根基，再攻数理逻辑纵深"。
前期我以核心教材为基础，按照"先通史框架，再形式系统，最后专题深研"的顺序逐章推进。西方哲学史部分以赵敦华版为主干，以邓晓芒版为补充，重点梳理从古希腊到当代的哲学演进脉络，尤其注重把握每个时代的"核心问题"——古希腊的存在论与逻辑学起源（亚里士多德三段论）、中世纪的信仰与理性之辩、近代的认识论转向与理性主义传统、德国古典哲学的思辨体系、现当代的语言转向与逻辑实证主义。数理逻辑部分则以汉密尔顿《数理逻辑》为核心教材，按照"命题逻辑—一阶逻辑—形式系统—可计算性—不完全性定理"的脉络系统推进。专题深研部分重点精读模态逻辑（周北海教材，重点关注可能世界语义学、S4与S5系统的区别与联系）、非经典逻辑（直觉主义逻辑、多值逻辑、相干逻辑等）、逻辑哲学（塔斯基真理论、哥德尔不完全性定理的哲学意涵、逻辑主义与形式主义之争）等核心内容，力求在形式推演与哲学反思之间建立深度关联。这个阶段的关键是"慢而稳"，不急于刷题，先确保每条推理规则都理解透彻，每个定理的证明环节都能准确复现。教材我至少通读了三遍，第一遍建立框架，第二遍结合习题死磕重点章节，第三遍用思维导图串联逻辑。
中期我开始精研真题。清华647西方哲学史的命题风格延续了"重原典、重论证、重哲学史脉络"的特点，题型通常包括名词解释、简答题和论述题，覆盖面广但侧重核心人物与核心问题。从近年真题来看，高频考点包括：古希腊哲学（柏拉图理念论、亚里士多德实体论与三段论）、近代哲学（笛卡尔"我思"与身心问题、休谟因果性批判、康德的"哥白尼革命"与先验演绎、黑格尔辩证法与绝对精神）、现当代哲学（胡塞尔现象学还原、海德格尔此在分析、维特根斯坦语言游戏）等。894数理逻辑方面，命题风格更侧重"形式推演与理论纵深"，题型包括形式证明（如给出一个一阶逻辑公式，要求构造形式证明或反模型）、定理辨析（如"哥德尔不完全性定理的内容及其哲学意义""紧致性定理的证明思路""Löwenheim-Skolem定理的哲学后果"等）和论述题（如"试论一阶逻辑的表达能力及其局限""从希尔伯特纲领到哥德尔定理：形式化方案的内在困境""模态逻辑的可能世界语义学与克里普克框架的哲学意涵"等），需要重视形式系统的精确理解，同时关注逻辑哲学前沿动态，结合教材知识点进行关联分析。对于论述题，我采用"概念界定—形式刻画—定理陈述—哲学分析—批判反思"的模式组织语言，提升答题的学术规范性和逻辑深度。
冲刺阶段，我每周安排一次全真模拟，严格计时完成试卷，模拟后重点改进表达不规范、论证不充分等问题。最后两个月，我把所有科目的精华浓缩成了十几张A4纸——框架表解决"我知道体系在哪里"，错题表解决"我知道自己哪里不稳"，必背题表解决"我知道哪些内容必须拿分"。自己亲手梳理过一遍之后，每个知识点都烂熟于心。
关于复试
清华哲学系的复试权重很高，初试与复试各占50%，这意味着面试表现至关重要，初试高分并不能高枕无忧。
复试通常包括笔试和面试两个环节。笔试重点考查一阶逻辑综合知识，题型以形式证明和论述为主，题量不大但要求推导严谨，可能涉及一阶逻辑的形式推演、模型构造、元定理证明等内容。面试环节包括个人陈述、专业问答和外语水平测试。专家提问主要围绕简历上的学术经历和科研兴趣展开，对于逻辑学方向的考生，会特别关注对形式系统的掌握深度、逻辑证明的严谨性以及对逻辑哲学前沿问题（如非经典逻辑、计算逻辑、逻辑与人工智能的交叉等）的理论敏感度，因此简历上的每一个项目都必须打磨到位，不能有模糊地带。此外，建议提前了解目标导师的研究方向，精读其近三年的代表性论文，在面试中展现出对学科前沿的关注和思考。外语测试以英文问答的方式进行，可能涉及逻辑学专业英语术语和逻辑前沿问题的英文表达，因此需要提前练习专业外语的听说能力。
关于报班的思考
考研是否报班，我觉得因人而异。如果你基础扎实、自律性强，完全可以自学；但如果像我一样对清华的命题风格摸不准，有一个靠谱的引路人会少走很多弯路。
我自己后来在新祥旭考研担任专业课辅导老师，也接触了不少备考清华逻辑学的同学。新祥旭的全科定制辅导服务会根据每位同学的专业背景、学习能力和目标分数量身制定计划，公共课和专业课均为一对一辅导，专业课由对应学校专业的直系学长学姐授课，熟悉清华的命题风格和导师偏好，能提供针对性的指导。
如果你正在备考清华逻辑学，需要专业课一对一辅导，欢迎来找我聊聊。考研这条路注定孤独，但有人同行，总会走得更远一些。愿你也能把考研这件大事，当作每天最平常的小事，然后静待花开。
