2025年9月9日，ok138cn太阳集团古天乐“晋阳讲学计划”课程《逻辑与认知》正式开课。该课程由四川大学任晓明教授主讲，共32学时。课程面向ok138cn太阳集团古天乐23级本科生开设授课，以专题形式深入剖析人工智能逻辑的基础理论与实践应用，助力学生掌握逻辑在认知科学与智能技术领域的核心应用方法。

在开课仪式上，尤洋院长对任晓明教授的到来表示热烈欢迎和由衷的感谢。尤院长强调，ok138cn太阳集团古天乐历来重视逻辑学科与前沿交叉领域的教学，而《逻辑与认知》作为衔接传统逻辑理论与人工智能实践的关键课程，既能深化学生对认知本质的理解，也能为智能时代下的知识应用提供方法论支撑，其重要性不言而喻，希望同学们能珍惜宝贵的学习机会，主动探索逻辑在智能领域的创新价值。

在第一堂课程中，任晓明教授以“人工智能逻辑”为主题为学生介绍了人工智能的核心实现途径与逻辑发展脉络。任教授指出，人工智能是指机器能够展示的智能，所有通过计算方法实现智能行为的研究都可纳入该领域，且我国高度重视人工智能发展，2025年4月中共中央政治局就加强人工智能发展和监管进行集体学习，明确需在基础理论、方法等方面突破短板。随后，他详细拆解了实现人工智能的两大路径：符号主义方法通过符号语言表示知识、以符号演算实现认知智能，具备通用性与可解释性强的优势，无需依赖大数据；亚符号主义方法基于统计学理论从数据中获取规律，如贝叶斯学习、神经网络学习等，能实现感知智能与内容生成，但可解释性弱，不擅长抽象问题解决。同时，任教授还梳理了人工智能发展史中的逻辑学演进，从1956年“逻辑理论家”展现符号推理能力，到1970年代专家系统依托非单调规则系统发展，再到21世纪符号与亚符号方法的融合，让学生清晰把握逻辑与人工智能的共生关系。

在随后的课程中，任晓明教授围绕“常见推理类型”“人工智能逻辑主要研究方向”等主题展开深入讲解。在推理类型部分，他结合实例剖析了演绎推理、非单调推理、归纳推理与溯因推理的逻辑本质：以《墨经》中“圆，一中同长也”为例，阐释演绎推理“保真”的特性，即前提为真时结论必为真；以“大熊猫团团是否以肉为主食”的论证，说明非单调推理需通过“正常性假设”或“可废止规则”处理知识的不完备性；以AI音乐推荐系统从用户行为归纳推荐规则为例，讲解归纳推理从案例到一般原理的推导逻辑；以“地面潮湿推断昨夜下雨”的场景，解析溯因推理“从现象到最佳解释”的思维路径。在研究方向部分，他还介绍了基于演绎的逻辑（经典一阶逻辑、非单调逻辑、模态逻辑）、归纳与不确定推理（归纳逻辑编程、概率理论、因果推断）、论辩逻辑等核心领域，不仅引导学生不断探索人工智能逻辑的丰富内涵，同时也生动展现了逻辑在智能系统安全、公平发展中的关键作用，通过衔接理论与实践，帮助学生建立逻辑驱动的认知与应用思维。

任晓明教授简介

任晓明，四川大学哲学系文科讲席教授，研究方向为逻辑学与科技哲学。1979至1986年在北京师范大学获学士、硕士学位，1990年获武汉大学哲学博士学位。曾任南开大学哲学院教授、西南师范大学教授，2004年至2005年赴美国堪萨斯大学访学，2021年起任四川大学文科讲席教授。

主持国家社科基金重大项目《现代归纳逻辑的新发展、理论前沿与应用研究》、教育部人文社科重大项目《逻辑学在人文科学中的应用》等课题。出版《归纳逻辑百年历程》《计算机科学哲学研究》等专著9部，主编《新编归纳逻辑导论》等教材，发表核心论文数十篇。研究成果获金岳霖学术奖、中国逻辑学会人文社会科学优秀成果一等奖及多项省部级奖项。主讲归纳逻辑、科学哲学等课程，兼任马克思主义理论研究与建设工程教材《逻辑学》首席专家。

晋阳讲学计划简介

晋阳讲学计划是以“一学科、一专业、一教学名师、一精品课程”为指引，通过聘请高校优秀教师进行课程讲授，促进我校形成教学名师、精品课程不断涌现的良好局面，为培养一流人才提供关键要素支撑的教学建设计划。

（供稿：孙嘉艺、黄菲）

初审丨吴朋飞

二审丨陈敬坤

终审丨尤   洋