{"id":6550,"date":"2023-09-17T17:01:23","date_gmt":"2023-09-17T09:01:23","guid":{"rendered":"http:\/\/tsinghualogic.net\/JRC\/?page_id=6550"},"modified":"2024-02-25T15:23:22","modified_gmt":"2024-02-25T07:23:22","slug":"academic-year-2022-2023-2","status":"publish","type":"page","link":"https:\/\/tsinghualogic.net\/JRC\/academic-year-2022-2023-2\/","title":{"rendered":"Academic Year 2023-2024"},"content":{"rendered":"\n<table id=\"tablepress-21\" class=\"tablepress tablepress-id-21\">\n<thead>\n<tr class=\"row-1\">\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\">\n\t<td rowspan=\"12\" class=\"column-1\">2024 Spring<\/td><td class=\"column-2\">\u903b\u8f91\u5b66\u57fa\u7840\u7406\u8bba (Foundations of Logic)<\/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 Room 4305, Teaching Building No.4 (first eight weeks)<\/td>\n<\/tr>\n<tr class=\"row-3\">\n\t<td class=\"column-2\">\u6a21\u6001\u903b\u8f91\u53ca\u5176\u5e94\u7528 (Modal Logic and Its Applications)<\/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 Room 4305, Teaching Building No.4 (last eight weeks)<\/td>\n<\/tr>\n<tr class=\"row-4\">\n\t<td class=\"column-2\">\u6570\u7406\u903b\u8f91 (Mathematical Logic)<\/td><td class=\"column-3\">Qi Feng<\/td><td class=\"column-4\">Undergrad.<\/td><td class=\"column-5\">Tue 13:30-16:05 Room 6B301, Teaching Building No.6<\/td>\n<\/tr>\n<tr class=\"row-5\">\n\t<td class=\"column-2\">\u903b\u8f91\u5b66 (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 Room 6A201, Teaching Building No.6<\/td>\n<\/tr>\n<tr class=\"row-6\">\n\t<td class=\"column-2\">\u8fd1\u4ee3\u897f\u65b9\u54f2\u5b66 (Modern Western Philosophy)<\/td><td class=\"column-3\">Hao TANG <\/td><td class=\"column-4\">Undergrad.<\/td><td class=\"column-5\">Tue 9:50-12:15 Room B105, Law Library <\/td>\n<\/tr>\n<tr class=\"row-7\">\n\t<td class=\"column-2\">\u8de8\u6587\u5316\u89c6\u91ce\u4e0b\u65e9\u671f\u4e2d\u56fd\u54f2\u5b66\u5173\u952e\u8bcd (Concepts in Ancient Chinese Philosophy from a Cross-Cultural Perspective)<\/td><td class=\"column-3\">Ai Yuan<\/td><td class=\"column-4\">Undergrad.<\/td><td class=\"column-5\">Wed 13:30-16:05 Room 6B111, Teaching Building No.6<\/td>\n<\/tr>\n<tr class=\"row-8\">\n\t<td class=\"column-2\">\u96c6\u5408\u8bba (Set Theory)<\/td><td class=\"column-3\">Qi Feng<\/td><td class=\"column-4\">Graduate<\/td><td class=\"column-5\">Thu 9:50-12:15 Room 6B109, Teaching Building No.6<\/td>\n<\/tr>\n<tr class=\"row-9\">\n\t<td class=\"column-2\">\u54f2\u5b66\u903b\u8f91(Philosophical Logic)<\/td><td class=\"column-3\">Fenrong Liu<\/td><td class=\"column-4\">Graduate<\/td><td class=\"column-5\">Wed 9:50-12:15<br \/>\nRoom 3513, Teaching Building No.3<\/td>\n<\/tr>\n<tr class=\"row-10\">\n\t<td class=\"column-2\">\u6a21\u6001\u903b\u8f91 (Modal Logic)<\/td><td class=\"column-3\">Chenwei Shi<\/td><td class=\"column-4\">Graduate<\/td><td class=\"column-5\">Fri 9:50 \u2013 12:15<br \/>\nRoom 6B401, Teaching Building No.6<\/td>\n<\/tr>\n<tr class=\"row-11\">\n\t<td class=\"column-2\">\u5fc3\u7075\u54f2\u5b66 (Philosophy of Mind)<\/td><td class=\"column-3\">Hao TANG <\/td><td class=\"column-4\">Graduate<\/td><td class=\"column-5\">Thu 9:50 \u2013 12:15 Room 3209, Teaching Building No.3<\/td>\n<\/tr>\n<tr class=\"row-12\">\n\t<td class=\"column-2\">\u5f17\u96f7\u683c\u7684\u8bed\u8a00\u54f2\u5b66 (Frege'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 Room 6B112, Teaching Building No.6<\/td>\n<\/tr>\n<tr class=\"row-13\">\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 Room 323, New Building of Hydraulic Engineering<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<!-- #tablepress-21 from cache -->\n\n\n\n<table id=\"tablepress-19\" class=\"tablepress tablepress-id-19\">\n<thead>\n<tr class=\"row-1\">\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\">\n\t<td rowspan=\"8\" class=\"column-1\">2023 Fall<\/td><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-21:45+Wed 19:20-21:45 \u56db\u65594205(\u524d\u516b\u5468)<\/td>\n<\/tr>\n<tr class=\"row-3\">\n\t<td class=\"column-2\">\u6570\u7406\u903b\u8f91(Mathematical Logic)<\/td><td class=\"column-3\">Qi Feng<\/td><td class=\"column-4\">Undergrad.<\/td><td class=\"column-5\">Tue 13:30-16:55 \u4e00\u6559203<\/td>\n<\/tr>\n<tr class=\"row-4\">\n\t<td class=\"column-2\">\u903b\u8f91\uff0c\u8bed\u8a00\u4e0e\u54f2\u5b66<br \/>\n(Logic, language and philosophy)<\/td><td class=\"column-3\">Fenrong Liu and Martin Stokhof<\/td><td class=\"column-4\">Undergrad.<\/td><td class=\"column-5\">Mon 15:20-16:55 + Wed 15:20 \u2013 16:55 \u56db\u65594402<\/td>\n<\/tr>\n<tr class=\"row-5\">\n\t<td class=\"column-2\">\u903b\u8f91\u4e0e\u601d\u7ef4 \uff08Logic and thinking\uff09<\/td><td class=\"column-3\">Fenrong Liu and Chenwei Shi<\/td><td class=\"column-4\">Undergrad.<\/td><td class=\"column-5\">Wed 9:50 \u2013 12:15<br \/>\n\u65e7\u6c34\u5229\u9986303<\/td>\n<\/tr>\n<tr class=\"row-6\">\n\t<td class=\"column-2\">\u903b\u8f91\u4e0e\u77e5\u8bc6\u8bba(Logic and Epistemology)<\/td><td class=\"column-3\">Chenwei Shi<\/td><td class=\"column-4\">Undergrad.<\/td><td class=\"column-5\">Fri 9:50 \u2013 12:15 \u5efa\u534e\u697cA423<\/td>\n<\/tr>\n<tr class=\"row-7\">\n\t<td class=\"column-2\">\u6a21\u578b\u8bba (Model Theory)<\/td><td class=\"column-3\">Qi Feng<\/td><td class=\"column-4\">Graduate<\/td><td class=\"column-5\">Fri 13:30-16:05 \u516d\u65596B308<\/td>\n<\/tr>\n<tr class=\"row-8\">\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\u65b0\u6c34\u5229\u9986323<\/td>\n<\/tr>\n<tr class=\"row-9\">\n\t<td class=\"column-2\">\u63a8\u7406\uff0c\u8ba1\u7b97\u4e0e\u5b66\u4e60\u7406\u8bba (Reasoning, Computing and Learning) <\/td><td class=\"column-3\">Fenrong Liu, Thomas Bolander and Ramaswamy Ramanujam <\/td><td class=\"column-4\">Graduate<\/td><td class=\"column-5\">Tue 9:50-12:15 \u4e09\u65593313<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<!-- #tablepress-19 from cache -->\n","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\/6550"}],"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=6550"}],"version-history":[{"count":3,"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/6550\/revisions"}],"predecessor-version":[{"id":7034,"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/6550\/revisions\/7034"}],"wp:attachment":[{"href":"https:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/media?parent=6550"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}