{"id":3727,"date":"2021-09-09T17:08:11","date_gmt":"2021-09-09T09:08:11","guid":{"rendered":"http:\/\/tsinghualogic.net\/JRC\/?page_id=3727"},"modified":"2022-02-20T22:32:16","modified_gmt":"2022-02-20T14:32:16","slug":"academic-year-2021-2022","status":"publish","type":"page","link":"http:\/\/tsinghualogic.net\/JRC\/education\/academic-year-2021-2022\/","title":{"rendered":"Academic Year 2021-2022"},"content":{"rendered":"\n
\n
\n
\n
\n\n\n\n\n\n
Semester \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0<\/th>\n\u00a0<\/th>\n<\/tr>\n<\/thead>\n
2022
Spring<\/strong><\/td>\n		\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n
Course Name<\/th>\n\u00a0Instructor(s) \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0<\/th>\nLevel<\/th>\n\u00a0When & where<\/th>\n<\/tr>\n<\/thead>\n
\n

\u903b\u8f91\u5b66\u57fa\u7840\u7406\u8bba<\/strong><\/p>\n

(Foundations of Logic)<\/strong><\/p>\n<\/td>\n

Dag Westerst\u00e5hl<\/td>\n\n

Undergrad. \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0<\/p>\n<\/td>\n

\n

Mon 17:05-18:40 + Wed 17:05 – 18:40 (\u524d\u516b\u5468)\u65e7\u6c34305<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

\u6570\u7406\u903b\u8f91<\/strong><\/p>\n

(Mathematical\u00a0<\/b>Logic<\/span>)<\/b><\/p>\n<\/td>\n

Qi Feng<\/td>\nUndergrad.<\/td>\n\n

Tue 16:10-18:40\u00a0\u6e05\u534e\u5b66\u5802107<\/span><\/p>\n<\/td>\n<\/tr>\n

\u903b\u8f91\u5b66
(Logic)<\/strong><\/td>\n		Junhua Yu<\/td>\nUndergrad.<\/td>\n\n

Thu 19:20-21:45\u00a0\u516d\u65596A205<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

\u6a21\u6001\u903b\u8f91\u53ca\u5176\u5e94\u7528
<\/strong><\/p>\n

(Modal Logic and its Applications)<\/strong><\/p>\n<\/td>\n

Jeremy \u00a0Seligman<\/td>\nUndergrad.<\/td>\n\n

Mon 9:50-11:25 + Wed 13:30 – 15:05 (\u540e\u516b\u5468)\u65e7\u6c34305<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

\u8fd1\u4ee3\u897f\u65b9\u54f2\u5b66
<\/strong><\/p>\n

(Modern Western Philosophy)<\/strong><\/p>\n<\/td>\n

Hao TANG<\/td>\nUndergrad.<\/td>\n\n

Tue 19:20-21:45\u00a0\u56db\u65594203<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

\u897f\u65b9\u5206\u6790\u54f2\u5b66\u53f2
<\/strong><\/p>\n

(History of Analytic Philosophy)<\/strong><\/p>\n<\/td>\n

Hao TANG & Travis Charles Stephen<\/td>\nUndergrad.<\/td>\n\n

Wed 19:20-20:55+Fri 19:20-20:55(\u540e\u516b\u5468) \u00a0\u56db\u65594103<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

\u5f62\u5f0f\u8bed\u7528\u5b66\u5bfc\u8bba
<\/strong><\/p>\n

(Introduction to Formal Pragmatics)<\/strong><\/p>\n<\/td>\n

Mingming Liu<\/td>\nUndergrad.<\/td>\n\n

Mon 15:20-17:50 \u516d\u65596B202<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

\u8bed\u8a00\u5b66\u6982\u8bba
<\/strong><\/p>\n

(Introduction to Linguistics)<\/strong><\/p>\n<\/td>\n

Dun Deng<\/td>\nUndergrad.<\/td>\n\n

Tue 19:20-21:45 \u516d\u65596A301<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

\u73b0\u4ee3\u6c49\u8bed\u8bed\u6cd5
<\/strong><\/p>\n

(Mandarin Morphology)<\/strong><\/p>\n<\/td>\n

Dun Deng<\/td>\nUndergrad.<\/td>\n\n

Wed 14:20-16:50 \u516d\u65596A307<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

\u5f62\u800c\u4e0a\u5b66 <\/strong><\/p>\n

\uff08Metaphysics\uff09<\/strong><\/p>\n<\/td>\n

Yunpen Asher Jiang<\/td>\nUndergrad.<\/td>\n\n

Tue 13:30-16:05\u4e09\u65591102<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

\u54f2\u5b66\u903b\u8f91 <\/strong><\/p>\n

\uff08Philosophical Logic\uff09<\/strong><\/p>\n<\/td>\n

Fenrong Liu<\/td>\nGraduate<\/td>\n\n

Mon 13:30-16:05\u4e09\u65591202<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

\u6a21\u6001\u903b\u8f91 <\/strong><\/p>\n

\uff08Modal Logic\uff09<\/strong><\/p>\n<\/td>\n

Junhua Yu<\/td>\nGraduate<\/td>\n\n

Tue 13:30-16:05\u4e09\u65593201<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

\u96c6\u5408\u8bba <\/strong><\/p>\n

\uff08Set Theory\uff09<\/strong><\/p>\n<\/td>\n

Qi Feng<\/td>\nGraduate<\/td>\n\n

Fri 13:30-16:05\u516d\u65596B104<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

\u884c\u52a8\u54f2\u5b66 <\/strong><\/p>\n

\uff08Philosophy of Action\uff09<\/strong><\/p>\n<\/td>\n

Hao TANG<\/td>\nGraduate<\/td>\n\n

Thu 19:20-21:45\u4e09\u65593202<\/span><\/p>\n<\/td>\n<\/tr>\n

\n

\u8bed\u8a00\u73b0\u8c61\u7684\u5f62\u5f0f\u5206\u6790 <\/strong><\/p>\n

\uff08Analyzing Natural Language Phenomena in a Formal Way\uff09<\/strong><\/p>\n<\/td>\n

Mingming Liu<\/td>\nGraduate<\/td>\n\n

Mon 19:20-21:45\u516d\u65596B111<\/span><\/p>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div><\/div>\n<\/div>\n<\/div>\n<\/div><\/div>\n\n\n\n

<\/div>\n\n\n\n\n\n\n\n
Semester<\/th>\n <\/th>\n<\/tr>\n<\/thead>\n
2021
Fall<\/strong><\/td>\n		\n\n\n\n\n\n\n\n\n\n\n\n\n
Course Name<\/th>\n Instructor(s)<\/th>\nLevel<\/th>\n When & where<\/th>\n<\/tr>\n<\/thead>\n
\u903b\u8f91\u3001\u8ba1\u7b97\u548c\u535a\u5f08<\/strong>(Logic, computation and game)<\/strong><\/td>\nJohan van Benthem<\/td>\nUndergrad<\/td>\nMon 19:20-21:45 + Wed 17:05 – 18:40\u516d\u65596A307<\/td>\n<\/tr>\n
\u903b\u8f91\u5b66\u4e13\u9898\u7814\u7a76<\/strong>(Selected topics in logic)<\/strong><\/td>\nQi Feng<\/td>\nGraduate<\/td>\nFri 13:30-16:05 \u516d\u65596B206<\/td>\n<\/tr>\n
\u4e00\u9636\u903b\u8f91
(First-order logic)<\/strong><\/td>\n		Junhua Yu<\/td>\nGraduate<\/td>\nTue 13:30-16:55
\u4e09\u65593209<\/td>\n<\/tr>\n
\u903b\u8f91\uff0c\u8bed\u8a00\u4e0e\u54f2\u5b66
(Logic, language and philosophy)<\/strong><\/td>\n		Fenrong Liu

<\/p>\n

 <\/p>\n

Martin Stokhof<\/p>\n<\/td>\n

Undergrad.<\/td>\nMon 17:05-18:40 + Wed 17:05 – 18:40\u516d\u65596A207<\/td>\n<\/tr>\n
\u897f\u65b9\u54f2\u5b66\u601d\u60f3\u7ecf\u5178<\/strong> <\/strong>\uff08Classics of western philosophy\uff09<\/strong><\/td>\nYunpen Asher Jiang<\/td>\n Undergrad.<\/td>\nTue 19:20 – 21:45
\u516d\u65596A118<\/td>\n<\/tr>\n
\u8bed\u8a00\u5b66\u6982\u8bba<\/strong> <\/strong>\uff08Introduction to Linguistics\uff09<\/strong><\/td>\nDun Deng<\/td>\n Undergrad.<\/td>\nWed 14:20 – 16:55
\u516d\u65596A301<\/td>\n<\/tr>\n
\u8bed\u4e49\u5b66 <\/strong>\uff08Semantics <\/strong>\uff09<\/strong><\/td>\nMingming Liu<\/td>\nGraduate<\/td>\nWed 15:20 – 16:55
6\u65596B310<\/td>\n<\/tr>\n
\u5f62\u5f0f\u8bed\u4e49\u5b66\u5bfc\u8bba <\/strong>\uff08Introduction to Formal Semantics\uff09<\/strong><\/td>\nMingming Liu<\/td>\nUndergrad.<\/td>\nThur 9:50 – 12:15
6\u65596B208<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>","protected":false},"excerpt":{"rendered":"

Semester \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 2022Spring Course Name \u00a0Instruct […]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":179,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/3727"}],"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=3727"}],"version-history":[{"count":24,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/3727\/revisions"}],"predecessor-version":[{"id":5161,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/3727\/revisions\/5161"}],"up":[{"embeddable":true,"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/pages\/179"}],"wp:attachment":[{"href":"http:\/\/tsinghualogic.net\/JRC\/wp-json\/wp\/v2\/media?parent=3727"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}