{"id":8393,"date":"2025-09-26T14:41:20","date_gmt":"2025-09-26T06:41:20","guid":{"rendered":"https:\/\/tsinghualogic.net\/JRC\/?page_id=8393"},"modified":"2026-02-04T13:17:57","modified_gmt":"2026-02-04T05:17:57","slug":"academic-year-2025-2026","status":"publish","type":"page","link":"https:\/\/tsinghualogic.net\/JRC\/academic-year-2025-2026\/","title":{"rendered":"<strong><a href=\"https:\/\/tsinghualogic.net\/JRC\/wp-admin\/admin.php?page=tablepress&amp;action=edit&amp;table_id=30\">Academic Year 2025-2026<\/a><\/strong>"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-page\" data-elementor-id=\"8393\" class=\"elementor elementor-8393\" 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-1b131bad elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"1b131bad\" 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-3081c7e6\" data-id=\"3081c7e6\" 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-2809ae10 elementor-widget elementor-widget-text-editor\" data-id=\"2809ae10\" 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<p><!-- wp:shortcode -->\n<table id=\"tablepress-33\" class=\"tablepress tablepress-id-33\">\n<thead>\n<tr class=\"row-1 odd\">\n\t<th class=\"column-1\">&nbsp;<\/th><th class=\"column-2\">COURSE NAME<\/th><th class=\"column-3\">INSTRUCTOR(S)<\/th><th class=\"column-4\">LEVEL<\/th><th class=\"column-5\">WHEN &amp; WHERE<\/th>\n<\/tr>\n<\/thead>\n<tbody class=\"row-hover\">\n<tr class=\"row-2 even\">\n\t<td rowspan=\"13\" class=\"column-1\">2026 Spring<\/td><td class=\"column-2\">\u903b\u8f91\u5b66\u57fa\u7840\u7406\u8bba<br \/>\n(Foundations of Logic\uff09<\/td><td class=\"column-3\">Dag Westerstahl<\/td><td class=\"column-4\">Undergrad.<\/td><td class=\"column-5\">Mon 15:20-16:55+Wed 15:20-16:55@Law Library, Tsinghua University B105 (first eight weeks)<\/td>\n<\/tr>\n<tr class=\"row-3 odd\">\n\t<td class=\"column-2\">\u6a21\u6001\u903b\u8f91\u53ca\u5176\u5e94\u7528<br \/>\n(Modal Logic and Its Applications\uff09<\/td><td class=\"column-3\">Jeremy Seligman<\/td><td class=\"column-4\">Undergrad.<\/td><td class=\"column-5\">Mon 15:20-16:55+Wed 15:20-16:55@Law Library, Tsinghua University B105 (last eight weeks)<\/td>\n<\/tr>\n<tr class=\"row-4 even\">\n\t<td class=\"column-2\">\u903b\u8f91\u5b66<br \/>\n(Logic)<\/td><td class=\"column-3\">Junhua Yu<\/td><td class=\"column-4\">Undergrad.<\/td><td class=\"column-5\">Thu 19:20 \u2013 21:45 @Tsinghua University Ziqiang Science and Technology Building 5312<\/td>\n<\/tr>\n<tr class=\"row-5 odd\">\n\t<td class=\"column-2\">\u8fd1\u4ee3\u897f\u65b9\u54f2\u5b66<br \/>\n(Modern Western Philosophy)<\/td><td class=\"column-3\">Tong Hao<\/td><td class=\"column-4\">Undergrad.<\/td><td class=\"column-5\">Tue 19:20 \u2013 21:45<br \/>\n@Teaching Building No.6 Room 6A112<\/td>\n<\/tr>\n<tr class=\"row-6 even\">\n\t<td class=\"column-2\">\u7b2c\u4e00\u54f2\u5b66\u7684\u6c89\u601d(Meditations on First Philosophy)<\/td><td class=\"column-3\">Asher Jiang<\/td><td class=\"column-4\">Undergrad.<\/td><td class=\"column-5\">Tue 13:30 \u2013 16:05 <br \/>\n@Jianhua Building, Tsinghua, A408<\/td>\n<\/tr>\n<tr class=\"row-7 odd\">\n\t<td class=\"column-2\">\u903b\u8f91\u4e0e\u77e5\u8bc6\u8bba<br \/>\n(Logic and Epistemology)<\/td><td class=\"column-3\">Chenwei Shi<\/td><td class=\"column-4\">Undergrad.\t<\/td><td class=\"column-5\">Mon 9:50 \u2013 12:15<br \/>\n@New Building of Hydraulic Engineering, Room 300<\/td>\n<\/tr>\n<tr class=\"row-8 even\">\n\t<td class=\"column-2\">\u82f1\u8bed\u4e16\u754c\u4e2d\u7684\u9053\u5bb6\u54f2\u5b66<br \/>\n(Daoism in English)<\/td><td class=\"column-3\">Ai Yuan<\/td><td class=\"column-4\">Undergrad.<\/td><td class=\"column-5\">Wed 13:30 &#8211; 16:05<br \/>\n@Teaching Building No.3 Room 1204<\/td>\n<\/tr>\n<tr class=\"row-9 odd\">\n\t<td class=\"column-2\">\u5f62\u5f0f\u8bed\u7528\u5b66\u5bfc\u8bba<br \/>\n(Introduction to Formal Pragmatics)<\/td><td class=\"column-3\">Mingming Liu<\/td><td class=\"column-4\">Undergrad.<\/td><td class=\"column-5\">Tue 9:50 \u2013 12:15<br \/>\n@Teaching Building No.6 Room 6B305<\/td>\n<\/tr>\n<tr class=\"row-10 even\">\n\t<td class=\"column-2\">\u6a21\u6001\u903b\u8f91<br \/>\n(Modal logic)<\/td><td class=\"column-3\">Chenwei Shi<\/td><td class=\"column-4\">Graduate<\/td><td class=\"column-5\">Fri 13:30-16:05<br \/>\n@Law Library, Tsinghua University B114<\/td>\n<\/tr>\n<tr class=\"row-11 odd\">\n\t<td class=\"column-2\">\u5f17\u96f7\u683c\u7684\u8bed\u8a00\u54f2\u5b66(Frege&#8217;s Philosophy of Language)<\/td><td class=\"column-3\">Asher Jiang<\/td><td class=\"column-4\">Graduate<\/td><td class=\"column-5\">Fri 13:30-16:05<br \/>\n@Teaching Building No.6 Room 6B105<\/td>\n<\/tr>\n<tr class=\"row-12 even\">\n\t<td class=\"column-2\">\u8bed\u8a00\u54f2\u5b66<br \/>\n(Philosophy of Language)<\/td><td class=\"column-3\">Hao Tang<\/td><td class=\"column-4\">Graduate<\/td><td class=\"column-5\">Mon 19:20-21:45<br \/>\n@Teaching Building No.6 Room 6B112<\/td>\n<\/tr>\n<tr class=\"row-13 odd\">\n\t<td class=\"column-2\">\u6a21\u6001\u903b\u8f91\u4e13\u9898(Topics in Modal Logic)<\/td><td class=\"column-3\">Junhua Yu<\/td><td class=\"column-4\">Graduate<\/td><td class=\"column-5\">Tue 13:30-16:05 <br \/>\n@New Building of Hydraulic Engineering, Room 323<\/td>\n<\/tr>\n<tr class=\"row-14 even\">\n\t<td class=\"column-2\">\u903b\u8f91\u5b66\u4e13\u9898\u7814\u7a76(Selected topics in logic)<\/td><td class=\"column-3\">Fenrong Liu<\/td><td class=\"column-4\">Graduate<\/td><td class=\"column-5\">Fri 9:50 \u2013 12:15 @Teaching Building No.3 Room 3301<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<!-- #tablepress-33 from cache --><br>\n\n<table id=\"tablepress-30\" class=\"tablepress tablepress-id-30\">\n<thead>\n<tr class=\"row-1 odd\">\n\t<th class=\"column-1\">&nbsp;<\/th><th class=\"column-2\">COURSE NAME<\/th><th class=\"column-3\">INSTRUCTOR(S)<\/th><th class=\"column-4\">LEVEL<\/th><th class=\"column-5\">WHEN &amp; WHERE<\/th>\n<\/tr>\n<\/thead>\n<tbody class=\"row-hover\">\n<tr class=\"row-2 even\">\n\t<td rowspan=\"8\" class=\"column-1\">2025 Autumn<\/td><td class=\"column-2\">\u903b\u8f91\uff0c\u8bed\u8a00\u4e0e\u54f2\u5b66(Logic, language and philosophy)<\/td><td class=\"column-3\">Martin Stokhof<\/td><td class=\"column-4\">Undergrad.<\/td><td class=\"column-5\">Mon 15:20-16:05 + Wed 15:20 \u2013 16:05 @Teaching Building No.6 Room 6A309<\/td>\n<\/tr>\n<tr class=\"row-3 odd\">\n\t<td class=\"column-2\">\u903b\u8f91\u3001\u8ba1\u7b97\u548c\u535a\u5f08 (Logic, computation and game)<\/td><td class=\"column-3\">Johan van Benthem<\/td><td class=\"column-4\">Undergrad.<\/td><td class=\"column-5\">Mon 19:20-20:55+Wed 19:20-20:55@Teaching Building No.6 Room 6A113 (first eight weeks)<\/td>\n<\/tr>\n<tr class=\"row-4 even\">\n\t<td class=\"column-2\">\u5f62\u800c\u4e0a\u5b66<br \/>\n(Metaphysics)<\/td><td class=\"column-3\">JIANG YUNPEN ASHER<\/td><td class=\"column-4\">Undergrad.<\/td><td class=\"column-5\">Fri 13:30 \u2013 16:05 @Teaching Building No.3 Room 1206<\/td>\n<\/tr>\n<tr class=\"row-5 odd\">\n\t<td class=\"column-2\">\u5f62\u5f0f\u8bed\u4e49\u5b66\u5bfc\u8bba<br \/>\n(Introduction to Formal Semantics)<\/td><td class=\"column-3\">Mingming Liu<\/td><td class=\"column-4\">Undergrad.<\/td><td class=\"column-5\">Tue 9:50 \u2013 12:15 @Teaching Building No.4 Room 4202<\/td>\n<\/tr>\n<tr class=\"row-6 even\">\n\t<td class=\"column-2\">\u8bed\u4e49\u5b66<br \/>\n(Semantics)<\/td><td class=\"column-3\">Mingming Liu<\/td><td class=\"column-4\">Undergrad.<\/td><td class=\"column-5\">Tur 15:20 \u2013 16:05 @Teaching Building No.6 Room 6A115<\/td>\n<\/tr>\n<tr class=\"row-7 odd\">\n\t<td class=\"column-2\">\u4e00\u9636\u903b\u8f91<br \/>\n(First-order logic)<\/td><td class=\"column-3\">Junhua Yu<\/td><td class=\"column-4\">Graduate<\/td><td class=\"column-5\">Tue 13:30-16:05<br \/>\n@New Building of Hydraulic Engineering Room 323<\/td>\n<\/tr>\n<tr class=\"row-8 even\">\n\t<td class=\"column-2\">\u9053\u5bb6\u54f2\u5b66\u7814\u7a76<br \/>\n(Daoist Philosophy Studies)<\/td><td class=\"column-3\">Ai Yuan<\/td><td class=\"column-4\">Graduate<\/td><td class=\"column-5\">Tue 13:30-16:05<br \/>\n@Teaching Building No.6 Room 6A011<\/td>\n<\/tr>\n<tr class=\"row-9 odd\">\n\t<td class=\"column-2\">\u96c6\u5408\u8bba<br \/>\n(Set theory)<\/td><td class=\"column-3\">Qi Feng<\/td><td class=\"column-4\">Undergrad.<\/td><td class=\"column-5\">Mon 9:50 &#8211; 12:15<br \/>\n@Teaching Building No.6 Room 6A105<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<!-- #tablepress-30 from cache --><br>\n<!-- \/wp:shortcode --><\/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\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":"","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/8393"}],"collection":[{"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/comments?post=8393"}],"version-history":[{"count":5,"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/8393\/revisions"}],"predecessor-version":[{"id":9212,"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/8393\/revisions\/9212"}],"wp:attachment":[{"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/media?parent=8393"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}