{"id":1130,"date":"2018-09-05T21:16:31","date_gmt":"2018-09-05T13:16:31","guid":{"rendered":"http:\/\/tsinghualogic.net\/JRC\/?page_id=1130"},"modified":"2019-05-08T15:26:51","modified_gmt":"2019-05-08T07:26:51","slug":"academic-year-2018-2019","status":"publish","type":"page","link":"https:\/\/tsinghualogic.net\/JRC\/education\/academic-year-2018-2019\/","title":{"rendered":"Academic Year 2018-2019"},"content":{"rendered":"

\u00a0<\/p>\n

\u00a0<\/p>\n\n\n\n\n\n
Semester<\/th>\n\u00a0<\/th>\n<\/tr>\n<\/thead>\n
2019
Spring<\/strong><\/td>\n		\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n
Course Name<\/th>\n\u00a0Instructor(s)<\/th>\nLevel \/ credits<\/th>\n\u00a0When & where<\/th>\n<\/tr>\n<\/thead>\n
\u903b\u8f91\u5b66<\/strong>\n

(Logic)<\/p>\n<\/td>\n

Lu Wang<\/td>\nUnder grad. \/ 3<\/td>\nMon. 13:30 – 16:55\n

\u516d\u65596B304<\/p>\n<\/td>\n<\/tr>\n

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

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

Dag Westerstahl<\/td>\nUnder grad. \/ 4<\/td>\nTue 13:30-15:05 + Thur 19:20 – 21:45\n

(1st half of the semester)
\u4e09\u65591204<\/p>\n<\/td>\n<\/tr>\n

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

(Modal Logic and it’s Application)<\/p>\n<\/td>\n

Jeremy \u00a0Seligman<\/td>\n\u00a0 Under grad. \/ 4<\/td>\nTue 13:30-15:05 + Thur 19:20 – 21:45\n

(2st half of the semester)<\/p>\n

\u4e09\u65591106<\/p>\n<\/td>\n<\/tr>\n

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

\uff08Philosophy of Logic\uff09<\/p>\n<\/td>\n

Lu Wang<\/td>\nGraduate \/ 3<\/td>\nTue 19:20 – 21:45
\u516d\u65596B305<\/td>\n<\/tr>\n
\u6a21\u6001\u903b\u8f91<\/strong>\n

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

Fenrong Liu<\/td>\nGraduate \/ 3<\/td>\nThur 9:50 – 12:15
\u65b0\u658b335<\/td>\n<\/tr>\n
\u4eba\u5de5\u667a\u80fd\u4e2d\u7684\u903b\u8f91 (Syllabus<\/a>)<\/strong>\n

(Logic in AI)<\/p>\n<\/td>\n

Fenrong Liu<\/td>\nGraduate \/ 3<\/td>\nFri \u00a013:30-16:55
\u65b0\u658b324<\/td>\n<\/tr>\n
\u8bc1\u660e\u8bba<\/strong>\n

(Proof Theory)<\/p>\n<\/td>\n

Junhua Yu<\/td>\nGraduate \/ 3<\/td>\nTue 13:30-16:55
\u65b0\u658b238<\/td>\n<\/tr>\n
\u5f62\u800c\u4e0a\u5b66<\/strong>\n

(Metaphysics)<\/p>\n<\/td>\n

Yunpen Asher Jiang<\/td>\n\u00a0 Graduate \/ 2<\/td>\nMon 15:20 – 16:55\n

\u65b0\u658b335<\/p>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/td>\n<\/tr>\n<\/tbody>\n

2018
Fall<\/strong><\/td>\n		\n\n\n\n\n\n\n\n\n\n\n\n
Course Name<\/th>\n\u00a0Instructor(s)<\/th>\nLevel \/ credits<\/th>\n\u00a0When & where<\/th>\n<\/tr>\n<\/thead>\n
\u903b\u8f91\uff0c\u8ba1\u7b97\u548c\u535a\u5f08
(Logic\uff0ccomputation and game)<\/strong><\/td>\n		Johan van Benthem<\/td>\nUnder grad. \/ 3<\/td>\nTue 19:20-20:55 + Thu 19:20-20:55\n

(1st half of the semester)
\u516d\u65596B111<\/p>\n

(Class Photo<\/a>)<\/p>\n<\/td>\n<\/tr>\n

\u903b\u8f91\uff0c\u8bed\u8a00\u4e0e\u54f2\u5b66
(Logic, language and philosophy)<\/strong><\/td>\n		Fenrong Liu\n

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

Under grad. \/ 4<\/td>\nMon 15:20-16:55 + Wed 13:30 – 15:05\n

\uff08Class Photo<\/a>\uff09
\u516d\u65596B304<\/p>\n<\/td>\n<\/tr>\n

\u897f\u65b9\u54f2\u5b66\u601d\u60f3\u7ecf\u5178<\/strong>\n

(Classics of western philosophical thought<\/strong>)<\/strong><\/p>\n<\/td>\n

Yunpen Asher Jiang<\/td>\n\u00a0Under grad. \/ 2<\/td>\nFri 13:30 – 16:55\n

\u516d\u65596A205<\/p>\n<\/td>\n<\/tr>\n

\u897f\u65b9\u54f2\u5b66\u53f2\uff082\uff09<\/strong>\u00a0<\/strong>\n

\uff08History of western philosophy\uff09<\/strong><\/p>\n<\/td>\n

Yunpen Asher Jiang<\/td>\n\u00a0Under grad. \/ 2<\/td>\nTue 13:30 – 16:55\n

\u4e09\u65591109<\/p>\n<\/td>\n<\/tr>\n

\u54f2\u5b66\u903b\u8f91\u00a0(Syllabus)<\/a><\/strong>
(Philosophical logic)<\/strong><\/td>\n		Fenrong Liu<\/td>\nGraduate \/ 3<\/td>\nFri 13:30-16:05
\u6587\u5317\u697c\uff08\u6587\u79d1\u697c\uff09309<\/td>\n<\/tr>\n
\u8bed\u8a00\u54f2\u5b66
(Philosophy of language)<\/strong><\/td>\n		Lu Wang<\/td>\nGraduate \/ 3<\/td>\nMon 19:20-21:45
\u516d\u65596B206<\/td>\n<\/tr>\n
\u4e00\u9636\u903b\u8f91
(First-order logic)<\/strong><\/td>\n		Junhua Yu<\/td>\nGraduate \/ 3<\/td>\nTue 13:30-15:55
\u4e09\u65593205<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n\n\n
Syllabus-Spring 2019<\/a>Download<\/a><\/div>\n\n\n","protected":false},"excerpt":{"rendered":"

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