逻辑学是以推理形式、论证规范、语义结构与认知建模为核心研究对象的基础学科，支撑人工智能可解释性、知识表示与推理、法律论证、语言计算与国家治理现代化。浙江大学该专业隶属010104逻辑学，依托哲学学院及浙江大学逻辑与认知研究所、浙江大学语言与认知研究中心（CSLC，国家"985工程"哲学社会科学创新基地）、浙江大学-卢森堡大学高等智能系统与推理联合实验室（ZLAIRE）等平台，并与脑机智能全国重点实验室深度交叉，聚焦人工智能逻辑与形式论辩、语言逻辑与认知语用学、逻辑哲学与逻辑史、认知逻辑与模态逻辑四大主干方向，并拓展可解释人工智能、机器伦理、法律逻辑与数字法治、类型论与数学哲学、多智能体系统逻辑等前沿交叉领域，致力于培养兼具严密形式化能力、深厚哲学素养与跨学科整合视野的高层次复合型研究人才。

学科沿革 ：浙大逻辑学研究传统可追溯至1947年浙江大学哲学系创建之初。1952年院系调整后，哲学学科并入政治学系；1980年杭州大学重建哲学系，1987年浙江大学恢复独立哲学系建制，逻辑学作为基础课程与研究方向同步恢复。1998年四校合并后，整合原浙江大学、杭州大学逻辑学教研力量，形成新的逻辑学教学科研团队。2005年，浙江大学语言与认知研究中心（CSLC）获批为国家"985工程"哲学社会科学创新基地，以逻辑学为核心支撑学科，涵盖哲学、认知科学、语言学、人工智能、心理学等多学科领域，成为国内文理兼容的跨学科研究标杆。2022年12月，浙江大学哲学学院正式成立，逻辑学为九个二级学科之一，下设逻辑与认知研究所（所长廖备水教授，副所长金立教授），现有教师8人，其中教授3人（含高层次人才2人）、副教授2人、百人计划研究员3人。近年来，学院与卢森堡大学共建ZLAIRE联合实验室，承担国家社科基金重大项目"新一代人工智能驱动的逻辑学研究""基于逻辑视域的认知研究"等标志性课题，获第二十二届浙江省哲学社会科学优秀成果奖一等奖，是国内逻辑学与人工智能交叉研究的重要学术重镇。2026年初，"AI时代的逻辑与认知发展论坛"在浙江大学成功举办，标志着该学科在智能时代的新布局。

导师队伍 ：廖备水 求是特聘教授、教育部长江学者特聘教授（人工智能逻辑、可解释人工智能、机器伦理，浙江大学哲学学院与计算机学院双聘博导，脑机智能全国重点实验室兼聘教授，国家社科基金重大项目"新一代人工智能驱动的逻辑学研究"首席专家，ZLAIRE联合实验室主任，浙江大学"双脑计划"交叉创新团队负责人）；黄华新 教授（语言逻辑与认知逻辑、认知语用学、符号学，浙江大学人文学部主任，CSLC主任，中国逻辑学会副会长，浙江省逻辑学会会长，国务院特殊津贴获得者，国家社科基金重大项目"基于逻辑视域的认知研究"首席专家）；金立 教授（语言逻辑、非形式逻辑、论证理论、中国逻辑思想，逻辑与认知研究所副所长，浙江省逻辑学会执行会长，国家社科基金项目"智慧化时代背景下的论辩理论及其应用研究"负责人）；胡龙彪 副教授（现代逻辑与西方逻辑史、逻辑与哲学及神学交叉研究，中国逻辑学会理事，中国辩证逻辑学会常务理事、副秘书长，浙江省逻辑学会副会长）；熊明辉 教授（非形式逻辑、法律逻辑、法律论证、人工智能逻辑，浙江大学数字法治实验室主任，浙江大学-卢森堡大学ZLAIRE研究员）；Bruno Bentzen 百人计划研究员（数学哲学、逻辑哲学、类型论，捷克科学院哲学研究所及卡内基梅隆大学博士后）；罗捷婷 百人计划研究员（多智能体系统逻辑、模态逻辑，荷兰乌特勒支大学博士，CWI、TU Delft、伯尔尼大学博士后）；高洁 长聘副教授（形式知识论、决策论、人工智能哲学，爱丁堡大学博士，Asian Journal of Philosophy副主编）。团队还聘请北京大学逻辑、语言与认知研究中心、中山大学逻辑与认知研究所、荷兰阿姆斯特丹大学ILLC、美国德克萨斯大学奥斯汀分校等机构专家担任兼职导师与合作研究员，形成"形式逻辑-语言认知-AI推理-论证实践"全链条育人格局。

培养特色 ：实行"形式化训练+跨学科交叉+国际联合+问题导向"四位一体模式。核心课程覆盖数理逻辑、模态逻辑、哲学逻辑、逻辑史、语言逻辑、认知逻辑、论证理论、人工智能逻辑、科研方法论与学术写作等；学术型硕士须在导师指导下完成基于形式化建模、语义分析、计算实验或哲学论证的原创性研究，鼓励参与ZLAIRE联合实验室国际合作项目、脑机智能全国重点实验室交叉课题、赴荷兰阿姆斯特丹大学ILLC、卢森堡大学、美国CMU哲学系等国际顶尖机构交流。学院依托浙江大学计算机学院、脑机智能全国重点实验室的理工科优势，学生可跨院系选修人工智能、计算机科学、认知神经科学等前沿课程，参与之江实验室、阿里达摩院等科技企业的AI推理与可解释性实践。学生在"全国逻辑学研究生学术论坛"、中国逻辑学会年会、国际形式论辩研讨会（COMMA）、国际多智能体系统会议（AAMAS）屡获佳绩，毕业生广泛就职于高校科研院所、互联网企业AI研发部门、法律科技与数字法治机构、公务员系统（司法/立法/政策研究）、国际组织及科技智库。

保研要求 ：2026年招收010104逻辑学术型硕士，计划招生约6–10人。推免网申预计2025年9月上旬开放，需提交代表性论文/研究报告、个人陈述、两封专家推荐信及科研能力证明（如英语六级≥460、掌握一阶逻辑及模态逻辑基础、熟悉Python/Prolog/Coq等编程或证明辅助工具优先）。本科背景以哲学、数学、计算机科学、语言学等专业为主，欢迎法学（法律逻辑方向）、心理学（认知科学方向）、人工智能等跨学科申请人。有高质量学术论文、国家级大创项目、逻辑学或AI相关竞赛（全国大学生逻辑学竞赛/数学建模/ACM）获奖、形式化证明或自然语言处理项目经历者优先。复试含专业面试（逻辑问题即兴分析、研究设想陈述、形式化方法论证），高度重视推理严密性、抽象建模能力与跨学科问题意识，建议提前12个月确定研究方向并联系意向导师。

辅导要点 ：①经典逻辑与扩展：命题逻辑与一阶逻辑完备性定理、模型论基础、哥德尔不完备定理、模态逻辑（K/T/S4/S5系统）、时态逻辑、认知逻辑（S5与公共知识）、条件句逻辑与反事实推理；②人工智能逻辑与形式论辩：可废止推理（Defeasible Reasoning）、论证框架（Dung AF）与攻击/支持关系、结构化论辩（ASPIC+）、非单调逻辑、信念修正（AGM理论）、多智能体认知逻辑、可解释AI的逻辑基础；③语言逻辑与认知语用学：自然语言语义形式化、广义量词理论、隐喻的逻辑计算、语用推理（格赖斯会话含义/关联理论）、预设与蕴涵、汉语句子的逻辑分析；④论证理论与非形式逻辑：图尔敏论证模型、批判性思维与谬误分析、佩雷尔曼新修辞学、 pragma-dialectics（语用论辩术）、中国古典"推类"思想与类比推理、法律论证与司法推理；⑤逻辑哲学与逻辑史：亚里士多德三段论与中世纪逻辑、弗雷格-罗素现代逻辑奠基、直觉主义逻辑与构造性数学、逻辑多元主义与反逻辑主义、维特根斯坦逻辑哲学、类型论（从罗素到Homotopy Type Theory）；⑥认知逻辑与多智能体系统：动态认知逻辑（DEL）、公告逻辑、博弈论与逻辑、社会选择理论的形式化、群体知识聚合与判断聚合；⑦方法论：形式语义学（可能世界语义/博弈论语义）、证明论（自然演绎/序列演算/ tableaux）、计算复杂性分析、Coq/Lean形式化证明、Python/Prolog逻辑编程、语料库方法与实验哲学；⑧前沿热点：大语言模型的推理能力与逻辑局限、AI对齐中的价值形式化、脑机接口与认知增强、"十五五"人工智能发展规划中的逻辑基础研究、中国逻辑思想（墨辩/名学/推类）的当代重构、青年学者如何参与国际形式论辩与多智能体系统学术共同体。

面试训练侧重典型逻辑问题即兴分析（如某论证的有效性判定与谬误识别、某模态公式的语义解释、某AI推理系统的可解释性方案设计、某法律论辩的逻辑结构重构）、研究设想逻辑论证（从推理现象到形式化问题凝练再到技术路径设计）、形式化严谨性与哲学深度的平衡能力。文书应体现对"推理何以可能"的根本追问、扎实的形式化功底、避免空谈"逻辑有用"而缺乏具体技术细节，强调"以形式之精确把握思维之深邃"的学术取向。

咨询保研报名事宜，请拨打4000003363，或添加微信13671344286，获取一对一详细解答。