10月16日下午,第八屆“邏輯、理性與互動”國際會議(LORI-VIII,下稱會議)在西安交通大學開幕,來自中國、荷蘭、丹麥、意大利、印度、德國、美國、挪威等國家的180余名專家學者,接纳線上線下相結合的方式,交流邏輯學的最新研究结果,邏輯學與計算機科學、數學、哲學、社會學等學科的交织前沿研究结果。開幕式由會議組織委員會主席、西安交通大學PP电子學院副院長王偉主持。

LORI聚会会议常务委员会主席、斯坦福大学教授、阿姆斯特丹大学教授(荣休)、清华大学金岳霖讲席教授Johan van Benthem在致辞中祝贺LORI聚会会议在西安古都举行,他回首了西何在中西文化特别是丝绸之路的重要职位,预祝LORI聚会会议乐成举行。项目委员会主席、印度统计研究所Sujata Ghosh介绍了本届聚会会议的特邀陈诉、聚会会议讲话、文化运动和最佳学生论文颁奖仪式等运动的组织和部署,并对西安交通大学的组织团队表达了谢谢之情。西安交通大学国际相助与交流随处长贺长中回应并强调了西安的历史和区域重要性,西安交通大学的历史,特别提到大学在逻辑学学科方面的生长和结果。

大会第一天有两场特邀陈诉和六个聚会会议讲话。特邀陈诉人香港浸会大学张寄冀在“因果马尔可夫类型中的干预与因果条件”中建设了因果的类型论要领,能够将因果推理中的重要看法(如因果疏散、因果条件、干预效果的瓦解等)从应用普遍的递归结构方程模型或因果贝叶斯网络等因果模型中抽象出来,有更为广泛的应用,在看法上也更清晰。特邀陈诉人加州大学伯克利分校Wesley Holliday的“投票的逻辑视角”从逻辑学家的视角审视社会选择和投票理论,讨论了社会选择理论推理的逻辑、投票理论中逻辑工具的应用(如SAT求解与交互式定理证明)、生存结果推广不行能性理论,以及在一致性和递归性等逻辑思想指导下对投票要领的设计问题。
第一天的聚会会议讲话有清华大学PP电子学院哲学系博士后谢凯博的“基于因果关系的欲望逻辑推论”、挪威卑尔根大学信息科学与媒体研究系Thomas Ågotnes的“俄罗斯纸牌问题中的交织手”、印度数学科学研究所Ramit Das的“无限多玩家的大型博弈中的推理”、加州大学伯克利分校Chase Norman的“高效定理证明器中的投票理论”、挪威卑尔根大学Rustam Galimullin的“动态联盟逻辑:授予和取消独裁权力”,以及荷兰阿姆斯特丹大学Giorgio Sbardolini的“断言、拒斥与语义共相”。

本次大会为期四天,未来3天将有五场特邀陈诉:山东大学哲学系王文方的“论加菲德和普利斯特对中观四句的解读”、英国伦敦大学伯贝克学院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會議在西安交通大學舉辦,除特邀報告和會議發言之外,還部署了三個特別活動:一是配合會議的跨學科LORI系列講座,邀請五位國內知名學者面向全校師生暢談圍繞邏輯的跨學科問題;二是最佳學生論文頒獎儀式,由蘇天輔基金會贊助頒發;三是由我校學生現場演奏中國傳統樂器的文化活動,展現中華優秀傳統文化的魅力。
本次會議對于加強我校相關學科與邏輯學者的交流、推動我校學科交织與跨學科領域的研究、擴大我校的影響力都有重要意義。