逻辑沙龙 Logic Salon
范丙申
Johan van Benthem:
联结不同的逻辑：“翻译”和“信息追踪”
Connecting Different Logics: Translation and Tracking
Many members of the crowd of modern logical systems look very different qua syntax and semantics, but how much unity is there when we look 'under the hood' of their engines? I start with some significant examples of translation and other forms of reduction between logical systems, some obvious, some quite surprising. As a special interest item, I will discuss 'tracking' of dynamic updates in different logics, taking the case of logics for analyzing games as a running example.
J. van Benthem, 'Implicit and Explicit Stances in Logic', Journal of Philosophical Logic, 2018, https://pure.uva.nl/ws/files/85565602/Benthem2019Article_ImplicitAndExplicitStancesInLo.pdf
J. van Benthem, 'Tracking Information', in K. Bimbó, ed., Michael Dunn on Information–Based Logics, Springer, Dordrecht, 363–389.
J. van Benthem, 'Game levels, Game logics, Translations, Tracking, and More', working paper, ILLC, University of Amsterdam.
时间：2024年10月31日(周四)16:00-17:30
地点：清华大学逻辑学研究中心
(蒙民伟人文楼 329)
关注我们，及时获取更多关于清华-阿姆斯特丹逻辑学联合研究中心的研究成果、科研教学活动、前沿问题研究进展及其他相关资讯。
