10月16日下午,第八届“逻辑、理性与互动”国际会议(LORI-VIII)在西安交通大学开幕,来自中国、荷兰、丹麦、意大利、印度、德国、美国、挪威等国家的180余名专家学者采取线上线下相结合的方式,交流逻辑学的最新研究成果,以及逻辑学与计算机科学、数学、哲学、社会学等学科的交叉前沿研究成果。开幕式由会议组织委员会主席、西安交通大学人文学院副院长王伟主持。
LORI会议常务委员会主席、斯坦福大学教授、阿姆斯特丹大学教授(荣休)、清华大学金岳霖讲席教授Johan van Benthem在致辞中祝贺LORI会议在西安古都举行,他回顾了西安在中西文化,特别是丝绸之路的重要地位,预祝LORI会议成功举行。项目委员会主席、印度统计研究所Sujata Ghosh介绍了本届会议的特邀报告、会议发言、文化活动和最佳学生论文颁奖仪式等活动的组织和安排,并对西安交通大学的组织团队表达了感激之情。西安交通大学国际合作与交流处处长贺长中回应,强调了西安的历史和区域重要性和西安交通大学的历史,并特别提到交大在逻辑学学科方面的成长和成绩。
大会第一天有2场特邀报告和6个会议发言。特邀报告人香港浸会大学张寄冀在《因果马尔可夫类型中的干预与因果条件》中建立了因果的类型论方法,能够将因果推理中的重要概念(如因果分离、因果条件、干预效果的瓦解等)从应用普遍的递归结构方程模型或因果贝叶斯网络等因果模型中抽象出来,其具有更为广泛的应用,在概念上也更清晰。特邀报告人加州大学伯克利分校Wesley Holliday的《投票的逻辑视角》从逻辑学家的视角审视社会选择和投票理论,讨论了社会选择理论推理的逻辑、投票理论中逻辑工具的应用(如SAT求解与交互式定理证明)、保存结果推广不可能性理论,以及在一致性和递归性等逻辑思想指导下对投票方法的设计问题。
第一天的会议发言有清华大学人文学院哲学系博士后谢凯博的《基于因果关系的欲望逻辑推论》、挪威卑尔根大学信息科学与媒体研究系Thomas Ågotnes的《俄罗斯纸牌问题中的交叉手》、印度数学科学研究所Ramit Das的《无限多玩家的大型博弈中的推理》、加州大学伯克利分校Chase Norman的《高效定理证明器中的投票理论》、挪威卑尔根大学Rustam Galimullin的《动态联盟逻辑:授予和撤销独裁权力》,以及荷兰阿姆斯特丹大学Giorgio Sbardolini的《断言、拒斥与语义共相》。
本次大会为期4天,未来3天将有5场特邀报告:山东大学哲学系王文方的《论加菲德和普利斯特对中观四句的解读》、英国伦敦大学伯贝克学院Ulrike Hahn的《现实世界论证的规范:成就、挑战和发展》、德国拜罗伊特大学Olivier Roy的《商议、相干聚合和路径依赖》、芬兰赫尔辛基大学Sara Negri的《无限逻辑的经典推理和构造推理之间的纽带》,以及荷兰阿姆斯特丹大学Katrin Schulz的《注意而非干预:探索对反事实的干预方法的替代方案》。
LORI从2007年由中国和荷兰的学者共同发起,主要由东亚的大学组织,每两年举行一次,围绕逻辑、理性和互动的逻辑问题展开交流,研讨作为交叉学科的逻辑学的最新研究。到目前为止,LORI会议已经在中山大学、浙江大学、日本北海道大学等地举行过7届,这些会议大大推动了逻辑学的发展,也培育了一批能够站在国际前沿与国外学者对话的青年学者。本届会议是LORI的第8次会议,会议主题主要包括关于行动、论证、信念修正、自然语言、知识表征、博弈决策、社会选择与偏好等的逻辑。会议论文集Logic,Rationality, and Interaction——8th International Workshop, LORI 2021 Xi'ian, China, October 16-19, 2021 Proceedings已在Springer出版社正式出版;优秀论文将在国际顶级期刊Synthese(SSCI、A&HCI)合集发表。
LORI会议在西安交通大学举办,除特邀报告和会议发言之外,还安排了3个特别活动——一是配合会议的跨学科LORI系列讲座,邀请5位国内知名学者面向全校师生畅谈围绕逻辑的跨学科问题;二是最佳学生论文颁奖仪式,由苏天辅基金会赞助颁发;三是由交大学生现场演奏中国传统乐器的文化活动,展现中华优秀传统文化的魅力。
本次会议对于加强相关学科与逻辑学者的交流、推动学科交叉与跨学科领域的研究、扩大交大的影响力具有重要意义。
长安大学公路学院联合中国民航总局智能建设与维护重点实验室,在机场道面标线材料领域取得重大突破。研究团队成功开发出一种基于铝酸锶(SrAlO:EuDy)的长余辉蓄能发光标线涂料,显著提升了标线在夜间及恶劣天气下的可视性与耐久性,为航空交通安全提供了创
为了深入贯彻落实《教育部等十八部门关于加强新时代中小学科学教育工作的意见》,传播科学知识、弘扬科学精神、提升公众科学素养,7月12日至20日,陕西科技大学“辉光日新”科普支教服务队赴汉中市南郑区法镇茨坝村开展系列科普支教服务活动。 做中学,用趣
前言:为贯彻落实习近平总书记关于教育、卫生与健康的重要论述,按照《“健康中国2030”规划纲要》《教育部等五部门关于全面加强和改进新时代学校卫生与健康教育工作的意见》以及《陕西省教育厅、陕西省红十字会关于做好首批全国和全省学校急救教育试点和管
3月20日,“榜样的力量”上海交通大学2023年度优秀学生表彰大会在闵行校区陈瑞球楼报告厅举行。校党委书记杨振斌,党委副书记、副校长胡薇薇出席。学校有关单位负责同志、获奖学生导师代表、思政教师代表、学生代表参加会议。 大会分“问学篇”“通达篇”“
传承 之路 :红色 基因 在高校社团中的弘扬与发展 高校学生社团是落实立德树人根本任务、推进素质教育的重要载体,是以习近平新时代中国特色社会主义思想为指导,团结凝聚广大青年学生,坚持思想性、知识性、艺术性、多样性相统一的原则,积极开展方向正确、