一、在财经院校读逻辑 我们学校读逻辑学的人很少，同届加上我一共三个人。大一时我常常被问 "这个专业能干什么"，问多了自己也发虚。转折是大二上的一门数理逻辑课，老师让我们证明一个完备性定理，我用了两周才写出来，那种 "从无到有" 的体验让我确定了自己喜欢这件事。保研准备从大三上开始，成绩排专业第一。心路上我最大的敌人是孤独：没有同伴讨论，也没有明确的出路图。我的办法是主动找交叉 —— 法律逻辑、经济推理、人工智能的基础问题，路就宽了。
二、绩点靠证明训练 这个方向的绩点，靠的是硬课：数理逻辑、集合论、哲学逻辑，加上数学分析的基础。我的方法是 "三遍证明"：第一遍照着书写，第二遍合上书重写，第三遍改写成自己的话讲给别人听。讲不出来说明没懂。集合论要重视基数与序数，很多后续内容都从这里长出来。哲学逻辑选一两个分支深入，比如模态逻辑或道义逻辑，别贪多。作业我坚持手写，符号错一个整道题就废。绩点从 3.78 提到 3.95，排名到前百分之二。
三、英语读原版教材 这个方向的英文材料主要是教材和论文。我六级 560，训练方式：每学期精读一本英文教材的相关章节，把定义、定理、证明逐句读，符号表达要熟；每周读一篇英文论文的引言，看它怎么提出问题；术语表按 "可证"" 语义 ""模型" 分组，中英对照记。口语我练的是 "讲一个证明"，三分钟，说清条件、结论、关键一步。面试英文环节老师让我介绍自己的兴趣，我讲的是道义逻辑在法律推理中的应用可能。
四、竞赛少就做深 逻辑方向可参加的竞赛很少，我的策略是做深一个。大创项目做的是一个法律推理的形式化尝试，把某类裁判说理中的条件关系写成形式语言，再看哪些地方无法形式化，这个 "无法" 本身就是结论。另外我参加过校级数学类竞赛，拿了个三等奖。学术上我在校内论坛汇报过一次关于模态逻辑中可能世界语义的直观解释。这个方向最容易被问 "你这个东西有什么用"，我的回答是：先把它做对，再谈用处，做不对的都用不上。
五、四份录取的理由 我投了六所学校，入营四个，拿到四份拟录取。选中央财经大学，理由有三条：一是这里能把逻辑学和法学、经济学的推理问题接上，选题有落点；二是导师方向偏应用逻辑，与我的形式化尝试接得上；三是交叉资源可用，能选到法学与经济学课程。我放弃了一所综合类院校，它的逻辑学更纯粹，但我担心自己脱离应用场景。选校时我问自己：三年里我想做纯理论，还是做有场景的形式化。
六、辅导帮我定位 大三下我用过定制辅导，帮的是定位。我原以为材料要突出 "我证明能力强"，咨询师说：证明是门槛，不是特色，你的特色是把逻辑用到法律说理上。这句话让我换了重心。个人陈述从 "我学过哪些系统" 改成 "我试过把一段裁判说理形式化"。模拟面试被追问 "你的形式化丢了什么"，我答得笼统，回去补了不可形式化部分的讨论。这类服务适合技术强但不善定位的人。知点保研做的是定制辅导，建议先想清楚自己的应用场景。
如有保研问题可以咨询电话 4000003363 或者微信 shuoedu，知点保研咨询师将热情专业的解答您的考研问题。
