{"id":5163,"date":"2022-08-28T19:01:15","date_gmt":"2022-08-28T11:01:15","guid":{"rendered":"http:\/\/tsinghualogic.net\/JRC\/?page_id=5163"},"modified":"2023-02-10T10:27:14","modified_gmt":"2023-02-10T02:27:14","slug":"academic-year-2022-2023","status":"publish","type":"page","link":"http:\/\/tsinghualogic.net\/JRC\/academic-year-2022-2023\/","title":{"rendered":"Academic Year 2022-2023"},"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
 <\/th>COURSE NAME<\/th> INSTRUCTOR(S)<\/th>LEVEL<\/th>WHEN & WHERE<\/th>\n<\/tr>\n<\/thead>\n
2022 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 \u2013 20:55\u56db\u65594103(\u524d\u516b\u5468)<\/td>\n<\/tr>\n
\u6570\u7406\u903b\u8f91(Mathematical Logic)<\/td>Qi Feng<\/td>Undergrad.<\/td>Tue 16:10-18:40 \u516d\u65596B306<\/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 17:05-18:40 + Wed 17:05 \u2013 18:40\u56db\u65594102<\/td>\n<\/tr>\n
\u903b\u8f91\u4e0e\u601d\u7ef4 \uff08Logic and thinking\uff09<\/td>Fenrong Liu and Chenwei Shi<\/td>Undergrad.<\/td>Wed 9:50 \u2013 12:15
\n\u65b0\u6c34300<\/td>\n<\/tr>\n
\u5f62\u5f0f\u8bed\u4e49\u5b66\u5bfc\u8bba \uff08Introduction to Formal Semantics\uff09<\/td>Mingming Liu<\/td>Undergrad.<\/td>Thur 9:50 \u2013 12:15 \u516d\u65596B306<\/td>\n<\/tr>\n
\u73b0\u4ee3\u6c49\u8bed\u8bed\u6cd5
\n(Mandarin morphology)<\/td>		Dun Deng<\/td>Undergrad.<\/td>Wed 14:20-16:55 \u516d\u65596A407<\/td>\n<\/tr>\n
\u903b\u8f91\u54f2\u5b66(Philosophy of Logic)<\/td>Qi Feng<\/td>Graduate<\/td>Fri 13:30-16:05 \u516d\u65596B407<\/td>\n<\/tr>\n
\u4e00\u9636\u903b\u8f91
\n(First-order logic)<\/td>		Junhua Yu<\/td>Graduate<\/td>Tue 13:30-16:55
\n\u6e05\u534e\u5b66\u5802101<\/td>\n<\/tr>\n
\u903b\u8f91\u5b66\u7ecf\u5178\u7814\u8bfb(A guide to classical works of logic)<\/td>Chenwei Shi<\/td>Graduate<\/td>Fri 9:50 \u2013 12:15
\n\u6e05\u534e\u5b66\u5802201<\/td>\n<\/tr>\n
\u6c49\u8bed\u8bcd\u6cd5\u53e5\u6cd5\u4e13\u9898\u7814\u8ba8<\/td>Dun Deng<\/td>Graduate<\/td>Tue 14\uff1a20-16\uff1a55 \u4e09\u65593313<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n\n\n\n\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\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
2023 Spring<\/td>\u903b\u8f91\u5b66\u57fa\u7840\u7406\u8bba (Foundations of Logic)<\/td>Dag Westerstahl<\/td>Undergrad.<\/td>Mon 17:05-18:40 + Wed 17:05 \u2013 18:40\u56db\u65594301(\u524d\u516b\u5468)<\/td>\n<\/tr>\n
\u6a21\u6001\u903b\u8f91\u53ca\u5176\u5e94\u7528 (Modal Logic and Its Applications)<\/td>Jeremy Seligman<\/td>Undergrad.<\/td>Mon 9:50 \u2013 12:15 + Wed 13:30 \u2013 15:05 \u56db\u65594302(\u540e\u516b\u5468)<\/td>\n<\/tr>\n
\u6570\u7406\u903b\u8f91 (Mathematical Logic)<\/td>Qi Feng<\/td>Undergrad.<\/td>Tue 13:30-16:55 \u516d\u65596B403<\/td>\n<\/tr>\n
\u903b\u8f91\u4e0e\u601d\u7ef4 (Logic and Thinking\uff09<\/td>Fenrong Liu and Chenwei Shi<\/td>Undergrad.<\/td>Wed 9:50 \u2013 12:15
\n\u56db\u65594203<\/td>\n<\/tr>\n
\u903b\u8f91\u5b66 (Logic)<\/td>Junhua Yu<\/td>Undergrad.<\/td>Mon 9:50 \u2013 12:15 \u516d\u65596A303<\/td>\n<\/tr>\n
\u54f2\u5b66\u7ecf\u5178\u4e0e\u4e13\u9898\u7814\u8ba8\u73ed (Seminar on Philosophical Classics and Special Topics)<\/td>Chenwei Shi<\/td>Undergrad.<\/td>Mon 9:50-12:15 \u4e09\u65593303 <\/td>\n<\/tr>\n
\u8bed\u8a00\u54f2\u5b66 (Philosophy of Language)<\/td>Hao TANG <\/td>Undergrad.<\/td>Fri 9:50 \u2013 12:15
\n\u56db\u65594205<\/td>\n<\/tr>\n
\u5f53\u4ee3\u897f\u65b9\u54f2\u5b66\u4e13\u9898 (Topics in Contemporary Western Philosophy)<\/td>Hao TANG and Travis Charles Stephen <\/td>Undergrad.<\/td>Wed 19:20-21:45 + Fri 19:20-21:45 \u6cd5\u5f8b\u56fe\u4e66\u9986B105 (\u540e\u516b\u5468) <\/td>\n<\/tr>\n
\u82f1\u8bed\u4e16\u754c\u4e2d\u7684\u9053\u5bb6\u54f2\u5b66 (Daoism in English)<\/td>Ai Yuan<\/td>Undergrad.<\/td>Mon 13:30-16:55 \u6e05\u534e\u5b66\u5802107<\/td>\n<\/tr>\n
\u96c6\u5408\u8bba (Set Theory)<\/td>Qi Feng<\/td>Graduate<\/td>Fri 13:30-16:55 \u516d\u65596B103<\/td>\n<\/tr>\n
\u4eba\u5de5\u667a\u80fd\u4e2d\u7684\u903b\u8f91(Logic in AI)<\/td>Fenrong Liu<\/td>Graduate<\/td>Thu 9:50-12:15
\n\u4e09\u65591306<\/td>\n<\/tr>\n
\u6a21\u6001\u903b\u8f91 (Modal Logic)<\/td>Chenwei Shi<\/td>Graduate<\/td>Fri 9:50 \u2013 12:15
\n\u516d\u65596B201<\/td>\n<\/tr>\n
\u8bc1\u660e\u8bba (Proof Theory)<\/td>Junhua Yu<\/td>Graduate<\/td>Tue 13:30-16:55 \u65b0\u6c34\u5229\u9986323<\/td>\n<\/tr>\n
\u8bed\u8a00\u54f2\u5b66 (Philosophy of Language)<\/td>Hao TANG <\/td>Graduate<\/td>Wed 9:50 \u2013 12:15 \u4e09\u65593204<\/td>\n<\/tr>\n
\u82f1\u56fd\u7ecf\u9a8c\u8bba (British Empiricism)<\/td>Asher Jiang <\/td>Graduate<\/td>Fri 13:30-16:55 \u4e09\u65591200<\/td>\n<\/tr>\n
\u8001\u5e84\u54f2\u5b66\u7814\u7a76 (Daoist philosophy)<\/td>Ai Yuan<\/td>Graduate<\/td>Tue 13:30-16:55 \u4e09\u65591303<\/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\/5163"}],"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=5163"}],"version-history":[{"count":3,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/5163\/revisions"}],"predecessor-version":[{"id":5407,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/5163\/revisions\/5407"}],"wp:attachment":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/media?parent=5163"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}