一、从一句话到一个方向
我第一次认真看待“逻辑”这两个字，是在本科的一次辩论赛复盘上。当时我们赢了，评委却只说了一句：你们的结论没错，但中间的桥是空的。那句话我一直记着——原来一个人可以一路说对，却从来没有真正推出过什么。
后来我读了些书，从三段论到模态逻辑，从哥德尔不完备定理到认知逻辑里的“共同知识”。最打动我的不是那些漂亮的定理，而是它们共同的脾气：每一步都必须有出处，不允许用语气代替理由，也不允许用直觉代替证明。这和我后来做过的一些事形成了对照。我曾在一家做内容审核策略的机构实习，日子过得很具体：规则版本号、误判样本表、标注口径迭代、召回率与准确率汇总表，还有评审会上那句“指标达标、可以上线”。有一次我交了一份优化复盘，写着“误判下降、覆盖提升、可以推广到全量”。带我的老师没否定我，只是把同一批数据按类别切开的原始台账摊开，指着那几个被归进“边界模糊、暂缓统计”和“标注争议、予以剔除”的样本问了一句：这个“下降”，是规则真的变好了，还是你只留下了最好判的那批，再给它配一个现成的结论？
那天我从会议室出来，我第一次承认，自己对上的是一张挑出来的前后对比表，而不是那个因为系统性地把最难安置的样本提前排在了评价之外、才把成效做漂亮的版本。我把一次试验跑顺了当成了判断力找到了。于是我想回去读书，想回到“前提—推理—结论—有效性”这四者关系的道理本身，而不是它的交付话术。我报了中国科学院大学的逻辑学。
备考的十六个月，白天我在图书馆和自习室之间跑，晚上回到书桌前背政治、刷英语、推公式。查到拟录取那天我没有欢呼，只是把那本翻散了页的笔记塞进书架最上层，心里很安静。我知道自己终于不用再靠猜来解释一段论证了。
二、公共课：慢一点，反而快
先说三个容易翻车的事实，而且方向各不相同，串起来就是灾难。
第一，国科大逻辑学考数学，而且是303数学三。 很多人冲着“哲学”两个字来，默认文科不考数学，结果备考半年才发现第三单元是数学三。国科大2027年初试科目设置公告写得很清楚：010104逻辑学考101思想政治理论、201英语（一）、303数学（三）、890哲学综合；而同属哲学门类的伦理学、科学技术哲学等其他专业，第三单元是614科学技术史。同一个一级学科，两条完全不同的路线，千万别拿兄弟专业的资料备自己的课。 顺便提醒一句，北大、山大等校的逻辑学也已改为考数学三，这是学科趋势，不是某校的偶然安排。
第二，英语考的是英语一，不是英语二。 同校部分专业学位考英语二，而你这个学术型专业考英语一。“专硕等于英语二”的经验在这里不适用；反过来拿英语二的难度估分，最后会栽在小分上。我从三月起每天留一小时，单词天天见，阅读一天一篇精读，拆主干、圈同义替换，顺手攒专业词汇：validity、soundness、entailment、modal logic、possible worlds、predicate、completeness、incompleteness、induction、paradox、counterfactual、game theory。后来读外文文献摘要、看ESSLLI的公开课讲义、复试英文文献口译，都是这笔账的利息。写作我自己搭框架，反复改到看不出模板痕迹。这门学科要求人把定义、假设、推理和边界讲清楚，英语也是。
第三，分数线要看三年区间，更要看单科硬杠。 国科大逻辑学2025年复试线为总分321分（政治39、外语39、两门专业课各59），2024年为333分（47/47/71/71）。波动不小，且单科线是真硬杠——总分过了、专业课差两分，一样进不了复试。这是最容易被忽略的杀手。
政治我不赶进度，只求看懂。前期慢慢过知识点，中期练选择题，后期写主观题。我的做法是把素材和专业的现实指向绑在一起：科技自立自强与基础研究、人工智能治理与可解释性、算法推荐与信息茧房、科学精神与学术规范、批判性思维与公民素养、数字时代的论证与谬误。每个主题我都逼自己写三层：它是什么、为什么此时提出、在逻辑学上怎么落地，再配一个容易混淆的概念，比如“相关显著”不等于“因果成立”，“模型准确”不等于“论证有效”，“多数人认同”不等于“结论为真”，“技术可行”不等于“规范正当”。这样写出来的主观题是有血肉的，复试面试也用得上。
数学三我从四月起步，分四层推进：微积分（极限、一元多元微分、级数、重积分）、线性代数（行列式、秩、方程组解的结构、特征值与对角化、二次型）、概率论与数理统计（随机变量、分布、数字特征、大数定律与中心极限定理、点估计）。这一层的命门是“前提条件”：什么时候可以换积分次序、什么时候可以用中心极限定理、什么时候极大似然估计存在。我给每个定理旁边都注明它的前提，答不出来就退回定义。丢的分多半是跳步和条件漏写，不是不会。我还建了一份错因档案，每周回看，逼自己回答：核心机制是什么、陷阱在哪、我最常错哪一类。
顺带说一句：数学三是你和890之间的桥，不是隔离墙。 概率论里的条件概率与贝叶斯，直接对应认知逻辑里的信念更新；集合与映射的语言，直接对应模型论语义；归纳与极限的思想，直接对应不完全性定理的直觉背景。我把这两头各抄了一遍，抄到第二遍的时候才发现，很多“背不下来”的东西其实是数学没熟。
三、专业课：把书读薄，再读厚
890哲学综合是学校自命题，满分150分，闭卷三小时。这门课最大的特点是“按报考方向分模块”：逻辑学、伦理学、科学技术哲学各有相应的考查侧重，你报逻辑学，就重点准备逻辑学模块（含数理逻辑、哲学逻辑基础及相关哲学素养），具体范围、题型与分值分布以当年考试大纲为准。网上流传的“哲学综合通用资料”大量是拼凑他校或他模块版本的，拿着它会严重偏离本校命题习惯。
我不按书名复习，我按四条主线整理，每条主线都逼自己回答三个问题：它处理什么问题、形式化是怎么做的、什么情况下失效。
第一条主线 传统逻辑与论证分析。 概念、判断、推理；直言命题与对当关系；三段论的规则与格的判定；复合命题与真值表；常见谬误（偷换概念、诉诸人身、滑坡、假因果、循环论证）。这一层的命门是“形式化能力”：拿到一段自然语言论证，必须能先翻译成命题或谓词语言，再谈有效性。易错点：把“有效”和“真”混为一谈、把“蕴含”和“因果”混为一谈、忽略量词辖域、把必要条件和充分条件说反。
第二条主线 数理逻辑。 命题逻辑的形式系统（语法、语义、可靠性与完全性）、一阶谓词逻辑（语言、结构、满足、前束范式）、演绎系统与自然演绎、紧致性定理、哥德尔不完全性定理的直观表述与意义（不必会证全部细节，但必须能说清“它说了什么、没说什么、常被误读成什么”）。这一层的命门是“元理论与对象理论的区分”：语法vs语义、可证vs有效、系统内vs系统外。我强制自己每学一个定理都写出三层：陈述、直观想法、失效的反例在哪。易错点：把完全性定理和不完全性定理搞混、把“不可判定”理解成“人类无法知道”、把哥德尔定理当成不可知论的许可证。
第三条主线 哲学逻辑与非经典逻辑。 模态逻辑（可能世界语义、K/T/S4/S5的可及关系性质、必然与可能的互定义）、认知逻辑（知识与信念的区别、正自省与负自省、公共知识与分布式知识）、时态逻辑、条件句逻辑、直觉主义逻辑、多值逻辑与模糊逻辑、次协调逻辑。这一层的命门是“语义决定逻辑”：换一条可及关系的性质，整个系统就变了。我把每条公理和它对应的框架条件成对记忆，并逼自己说明：如果去掉这个条件，哪些公式不再有效、为什么。易错点：把S4和S5的条件记串、把知识与信念的公理差异说反、把多值逻辑理解成“真理是相对的”。
第四条主线 逻辑史与逻辑哲学。 亚里士多德、斯多亚、中世纪、莱布尼茨、弗雷格、罗素、哥德尔、塔斯基、克里普克；真理理论、指称与意义、分析与综合、逻辑主义与形式主义之争；以及逻辑在当代的应用（人工智能的知识表示、非单调推理、默认逻辑、博弈与社会选择）。这一层是论述题的高分区，也是最能体现“国科大特色”的地方：学院依托中国科学院的科学与人文交叉优势，重视科学与人文融合，欢迎理工科背景考生。我每个专题都写成“问题—方案—困难—后续”四段，并准备了一个能落到中国语境的例子。
手上功夫不能省。九月起我每周一次三小时限时手写：名词解释按“定义—形式表达—意义—易混点”踩点，五分题绝不只写一行；简答用总分总结构，论点先行、要点编号，结尾回扣题干设问；论述题必须有明确论点、具体例子和边界说明；凡涉及证明或推导的题目，必须写清所用系统与规则名称，哪怕中间算错也有步骤分。丢的分多半是这几类：只有结论没有推理过程、符号书写不规范（量词辖域、括号省略不当）、把不同系统的公理混用、术语中英文前后不一、时间分配失衡（名词解释写太久导致论述题只剩半页）。我还建了一份错因档案，每周回看一次。
另外两件必须提前做的事：一是读原典和论文。我在十一月起每周精读一小节原典或一篇本方向老师的论文，记下“问题—定义—定理—直观想法—局限”。二是动手练形式化。我用纸笔或简单的程序做过几组练习：把自然语言论证翻成一阶语言、构造小模型验证可满足性、画 tableaux 或自然演绎树。复试被问到“你做过什么”时，能说出一件经得起追问的事，比背十句空话有用。
四、要不要报班
这件事没有标准答案，但有几个硬事实要先说清，否则一年白干。
第一，盘子极小，信息不对称极大。 国科大逻辑学设在人文学院（单位代码80088），学院拥有哲学、科学技术史两个一级学科博士学位授权点和哲学、科学技术史、新闻传播学三个硕士学位授权点，逻辑学的研究方向主要是哲学逻辑（模态逻辑、认知逻辑、邻域语义、日常推理、不确定性推理、科学定律的形式表达等），师资包括张立英、范杰等老师。但2026年逻辑学预计招生仅3人（全日制），且推免要占掉一部分，统考实际名额是个位数甚至更少。这意味着容错空间极小，不能用“往年录取均分”安慰自己，也不能指望靠一门课逆袭。
第二，科目经历过调整，别拿旧真题当圣经。 早年间人文学院逻辑学的初试科目曾为747哲学综合加995逻辑学，近年已调整为201英语一、303数学三、890哲学综合。同样是“国科大逻辑学”，年份不同，考的完全是两套东西；同理，同院的伦理学、科学技术哲学考614科学技术史而非数学三，跨专业借资料的人最容易在这里翻车。真正性价比最高的一步是：去国科大招生信息网下载当年890考试大纲逐条标记教材，你会发现高频考点高度集中（有效性与可靠性、完全性与不完全性、模态语义与公理对应、知识与信念的区分、谬误识别与论证重构、哥德尔定理的意义与常见误读），而低频内容投入产出比极低。
第三，复试是真刀真枪。 复试采取差额形式，比例一般不低于120%，复试成绩不及格者不予录取；总成绩折算办法以当年复试办法为准；同等学力考生须在复试阶段加试至少两门本科主干课程，不及格不予录取，且不组织破格复试。人文学院的面试偏重学术潜力：老师会追问你读过什么、能不能现场把一个论证形式化、能不能指出自己观点的漏洞。靠背书混不过去，靠真诚和思考可以。
如果是零基础转逻辑、二战、或者手上资料年份不明的情况，就别硬扛自学，找人帮你排一排节奏，省下的是一年时间。我目前在新祥旭考研担任人文社科方向的专业课辅导老师，带的是一对一规划。我会先看你的本科背景（哲学、数学、计算机、语言学或跨考）、数理基础、可用时间，帮你逐条核对当年目录与报考条件，确认890的大纲版本、考查模块与参考书有无调整，再把公共课与专业课的四轮复习表（数学三四层推进—传统逻辑与论证—数理逻辑—哲学逻辑—逻辑史与前沿—真题限时与错题回炉）、三轮背诵与模考时间表，以及复试抢跑计划（英文文献口译、原典精读清单、形式化训练、专业问答）一条一条排出来。新祥旭考研的全科定制辅导可以按你的基础和时间量身定制方案，公共课和专业课一起排，不让你在某一门上耗掉全部精力。如果你正在备考中国科学院大学逻辑学（010104），欢迎来找我聊聊。
（文中涉及的专业代码、报考条件、初试科目、考试大纲、参考书目、招生计划、复试办法与分数线等，请以中国科学院大学招生信息网及人文学院当年公布的官方文件为准；研究方向、考试科目、招生规模每年可能调整，报名前请逐项核对。）
