国际研讨会会议总结范文
X年11月2日至4日,由XX大学逻辑与认知研究所与澳大利亚墨尔本大学哲学系联合主办的20xx年逻辑与认知国际会议与XX大学南校区隆重召开。XX大学逻辑认知研究所所长鞠实儿及墨尔本大学哲学系教授Greg Restall担任本次会议的主席。逻辑与认知国际会议自20xx年开始每年举办一次,本次会议强调加强亚太地区逻辑学研究人员之间的合作与交流,邀请了来自澳大利亚、日本、新西兰、印度、中国台湾及中国香港等地的学者参加。
本次会议的主题包括:逻辑与认知科学、逻辑与计算机科学。哲学逻辑、逻辑与文化。会议共收到国内外论文13篇,其中国内包括台湾、香港5篇,国外学者论文8篇。
日本著名逻辑学家Hiroakira Ono教授作了题为“Completions, distributivity and algebraic completeness”的报告。探究完全格扩充的性质,特别是何种形式的分配律在这种完全性下是被保持的,并以此来证明非经典谓词逻辑的代数完全性。该论文在计算机科学及数理逻辑的研究具有重要意义。
墨尔本大学教授Greg Restall的论文题目为“Derivation and Definition”。从证明论的角度重新来考察证明的概念。在次基础上考察一阶逻辑、二阶逻辑的界限,指示及虚拟推理及探究证明的更合适的逻辑定义。作为逻辑基础问题的探究,该文章做了很多的工作。
印度加尔各答大学数学系M. K. Chakraborty教授的报告题为“Discerning levels: a study in the metalogical notions in somelogics of vagueness”,在元逻辑的层次上讨论模糊性及多值的概念。并且重新对逻辑的基本概念如后承、完全性、一致进行分级定义。该文章的意义在于在元语言的层次上考察模糊性而不是对象语言。并在次基础上来定义不同的逻辑。
来自西澳大利亚大学Mark Reynolds教授的报告题为“Dense Time Temporal Logic”,在稠密的实数时间模型上考察时态逻辑。威灵顿维多利亚大学Edwin Mares教授做了题为“Information and Relevance”的报告,他将逻辑后承关系定义在信息保持而非保真的概念上,从而考察相干逻辑等的性质。奥克兰大学Jerry Seligman教授的报告为“The Logic of Relative Certainty”,他借鉴概率论的思想提出在定义有效性时的相对确定,并给出了一个关于相对确定的逻辑。
在本次会议上,XX大学逻辑与认知研究所的老师和学生也积极参与讨论。逻辑所副教授刘虎做了题为“Simulative Belief Logics”,考察了用逻辑刻画主体如何模拟他人的信念。逻辑所讲师文学锋的报告“偏逻辑的语义博弈”给出了偏逻辑的一个博弈语义,并考察了它的性质。另外香港城市大学王莹莹博士后原逻辑所博士做了题为动态语境中的条件句。逻辑所硕士生做了“开放世界和信息更新”的报告。
三天的会议取得了圆满成功。国内外学者就诸多逻辑学的前沿问题进行了深入的交流和探讨。特别是对我所的年轻学者及学生来说,拓宽了研究思路,有利于把握最新的学术前沿问题,为将来的研究工作注入新的活力。
-
实用的会议通知(精选17篇)
实用的会议通知篇1各基层社、公司、市场:为认真回顾今年以来信访维稳工作,布置落实当前及今后信访维稳工作任务,经研究,定于年5月21日(星期三)召开系统信访维稳工作会议。现将有关事项通知如下:一、参加会议对象系统下属单位信访维稳工作分管。二、会议时间、地点参加...
-
2023年秋季农村灭鼠工作简报(通用4篇)
2023年秋季农村灭鼠工作简报篇1为了做好保粮、防病和安全卫生工作,新安江街道每年都要定期开展农村和农田春秋两季的灭鼠,今年的秋季灭鼠在11月中旬完成。全街道共投入了7000多元资金,配制了溴鼠灵(大隆)抗凝血杀鼠剂1100公斤(解毒药用维生素K1),在4个行政村和3个...
-
开展环境卫生大扫除活动简报范文(通用15篇)
开展环境卫生大扫除活动简报范文篇1xx镇农村人居环境整治攻坚战已经打响,各村人居环境整治行动的大幕已经拉开。目前,村村行动,户户参与,以建设美丽宜居村庄为导向,以农村垃圾清理、村容村貌提升为主攻方向,以咬定青山不放松的韧劲和只争朝夕的干劲,狠抓落实、综合整...
-
社区迎新春茶话会活动简报(通用6篇)
社区迎新春茶话会活动简报篇1值此新春到来之际,为了更好的发展社区的文化事业,20__年1月18日上午9:00,海滨街同盛西里社区举办了迎新春趣味活动茶话会活动,会议邀请了社区骨干、书法爱好者和文艺团队负责人,大家畅所欲言,总结过去,展望未来。活动开始,首先是猜谜语、吹...