2月23日,中央马工程专家万小龙教授应青岛农业大学马克思主义学院的邀请,做客马院论坛,为全体思政课教师做了题为《漫谈量子信息科技哲学项目研究》的专题报告。学校马克思主义学院院长贾乐芳主持论坛,学院全体教师参加论坛。
报告会上,万小龙结合自身研究成果,介绍了量子信息科技哲学项目研究的具体情况。他以多个生动形象的例子,系统性地介绍了STRF理论的前提、出发点、基础语义和研究进展。同时,介绍了关于模态逻辑的真值函数系统SF与非真值函数系统SFE的严格等价的阐述、关于非真值函数式簇对于必然算符等价的介绍、关于标准语义的去冗等价的解读等。最后,万小龙强调了当前基础理论研究的重要性以及社科类科研的潜在前景。
万小龙,电子科技大学马克思主义学院教授,哲学博士,理学学士,博士生导师,科技的哲学、逻辑与历史研究中心主任。国家马克思主义理论研究和建设工程“科学技术哲学”首席专家。美国加州大学尔湾分校逻辑与科学哲学系访问学者,巴黎综合理工学院暨法国国家科学研究中心的应用认识论中心博士后。曾长期担任华中科技大学逻辑与科学技术哲学学科带头人,兼任中国自然辩证法研究会科学哲学专会副主任委员、物理学哲学专委副主任委员、信息与科学基础专会副主任委员,2018年世界哲学大会物理学哲学分会主席,四川省自然辩证法研究会副理事长,中国逻辑学会常务理事,湖北省逻辑学会会长。四川峨眉计划领军人才。