{"id":6026,"date":"2023-05-21T13:15:23","date_gmt":"2023-05-21T05:15:23","guid":{"rendered":"http:\/\/tsinghualogic.net\/JRC\/?page_id=6026"},"modified":"2026-04-30T10:56:05","modified_gmt":"2026-04-30T02:56:05","slug":"mianmenu","status":"publish","type":"page","link":"http:\/\/tsinghualogic.net\/JRC\/","title":{"rendered":"JRC for Logic"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-page\" data-elementor-id=\"6026\" class=\"elementor elementor-6026\" 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-beadff4 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"beadff4\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-wide\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-50 elementor-top-column elementor-element elementor-element-bf8f3e6\" data-id=\"bf8f3e6\" 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-66d1306 elementor-widget elementor-widget-heading\" data-id=\"66d1306\" 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><h6 class=\"elementor-heading-title elementor-size-default\">NEWS<\/h6>\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<section class=\"elementor-section elementor-inner-section elementor-element elementor-element-5f73fd8 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"5f73fd8\" data-element_type=\"section\">\n\t\t\t\t\t\t\t<div class=\"elementor-background-overlay\"><\/div>\n\t\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-inner-column elementor-element elementor-element-5f7d68b\" data-id=\"5f7d68b\" 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-6a42bfe elementor-arrows-position-outside elementor-pagination-position-outside elementor-widget elementor-widget-image-carousel\" data-id=\"6a42bfe\" data-element_type=\"widget\" data-settings=\"{&quot;slides_to_show&quot;:&quot;1&quot;,&quot;speed&quot;:409,&quot;navigation&quot;:&quot;both&quot;,&quot;autoplay&quot;:&quot;yes&quot;,&quot;pause_on_hover&quot;:&quot;yes&quot;,&quot;pause_on_interaction&quot;:&quot;yes&quot;,&quot;autoplay_speed&quot;:5000,&quot;infinite&quot;:&quot;yes&quot;,&quot;effect&quot;:&quot;slide&quot;}\" data-widget_type=\"image-carousel.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-widget-image-carousel .swiper-container{position:static}.elementor-widget-image-carousel .swiper-container .swiper-slide figure{line-height:inherit}.elementor-widget-image-carousel .swiper-slide{text-align:center}.elementor-image-carousel-wrapper:not(.swiper-container-initialized) .swiper-slide{max-width:calc(100% \/ var(--e-image-carousel-slides-to-show, 3))}<\/style>\t\t<div class=\"elementor-image-carousel-wrapper swiper-container\" dir=\"ltr\">\n\t\t\t<div class=\"elementor-image-carousel swiper-wrapper swiper-image-stretch\">\n\t\t\t\t\t\t\t\t<div class=\"swiper-slide\"><figure class=\"swiper-slide-inner\"><img decoding=\"async\" class=\"swiper-slide-image\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2025\/12\/640-1-e1767093121544-570x350.png\" alt=\"640\" \/><\/figure><\/div><div class=\"swiper-slide\"><figure class=\"swiper-slide-inner\"><img decoding=\"async\" class=\"swiper-slide-image\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2025\/12\/\u5fae\u4fe1\u56fe\u7247_2025-12-01_175846_711-570x350.jpg\" alt=\"\u8303\u4e19\u7533\u6559\u6388\u65b0\u4f5c\u300aLogic, Information and Agency\u300b\u7531\u65af\u5766\u798f\u5927\u5b66CSLI\u51fa\u7248\uff01\" \/><\/figure><\/div><div class=\"swiper-slide\"><figure class=\"swiper-slide-inner\"><img decoding=\"async\" class=\"swiper-slide-image\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2025\/12\/\u5fae\u4fe1\u56fe\u7247_2025-12-01_180126_713-1-e1764671455279-570x350.png\" alt=\"\u5fae\u4fe1\u56fe\u7247_2025-12-01_180126_713\" \/><\/figure><\/div><div class=\"swiper-slide\"><figure class=\"swiper-slide-inner\"><img decoding=\"async\" class=\"swiper-slide-image\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2025\/12\/\u5fae\u4fe1\u56fe\u7247_2025-12-01_180010_617-570x350.jpg\" alt=\"\u5fae\u4fe1\u56fe\u7247_2025-12-01_180010_617\" \/><\/figure><\/div><div class=\"swiper-slide\"><figure class=\"swiper-slide-inner\"><img decoding=\"async\" class=\"swiper-slide-image\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2024\/08\/20220219-e1724743712328-570x350.jpg\" alt=\"20220219\" \/><\/figure><\/div><div class=\"swiper-slide\"><figure class=\"swiper-slide-inner\"><img decoding=\"async\" class=\"swiper-slide-image\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2025\/12\/640-2-570x350.jpeg\" alt=\"640 (2)\" \/><\/figure><\/div><div class=\"swiper-slide\"><figure class=\"swiper-slide-inner\"><img decoding=\"async\" class=\"swiper-slide-image\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2025\/12\/W020251022544748798990-570x350.jpg\" alt=\"W020251022544748798990\" \/><\/figure><\/div><div class=\"swiper-slide\"><figure class=\"swiper-slide-inner\"><img decoding=\"async\" class=\"swiper-slide-image\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2025\/08\/\u622a\u5c4f2025-08-06-15.51.10-570x350.png\" alt=\"\u622a\u5c4f2025-08-06 15.51.10\" \/><\/figure><\/div><div class=\"swiper-slide\"><figure class=\"swiper-slide-inner\"><img decoding=\"async\" class=\"swiper-slide-image\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2025\/12\/640-3-570x350.jpeg\" alt=\"640 (3)\" \/><\/figure><\/div><div class=\"swiper-slide\"><figure class=\"swiper-slide-inner\"><img decoding=\"async\" class=\"swiper-slide-image\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2025\/05\/\u622a\u5c4f2025-05-13-09.35.44-570x350.png\" alt=\"\u622a\u5c4f2025-05-13 09.35.44\" \/><\/figure><\/div>\t\t\t<\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"swiper-pagination\"><\/div>\n\t\t\t\t\t\t\t\t\t\t\t\t\t<div class=\"elementor-swiper-button elementor-swiper-button-prev\">\n\t\t\t\t\t\t<i aria-hidden=\"true\" class=\"eicon-chevron-left\"><\/i>\t\t\t\t\t\t<span class=\"elementor-screen-only\">\u4e0a\u4e00\u9875<\/span>\n\t\t\t\t\t<\/div>\n\t\t\t\t\t<div class=\"elementor-swiper-button elementor-swiper-button-next\">\n\t\t\t\t\t\t<i aria-hidden=\"true\" class=\"eicon-chevron-right\"><\/i>\t\t\t\t\t\t<span class=\"elementor-screen-only\">\u4e0b\u4e00\u9875<\/span>\n\t\t\t\t\t<\/div>\n\t\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<div class=\"elementor-element elementor-element-5bffce7 elementor-widget elementor-widget-text-editor\" data-id=\"5bffce7\" data-element_type=\"widget\" data-widget_type=\"text-editor.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-widget-text-editor.elementor-drop-cap-view-stacked .elementor-drop-cap{background-color:#818a91;color:#fff}.elementor-widget-text-editor.elementor-drop-cap-view-framed .elementor-drop-cap{color:#818a91;border:3px solid;background-color:transparent}.elementor-widget-text-editor:not(.elementor-drop-cap-view-default) .elementor-drop-cap{margin-top:8px}.elementor-widget-text-editor:not(.elementor-drop-cap-view-default) .elementor-drop-cap-letter{width:1em;height:1em}.elementor-widget-text-editor .elementor-drop-cap{float:left;text-align:center;line-height:1;font-size:50px}.elementor-widget-text-editor .elementor-drop-cap-letter{display:inline-block}<\/style>\t\t\t\t<ul><li><a href=\"https:\/\/mp.weixin.qq.com\/s\/si3sDG2pOhjC1B3pO2J5aQ\">\u903b\u8f91\u5b66\u7814\u7a76\u4e2d\u5fc3\u4e00\u9879\u53d1\u660e\u4e13\u5229\u83b7\u5f97\u6388\u6743<\/a><\/li><li><a href=\"https:\/\/mp.weixin.qq.com\/s\/TYpGiW55irHpPID2bvMAqg\">\u8303\u4e19\u7533\u6559\u6388\u65b0\u4f5c\u300aLogic, Information and Agency\u300b\u7531\u65af\u5766\u798f\u5927\u5b66CSLI\u51fa\u7248\uff01<\/a><\/li><li><a href=\"https:\/\/mp.weixin.qq.com\/s\/DWup0hL5HuOL6Rzy1tjliQ\">\u903b\u8f91\u4e0e\u4eba\u5de5\u667a\u80fd\u5b9e\u9a8c\u5ba4\u7684\u4e00\u9879\u65b0\u6210\u679c\u88abAAAI-26\u7814\u8ba8\u4f1a\u63a5\u6536\u4e3a\u53e3\u5934\u62a5\u544a\u8bba\u6587<\/a><\/li><li><a href=\"https:\/\/www.cssn.cn\/zx\/zx_rdkx\/202511\/t20251110_5930597.shtml\">\u7b2c\u56db\u5c4a\u201c\u903b\u8f91\u4e0e\u54f2\u5b66\u56fd\u9645\u4f1a\u8bae\u201d\u5728\u6e05\u534e\u5927\u5b66\u4e3e\u884c<\/a><\/li><li><a href=\"https:\/\/www.tsinghua.edu.cn\/info\/1176\/122237.htm\">\u54f2\u5b66\u7cfb\u6559\u6388\u5218\u594b\u8363\u5f53\u9009\u4e3a\u56fd\u9645\u79d1\u5b66\u54f2\u5b66\u5b66\u9662\u6b63\u5f0f\u9662\u58eb<\/a><\/li><li><a href=\"https:\/\/www.cssn.cn\/zx\/zx_rdkx\/202510\/t20251015_5918896.shtml\">\u201c\u91d1\u5cb3\u9716\u5b66\u672f\u8bb2\u5ea7\u201d\u5728\u6e05\u534e\u5927\u5b66\u4e3e\u884c<\/a><\/li><li><a href=\"https:\/\/mp.weixin.qq.com\/s\/fXdyp5cMJkdQh-E0n6gDMw\">\u8377\u5170\u9a7b\u534e\u5927\u4f7f\u9986\u6559\u80b2\u79d1\u5b66\u53c2\u8d5e\u8bbf\u95ee\u6e05\u534e\u5927\u5b66-\u963f\u59c6\u65af\u7279\u4e39\u5927\u5b66\u903b\u8f91\u5b66\u8054\u5408\u7814\u7a76\u4e2d\u5fc3<\/a><\/li><li><a href=\"https:\/\/www.tsinghua.edu.cn\/info\/1175\/120398.htm\">\u54f2\u5b66\u7cfb\u5218\u594b\u8363\u6559\u6388\u64b0\u5199\u7684\u300a\u65af\u5766\u798f\u54f2\u5b66\u767e\u79d1\u5168\u4e66\u300b\u8bcd\u6761\u6b63\u5f0f\u53d1\u8868<\/a><\/li><li><a href=\"https:\/\/mp.weixin.qq.com\/s\/qxZU0lYlbBsgqibt0uo57w\">\u7b2c\u4e94\u5c4a\u6e05\u534e\u903b\u8f91\u6691\u671f\u5b66\u6821\u6210\u529f\u4e3e\u529e<\/a><\/li><li><a href=\"https:\/\/mp.weixin.qq.com\/s\/-jfGAQUD7GfQZP3dKY2Uog\">\u201c\u5927\u8bed\u8a00\u6a21\u578b\u7684\u903b\u8f91\u63a8\u7406\u80fd\u529b\u201d\u7814\u7a76\u5f15\u53d1\u5e7f\u6cdb\u5173\u6ce8<\/a><\/li><\/ul>\t\t\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<\/div>\n\t\t<\/div>\n\t\t\t\t<div class=\"elementor-column elementor-col-50 elementor-top-column elementor-element elementor-element-588ed29\" data-id=\"588ed29\" 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-bc31867 elementor-widget elementor-widget-heading\" data-id=\"bc31867\" data-element_type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<h6 class=\"elementor-heading-title elementor-size-default\">Regular Events<\/h6>\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-39fc83a elementor-tabs-alignment-stretch elementor-tabs-view-horizontal elementor-widget elementor-widget-tabs\" data-id=\"39fc83a\" data-element_type=\"widget\" data-widget_type=\"tabs.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-widget-tabs.elementor-tabs-view-vertical .elementor-tabs-wrapper{width:25%;-ms-flex-negative:0;flex-shrink:0}.elementor-widget-tabs.elementor-tabs-view-vertical .elementor-tab-desktop-title.elementor-active{border-right-style:none}.elementor-widget-tabs.elementor-tabs-view-vertical .elementor-tab-desktop-title.elementor-active:after,.elementor-widget-tabs.elementor-tabs-view-vertical .elementor-tab-desktop-title.elementor-active:before{height:999em;width:0;right:0;border-right-style:solid}.elementor-widget-tabs.elementor-tabs-view-vertical .elementor-tab-desktop-title.elementor-active:before{top:0;-webkit-transform:translateY(-100%);-ms-transform:translateY(-100%);transform:translateY(-100%)}.elementor-widget-tabs.elementor-tabs-view-vertical .elementor-tab-desktop-title.elementor-active:after{top:100%}.elementor-widget-tabs.elementor-tabs-view-horizontal .elementor-tab-desktop-title{display:table-cell}.elementor-widget-tabs.elementor-tabs-view-horizontal .elementor-tab-desktop-title.elementor-active{border-bottom-style:none}.elementor-widget-tabs.elementor-tabs-view-horizontal .elementor-tab-desktop-title.elementor-active:after,.elementor-widget-tabs.elementor-tabs-view-horizontal .elementor-tab-desktop-title.elementor-active:before{bottom:0;height:0;width:999em;border-bottom-style:solid}.elementor-widget-tabs.elementor-tabs-view-horizontal .elementor-tab-desktop-title.elementor-active:before{right:100%}.elementor-widget-tabs.elementor-tabs-view-horizontal .elementor-tab-desktop-title.elementor-active:after{left:100%}.elementor-widget-tabs .elementor-tab-content,.elementor-widget-tabs .elementor-tab-title,.elementor-widget-tabs .elementor-tab-title:after,.elementor-widget-tabs .elementor-tab-title:before,.elementor-widget-tabs .elementor-tabs-content-wrapper{border:1px #d4d4d4}.elementor-widget-tabs .elementor-tabs{text-align:left}.elementor-widget-tabs .elementor-tabs-wrapper{overflow:hidden}.elementor-widget-tabs .elementor-tab-title{cursor:pointer;outline:var(--focus-outline,none)}.elementor-widget-tabs .elementor-tab-desktop-title{position:relative;padding:20px 25px;font-weight:700;line-height:1;border:solid transparent}.elementor-widget-tabs .elementor-tab-desktop-title.elementor-active{border-color:#d4d4d4}.elementor-widget-tabs .elementor-tab-desktop-title.elementor-active:after,.elementor-widget-tabs .elementor-tab-desktop-title.elementor-active:before{display:block;content:\"\";position:absolute}.elementor-widget-tabs .elementor-tab-mobile-title{padding:10px;cursor:pointer}.elementor-widget-tabs .elementor-tab-content{padding:20px;display:none}@media (max-width:767px){.elementor-tabs .elementor-tab-content,.elementor-tabs .elementor-tab-title{border-style:solid solid none}.elementor-tabs .elementor-tabs-wrapper{display:none}.elementor-tabs .elementor-tabs-content-wrapper{border-bottom-style:solid}.elementor-tabs .elementor-tab-content{padding:10px}}@media (min-width:768px){.elementor-widget-tabs.elementor-tabs-view-vertical .elementor-tabs{display:-webkit-box;display:-ms-flexbox;display:flex}.elementor-widget-tabs.elementor-tabs-view-vertical .elementor-tabs-wrapper{-webkit-box-orient:vertical;-webkit-box-direction:normal;-ms-flex-direction:column;flex-direction:column}.elementor-widget-tabs.elementor-tabs-view-vertical .elementor-tabs-content-wrapper{-webkit-box-flex:1;-ms-flex-positive:1;flex-grow:1;border-style:solid solid solid none}.elementor-widget-tabs.elementor-tabs-view-horizontal .elementor-tab-content{border-style:none solid solid}.elementor-widget-tabs.elementor-tabs-alignment-center .elementor-tabs-wrapper,.elementor-widget-tabs.elementor-tabs-alignment-end .elementor-tabs-wrapper,.elementor-widget-tabs.elementor-tabs-alignment-stretch .elementor-tabs-wrapper{display:-webkit-box;display:-ms-flexbox;display:flex}.elementor-widget-tabs.elementor-tabs-alignment-center .elementor-tabs-wrapper{-webkit-box-pack:center;-ms-flex-pack:center;justify-content:center}.elementor-widget-tabs.elementor-tabs-alignment-end .elementor-tabs-wrapper{-webkit-box-pack:end;-ms-flex-pack:end;justify-content:flex-end}.elementor-widget-tabs.elementor-tabs-alignment-stretch.elementor-tabs-view-horizontal .elementor-tab-title{width:100%}.elementor-widget-tabs.elementor-tabs-alignment-stretch.elementor-tabs-view-vertical .elementor-tab-title{height:100%}.elementor-tabs .elementor-tab-mobile-title{display:none}}<\/style>\t\t<div class=\"elementor-tabs\">\n\t\t\t<div class=\"elementor-tabs-wrapper\" role=\"tablist\" >\n\t\t\t\t\t\t\t\t\t<div id=\"elementor-tab-title-6081\" class=\"elementor-tab-title elementor-tab-desktop-title\" aria-selected=\"true\" data-tab=\"1\" role=\"tab\" tabindex=\"0\" aria-controls=\"elementor-tab-content-6081\" aria-expanded=\"false\">Tsinghua Logic Salon<\/div>\n\t\t\t\t\t\t\t\t\t<div id=\"elementor-tab-title-6082\" class=\"elementor-tab-title elementor-tab-desktop-title\" aria-selected=\"false\" data-tab=\"2\" role=\"tab\" tabindex=\"-1\" aria-controls=\"elementor-tab-content-6082\" aria-expanded=\"false\">Tsing Ch\u2019a Sessions<\/div>\n\t\t\t\t\t\t\t\t\t<div id=\"elementor-tab-title-6083\" class=\"elementor-tab-title elementor-tab-desktop-title\" aria-selected=\"false\" data-tab=\"3\" role=\"tab\" tabindex=\"-1\" aria-controls=\"elementor-tab-content-6083\" aria-expanded=\"false\">Logic Reading Program<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t\t<div class=\"elementor-tabs-content-wrapper\" role=\"tablist\" aria-orientation=\"vertical\">\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-tab-title elementor-tab-mobile-title\" aria-selected=\"true\" data-tab=\"1\" role=\"tab\" tabindex=\"0\" aria-controls=\"elementor-tab-content-6081\" aria-expanded=\"false\">Tsinghua Logic Salon<\/div>\n\t\t\t\t\t<div id=\"elementor-tab-content-6081\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"1\" role=\"tabpanel\" aria-labelledby=\"elementor-tab-title-6081\" tabindex=\"0\" hidden=\"false\"><p><strong>2026 Apr 16 14:00-15:30 Andrew Arana (University of Lorraine) An Introduction to Purity of Methods<\/strong><\/p><p>A proof of a theorem can be said to be pure if it draws only on what is \u201cclose\u201d or \u201cintrinsic\u201d to that theorem. In this talk, we will introduce the apparent preference for pure proofs that has persisted in mathematics since antiquity, alongside a competing preference for impurity&#8230; <a href=\"http:\/\/tsinghualogic.net\/JRC\/event-series\/thulogicsalon\/\">More&gt;&gt;<\/a><\/p><p><img decoding=\"async\" loading=\"lazy\" class=\" wp-image-6053 aligncenter\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/WechatIMG2085.jpeg\" alt=\"\" width=\"305\" height=\"169\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/WechatIMG2085.jpeg 900w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/WechatIMG2085-200x111.jpeg 200w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/WechatIMG2085-768x427.jpeg 768w\" sizes=\"(max-width: 305px) 100vw, 305px\" \/><\/p><\/div>\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-tab-title elementor-tab-mobile-title\" aria-selected=\"false\" data-tab=\"2\" role=\"tab\" tabindex=\"-1\" aria-controls=\"elementor-tab-content-6082\" aria-expanded=\"false\">Tsing Ch\u2019a Sessions<\/div>\n\t\t\t\t\t<div id=\"elementor-tab-content-6082\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"2\" role=\"tabpanel\" aria-labelledby=\"elementor-tab-title-6082\" tabindex=\"0\" hidden=\"hidden\"><p><strong>2026 Apr 9 14:00-15:30 Wenlong Zheng (\u90d1\u6587\u9f99, Tsinghua University) Nonmonotonicity and Actual Causation: The Theory of Bochman\u2019s Causal Calculus<\/strong><\/p><p data-tool=\"mdnice\u7f16\u8f91\u5668\">Causality is a fundamental concept in reasoning, yet capturing its exact formal semantics has historically posed a challenge for standard deductive systems. In his 2021 book\u00a0<em>A Logical Theory of Causality<\/em>, Alexander Bochman develops a causal calculus based on rules of the form A\\Rightarrow B\u00a0 (\u201cA causes B\u201d), situated within a nonmonotonic reasoning framework. By treating causal rules as default assumptions, we will see how causal reasoning emerges as a special instance of nonmonotonic reasoning developed within the knowledge representation and symbolic branches of artificial intelligence&#8230;.<a href=\"http:\/\/tsinghualogic.net\/JRC\/tsingcha\/\">More&gt;&gt;<\/a><\/p><p><img decoding=\"async\" loading=\"lazy\" class=\"alignnone wp-image-6054 aligncenter\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/WechatIMG2086.jpeg\" alt=\"\" width=\"312\" height=\"173\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/WechatIMG2086.jpeg 900w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/WechatIMG2086-200x111.jpeg 200w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/WechatIMG2086-768x427.jpeg 768w\" sizes=\"(max-width: 312px) 100vw, 312px\" \/><\/p><\/div>\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-tab-title elementor-tab-mobile-title\" aria-selected=\"false\" data-tab=\"3\" role=\"tab\" tabindex=\"-1\" aria-controls=\"elementor-tab-content-6083\" aria-expanded=\"false\">Logic Reading Program<\/div>\n\t\t\t\t\t<div id=\"elementor-tab-content-6083\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"3\" role=\"tabpanel\" aria-labelledby=\"elementor-tab-title-6083\" tabindex=\"0\" hidden=\"hidden\"><p><strong>2026 Mar 19 14:00-15:30 Wenfei Ouyang (\u6b27\u9633\u6587\u98de, Tsinghua University) \u4f59\u4ee3\u6570\u4e0e\u6a21\u6001\u903b\u8f91<\/strong><\/p><p>\u672c\u671f\u8fdb\u9636\u8bfb\u4e66\u4f1a\u5c06\u4e8e\u00a02026\u5e743\u670819\u65e5\uff08\u5468\u56db\uff0914:00-15:30\u00a0\u5728\u6e05\u534e\u5927\u5b66\u903b\u8f91\u5b66\u4e2d\u5fc3\u4e3e\u884c\uff0c\u7531\u6e05\u534e\u5927\u5b66\u6b27\u9633\u6587\u98de\u540c\u5b66\u62a5\u544a Yde Venema \u7f16\u5199\u7684\u8bb2\u4e49\u00a0Coalgebra and Modal Logic: A First Introduction\u00a0\u7684 1.2 \u8282\uff0c\u91cd\u70b9\u4ecb\u7ecd<span class=\"\">\u6a21\u6001\u903b\u8f91<\/span>\u7684 bounded morphism \u5728 coalgebra \u4e2d\u7684\u5b9a\u4e49\u3002<a href=\"https:\/\/tsinghualogic.net\/JRC\/logic-reading-program\/\">More&gt;&gt;<\/a><\/p><\/div>\n\t\t\t\t\t\t\t<\/div>\n\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-3fef2c4 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"3fef2c4\" 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-325c181\" data-id=\"325c181\" 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-7907975 elementor-widget elementor-widget-spacer\" data-id=\"7907975\" data-element_type=\"widget\" data-widget_type=\"spacer.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<div class=\"elementor-spacer\">\n\t\t\t<div class=\"elementor-spacer-inner\"><\/div>\n\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-3f55600 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"3f55600\" 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-50 elementor-top-column elementor-element elementor-element-7d8a5da\" data-id=\"7d8a5da\" 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-2983036 e-transform e-transform elementor-widget elementor-widget-text-editor\" data-id=\"2983036\" data-element_type=\"widget\" data-settings=\"{&quot;_transform_translateY_effect_hover&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:-40,&quot;sizes&quot;:[]},&quot;_transform_translateX_effect&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateX_effect_tablet&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateX_effect_mobile&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateY_effect&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateY_effect_tablet&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateY_effect_mobile&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateX_effect_hover&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateX_effect_hover_tablet&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateX_effect_hover_mobile&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateY_effect_hover_tablet&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateY_effect_hover_mobile&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]}}\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<p><a href=\"http:\/\/tsinghualogic.net\/JRC\/people\/\"><img decoding=\"async\" loading=\"lazy\" class=\"wp-image-151 aligncenter\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2014\/12\/TALC-fellows.jpg\" alt=\"\" width=\"432\" height=\"270\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2014\/12\/TALC-fellows.jpg 1200w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2014\/12\/TALC-fellows-200x125.jpg 200w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2014\/12\/TALC-fellows-400x250.jpg 400w\" sizes=\"(max-width: 432px) 100vw, 432px\" \/><\/a><\/p><h6 style=\"text-align: center;\">people<\/h6>\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-c263d03 e-transform elementor-widget elementor-widget-text-editor\" data-id=\"c263d03\" data-element_type=\"widget\" data-settings=\"{&quot;_transform_translateY_effect_hover&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:-40,&quot;sizes&quot;:[]},&quot;_transform_translateX_effect_hover&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateX_effect_hover_tablet&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateX_effect_hover_mobile&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateY_effect_hover_tablet&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateY_effect_hover_mobile&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]}}\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<p style=\"text-align: center;\"><a href=\"http:\/\/tsinghualogic.net\/JRC\/education\/\"><img decoding=\"async\" loading=\"lazy\" class=\"alignnone wp-image-1107\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2018\/07\/\u5fae\u4fe1\u56fe\u7247_20180714063239.jpg\" alt=\"\" width=\"427\" height=\"285\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2018\/07\/\u5fae\u4fe1\u56fe\u7247_20180714063239.jpg 1616w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2018\/07\/\u5fae\u4fe1\u56fe\u7247_20180714063239-200x133.jpg 200w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2018\/07\/\u5fae\u4fe1\u56fe\u7247_20180714063239-400x267.jpg 400w\" sizes=\"(max-width: 427px) 100vw, 427px\" \/><\/a><\/p><p style=\"text-align: center;\"><span style=\"font-family: var( --e-global-typography-text-font-family ), Sans-serif; font-size: 0.9em; color: #777777; letter-spacing: 2px; text-transform: uppercase;\">education<\/span><\/p>\t\t\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<div class=\"elementor-column elementor-col-50 elementor-top-column elementor-element elementor-element-ae907b7\" data-id=\"ae907b7\" 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-13b3712 e-transform elementor-widget elementor-widget-text-editor\" data-id=\"13b3712\" data-element_type=\"widget\" data-settings=\"{&quot;_transform_translateX_effect_hover&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:0,&quot;sizes&quot;:[]},&quot;_transform_translateY_effect_hover&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:-40,&quot;sizes&quot;:[]},&quot;_transform_translateX_effect_hover_tablet&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateX_effect_hover_mobile&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateY_effect_hover_tablet&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateY_effect_hover_mobile&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]}}\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<p><a href=\"http:\/\/tsinghualogic.net\/JRC\/research-2\/\"><img decoding=\"async\" loading=\"lazy\" class=\"wp-image-5750 aligncenter\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/4e17a051-a70b-464a-9734-a50ee6986dc7.jpeg\" alt=\"\" width=\"442\" height=\"272\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/4e17a051-a70b-464a-9734-a50ee6986dc7.jpeg 650w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/4e17a051-a70b-464a-9734-a50ee6986dc7-200x123.jpeg 200w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/4e17a051-a70b-464a-9734-a50ee6986dc7-570x350.jpeg 570w\" sizes=\"(max-width: 442px) 100vw, 442px\" \/><\/a><\/p><h6 style=\"text-align: center;\">Research<\/h6>\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-d35639b e-transform elementor-widget elementor-widget-text-editor\" data-id=\"d35639b\" data-element_type=\"widget\" data-settings=\"{&quot;_transform_translateY_effect_hover&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:-40,&quot;sizes&quot;:[]},&quot;_transform_translateX_effect_hover&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateX_effect_hover_tablet&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateX_effect_hover_mobile&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateY_effect_hover_tablet&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]},&quot;_transform_translateY_effect_hover_mobile&quot;:{&quot;unit&quot;:&quot;px&quot;,&quot;size&quot;:&quot;&quot;,&quot;sizes&quot;:[]}}\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<h6 style=\"text-align: center;\"><a href=\"http:\/\/tsinghualogic.net\/JRC\/event-series\/\"><img decoding=\"async\" loading=\"lazy\" class=\"wp-image-5672 aligncenter\" src=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/about-us-2.jpeg\" alt=\"\" width=\"432\" height=\"288\" srcset=\"http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/about-us-2.jpeg 786w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/about-us-2-200x133.jpeg 200w, http:\/\/tsinghualogic.net\/JRC\/wp-content\/uploads\/2023\/05\/about-us-2-768x512.jpeg 768w\" sizes=\"(max-width: 432px) 100vw, 432px\" \/><\/a><span style=\"font-family: var( --e-global-typography-text-font-family ), Sans-serif; font-size: 0.9em;\">events<\/span><\/h6>\t\t\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>NEWS \u4e0a\u4e00\u9875 \u4e0b\u4e00\u9875 \u903b\u8f91\u5b66\u7814\u7a76\u4e2d\u5fc3\u4e00\u9879\u53d1\u660e\u4e13\u5229\u83b7\u5f97\u6388\u6743 \u8303\u4e19\u7533\u6559\u6388\u65b0\u4f5c\u300aLogic, Informati [&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\/6026"}],"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=6026"}],"version-history":[{"count":262,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/6026\/revisions"}],"predecessor-version":[{"id":10064,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/6026\/revisions\/10064"}],"wp:attachment":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/media?parent=6026"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}