学术活动 | 北大哲学系一周学术活动一览(11.04—11.10)

文摘   2024-11-03 21:37   北京  

2024.11.4—11.10

学术活动

一览


1

2024.11.5


“To be Announced”

系列         逻辑前沿问题讨论班

            

主讲人     Hans van Ditmarsch (法国国家科学研究中心)

            

时间         2024.11.5   15:10


方式        线下


地点        地学楼206


简介        


In this survey we review dynamic epistemic logics with modalities for quantification over information change. Of such logics we present complete axiomatizations, focussing on axioms involving the interaction between knowledge and such quantifiers, we report on their relative expressivity, on decidability and on the complexity of model checking and satisfiability, and on applications. We focus on open problems and new directions for research.
reading:
https://arxiv.org/abs/2004.05802
https://doi.org/10.1016/j.ic.2023.105026


2

2024.11.7


Introduction to provability logic 
and reflection algebras (Lecture 3)

系列     Mini-Course


——主讲人    Lev Beklemishev(俄罗斯科学院)


——时间        2024.11.7   09:00—12:00


——方式        线下


地点        李兆基人文学苑2号楼B112


简介        

参考文献:

G. Boolos. The logic of provability, 1993.
S. Artemov, L. Beklemishev. Provability logic, in: Handbook of philosophical logic, 2006.
L. Beklemishev. Reflection principles and provability algebras in formal arithmetic, Russian Math. Surveys, 2005. https://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=rm&paperid=1401&option_lang=eng


3

2024.11.9


Augustine on Time and
Temporal Experience

系列     中世纪哲学系列讲座

——主讲人    Tamer Nawar(巴塞罗那大学)


——时间        2024.11.9   14:00—15:30


——方式        线下


地点        外哲所(22楼)210



4

2024.11.9


Judgment and science—
Reflections from the Perspective
of Kant’s Third Critique

——主讲人    Jure Zovko克罗地亚扎达尔大学


——时间        2024.11.9    15:00—17:00


——方式        线下


地点        新太阳学生中心210室


5

2024.11.9


Peter John Olivi and Peter Strawson on 
Free Will and Reactive Attitudes

系列     中世纪哲学系列讲座

——主讲人    Martin Pickavé(多伦多大学)


——时间       2024.11.9    16:00—17:30


——方式        线下


地点        外哲所(22楼)210


6

2024.11.9—10


“秩序与人伦世界”北京大学哲学博士生论坛

——时间       2024.11.9—11.10


——方式        线下


地点        北京大学中关新园群英厅、北京大学哲学系(李兆基人文学苑2号楼)


简介        

“秩序与人伦世界:北京大学哲学博士生论坛”是北京大学哲学系在“学科质量年”背景下主办的高水平学术盛会,旨在为全球哲学博士生提供一个思想交流与学术探讨的平台。论坛聚焦“秩序与人伦世界”这一主题,探讨社会秩序的原则、实现方式及其依据,邀请国内外优秀博士生分享研究成果,促进跨学科、多维度的学术对话。


7

2024.11.10


Many facets of Epistemic Logic

系列     Workshop

——参与人    Hans van Ditmarsch, Jie Fan, Mo Liu, Yiting Wang, Huili Xing, Yuanzhe Yang


——时间       2024.11.10    14:00


——方式        线下


地点        李兆基人文学苑3号楼109


简介        

This workshop presents some recent advances related to Prof. Hans van Ditmarsch's work on epistemic logic, particularly on Simplicial Models, Refinement Modal Logic, Arbitrary Announcements Logic, Logics of Ignorance, and so on.




供稿 | 各教研室

排版 | 刘枫林

审核 | 王彦晶

发布 | 刘枫林

北京大学哲学系宗教学系
北京大学哲学系宗教学系的官方公众号。负责发布北京大学哲学系宗教学系的新闻、通知以及相关文章。
 最新文章