{"id":8735,"date":"2025-12-09T17:56:02","date_gmt":"2025-12-09T09:56:02","guid":{"rendered":"https:\/\/tsinghualogic.net\/JRC\/?page_id=8735"},"modified":"2025-12-10T18:25:39","modified_gmt":"2025-12-10T10:25:39","slug":"past-salons","status":"publish","type":"page","link":"http:\/\/tsinghualogic.net\/JRC\/past-salons\/","title":{"rendered":"2024- Past Events"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-page\" data-elementor-id=\"8735\" class=\"elementor elementor-8735\" data-elementor-settings=\"[]\">\n\t\t\t\t\t\t\t<div class=\"elementor-section-wrap\">\n\t\t\t\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-8f0b77d elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"8f0b77d\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-d97c5f4\" data-id=\"d97c5f4\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-371ea4f elementor-widget elementor-widget-heading\" data-id=\"371ea4f\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<style>\/*! elementor - v3.5.6 - 28-02-2022 *\/\n.elementor-heading-title{padding:0;margin:0;line-height:1}.elementor-widget-heading .elementor-heading-title[class*=elementor-size-]>a{color:inherit;font-size:inherit;line-height:inherit}.elementor-widget-heading .elementor-heading-title.elementor-size-small{font-size:15px}.elementor-widget-heading .elementor-heading-title.elementor-size-medium{font-size:19px}.elementor-widget-heading .elementor-heading-title.elementor-size-large{font-size:29px}.elementor-widget-heading .elementor-heading-title.elementor-size-xl{font-size:39px}.elementor-widget-heading .elementor-heading-title.elementor-size-xxl{font-size:59px}<\/style><h2 class=\"elementor-heading-title elementor-size-default\"><span class=\"elementor-heading-title elementor-size-default elementor-inline-editing pen\" data-elementor-setting-key=\"title\" data-pen-placeholder=\"\u5728\u6b64\u8f93\u5165...\" style=\"text-rendering: optimizeLegibility;\"><span style=\"margin-top: 1.25em; margin-bottom: 0.5rem; font-size: 2.0736em; font-weight: 400; color: rgb(48, 49, 51); line-height: 1.25em; text-rendering: optimizeLegibility; font-family: &quot;Source Sans Pro&quot;, Arial, sans-serif; white-space: normal;\">Events in 2025-2026 Fall Semester<\/span><\/span><\/h2>\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-04d7d95 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"04d7d95\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-8c162c2\" data-id=\"8c162c2\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-2ebb8e4 elementor-widget elementor-widget-toggle\" data-id=\"2ebb8e4\" data-element_type=\"widget\" data-widget_type=\"toggle.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<style>\/*! elementor - v3.5.6 - 28-02-2022 *\/\n.elementor-toggle{text-align:left}.elementor-toggle .elementor-tab-title{font-weight:700;line-height:1;margin:0;padding:15px;border-bottom:1px solid #d4d4d4;cursor:pointer;outline:none}.elementor-toggle .elementor-tab-title .elementor-toggle-icon{display:inline-block;width:1em}.elementor-toggle .elementor-tab-title .elementor-toggle-icon svg{-webkit-margin-start:-5px;margin-inline-start:-5px;width:1em;height:1em}.elementor-toggle .elementor-tab-title .elementor-toggle-icon.elementor-toggle-icon-right{float:right;text-align:right}.elementor-toggle .elementor-tab-title .elementor-toggle-icon.elementor-toggle-icon-left{float:left;text-align:left}.elementor-toggle .elementor-tab-title .elementor-toggle-icon .elementor-toggle-icon-closed{display:block}.elementor-toggle .elementor-tab-title .elementor-toggle-icon .elementor-toggle-icon-opened{display:none}.elementor-toggle .elementor-tab-title.elementor-active{border-bottom:none}.elementor-toggle .elementor-tab-title.elementor-active .elementor-toggle-icon-closed{display:none}.elementor-toggle .elementor-tab-title.elementor-active .elementor-toggle-icon-opened{display:block}.elementor-toggle .elementor-tab-content{padding:15px;border-bottom:1px solid #d4d4d4;display:none}@media (max-width:767px){.elementor-toggle .elementor-tab-title{padding:12px}.elementor-toggle .elementor-tab-content{padding:12px 10px}}<\/style>\t\t<div class=\"elementor-toggle\" role=\"tablist\">\n\t\t\t\t\t\t\t<div class=\"elementor-toggle-item\">\n\t\t\t\t\t<div id=\"elementor-tab-title-4901\" class=\"elementor-tab-title\" data-tab=\"1\" role=\"tab\" aria-controls=\"elementor-tab-content-4901\" aria-expanded=\"false\">\n\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon elementor-toggle-icon-left\" aria-hidden=\"true\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-closed\"><i class=\"fas fa-caret-right\"><\/i><\/span>\n\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-opened\"><i class=\"elementor-toggle-icon-opened fas fa-caret-up\"><\/i><\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t<a href=\"\" class=\"elementor-toggle-title\">2025 Dec 11\/18 13:00-14:30 \u6797\u7ff0\u8fea Hanti Lin (\u52a0\u5dde\u5927\u5b66\u6234\u7ef4\u65af\u5206\u6821 University of California, Davis) \u6570\u636e\u79d1\u5b66\u7684\u6570\u5b66\u4e0e\u77e5\u8bc6\u8bba\uff1a\u4e00\u4e2a\u6e29\u548c\u4f46\u5f02\u7aef\u7684\u6559\u7a0b A Gentle but Heretic Tutorial on the Mathematics and Epistemology of Data Science<\/a>\n\t\t\t\t\t<\/div>\n\n\t\t\t\t\t<div id=\"elementor-tab-content-4901\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"1\" role=\"tabpanel\" aria-labelledby=\"elementor-tab-title-4901\"><p><strong>Abstract:<\/strong><\/p><p data-tool=\"mdnice\u7f16\u8f91\u5668\">In game theory, an elementary and fundamental class of games is impartial combinatorial games (ICGs). The majority of classical and interesting ICGs are LIA-definable and terminating. One of the challenging and long-standing problems of ICGs is to compute winning strategies for possibly infinite number of winning states. To this end, we first propose a logical framework to formalize ICGs based on the linear integer arithmetic fragment of numeric part of PDDL. We then propose two approaches to generating the winning formula that exactly captures the states in which the player can force to win. Furthermore, we compute winning strategies for ICGs based on the winning formula. Experimental results on several games demonstrate the effectiveness of our approach.<\/p><div class=\"wp-block-spacer\" aria-hidden=\"true\">\u00a0<\/div><\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t<div class=\"elementor-toggle-item\">\n\t\t\t\t\t<div id=\"elementor-tab-title-4902\" class=\"elementor-tab-title\" data-tab=\"2\" role=\"tab\" aria-controls=\"elementor-tab-content-4902\" aria-expanded=\"false\">\n\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon elementor-toggle-icon-left\" aria-hidden=\"true\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-closed\"><i class=\"fas fa-caret-right\"><\/i><\/span>\n\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-opened\"><i class=\"elementor-toggle-icon-opened fas fa-caret-up\"><\/i><\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t<a href=\"\" class=\"elementor-toggle-title\">2025 Nov 20 16:00-17:30 \u65b9\u826f\u8fbe Liangda Fang (\u66a8\u5357\u5927\u5b66 University of Jinan) \u7ebf\u6027\u6574\u6570\u53ef\u5b9a\u4e49\u4e0e\u53ef\u7ec8\u6b62\u516c\u5e73\u7ec4\u5408\u6e38\u620f\u7684\u7b56\u7565\u751f\u6210 Strategy Synthesis of LIA-Definable Terminating Impartial Combinatorial Games<\/a>\n\t\t\t\t\t<\/div>\n\n\t\t\t\t\t<div id=\"elementor-tab-content-4902\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"2\" role=\"tabpanel\" aria-labelledby=\"elementor-tab-title-4902\"><p><strong>Abstract:<\/strong><\/p><p data-tool=\"mdnice\u7f16\u8f91\u5668\">In game theory, an elementary and fundamental class of games is impartial combinatorial games (ICGs). The majority of classical and interesting ICGs are LIA-definable and terminating. One of the challenging and long-standing problems of ICGs is to compute winning strategies for possibly infinite number of winning states. To this end, we first propose a logical framework to formalize ICGs based on the linear integer arithmetic fragment of numeric part of PDDL. We then propose two approaches to generating the winning formula that exactly captures the states in which the player can force to win. Furthermore, we compute winning strategies for ICGs based on the winning formula. Experimental results on several games demonstrate the effectiveness of our approach.<\/p><div class=\"wp-block-spacer\" aria-hidden=\"true\">\u00a0<\/div><\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t<div class=\"elementor-toggle-item\">\n\t\t\t\t\t<div id=\"elementor-tab-title-4903\" class=\"elementor-tab-title\" data-tab=\"3\" role=\"tab\" aria-controls=\"elementor-tab-content-4903\" aria-expanded=\"false\">\n\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon elementor-toggle-icon-left\" aria-hidden=\"true\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-closed\"><i class=\"fas fa-caret-right\"><\/i><\/span>\n\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-opened\"><i class=\"elementor-toggle-icon-opened fas fa-caret-up\"><\/i><\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t<a href=\"\" class=\"elementor-toggle-title\">2025 Oct 23 16:00-17:30 \u4f0a\u52a0\u5c14\u00b7\u514b\u74e6\u7279 Igal Kvart (\u8036\u8def\u6492\u51b7\u5e0c\u4f2f\u6765\u5927\u5b66 Hebrew University of Jerusalem) \u65b0\u8bed\u7528\u5b66\uff1a\u65ad\u8a00\u662f\u8bed\u7528\u7684 The new Pragmatics: Assertions are Pragmatic<\/a>\n\t\t\t\t\t<\/div>\n\n\t\t\t\t\t<div id=\"elementor-tab-content-4903\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"3\" role=\"tabpanel\" aria-labelledby=\"elementor-tab-title-4903\"><p><strong>Abstract:<\/strong><\/p><p data-tool=\"mdnice\u7f16\u8f91\u5668\">In this paper I apply the new Pragmatics to Assertions. Contrary to the prevalent perspective of viewing assertions, viz., epistemic, I argue that assertions are Pragmatic and moreover, are constitutively Pragmatic (in the type of Pragmatics to which our specific Pragmatics belongs). This perspective will cast a new light on whether there is a constitutive Epistemic Norm of Assertion (Williamson). We\u2019ll explore various new features of assertions, viewed from this perspective.<\/p><div class=\"wp-block-spacer\" aria-hidden=\"true\">\u00a0<\/div><\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t<div class=\"elementor-toggle-item\">\n\t\t\t\t\t<div id=\"elementor-tab-title-4904\" class=\"elementor-tab-title\" data-tab=\"4\" role=\"tab\" aria-controls=\"elementor-tab-content-4904\" aria-expanded=\"false\">\n\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon elementor-toggle-icon-left\" aria-hidden=\"true\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-closed\"><i class=\"fas fa-caret-right\"><\/i><\/span>\n\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-opened\"><i class=\"elementor-toggle-icon-opened fas fa-caret-up\"><\/i><\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t<a href=\"\" class=\"elementor-toggle-title\">2025 Oct 14 19:00-21:00 \u4f0a\u52a0\u5c14\u00b7\u514b\u74e6\u7279 Igal Kvart (\u8036\u8def\u6492\u51b7\u5e0c\u4f2f\u6765\u5927\u5b66 Hebrew University of Jerusalem) \u4e00\u79cd\u7ed5\u8fc7\u683c\u83b1\u65af\u548c\u65af\u5854\u5c14\u7eb3\u514b\u7684\u65b0\u8bed\u7528\u5b66 A new Pragmatics, by-passing Grice and Stalnaker<\/a>\n\t\t\t\t\t<\/div>\n\n\t\t\t\t\t<div id=\"elementor-tab-content-4904\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"4\" role=\"tabpanel\" aria-labelledby=\"elementor-tab-title-4904\"><p><strong>Abstract:<\/strong><\/p><p data-tool=\"mdnice\u7f16\u8f91\u5668\">In this paper I apply the new Pragmatics to Assertions. Contrary to the prevalent perspective of viewing assertions, viz., epistemic, I argue that assertions are Pragmatic and moreover, are constitutively Pragmatic (in the type of Pragmatics to which our specific Pragmatics belongs). This perspective will cast a new light on whether there is a constitutive Epistemic Norm of Assertion (Williamson). We\u2019ll explore various new features of assertions, viewed from this perspective.<\/p><div class=\"wp-block-spacer\" aria-hidden=\"true\">\u00a0<\/div><\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t<div class=\"elementor-toggle-item\">\n\t\t\t\t\t<div id=\"elementor-tab-title-4905\" class=\"elementor-tab-title\" data-tab=\"5\" role=\"tab\" aria-controls=\"elementor-tab-content-4905\" aria-expanded=\"false\">\n\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon elementor-toggle-icon-left\" aria-hidden=\"true\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-closed\"><i class=\"fas fa-caret-right\"><\/i><\/span>\n\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-opened\"><i class=\"elementor-toggle-icon-opened fas fa-caret-up\"><\/i><\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t<a href=\"\" class=\"elementor-toggle-title\">2025 Sep 18  14:00-15:30 \u5c0f\u91ce\u5bbd\u6670 Hiroakira Ono (\u65e5\u672c\u5317\u9646\u5148\u7aef\u79d1\u5b66\u6280\u672f\u5927\u5b66\u9662\u5927\u5b66 Japan Advanced Institute of Science and Technology) \u53cc\u76f4\u89c9\u4e3b\u4e49\u903b\u8f91\u7684\u6269\u5f20 Extensions of bi-intuitionistic logic \u2014\u2014 a review<\/a>\n\t\t\t\t\t<\/div>\n\n\t\t\t\t\t<div id=\"elementor-tab-content-4905\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"5\" role=\"tabpanel\" aria-labelledby=\"elementor-tab-title-4905\"><p><strong>Abstract:<\/strong><\/p><p data-tool=\"mdnice\u7f16\u8f91\u5668\">Bi-intuitionistic logic\u00a0\u00a0is intuitionistic logic with co-implication\u00a0, which is a logical connective dual to usual implication. Roughly speaking, while<\/p><p data-tool=\"mdnice\u7f16\u8f91\u5668\"><img decoding=\"async\" loading=\"lazy\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2025\/11\/\u622a\u5c4f2025-11-14-22.59.18-200x32.png\" alt=\"\" width=\"200\" height=\"32\" \/><\/p><p data-tool=\"mdnice\u7f16\u8f91\u5668\">must hold between conjunction and implication,<\/p><p data-tool=\"mdnice\u7f16\u8f91\u5668\"><img decoding=\"async\" loading=\"lazy\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2025\/11\/\u622a\u5c4f2025-11-14-22.59.18-200x32.png\" alt=\"\" width=\"200\" height=\"32\" \/><\/p><p data-tool=\"mdnice\u7f16\u8f91\u5668\">must hold between disjunction and co-implication. In classical logic, as\u00a0\u00a0means , nothing interesting will occur by introducing co-implication. The main aim of my talk is to examine how intuitionistic world will be affected by the introduction of co-implication, by checking basic logical properties of extensions of <strong>BiInt<\/strong> in comparison with those of extensions of intuitionistic logic.<\/p><p data-tool=\"mdnice\u7f16\u8f91\u5668\">First, we will discuss the subject from syntactical aspects, that include (cut-free) sequent formulation, (local) deduction theorems, and also negative translation. Next we will focus our attention on the symmetry features peculiar to extensions of <strong>BiInt<\/strong>. It is pointed out that an interesting duality exists between a given logic and its <em>mirror image<\/em>, which can preserves some interesting logical properties. Also, algebraic approaches based on bi-Heyting algebras will be discussed.<\/p><div class=\"wp-block-spacer\" aria-hidden=\"true\">\u00a0<\/div><\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-eb24c4a elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"eb24c4a\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-10a127c\" data-id=\"10a127c\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-e061962 elementor-widget elementor-widget-heading\" data-id=\"e061962\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\"><span class=\"elementor-heading-title elementor-size-default elementor-inline-editing pen\" data-elementor-setting-key=\"title\" data-pen-placeholder=\"\u5728\u6b64\u8f93\u5165...\" style=\"text-rendering: optimizeLegibility;\"><span style=\"margin-top: 1.25em; margin-bottom: 0.5rem; font-size: 2.0736em; font-weight: 400; color: rgb(48, 49, 51); line-height: 1.25em; text-rendering: optimizeLegibility; font-family: &quot;Source Sans Pro&quot;, Arial, sans-serif; white-space: normal;\">Events in 2024-2025 Spring Semester<\/span><\/span><\/h2>\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-7c5a7f9 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"7c5a7f9\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-c940d96\" data-id=\"c940d96\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-fd8c587 elementor-widget elementor-widget-toggle\" data-id=\"fd8c587\" data-element_type=\"widget\" data-widget_type=\"toggle.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<div class=\"elementor-toggle\" role=\"tablist\">\n\t\t\t\t\t\t\t<div class=\"elementor-toggle-item\">\n\t\t\t\t\t<div id=\"elementor-tab-title-2651\" class=\"elementor-tab-title\" data-tab=\"1\" role=\"tab\" aria-controls=\"elementor-tab-content-2651\" aria-expanded=\"false\">\n\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon elementor-toggle-icon-left\" aria-hidden=\"true\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-closed\"><i class=\"fas fa-caret-right\"><\/i><\/span>\n\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-opened\"><i class=\"elementor-toggle-icon-opened fas fa-caret-up\"><\/i><\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t<a href=\"\" class=\"elementor-toggle-title\">2024 Dec 11  10:00-11:30 \u803f\u5e7d\u9759 Joachim Gentz (University of Edinburg) \u5173\u4e8e\u65e9\u671f\u4e2d\u56fd\u8bba\u8fa9\u7ed3\u6784\u7684\u63a2\u8ba8 Deliberations on the Geometry of Early Chinese Argumentation<\/a>\n\t\t\t\t\t<\/div>\n\n\t\t\t\t\t<div id=\"elementor-tab-content-2651\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"1\" role=\"tabpanel\" aria-labelledby=\"elementor-tab-title-2651\"><p><strong>Abstract:<\/strong><\/p><p>Scholars have long been captivated by repetitive and parallel structures in early Chinese texts. They have described, classified and defined repetitive and parallel figures in these texts and offered explanations of the function and operating principles of these figures. This talk critically engages with such explanations and explores new pathways of analysis in this field. In a first part, the talk provides a short historical overview of methods and theories that explain literary repetitions and parallelisms either as a reflection of structures that exist outside of the texts or with regard to their literary effects on the readers. Subsequently, the talk offers an own approach emphasising time and space aspects of repetitive and parallel structures in early Chinese philosophical texts, arguing that such structures construct a spatial dimension in these texts. In doing so, the talk argues, they go beyond what Ricoeur calls the \u201cModel of the Text\u201d and produce textual objects more akin to the spatial mode of visual objects and ritual performances. In its final part, the talk conducts an analysis of visual materials to illustrate how they reinforce, complement, or even inspire novel perspectives on the geometrical logic of repetition and parallelism within texts. It first explores scholarly conceptual discourse surrounding repetition and parallelism in ornamentation before finally turning to an analysis of Han mural art to discuss basic principles of composition in early Chinese textual and visual art and the roles that repetition and parallelism play to construct meaning therein.<\/p><div class=\"wp-block-spacer\" aria-hidden=\"true\">\u00a0<\/div><\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t<div class=\"elementor-toggle-item\">\n\t\t\t\t\t<div id=\"elementor-tab-title-2652\" class=\"elementor-tab-title\" data-tab=\"2\" role=\"tab\" aria-controls=\"elementor-tab-content-2652\" aria-expanded=\"false\">\n\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon elementor-toggle-icon-left\" aria-hidden=\"true\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-closed\"><i class=\"fas fa-caret-right\"><\/i><\/span>\n\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-opened\"><i class=\"elementor-toggle-icon-opened fas fa-caret-up\"><\/i><\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t<a href=\"\" class=\"elementor-toggle-title\">2025 Feb 20 16:00-17:30 \u7530\u4e2d\u4e00\u4e4b Kazuyuki Tanaka (\u5317\u4eac\u96c1\u6816\u6e56\u5e94\u7528\u6570\u5b66\u7814\u7a76\u9662 Beijing Institute of Mathematical Sciences and Applications.) \u6a21\u6001\u03bc-\u6f14\u7b97\u4ea4\u53e0\u5c42\u7ea7\u7684\u574d\u584c\u73b0\u8c61 On collapsing phenomena of the alternation hierarchy of modal \u03bc-calculus<\/a>\n\t\t\t\t\t<\/div>\n\n\t\t\t\t\t<div id=\"elementor-tab-content-2652\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"2\" role=\"tabpanel\" aria-labelledby=\"elementor-tab-title-2652\"><p><strong>Abstract:<\/strong><\/p><section>Modal \u03bc-calculus, introduced by D. Kozen, is a propositional modal logic extended with greatest and least fixpoint operators. In general, the \u03bc-calculus is much more expressive than modal logic. The alternation hierarchy of \u03bc-formulas is generated by calibrating the entanglement of the fixed-point operators in a \u03bc-formula.\u00a0<section>Alberucci and Facchini [1] demonstrated that the alternation hierarchy of the modal \u03bc-calculus collapses to the alternation-free fragment over transitive frames (for K4) and further to modal logic over equivalence relations (for S5). We extend their results to a broader range of frames, and then characterize such collapsing phenomena in terms of special \u03bc-equations.\u00a0<\/section><section>Furthermore, we apply our findings to epistemic logics, investigating how the alternation hierarchy behaves in systems such as S4.2, S4.3, S4.3.2, and S4.4. From this perspective, we analyze degrees of ignorance in these logics, providing insights into their epistemic structures.\u00a0<\/section><section>This research is conducted in collaboration with Dr. Leonard Pacheco (Institute of Science, Tokyo), and an earlier version of this work was presented in [2].\u00a0<\/section><\/section><section>[1] L. Alberucci and A. Facchini. The modal \u03bc-calculus hierarchy over restricted classes of transition systems.\u00a0J. Symbolic Logic\u00a074 (4) 1367 &#8211; 1400, 2009.\u00a0<\/section><section>[2] L. Pacheco and K. Tanaka. The Alternation Hierarchy of the \u03bc-calculus over Weakly Transitive Frames.\u00a0WoLLIC 2022, LNCS 13468, 207-220, 2022.\u00a0<\/section><div class=\"wp-block-spacer\" aria-hidden=\"true\">\u00a0<\/div><\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t<div class=\"elementor-toggle-item\">\n\t\t\t\t\t<div id=\"elementor-tab-title-2653\" class=\"elementor-tab-title\" data-tab=\"3\" role=\"tab\" aria-controls=\"elementor-tab-content-2653\" aria-expanded=\"false\">\n\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon elementor-toggle-icon-left\" aria-hidden=\"true\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-closed\"><i class=\"fas fa-caret-right\"><\/i><\/span>\n\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-opened\"><i class=\"elementor-toggle-icon-opened fas fa-caret-up\"><\/i><\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t<a href=\"\" class=\"elementor-toggle-title\">2025 Feb 27 18:00-19:30 \u672c\u5c3c\u8fea\u514b\u7279\u00b7\u52d2\u97e6 Benedikt L\u00f6we (University of Hamburg, University of Cambridge) \u6a21\u578b\u6784\u9020\u7684\u6a21\u6001\u903b\u8f91 Modal logics of model constructions<\/a>\n\t\t\t\t\t<\/div>\n\n\t\t\t\t\t<div id=\"elementor-tab-content-2653\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"3\" role=\"tabpanel\" aria-labelledby=\"elementor-tab-title-2653\"><p><strong>Abstract:<\/strong><\/p><section>This is a survey talk about modal logics of model constructions with a particular emphasis on modal logics of forcing. We shall discuss what we can learn from them, how we determine such a modal logic, and what the most relevant open questions are.<\/section><\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t<div class=\"elementor-toggle-item\">\n\t\t\t\t\t<div id=\"elementor-tab-title-2654\" class=\"elementor-tab-title\" data-tab=\"4\" role=\"tab\" aria-controls=\"elementor-tab-content-2654\" aria-expanded=\"false\">\n\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon elementor-toggle-icon-left\" aria-hidden=\"true\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-closed\"><i class=\"fas fa-caret-right\"><\/i><\/span>\n\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-opened\"><i class=\"elementor-toggle-icon-opened fas fa-caret-up\"><\/i><\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t<a href=\"\" class=\"elementor-toggle-title\">2025 Mar 20 16:00-17:30 \u82cf\u6709\u5b89 Youan Su (\u8fbd\u5b81\u5927\u5b66 Liaoning University) \u5e26\u5206\u5e03\u5f0f\u77e5\u8bc6\u7684\u76f4\u89c9\u4e3b\u4e49\u8ba4\u77e5\u903b\u8f91IEL\u4e2d\u7684\u514b\u96f7\u683c\u63d2\u503c\u5b9a\u7406 Craig's Interpolation in Intuitionistic Epistemic Logic IEL with Distributed Knowledge<\/a>\n\t\t\t\t\t<\/div>\n\n\t\t\t\t\t<div id=\"elementor-tab-content-2654\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"4\" role=\"tabpanel\" aria-labelledby=\"elementor-tab-title-2654\"><p><strong>Abstract:<\/strong><\/p><section>This talk will focus on the Craig interpolation theorem, including its meaning, history, and applications. We will present a standard proof-theoretic approach known as Mahara&#8217;s method to demonstrate the proof of this theorem. \u00a0The foundational system under consideration is a first-order intuitionistic epistemic logic\u00a0IEL\u00a0with distributed knowledge. We will demonstrate the Craig interpolation theorem in the system that does not include function symbols. The contents discussed are based on a collaborative work with Katsuhiko Sano and Ryo Murai.<\/section><div class=\"wp-block-spacer\" aria-hidden=\"true\">\u00a0<\/div><\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t<div class=\"elementor-toggle-item\">\n\t\t\t\t\t<div id=\"elementor-tab-title-2655\" class=\"elementor-tab-title\" data-tab=\"5\" role=\"tab\" aria-controls=\"elementor-tab-content-2655\" aria-expanded=\"false\">\n\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon elementor-toggle-icon-left\" aria-hidden=\"true\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-closed\"><i class=\"fas fa-caret-right\"><\/i><\/span>\n\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-opened\"><i class=\"elementor-toggle-icon-opened fas fa-caret-up\"><\/i><\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t<a href=\"\" class=\"elementor-toggle-title\">2025 Mar 27 16:00-17:30 \u7f57\u6377\u5a77 Jieting Luo (\u6d59\u6c5f\u5927\u5b66 Zhejiang University) \u4ece\u5c0f\u6570\u636e\u4e2d\u5b66\u4e60\u4ee5\u5b9e\u73b0\u4e2a\u6027\u5316\uff1a\u57fa\u4e8e\u903b\u8f91\u7684\u65b9\u6cd5 Learning from Small Data for Personalization: Logic-based Approaches<\/a>\n\t\t\t\t\t<\/div>\n\n\t\t\t\t\t<div id=\"elementor-tab-content-2655\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"5\" role=\"tabpanel\" aria-labelledby=\"elementor-tab-title-2655\"><p><strong>Abstract:<\/strong><\/p>\n<section>Large Language Models (LLMs) have demonstrated remarkable capabilities in natural language processing. Fine-tuning these models involves adapting a pre-trained model to specific tasks or domains using smaller datasets, thereby enhancing their performance and relevance. While machine learning techniques are commonly employed for fine-tuning, logic-based approaches\u2014inspired by neural-symbolic learning and formal learning theory\u2014offer an alternative pathway. In this talk, I will present two projects that utilize logic-based methods to enable autonomous agents to learn effectively from limited data, facilitating personalized outcomes. The first project focuses on tailoring explanations through conversational interactions, while the second aims to infer desires from emotions. Both projects highlight the potential of logic-based fine-tuning in enabling agents to achieve sophisticated understanding and reasoning with small data.<\/section>\n<div class=\"wp-block-spacer\" aria-hidden=\"true\"><br><\/div><\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t<div class=\"elementor-toggle-item\">\n\t\t\t\t\t<div id=\"elementor-tab-title-2656\" class=\"elementor-tab-title\" data-tab=\"6\" role=\"tab\" aria-controls=\"elementor-tab-content-2656\" aria-expanded=\"false\">\n\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon elementor-toggle-icon-left\" aria-hidden=\"true\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-closed\"><i class=\"fas fa-caret-right\"><\/i><\/span>\n\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-opened\"><i class=\"elementor-toggle-icon-opened fas fa-caret-up\"><\/i><\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t<a href=\"\" class=\"elementor-toggle-title\">2025 Apr 10 14:00-15:30 \u8096\u6c49 Han Xiao (\u6c49\u5821\u5927\u5b66 University of Hamburg) \u5e7f\u4e49\u6885\u5fb7\u97e6\u6770\u592b\u903b\u8f91\u548c\u523a\u5e03\u5c14\u4ee3\u6570\u903b\u8f91\u4e0d\u53ef\u6709\u9650\u516c\u7406\u5316 Impossibility of finite axiomatisation of generalized Medvedev and spiked Boolean logics<\/a>\n\t\t\t\t\t<\/div>\n\n\t\t\t\t\t<div id=\"elementor-tab-content-2656\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"6\" role=\"tabpanel\" aria-labelledby=\"elementor-tab-title-2656\"><p><strong>Abstract:<\/strong><\/p><section>In this talk, I will present the proof of Nick Bezhanishvili&#8217;s conjectures on generalized Medvedev logics, which is a joint work with Ga\u00eblle Fontaine, and provide an overview of the landscape of this class of logics. Additionally, I will discuss a strengthened version of Inamdar&#8217;s conjecture on the logic of spiked Boolean algebras. If time permits, I will also share some very very recent ideas on a potential result related to Cheq logic.<\/section><div class=\"wp-block-spacer\" aria-hidden=\"true\">\u00a0<\/div><\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t<div class=\"elementor-toggle-item\">\n\t\t\t\t\t<div id=\"elementor-tab-title-2657\" class=\"elementor-tab-title\" data-tab=\"7\" role=\"tab\" aria-controls=\"elementor-tab-content-2657\" aria-expanded=\"false\">\n\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon elementor-toggle-icon-left\" aria-hidden=\"true\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-closed\"><i class=\"fas fa-caret-right\"><\/i><\/span>\n\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-opened\"><i class=\"elementor-toggle-icon-opened fas fa-caret-up\"><\/i><\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t<a href=\"\" class=\"elementor-toggle-title\">2025 Apr 10 16:00-17:30 \u6768\u6728\u6cfd Tomasz Jarmu\u017cek (\u54e5\u767d\u5c3c\u5927\u5b66  Uniwersytet Miko\u0142aja Kopernika w Toruniu) \u5173\u8054\u8bed\u4e49\u53ca\u5176\u5e94\u7528 Relating semantics with selected application examples<\/a>\n\t\t\t\t\t<\/div>\n\n\t\t\t\t\t<div id=\"elementor-tab-content-2657\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"7\" role=\"tabpanel\" aria-labelledby=\"elementor-tab-title-2657\"><p><strong>Abstract:<\/strong><\/p><section><section>Relating logic is a logic of relating connectives &#8212; just as Modal Logic is a logic of modal operators. The basic idea behind relating connectives is that the logical value of a given complex proposition is the result of two things:\u00a0<\/section><section>(i) the logical values of the main components of this complex proposition; \u00a0 supplemented with\u00a0<section>(ii) a valuation of the relation between these components.\u00a0<\/section><section>The latter element is a formal representation of an intensional relation that emerges \u00a0from the connection of several simpler propositions into one more complex proposition. In the presentation I will present a general outline of relating semantics and selected application examples (introductory article: \u00a0\u00a0Relating Semantics as Fine-Grained Semantics for Intensional Logics, \u00a0\u00a0https:\/\/link.springer.com\/chapter\/10.1007\/978-3-030-53487-5_2).<\/section><\/section><\/section><div class=\"wp-block-spacer\" aria-hidden=\"true\">\u00a0<\/div><\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t<div class=\"elementor-toggle-item\">\n\t\t\t\t\t<div id=\"elementor-tab-title-2658\" class=\"elementor-tab-title\" data-tab=\"8\" role=\"tab\" aria-controls=\"elementor-tab-content-2658\" aria-expanded=\"false\">\n\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon elementor-toggle-icon-left\" aria-hidden=\"true\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-closed\"><i class=\"fas fa-caret-right\"><\/i><\/span>\n\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-opened\"><i class=\"elementor-toggle-icon-opened fas fa-caret-up\"><\/i><\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t<a href=\"\" class=\"elementor-toggle-title\">2025 Apr 24 16:00-17:30 \u7a0b\u534e\u6e05 Huaqing Cheng (\u5b89\u5fbd\u5e08\u8303\u5927\u5b66 Anhui Normal university) \u5e26\u5206\u5c42\u76f4\u89c2\u89e3\u91ca\u7684\u76f4\u89c9\u4e3b\u4e49\u4e00\u9636\u903b\u8f91\u7684S5\u6a21\u6001\u6269\u5c55 The S5 Modal Expansion of Intuitionistic First-Order Logic with a Layered Intuitive Interpretation<\/a>\n\t\t\t\t\t<\/div>\n\n\t\t\t\t\t<div id=\"elementor-tab-content-2658\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"8\" role=\"tabpanel\" aria-labelledby=\"elementor-tab-title-2658\"><p><strong>Abstract:<\/strong><\/p><section><section>There exist various works on intuitionistic modal logics which originate from different sources. In this talk, I will construct the system ILS5 (the S5 modal expansion of intuitionistic first-order logic) which maintains the Brouwer-Heyting-Kolmogorov (BHK) interpretation. Meanwhile, I will explore whether ILS5 accepts the Barcan Formula from two perspectives: intuitive interpretation and relational semantics.<section>In providing an intuitive interpretation for ILS5 based on the BHK interpretation, the main difficulty is that the BHK interpretation is confined to first-order logical constants, because logic relies on mathematics in intuitionism. So I will provide a layered intuitive interpretation for ILS5. In this interpretation, the Barcan formula will not be accepted as a general principle within ILS5. This interpretation relies on a hierarchy of truths between intuitionistically necessary truth and classically necessary truth. The proto-ontological difference between Brouwer\u2019s mathematical intuitionism and classical mathematics (C. Posy proposes) can provide the philosophical foundation for this hierarchy.<\/section><section>I will also construct a relational semantics for ILS5 based on a slight variation of a frame which K. Do\u0161en gives. This semantics can help to show that the Barcan formulais not a theorem of ILS5. Basic properties of the ILS5 model will be shown. Typical metatheorems of ILS5 e.g. the monotonicity theorem, soundness theorem, and completeness theorem will be proved. Finally, this semantics has an interesting application in modeling knowledge and belief transfer in social settings.<\/section><\/section><\/section><div class=\"wp-block-spacer\" aria-hidden=\"true\">\u00a0<\/div><\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t<div class=\"elementor-toggle-item\">\n\t\t\t\t\t<div id=\"elementor-tab-title-2659\" class=\"elementor-tab-title\" data-tab=\"9\" role=\"tab\" aria-controls=\"elementor-tab-content-2659\" aria-expanded=\"false\">\n\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon elementor-toggle-icon-left\" aria-hidden=\"true\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-closed\"><i class=\"fas fa-caret-right\"><\/i><\/span>\n\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-opened\"><i class=\"elementor-toggle-icon-opened fas fa-caret-up\"><\/i><\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t<a href=\"\" class=\"elementor-toggle-title\">2025 May 8 14:00-15:30 \u6731\u8587 Wei Zhu (\u5e15\u591a\u74e6\u5927\u5b66 University of Padova) \u4e00\u81f4\u6027\u8fdd\u80cc\u8ba1\u6570\u7b97\u6cd5\uff1a\u4e00\u79cd\u4fe1\u5ff5\u4f18\u5148\u7684\u6392\u540d\u51fd\u6570\u65b9\u6cd5 Consistency Violation Counting Algorithm: A Belief-First Approach to Ranking Functions<\/a>\n\t\t\t\t\t<\/div>\n\n\t\t\t\t\t<div id=\"elementor-tab-content-2659\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"9\" role=\"tabpanel\" aria-labelledby=\"elementor-tab-title-2659\"><p><strong>Abstract:<\/strong><\/p><section><section>Spohn&#8217;s ranking function provides a semi-quantitative, quasi-probabilistic measure for an algebra \ud835\udc9c over a set of possibilities W, assigning numerical values to sets in \ud835\udc9c and thus raising a question of how to interpret and generate non-trivial ranking numbers. In this paper, we adopt a belief-first epistemological perspective and introduce a new consistency violation counting algorithm (CVCA), which generates ranking numbers based on an agent\u2019s existing beliefs. The central idea of CVCA is to assign a unique numerical value to a proposition by counting the minimal number of reference beliefs it contradicts. To develop this approach, we first introduce two assumptions regarding a reference set and how the CVCA works. Based on these assumptions, we define CVCA and demonstrate its constructive feature by proposing two implementation methods: one using kernel contraction in belief revision theories and the other the breadth-first search algorithm in computer science. Finally, we show how ranking numbers can be generated and explained by integrating a belief-first epistemological view, a computational algorithm, and a ranking function into a unified framework.\u00a0<\/section><\/section><div class=\"wp-block-spacer\" aria-hidden=\"true\">\u00a0<\/div><\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t<div class=\"elementor-toggle-item\">\n\t\t\t\t\t<div id=\"elementor-tab-title-26510\" class=\"elementor-tab-title\" data-tab=\"10\" role=\"tab\" aria-controls=\"elementor-tab-content-26510\" aria-expanded=\"false\">\n\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon elementor-toggle-icon-left\" aria-hidden=\"true\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-closed\"><i class=\"fas fa-caret-right\"><\/i><\/span>\n\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-opened\"><i class=\"elementor-toggle-icon-opened fas fa-caret-up\"><\/i><\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t<a href=\"\" class=\"elementor-toggle-title\">2025 May 24 10:00-11:30 \u57c3\u8389\u5965\u8bfa\u62c9\u00b7\u514b\u91cc\u65af\u6258 Eleonora Cresto (\u5723\u5b89\u5fb7\u70c8\u65af\u5927\u5b66 Universidad de San Andr\u00e9s, CONICET \/ IIF-SADAF) \u65e0\u57fa\u7840\u6536\u76ca\u7684\u52a8\u6001\u903b\u8f91 Dynamic Logic for Ungrounded Payoffs<\/a>\n\t\t\t\t\t<\/div>\n\n\t\t\t\t\t<div id=\"elementor-tab-content-26510\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"10\" role=\"tabpanel\" aria-labelledby=\"elementor-tab-title-26510\"><p><strong>Abstract:<\/strong><\/p><section><section>Higher order likes and desires sometimes lead agents to have ungrounded or paradoxical preferences. This situation is particularly problematic in the context of games. If payoffs are interdependent, the overall assessment of particular courses of action becomes ungrounded; in such cases the matrix of the game is radically under-determined. Paradigmatic examples of this phenomenon occur when players are \u2018perfect altruists\u2019 or \u2018perfect haters\u2019, in a sense to be explained. In this paper I rely on a dynamic doxastic logic to mimic the search for a suitable matrix. Upgrades are triggered by conjectures on other players\u2019 utilities, which can in turn be based on behavioral or verbal cues. We can prove that, under certain conditions, pairs of agents with paradoxical preferences eventually come to believe that they are not able to interact in a game. As a result I hope to provide a better understanding of game-theoretic ungroundedness, and, more generally, of the nuances of higher order preferences and desires.\u00a0<\/section><\/section><div class=\"wp-block-spacer\" aria-hidden=\"true\">\u00a0<\/div><\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t<div class=\"elementor-toggle-item\">\n\t\t\t\t\t<div id=\"elementor-tab-title-26511\" class=\"elementor-tab-title\" data-tab=\"11\" role=\"tab\" aria-controls=\"elementor-tab-content-26511\" aria-expanded=\"false\">\n\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon elementor-toggle-icon-left\" aria-hidden=\"true\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-closed\"><i class=\"fas fa-caret-right\"><\/i><\/span>\n\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-opened\"><i class=\"elementor-toggle-icon-opened fas fa-caret-up\"><\/i><\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t<a href=\"\" class=\"elementor-toggle-title\">2025 May 31 10:00-11:30 Xueyin (Snow) Zhang (\u52a0\u5dde\u5927\u5b66\u4f2f\u514b\u5229\u5206\u6821 University of California, Berkley) \u89c9\u77e5\u7684\u4ee3\u6570\uff1a\u4e24\u79cd\u5efa\u6a21\u7684\u6bd4\u8f83 The algebra of awareness: A comparison of two models<\/a>\n\t\t\t\t\t<\/div>\n\n\t\t\t\t\t<div id=\"elementor-tab-content-26511\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"11\" role=\"tabpanel\" aria-labelledby=\"elementor-tab-title-26511\"><p><strong>Abstract:<\/strong><\/p><section><section><section>We are unaware of many things, and we are often unaware that we are unaware of them. But what is (un)awareness, and how does it relate to traditional epistemic notions such as belief, knowledge, and uncertainty? One influential model of unawareness in economics is the model developed by Heifetz, Meier, and Schipper (hereafter HMS). In their model, the objects of knowledge and awareness can be viewed as what we call directed events, which are sets of states relativized to a level of awareness (intuitively a subject matter or a question). However, their algebra of directed events does not form a Boolean algebra or even a lattice. This feature of their model raises two questions: What is the algebraic structure of directed events, and how does knowledge of directed events relate to knowledge of standard events (represented as sets of states)? This paper addresses both questions. First, we show that HMS event algebras correspond to (i) a sub-class of agglomerative algebras (Goodman 2019) and (ii) a sub-class of relativized Boolean algebras (Piermont 2019). Second, we show that knowledge and awareness of directed events is reducible to knowledge and awareness of standard events. One conceptual upshot of our results is that, despite apparent differences, there is much commonality between the HMS model of awareness and the Boolean-algebra-based models of Lederman and Fritz (2016) and Holliday (forthcoming).<\/section><section>This is joint work with Wesley Holliday.<\/section><\/section><\/section><div class=\"wp-block-spacer\" aria-hidden=\"true\">\u00a0<\/div><\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t<div class=\"elementor-toggle-item\">\n\t\t\t\t\t<div id=\"elementor-tab-title-26512\" class=\"elementor-tab-title\" data-tab=\"12\" role=\"tab\" aria-controls=\"elementor-tab-content-26512\" aria-expanded=\"false\">\n\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon elementor-toggle-icon-left\" aria-hidden=\"true\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-closed\"><i class=\"fas fa-caret-right\"><\/i><\/span>\n\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-opened\"><i class=\"elementor-toggle-icon-opened fas fa-caret-up\"><\/i><\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t<a href=\"\" class=\"elementor-toggle-title\">2025 Jun 5 16:00-17:30 \u683c\u96f7\u5384\u59c6\u00b7\u666e\u91cc\u65af\u7279 Graham Priest (\u7ebd\u7ea6\u5e02\u7acb\u5927\u5b66\u7814\u7a76\u751f\u9662 The City University of New York) \u8d85\u534f\u8c03\u903b\u8f91\u4e0e\u53cc\u91cd\u771f\u7406\u7406\u8bba \u00dcberconsistent Logics and Dialetheism<\/a>\n\t\t\t\t\t<\/div>\n\n\t\t\t\t\t<div id=\"elementor-tab-content-26512\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"12\" role=\"tabpanel\" aria-labelledby=\"elementor-tab-title-26512\"><p><strong>Abstract:<\/strong><\/p><section><section><section>For many decades now, logics which permit inconsistent but non-trivial theories have been investigated and discussed. However, of recent years, we have seen the recognition that there are logics which not only permit contradictions, but which deliver contradictions: the logical truths are themselves inconsistent. As yet, they have no standard name as far as I know. Let us call them u\u0308berconsistent logics. Dialetheism is the view that some contradictions are true. It might well be thought that these logics which deliver contradictory logical truths provide a slam dunk for dialetheism. After all, as Quine puts it, \u2018if sheer logic is not conclusive, what is?\u2019 Matters are not that straightforward, however. This talk is an initial investigation of the relationship between u\u0308berconsistent logics and dialetheism. In the first part of the talk I give the appropriate background for the discussion. In the second I discuss how three well known u\u0308berconsistent logics bear on the matter of dialetheism.<\/section><\/section><\/section><div class=\"wp-block-spacer\" aria-hidden=\"true\">\u00a0<\/div><\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t<div class=\"elementor-toggle-item\">\n\t\t\t\t\t<div id=\"elementor-tab-title-26513\" class=\"elementor-tab-title\" data-tab=\"13\" role=\"tab\" aria-controls=\"elementor-tab-content-26513\" aria-expanded=\"false\">\n\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon elementor-toggle-icon-left\" aria-hidden=\"true\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-closed\"><i class=\"fas fa-caret-right\"><\/i><\/span>\n\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-opened\"><i class=\"elementor-toggle-icon-opened fas fa-caret-up\"><\/i><\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t<a href=\"\" class=\"elementor-toggle-title\">2025 Jun 12 16:00-17:30 \u5361\u6d1b\u00b7\u79d1\u5c14\u8fbe\u65af\u79d1 Carlo Cordasco (\u66fc\u5207\u65af\u7279\u5927\u5b66 University of Manchester) \u51c6\u786e\u6027\u4e0e\u53ef\u89e3\u91ca\u6027\u7684\u6743\u8861\u53ca\u5176\u5f71\u54cd The Accuracy-Explainability trade-off and its implication<\/a>\n\t\t\t\t\t<\/div>\n\n\t\t\t\t\t<div id=\"elementor-tab-content-26513\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"13\" role=\"tabpanel\" aria-labelledby=\"elementor-tab-title-26513\"><p><strong>Abstract:<\/strong><\/p><section><section><section>Vredenburgh (2021) argues for a collective interest in \u201cexplainability\u201d of machine\u2010learning outputs on the grounds that, without genuine causal explanations, agents lack the means to revise their strategies. This paper begins by examining the implicit theory of explanation at stake, showing it must satisfy two classical desiderata: truth\u2010tracking (each explanans must be factually and causally sound) and verifiability (the inferential steps must be inspectable and checkable). I then introduce a decision\u2010theoretic model\u2014analogous in human hiring and grading\u2014demonstrating that imposing fully transparent, ex-ante rules enforces a shallow proof structure but forfeits accuracy when novel, unanticipated data arise. By contrast, any rule that learns and adapts must embed latent premises, deepening the \u201cproof tree\u201d and eluding ex-ante inspection. This accuracy\u2013explainability trade-off undermines Vredenburgh\u2019s case for an unqualified Right to Explanation in dynamic contexts, for it shows that insisting on deductive transparency can incur unacceptable epistemic and practical costs.<\/section><\/section><\/section><div class=\"wp-block-spacer\" aria-hidden=\"true\">\u00a0<\/div><\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"<p>Events in 2024-2025 Spring Semester 2024 Dec 11 10:00-1 [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/8735"}],"collection":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/comments?post=8735"}],"version-history":[{"count":54,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/8735\/revisions"}],"predecessor-version":[{"id":8802,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/8735\/revisions\/8802"}],"wp:attachment":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/media?parent=8735"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}