{"id":7569,"date":"2024-08-27T15:46:22","date_gmt":"2024-08-27T07:46:22","guid":{"rendered":"http:\/\/tsinghualogic.net\/JRC\/?page_id=7569"},"modified":"2025-02-14T21:40:34","modified_gmt":"2025-02-14T13:40:34","slug":"academic-year-2024-2025","status":"publish","type":"page","link":"http:\/\/tsinghualogic.net\/JRC\/academic-year-2024-2025\/","title":{"rendered":"Academic Year 2024-2025"},"content":{"rendered":"\n\n\n\n\t\n\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t\n\t
 <\/th>COURSE NAME<\/th> INSTRUCTOR(S)<\/th>LEVEL<\/th>WHEN & WHERE<\/th>\n<\/tr>\n<\/thead>\n
2025 Spring<\/td>\u903b\u8f91\u5b66\u57fa\u7840\u7406\u8bba (Foundations of Logic)<\/td>Dag Westerstahl<\/td>Undergrad.<\/td>Mon 15:20-16:55 + Wed 15:20-16:55 Room 4201, Teaching Building No.4 (first eight weeks)<\/td>\n<\/tr>\n
\u6a21\u6001\u903b\u8f91\u53ca\u5176\u5e94\u7528 (Modal Logic and Its Applications)<\/td>Jeremy Seligman<\/td>Undergrad.<\/td>Mon 15:20-16:55 + Wed 15:20-16:55 Room 4201, Teaching Building No.4 (last eight weeks)<\/td>\n<\/tr>\n
\u6570\u7406\u903b\u8f91 (Mathematical Logic)<\/td>Qi Feng<\/td>Undergrad.<\/td>Fri 9:50-12:15 Room 6B304, Teaching Building No.6<\/td>\n<\/tr>\n
\u903b\u8f91\u5b66 (Logic)<\/td>Junhua Yu<\/td>Undergrad.<\/td>Fri 13:30 \u2013 16:05 Room 6A209, Teaching Building No.6<\/td>\n<\/tr>\n
\u8bed\u8a00\u54f2\u5b66 (Philosophy of Language)<\/td>Hao TANG <\/td>Undergrad.<\/td>Tue 9:50-12:15 Room 6B106, Teaching Building No.6<\/td>\n<\/tr>\n
\u82f1\u8bed\u4e16\u754c\u4e2d\u7684\u9053\u5bb6\u54f2\u5b66 (Daoism in English)<\/td>Ai Yuan<\/td>Undergrad.<\/td>Tue 13:30-16:05, Room 6B411,Teaching Building No.6<\/td>\n<\/tr>\n
\u5f62\u5f0f\u8bed\u7528\u5b66\u5bfc\u8bba (Introduction to Formal Pragmatics)<\/td>Mingming Liu<\/td>Undergrad.<\/td>Fri 13:30 \u2013 16:05 Room 6B211, Teaching Building No.6<\/td>\n<\/tr>\n
\u6a21\u6001\u903b\u8f91 (Modal Logic)<\/td>Chenwei Shi<\/td>Graduate<\/td>Fri 9:50 \u2013 12:15
\nRoom 401, New Building of Hydraulic Engineering<\/td>\n<\/tr>\n
\u8bc1\u660e\u8bba (Proof Theory)<\/td>Junhua Yu<\/td>Graduate<\/td>Tue 13:30 \u2013 16:05 Room 323, New Building of Hydraulic Engineering<\/td>\n<\/tr>\n
\u82f1\u56fd\u7ecf\u9a8c\u8bba (British Empiricism)<\/td>Asher Jiang <\/td>Graduate<\/td>Fri 13:30-16:05 Room 6B108, Teaching Building No.6<\/td>\n<\/tr>\n
\u8bed\u8a00\u73b0\u8c61\u7684\u5f62\u5f0f\u5206\u6790 (Formal Analysis of Linguistic Phenomena)<\/td>Mingming Liu<\/td>Graduate<\/td>Mon 8:00-9:35 Room 6A105, Teaching Building No.6<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n\n\n\n\n
\n\n\n\n\n\n\n\t\n\n\t\n\t\n\t\n\t\n\t
 <\/th>COURSE NAME<\/th> INSTRUCTOR(S)<\/th>LEVEL<\/th>WHEN & WHERE<\/th>\n<\/tr>\n<\/thead>\n
2024 Fall<\/td>\u903b\u8f91\u3001\u8ba1\u7b97\u548c\u535a\u5f08 (Logic, computation and game)<\/td>Johan van Benthem<\/td>Undergrad.<\/td>Mon 19:20-20:55+Wed 19:20-20:55@Teaching Building No.6 Room 6A113 (first eight weeks)<\/td>\n<\/tr>\n
\u903b\u8f91\uff0c\u8bed\u8a00\u4e0e\u54f2\u5b66
\n(Logic, language and philosophy)<\/td>		Fenrong Liu and Martin Stokhof<\/td>Undergrad.<\/td>Mon 15:20-16:55 + Wed 15:20 \u2013 16:55 @Teaching Building No.6 Room 6A407<\/td>\n<\/tr>\n
\u903b\u8f91\u4e0e\u77e5\u8bc6\u8bba (Logic and Epistemology) <\/td>Chenwei Shi<\/td>Undergrad.<\/td>Fri 9:50 \u2013 12:15@Teaching Building No.4 Room 4304<\/td>\n<\/tr>\n
\u4e00\u9636\u903b\u8f91
\n(First-order logic)<\/td>		Junhua Yu<\/td>Graduate<\/td>Tue 13:30-16:05@New Building of Hydraulic Engineering Room 323<\/td>\n<\/tr>\n
\u903b\u8f91\u5b66\u7ecf\u5178\u7814\u8bfb (A guide to classical works of logic) <\/td>Chenwei Shi<\/td>Graduate<\/td>Wed 9:50-12:15@Teaching Building No.6 Room 6A010<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n\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":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/7569"}],"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=7569"}],"version-history":[{"count":3,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/7569\/revisions"}],"predecessor-version":[{"id":7908,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/7569\/revisions\/7908"}],"wp:attachment":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/media?parent=7569"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}