2021年11月28日，“纪念中国逻辑学会科学逻辑专业委员会成立30周年学术论坛”以线上形式成功举行。本次论坛由中国逻辑学会科学逻辑专业委员会与辩证逻辑专业委员会共同主办，浙江大学语言与认知研究中心和南京大学现代逻辑与逻辑应用研究所承办。来自全国各地140多名老中青学者出席论坛。
在纪念中国逻辑学会科学逻辑专业委员会成立30周年之际，恰逢我国科学逻辑研究的代表性著作《科学逻辑》（张巨青教授主编）再版发行。为总结张巨青先生等学术前辈的奠基性学术贡献及科学逻辑领域数十年来的学术积累，本次论坛秉持继往开来的精神，在上午半场举行《科学逻辑》再版座谈会，系统回顾我国科学逻辑研究的历程及其与辩证逻辑研究的互动发展，在下午半场举行五场学术前沿报告，对科学逻辑研究前沿与动态进行研讨。
一、开幕式致辞
论坛开幕式由科学逻辑专业委员会主任、浙江大学黄华新教授主持。
中国逻辑学会会长、中国社科院杜国平教授首先致贺辞，对中国逻辑学会科学逻辑专业委员会成立30年来取得的成绩表示高度称赞；他指出，以《科学逻辑》编写者为代表的科学逻辑研究共同体在奠定学科范式、培养逻辑学人才方面做出了巨大贡献，对此他表示崇高敬意，并对该书再版表示衷心祝贺。杜国平教授指出，在当今新一轮科技革命浪潮之下，数字化、脑机结合等技术发展带来了科学研究范式的转换与科学发展模式的创新，科学逻辑迎来重要的发展机遇期；希望科学逻辑专业委员会这一学术共同体能够回应时代关切，服务国家科技发展战略需要，助力国家科技振兴与中华民族伟大复兴，创造新的辉煌。
科学逻辑专业委员会原主任、辩证逻辑专业委员会主任、南京大学张建军教授做论坛开幕致辞。他首先回顾了张巨青先生对于我国科学逻辑事业的奠基性贡献以及科学逻辑的发展历程。他指出，中国逻辑学会科学逻辑专业委员会在1991年成立，是建立在我国科学逻辑研究已有长足发展的基础之上的，而1984年出版的《科学逻辑》，被公认为我国科学逻辑的奠基之作。在1991年12月于珠海举行的全国首届科学与逻辑研讨会暨科学逻辑专业委员会成立大会上，与会学者就“科学发现的逻辑机理”、“科学理论的评价与选择”以及“悖论研究的方法论价值”等主题展开了热烈研讨，选举产生了以张巨青先生为主任的科学逻辑专业委员会。30年来，尽管作为理论之背景域的现实发生巨变，但由《科学逻辑》奠基而衍生的系列成果，其理论精华和应用价值历经时间检验仍然熠熠生辉，显示出其高度的前瞻性与当下启发价值。
张建军教授认为，《科学逻辑》所取得的成就，与张巨青先生数十年学术积累密切相关，是数十年逻辑教学与研究所凝结的学术精品。张巨青先生学术研究最突出的特色在于长期致力于逻辑学方法论功能的多维视域的深度开掘，系统把握多向度之间的互动融合机制。其学术贡献从总体上可概括为如下四个方面：其一，形式逻辑方法论功能的正本清源；其二，辩证逻辑与形式逻辑互补机制的精致把握；其三，科学逻辑的开拓性探究与系统性建构；其四，科学方法论的社会视域的探索。正是基于形式逻辑与辩证逻辑的融合视域的开启，张巨青先生早在上世纪五六十年代参与国内逻辑学大讨论之时，就已经对科学研究中具有特殊方法论功能的逻辑方法展开了探索，并精到地把握到，科学假说是形式逻辑的方法论功能在科学研究中最重要的体现。这些学术观点通过《论假说》《再论假说》等文章产生了重要而持久的影响。也正是基于多维融合视域的开启，一种建基于社会实践论之上、以科学活动各环节（科学发现、检验与发展）的逻辑机制探索为对象、以形式逻辑与辩证逻辑的互补机制为枢纽的新型科学逻辑研究纲领也形成了雏形。这为改革开放之后开拓国内辩证逻辑研究的科学方法论学派和以逻辑与历史相统一为特征的新型科学逻辑建构奠定了坚实基础。这种科学逻辑建构的突出特点，就是在其全面启动之初，即确立了在逻辑主义与历史主义之间维持必要的张力、探索其对立互补机制的研究指针。也正是通过《科学逻辑》一书的编写，张巨青先生精心组织了科学逻辑的老中青研究团队，随后陆续推出了专著《自然科学的认识论问题》、多部论文集以及三辑数十本“认知与方法”丛书；科学逻辑研究团队在张巨青先生的培育与带领下成为有持续生命力的学术共同体。张建军教授以郁慕镛、沙青、汪馥郁、桂起权等先生的成果为例，说明了共同体成员由此衍生的一系列重要成果。并指出，立足获得长足发展的当代逻辑科学体系来看，这些探索仍然具有持久的学术价值、解题功能和启发意义。在我们面向国际、加强国际交流的同时，更要重视对于我们自己已有的学术积累的发掘与利用。
张建军教授对于科学逻辑的发展现状与未来进一步阐明了自己的看法。他指出，历经多年研究与讨论，科学逻辑在当代逻辑学科体系中的定位已经基本达成共识，如果将逻辑学划分为逻辑基础理论与逻辑应用理论，那么科学逻辑就是一种逻辑应用理论，或者称为应用逻辑，即一种介于基础理论与逻辑应用之间的“中介性”理论，致力于系统探究与把握逻辑因素在科学活动各环节的作用机理以及逻辑因素与非逻辑因素的相互作用机理，其核心诉求是探究具有一定可操作性的方法论模式与程序；以这种“中介性”理论范式来看，一个庞大的应用逻辑学科群正在强势崛起，例如日渐成熟的认知-智能逻辑、论辩逻辑与批判性思维、语言交流的逻辑、博弈逻辑、法律逻辑、教育逻辑等等，而这些学科均可与科学逻辑建立密切的互动关联。因而基于这一理念，也可以看到科学逻辑的跨学科发展趋势及其基本的方略。张建军教授认为，在学科间多维互动、范式间转换与融合日渐频繁的当下，如何进一步打破学科壁垒，加强问题导向的、更有成效的跨学科交流与合作，是我国科学逻辑进一步发展所面对的课题。而在这种跨学科发展路径之下，张巨青先生所倡导的在逻辑与历史之间、科学与人文之间维持必要的张力的研究纲领仍然发挥着指针的作用。在逻辑学科发展及其多维应用功能发挥的过程中，科学逻辑的作用仍需进一步开掘。
随后，《科学逻辑》一书的主编、科学逻辑专业委员会创会主任、武汉大学哲学学院荣休教授、87岁高龄的张巨青先生通过录制的视频，向本次论坛发来寄语。赤诚之语，感人肺腑，抄录如下：
“感谢出席会议的各位贵宾，感谢筹办本次会议的机构。大家对我的学术说了不少的好话，其实是过奖了。支配我科教生涯的主要是坚持两条原则：第一，科研教学必须兼顾，缺一不可。我始终是以科研来提高教学水平，同时又以教学来促进科研的活动、水平；第二，我始终认为，论著的影响力，也就是说，学术的生命力，不可以短于作者人生、自己生命的年龄，必须讲究这些成果的质量，只有质量才能谈得上对社会有所贡献。否则书写得再多，也是没有多大社会影响的。谢谢大家。”
二、《科学逻辑》再版发行座谈研讨会
开幕式后，由科学逻辑专业委员会秘书长、南京大学顿新国教授主持进行了《科学逻辑》再版发行座谈研讨会。《科学逻辑》的参编者、华中师范大学刘文君教授深情回忆了自己与张巨青先生共同工作的经历，并对上海学林出版社再版《科学逻辑》一书以及编审夏德元教授的工作表示衷心的感谢，并祝愿我们终生为之奋斗的逻辑学科更加蓬勃发展。
本次座谈会还邀请到北京联合大学汪馥郁教授、武汉大学桂起权教授、中央民族大学于祺明教授、中山大学梁庆寅教授、厦门大学潘世墨教授、四川大学任晓明教授等学者发言。作为《科学逻辑》一书编写出版的参与者、科学逻辑专业委员会筹建的见证者以及我国科学逻辑事业之发展的亲历者，他们或是深情追忆往事，或是总结报告自己的工作成果，或是阐述对于科学逻辑的体认，让与会者对于我国科学逻辑研究的历史脉络与丰硕成果有了清晰和深切的认知。
·科学逻辑研究纲领的提出以及《科学逻辑》的编写出版
汪馥郁教授回忆，1978年恢复高考后高校急需教材，国家教委要求陆续启动各学科教材编写工作，张巨青教授也接到了国家教委委托编写高校教材《科学逻辑》的任务，于是当时正在参与编写《辩证逻辑》教材的部分学者也就立即转为以张巨青老师为主编的《科学逻辑》一书编写组的基本成员。桂起权教授则细致讲述了张巨青教授构思科学逻辑研究纲领的经过。1982年是张先生的灵感爆发期，很多新的思想不断涌现，而这些灵感都来自于他对科学哲学领域著作的刻苦研读。桂起权教授回忆1982年暑假在张先生书房所见情形：他手头捧着查尔莫斯《科学究竟是什么？》一书的初译稿和江天骥先生关于西方科学哲学的讲义苦苦思索。张先生正是基于这些丰富的材料进行再加工再创造，从逻辑的角度加以深层次的挖掘转换，凝结了一整套关于科学逻辑的基本纲领。1982年8月在昆明召开的“第二次全国辩证逻辑讨论会”是张巨青先生提出科学逻辑的重要契机。在昆明会议上，张先生利用晚上的时间召开小会讲科学逻辑。当时参加辩证逻辑会议的老师主要来自逻辑学，对于科学哲学并不熟悉，对于“科学逻辑”这样一个新东西也没有概念，于是张先生非常辛苦地做了三次纲领性报告，阐述如何把科学哲学的思想转换为科学逻辑，讨论了科学发现中的逻辑成分、科学理论检验的逻辑以及如何将科学逻辑跟科学史进行结合。正是经过昆明会议的研讨，形成了《科学逻辑》这本书的基本思想与提纲。
汪馥郁教授介绍说，《科学逻辑》的出版引起了社会的广泛关注。著名的教育家、逻辑学家温公颐先生，逻辑学会第三任会长吴家国教授，辽宁大学现代西方哲学专家陶银骠教授，四川大学张国祺教授等学者纷纷撰写书评，对该书的开拓创新表达了高度的赞誉。桂起权教授提到，我国科学哲学界著名学者范岱年先生也曾做出评论，将《科学逻辑》与江天骥先生的《当代西方科学哲学》、邱仁宗先生的《科学方法与科学动力学》一起列为我国80年代在科学哲学领域最重要的三项成果。汪馥郁教授通过检索知网发现，自从该书出版后，有关科学逻辑的论文迅速增加，至今已经达到数百篇；在喜马拉雅app上也推出了《科学逻辑》的有声书，说明本书广受读者欢迎。1992年，《科学逻辑》获得了国家教委颁发的优秀教材奖，这是对本书所具有的极高的学术价值和实践价值的充分肯定。
2021年8月，《科学逻辑》在学林出版社再版发行。站在新的时代回看这本书的影响力与重要贡献，梁庆寅教授认为可从以下四点加以概括：第一，它开辟了一个新的研究领域，使科学逻辑成为国内哲学和逻辑学研究谱系中一个重要的组成部分。第二，它从科学认识论和科学方法论的角度为辩证逻辑的研究提供了一个新的研究视角。第三，围绕本书编写形成了一个学术共同体，其成员成为科学逻辑研究的中坚力量；在本书所开创的方向上招收和培养了许多研究生，产出了一批硕士博士学位论文。第四，通过本书的编写在学术共同体中形成了严谨求真的优良学风。正是由于其高度的前瞻性和学术质量，《科学逻辑》多年后再版依然具有可读性和时代感。
·科学逻辑学术共同体的工作
作为《科学逻辑》的编写者，汪馥郁教授、于祺明教授和桂起权教授对于参编本书的时光表达了深切的感念。于祺明教授说，张巨青老师为培育科学逻辑学术共同体花费了大量的精力和心血，在共同编写《科学逻辑》的那段时光，气氛堪称“团结紧张，严肃活泼”，令人难忘。桂起权教授认为，张巨青先生作为共同体的精神领袖，能够站在纲领性的高度统帅全局，所以这个共同体里的高手都服膺于他。张巨青先生严谨求实的学风，也塑造了科学逻辑共同体求真务实的精神。任晓明教授回忆了自己参加1991年珠海会议的情形：张巨青老师对学风的要求非常严格，对于错误都直接当面批评、提出质疑，对于年轻人也不吝指点提拔，这种严肃认真的风气令其印象深刻。
在《科学逻辑》一书出版后，科学逻辑学术共同体继续沿着该书开辟的路径进行理论拓展。汪馥郁教授将这一拓展分为两种：其一是在经验自然科学范围内拓展科学逻辑的研究纲领和研究范式，其二是迁移式的理论性拓展，将科学逻辑所确定的方法与范式迁移到人文社会科学的领域。在第一个方向上，张巨青教授随后主编了《自然科学的认识论问题》《辩证逻辑与科学方法研究》《科学研究的艺术——科学方法论导论》《科学理论的发现、验证与发展》等著作，与刘文君教授共同主编了《科学探索的奥秘》《科学方法论研究》以及“认知与方法”丛书。这些成果对科学逻辑展开了大视角、深层次的研究。第二个方向上的代表成果则有桂起权的《经济学的科学逻辑研究纲领》、汪馥郁的《教学方法论导论》、陶文楼的《管理科学方法论》以及汪馥郁与于祺明等编写的《社会科学方法论导论》等论著。自然科学研究与社会科学研究的共性就在于它们都是一种探究性的活动，因而能够把科学逻辑所提供的研究方式和研究方法从自然科学向社会科学迁移。
桂起权教授指出，张巨青先生带领的学术共同体在学术写作上采取了集体协作、交叉进行的方法。《科学逻辑》与《自然科学的认识论问题》就是交叉进行的，二者是相互印证的姐妹篇，后者突出认识论的方面，前者是突出逻辑的方面。于祺明教授是“认知与方法”丛书中《科学理论模型的建构》的作者之一。他指出，《科学逻辑》一书提出要研究逻辑因素在科学发现、科学检验、科学发展这几个阶段的应用，但是对于科学理论模型着墨甚少，有待深化研究。在张巨青老师的安排下，他与刘文君老师、张琼老师一起编写了《科学理论模型的建构》，集中探讨了类比、抽象、演绎与归纳等逻辑方法在科学理论模型的建构、评价、修改与发展中的作用。于祺明教授持续关注科学发现中的逻辑因素。在2001年，他与王天思教授共同翻译了美国科学哲学家南希·纳塞西安主编的《科学发现中的模型化推理》一书，该书注重关注了模型化方法在科学发现中的重要作用。2006年，他与汪馥郁教授主编的《科学发现模型论：科学教育改革探索》出版，该书基于他对科学发现中逻辑因素的研究，专门对模型化方法做出探讨。
汪馥郁教授则持续关注教育教学领域。2001年教育部颁布了《基础教育课程改革纲要》和针对幼儿教育的《幼儿园教育指导纲要》，2012年进一步颁发《3-6岁儿童学习与发展指南》，特别强调在教育教学中激发学前儿童和学龄儿童的探究兴趣，使之体验科学探究的过程和方法，培养其收集和处理信息的能力、获取新知识的能力、分析和解决问题的能力。以此为契机，汪馥郁教授将科学逻辑的研究方式和研究方法迁移到到幼儿园以及中小学教育教学方法研究之中，并与北京市、河北省教育系统合作，积极投入教学改革的实践中，形成了以《成为富有创新能力的教师》《课堂中的逻辑味道》等著作为代表的成果。
潘世墨教授是“认知与方法”丛书中《现代社会中的科学》的作者。该书探讨了科学与社会的互动关系，其中谈到了科学共同体问题。联系到科学逻辑学术共同体，潘世墨教授感叹，自己的个人学术成长过程同这个共同体之间是无法分割的。任晓明教授结合自己在张先生指导下写作“认知与方法”丛书中的《进化认识论与进化逻辑》一书及其从事归纳逻辑研究的体会指出，张巨青先生的纲领以及科学逻辑学术共同体取得的学术积累对于当下的研究仍然有着巨大的指引性和启发性；例如追求可操作性的方法论、科学方法的动态发展、科学哲学与逻辑学落地中国后的本土化等探索，都是自己在处理课题时从已有的学术积累中吸收到的营养。
此外，在各环节的讨论中，黄华新教授回顾了自己在《科学逻辑》一书编写过程中所做辅助工作对其学术起步的有力助益。张建军教授介绍了科学逻辑学习与研究对其悖论研究工作和建构逻辑行动主义方法论的重要作用。张巨青先生的学生龚耘、马雷、马亮等也深情回顾了师从张先生的学习生涯及对自己为人为学的深刻影响。
·对科学逻辑研究的展望
汪馥郁教授结合自己的理论探索提出，科学逻辑、辩证逻辑与科学方法论的结合大有用武之地。通过辩证逻辑可以构造整体的理论框架，通过科学逻辑可以将该框架下的方法具体化。考虑到当今理论发展面临的复杂性问题，汪馥郁教授认为辩证逻辑与科学逻辑的协同研究，很可能会带来复杂性问题研究上的突破和创新。于祺明教授则结合自己在科学发现与理论模型方面的研究指出，在科学发现问题中，直觉、顿悟、灵感等随机性因素与逻辑合理性因素之间的互动机制依然是争论的焦点，这要求将思维当作复杂系统来研究。思维是在物质系统的基础上建立起来的有意识内容的复杂系统，不同的思维形式处在不同的层次，思维形式跨层次的相互作用是直觉、顿悟、灵感等随机性因素的生成机制。对于复杂思维系统的层次论研究，对科学发现逻辑的推进有很重要的作用。此外，将科学逻辑向社会科学领域进行迁移，同样要求对复杂系统的研究，因为社会科学本身就是个复杂系统。于祺明教授认为，充分利用系统论、控制论、认知科学等横断科学成果，对复杂系统展开研究，这是科学逻辑向纵深发展的可循路径。
任晓明教授指出，张巨青先生的研究纲领对于当下研究依然具有前沿性的指导意义，它提示了以下几个要点：其一，从纯逻辑研究扩展到可操作的逻辑方法，例如模型论、信念修正等都是这样一种扩展；其二，从理论扩展到应用，例如当今人工智能的方法论主要就是应用的方法论；其三，从演绎扩展到非演绎，秉持广义的大逻辑观；其四，从西方的中心主义方法论到中国化本土化方法；其五，从静态的研究扩展到动态的发展研究。
汪馥郁教授与潘世墨教授还强调了逻辑思维的培育与普及。习近平总书记在2017年视察中国政法大学时指出，青年时期是培养和训练科学思维方法和思维能力的关键时期，养成了历史思维、辩证思维、系统思维、创新思维等等科学思维的习惯，终身受用。这提示，科学逻辑不仅需要在理论上进行拓展，也需要在实践的方面加以拓展，使之产生更大的社会效益，这样科学逻辑才能获得更强的生命力、产生更大的影响力。
三、学术前沿报告
本次论坛学术前沿报告由浙江大学金立教授主持。报告人围绕科学逻辑的理论与方法在不同领域探索展开了各自的报告，体现了科学逻辑的拓展与延伸。
武汉大学陈波教授应邀与会并做特约报告。他首先总结了武汉大学在科学哲学与科学方法论研究上的厚重传统，展望了接下来在武汉大学哲学学院科技哲学学科的工作目标：在自己原有研究基础上接续武汉大学科学哲学和科学方法论的研究传统，进一步展开研究工作；他回顾了与辩证逻辑和科学逻辑相遇的学习经历，并指出这方面的学习积累在自己的学术研究中发挥了重要的作用。
随后陈波教授以《溯因作为一种普遍方法》为题进行报告。他首先阐述对于哲学的看法：他赞同蒯因以及威廉姆森等人关于哲学与科学、常识相连续的观点，并认为哲学是一项认知的事业，是人类认知这个世界的总体努力的一部分；在研究方法、研究效用等多重意义上，哲学与其他科学都是连续的。就其方法而言，哲学同样求助于对世界的观察和实验（特别是思想实验）、直觉和常识以及模型建构等方法，而其中溯因-最佳解释推理是一种重要的方法。随后他基于利普顿、蒯因的工作为溯因-最佳解释推理给出了一般性模式。他指出，自然科学在研究中广泛使用了这一方法，而罗素也早已意识到数学也并非纯演绎的，其公理和第一原则的成立同样也使用了归纳或溯因的方法；近年来，威廉姆森更是大力倡导溯因作为哲学的一般性特征方法。陈波教授认为，溯因方法是对第一原则的成立进行论证的最佳方式，对于关注基础性和第一原则的学科而言，它是最普遍的方法论模式。
华侨大学马雷教授在题为《深化科学问题研究 再创科学逻辑辉煌》的报告中以鸟瞰的方式回顾和梳理了问题哲学在中国的发展。肇始于张巨青教授的科学逻辑研究已经认识到“问题”在科学研究中的极端重要性，在《科学逻辑》一书中做出断言：理论发现从问题开始。同时期在第8届国际逻辑科学方法论和科学哲学大会上有学者提出了建立“问题学”（programology）的任务。这表明，在科学逻辑研究中，科学问题研究的重要性在学者中已达成共识。马雷教授随后概述了三十多年来我国学界在问题哲学方面的重要著述并指出，在科学逻辑的研究范式不断向更广阔领域应用的背景下，在从哲学的角度来深入的理解问题，探讨问题的本质、结构功能、评价和发展规律，对于交叉学科的发展具有重要作用。
南京大学顿新国教授以《因果检测的反事实进路》为题报告了他在因果理论研究方面的进展。他首先指出，科学逻辑领域中的归纳辩护研究在内生性与外生性因素的共同作用下逐渐转向探求因果发现的逻辑。内生性因素是指，归纳确证问题的研究从假说范式转向证据范式，而对证据的本性的探究历经概率相干、主题相干到因果相干等阶段；外生性因素则是以普特南、凯文·凯利以及格莱默尔等为代表的哲学家在确证逻辑之外对于计算知识论、形式学习理论的提倡，以及人工智能领域掀起的“因果革命”。探求因果发现的逻辑要求对因果关系做出刻画，自近代哲学家休谟以来就已涌现出不同的进路。顿新国教授对其中的因果力进路和反事实条件句进路做了重点介绍。因果力进路的研究存在两个维度，其一是将因果解释为因果力的倾向性和内在性，对此存在条件句和非条件句的刻画；其二是利用概率论工具来刻画因果力的“效应”测度模型，例如 Good模型和Cheng模型以及以因果贝叶斯网络为基础的Korb模型。因果力进路的问题在于直接预设了所考察对象之间具有因果关系，因而不能满足探求因果发现的需要，后者追问的恰恰是如何发现因果关系，这也正是人工智能领域以朱迪·珀尔为代表的人工智能家希望实现的目标。随后顿新国教授介绍了以大卫·刘易斯为代表的哲学家通过反事实条件句进路对因果关系的刻画，该刻画基于反事实条件句的语义逐层级定义了反事实依赖、因果依赖、因果链条和因果关系等概念；然而这一进路仅刻画了类型因果，而科学和日常生活领域更关注殊型因果关系的判定。顿新国教授认为，要实现对殊型因果关系之判据的刻画，可以融合因果力进路和反事实条件句进路，其要义在于，因果力进路主张因果关系是事物内在具有的、在某种合适条件刺激下呈显相应结果的倾向，因而可以利用反事实条件句加以刻画。对此他介绍了一种因果检测的逻辑，并定义了在一个因果装置中殊型因果关系的成立条件。在这种融合路径下的因果定义对于探求因果发现的逻辑具有重要意义。
浙江大学廖备水教授作了题为《新一代人工智能与逻辑学的交叉研究：基于形式论辩的研究路径》的报告。他首先分析了新一代人工智能背景下的一些交叉学科问题。新一代人工智能实行联结主义路径，基于统计的机器学习方法，倡导大数据智能、群体智能、跨媒体智能、人机混合增强智能等发展方向。然而，当前基于统计方法的人工智能技术存在可解释性差、伦理对齐难、认知推理能力弱等问题。这些问题涉及到因果解释、伦理机制与规范等知识，它们具有不完备性、不稳定性、不一致性等特点，而作为计算机科学之数学基础的经典演绎逻辑不足以表征和处理这类知识，例如经典逻辑无法在开放动态环境中表征例外知识，它也难以处理不一致的信息，这要求提供一种新的逻辑学方法。对此，廖备水教授提出了基于形式论辩的研究路径。人类常用的推理和说理模式以交换论证的形式进行，论证状态具有动态性和可废止性，这种基于论证与论证之间交互的方法可以表达不完备、不一致的知识，并且能够实现非单调推理，因而通过建模人类的论辩模式，可以为新一代人工智能技术提供新的逻辑学工具。随后廖备水教授介绍了当下形式论辩理论的成果，它主要包括抽象论辩理论和结构化论辩理论。抽象论辩理论能够表达多种传统非单调逻辑并对一般不一致情境中的推理进行建模，它解决了不一致情境中推理的核心问题，因而能够支持高效算法和有效人机互动。结构化论辩理论是抽象论辩理论的具体化，由结构化论证集合及其上的击败关系即构成抽象论辩框架。此外廖备水教授还介绍了结合定性与定量方法的概率抽象论辩理论，以及基于图论的论辩语义求解机制。
电子科技大学万小龙教授以围绕当代科学为何特别需要科学逻辑、中国大陆知识界在当代科学逻辑建构中有何特殊意义以及逻辑在当代科学前沿与基础研究中起到何种特征作用等三个问题进行了报告。通过回顾科学逻辑的思想来源，即19世纪后期迅速发展的现代逻辑、20世纪20年代以来的科学哲学以及20世纪早期至今在物理学、信息科学、生命科学和认知科学等领域展开的现代科学革命，万小龙教授指出，现有科学逻辑是基于现代科学本性的、介于基础逻辑与逻辑应用之间的一种逻辑；他认为，今后的科学逻辑将是基于当代科学发展边界对现有非经典逻辑第二个否定的超越。当代科学发展正逐渐走向其边界：对于本原性科学而言，实验与数学方法都已触及其确定性边界；对于复杂性科学而言，其整体突显性找不到合适的数学模型；而对于认知或智能科学而言，现有逻辑工具已不能高效表达以辩证性为突出特征的人类智能。万小龙教授指出，在知识爆炸的背景下，当今科学界基于学科交叉路径和大数据统计与计算机模拟的方法所构建的愿景已经逐渐耗尽其红利；他认为，未来的出路将是西方传统思辨、中国传统类比思维以及近代科学分析思维的融贯，而中国大陆知识界在这方面正大有可为。最后，万小龙教授以他在构建模态逻辑系统STRF及其与经典逻辑的关系研究的新进展为例，阐述了逻辑学在当代科学前沿与基础研究中能够发挥的作用。
四、闭幕式致辞
大会闭幕式由张建军教授主持。汪馥郁教授和桂起权教授对前沿学术报告发表感言，中国逻辑学会秘书长、北京师范大学郭佳宏教授致辞，黄华新教授做论坛总结发言。
汪馥郁教授对于下午的前沿学术报告表示受益匪浅，他指出，当今是最有利于思维科学大发展的时代，也是让逻辑学工作者、思维科学研究者倍感振奋的时代，他以自己近来在儿童数学思维培育方面的研究与实践为例强调，在这样一个时代要尤其关注理论与实践的结合、科学逻辑方法与辩证逻辑方法的结合，立足于现实的复杂性问题，从而取得更多理论和实践成果。桂起权教授对于科学逻辑和辩证逻辑学术共同体不断成长的人才队伍感到欣慰，看到老一辈学者在科学逻辑、辩证逻辑以及语言逻辑领域开创的传统正在不断发扬，他感到这个学术共同体的事业大有希望。
郭佳宏教授在致辞中首先对会议圆满成功表示祝贺，向科学逻辑与辩证逻辑学界的老一辈学人致敬，对学科取得的丰硕成果和深厚积淀以及在逻辑教育与普及方面做出的工作表示高度赞赏；他结合逻辑学与科学相互促进发展的历史指出，在当今科技浪潮之中，科学逻辑与辩证逻辑的研究成果正大有用武之地，他期待本学科的事业更加欣欣向荣、蒸蒸日上，在我国逻辑事业发展中发挥更大作用。
最后，黄华新教授在论坛总结中认为，本次“纪念中国逻辑学会科学逻辑专业委员会成立30周年学术论坛”，以高水平体现了新观点和务实内容，他对与会发言嘉宾以及会议工作人员表示衷心感谢。对于科学逻辑专业委员会未来的工作，黄华新教授提出四点设想：第一，在认知科学、智能科学迅速发展的今天，特别是在云计算、互联网大数据、区块链、元宇宙等新概念不断涌现的当下，要在目标任务上考虑如何促进科学逻辑、辩证逻辑和科学方法论三者更好结合以面向生活世界、面向现实需求；第二，促进科学逻辑、辩证逻辑在教学与科研两方面的互动，通过打造新时代升级版教材，将最新的优秀成果转化为优质的教学资源，同时通过高水平的教学活动产出更多高质量的科研成果；第三，发挥科学逻辑学术共同体优良传统，促进个体研究与集体攻关的联动，一方面鼓励以兴趣为导向的个体研究，同时充分发挥共同体的集成联动效应，从而更好地回应社会需求和公众关切，服务于国家科技战略和文化战略；第四，促进学术研究与学术传播的联动，在聚焦重点领域重大问题聚精会神搞研究的同时，也要做好科学逻辑和辩证逻辑的普及推广工作，为提高公众人文素养与科学素养服务，以期使科学逻辑与辩证逻辑的研究成果在社会上产生更大影响。
（刘雨轩撰稿）