由清华大学教务处与“清华大学新英才教育基金”鼎力支持，清华大学国家大学生文化素质教育基地将于今年暑期继续组织开设海外课程。这些课程分为通识选修课程和全校性选修课，完成课程所有考核环节可以获得相应学分。现将相关课程信息通知如下：
通识选修课程
课程名称：人工智能的逻辑基础
课 程 号：00692441-90
主持教师：刘奋荣（清华大学人文学院）
主讲教师：Aybüke Özgün (ILLC,University of Amsterdam)
课程主题：Topological Approaches to Epistemic Logic
Topological semantics for epistemic logic provides an elegant and natural way to model not only knowledge and belief within a (modal) logical framework, but also the evidence upon which knowledge and belief are based. In this course, we investigate various topological approaches to epistemic logic. We explore topological spaces as information structures naturally suited to modeling evidence and its relationship to knowledge and belief. We focus mainly on the recent developments in the field, elaborate on the conceptual arguments behind using topological spaces as formal models for epistemic logic, and study the technical details of relevant (meta)-logical results. Topics to be covered include:
- basic notions in topology and how they relate to important notions in epistemology.
- the interior-based topological semantics for modal/epistemic logic.
- topological evidence models.
- subset space semantics, topo-logic, and their extensions.
At the end of the course, we will provide an overview of recent developments in the field, highlighting open questions and further avenues for investigation.
Prerequisites: The course will only require background in metalogic and basic modal logic (its syntax, Kripke semantics, some basic results on completeness, and its epistemic/doxastic interpretation). In particular, we will introduce all the necessary topological concepts on the first day. In the course, we will generally focus on technical material but often provide examples, in order to make the material more accessible, and we will also have class discussions about the philosophical issues behind the technical material covered in the course. Students are also expected to have some degree of mathematical maturity and an interest in the themes of the course.
上课时间：7月14日-7月18日（周一至周五）13:30-16:05
上课地点：五教5105
课 容 量：70人（本科生40人、研究生30人）
课程助教：欧阳文飞（oywf23@mails.tsinghua.edu.cn）
池幽旻（m2e07@naver.com）
课程名称：生命科学史与哲学 （科学课组）
课 程 号：00692001-90
主持教师：王巍（清华大学人文学院）
主讲教师：Marga Vicedo教授（多伦多大学）
课程主题：New Genetic Technologies in Historical Perspective
The Birth of Genetics and the Rise of Eugenics
From Mendel To The Double Helix. The Human Genome Project; The Genetics Of Behavior
Cloning. Genetic Testing And Screening
Human Genome Editing: Therapy
Human Genome Editing: Enhancement
上课时间：8月4日-8月8日（周一至周五）上午第二大节
上课地点：建华/经管新楼A408
课 容 量：60人（本科生30人、研究生30人）
课程助教：任昱霖（18622279112，925947708@qq.com）
刘晓彤（15875980860，liuxt24@mails.tsinghua.edu.cn）
课程名称：分支科学哲学前沿 （科学课组）
课 程 号：00691991-90
主持教师：王巍（清华大学人文学院）
主讲教师：Kevin Zollman教授（匹兹堡大学）
课程主题：Incentives, bias, and the advancement of science
Why should incentives matter to philosophy of science?
Conformity and novelty in science
Fraud and misleading information
How publication affects science
The replication crisis and solutions
上课时间：8月11日-8月15日（周一至周五）上午第二大节
上课地点：建华/经管新楼A408
课 容 量：60人（本科生30人、研究生30人）
课程助教：黄鑫（17873148172，xinhuang0611@163.com）
马悦（18910430671，mayue99@126.com）
课程名称：与人文对话 （人文课组）
课 程 号：00691532-90
主持教师：蔡文鹏（清华大学人文学院）
主讲教师：何伟明（香港中文大学）
课程主题：通过导读、研读涉及《奥德赛》《会饮》《论语》《庄子》《心经》《1844年经济学哲学手稿》等中外人文经典文献，引导选课学生思考人生需要面对的命运、爱情、幸福、道德、自由、无常、罪疚、顺服等不同课题，从而以更宽广的视野探讨何谓美好人生，并为今后的人生选择奠定宽厚的基础。期望选课学生通过本课程的学习，能认识不同文化传统中的人文价值，建立阅读经典的习惯和爱好，提高阅读、表达、反思、批判思维等能力，寻求个人与传统之间的互动关系。
上课时间：8月18日-8月29日（周一至周五）上午第二大节
上课地点：六教6A207
课 容 量：40人（本科生30人、研究生10人）
课程助教：柏相（13896646099，baix24@mails.tsinghua.edu.cn）
课程名称：与自然对话 （人文课组）
课 程 号：00691682-90
主持教师：邓耿、蔡文鹏（清华大学人文学院）
主讲教师：彭金满（香港中文大学）
课程主题：本课程选取六篇科学经典，包括《理想国》、《自然哲学之数学原理》、《中国科学技术简史》、《物种起源》、《DNA: 生命的秘密》及《科学与方法》。通过研读科学经典、讨论和写作，学生将反思科学及其发展的不同面向，从而探讨科学的内涵及外延，以及人类在探索自然的过程中所取得的成就及面对的局限。
上课时间：8月18日-8月29日（周一至周五）上午第二大节
上课地点：建华/经管新楼A207
课 容 量：40人（本科生30人、研究生10人）
课程助教：廖雨晴（18614260272，yuqing.liao@yahoo.com）
课程名称：经济学、公共政策与社会问题 （社科课组）
课 程 号：00692101-90
主持教师：王巍（清华大学人文学院）
主讲教师：Jingyi Wu助理教授（伦敦政经学院）
课程主题：Computational Models of Diversity and Inequity
Why Models?
Primer on Agent-based Models
Bandit Problems, & the Epistemic Benefits of Diversity
Bargaining Games & The Emergence of Inequity
From Pseudo-models to Computational Models
上课时间：9月8日-9月12日（周一至周五）上午第二大节
上课地点：六教6A205
课 容 量：60人（本科生30人、研究生30人）
课程助教：杜俊文（14714949839，djw23@mails.tsinghua.edu.cn）
张芷涵（13628254011，zhihan-z24@mails.tsinghua.edu.cn）
---------------------------------------------------------------------
全校性选修课
课程名称：外国文学专题研讨课
课 程 号：30642212
主讲教师：Felicity Gee副教授 （英国埃克赛特大学）
课程主题：世界文学与电影中的魔幻现实主义流变
本课程旨在介绍“魔幻现实主义”（ magical realism）这一文学书写模式，追溯其在多种文学文本及视觉文化（包括绘画与电影）中的历史演变与美学范畴。课程将引导学生思考：魔幻现实主义的“魔幻”（magic）究竟意味着什么？
本课程将聚焦世界范围内的短篇小说，以考察魔幻现实主义这一书写模式的持续演变与拓展。魔幻现实主义在20世纪60年代拉丁美洲文学“爆炸”时期空前繁荣，其影响力延续至今。课程将选读来自拉丁美洲、英国、北美、韩国以及非洲的代表性文学作品，并选取世界电影中的相关片段展开讨论。课程还将探讨魔幻现实主义文学如何在主题层面回应性别、创伤与疏离等议题，同时关注其如何展现地方文化与特定地理空间中的“魔幻”魅力。
授课对象：面向全校本科生开放，对文学感兴趣者、无文学基础亦可选修。
上课时间：6月23日-7月4日，8:50-11:25（周一到周四）；8:50-12:15（周五）
上课地点：四教4103（周一到周四）；文南楼116（周五）
课 容 量：4人
课程助教：李敏（lmonet1117@gmail.com）
课程名称：科学技术学导论
课 程 号：00701681-90
主持教师：洪伟（清华大学社会科学学院）
主讲教师：Malte Ziewitz（康奈尔大学科学技术学系）
课程主题：Day 1: Studying Science, Technology, and Computing
Day 2: Data and Classification
Day 3: Algorithms and Automation
Day 4: Infrastructures and Work
Day 5: Artificial Intelligence
上课时间：7月1日-7月5日（周二至周六）上午第二大节
上课地点：建华楼A111
课 容 量：60人
课程助教：欧阳毅曦（选课学生）oyyx24@mails.tsinghua.edu.cn
温展鸿（线上旁听）wenzh23@mails.tsinghua.edu.cn
王禹博（线下旁听）justinwangqaq@163.com
课程名称：研究性写作研讨课
课 程 号：00692461-90
主持教师：李轶男（清华大学人文学院）
主讲教师：Steven Kelts（Princeton University）
课程主题：All Tech Is Human
How do we address social dilemmas from new technologies? Can AI be programmed to act ethically? This course examines such issues, focusing on tech's impact on social networks, privacy in AI-driven healthcare, and the ethical implications of AI. By applying ethical theories, students will learn to navigate these challenges.
Emphasizing college-level analysis and argumentation, the course begins with Longtermism theory and compares it to other ethical perspectives from law, philosophy, and public policy. Students will master writing skills—formulating clear arguments, expressing motivations, and structuring ideas logically—preparing them for academic challenges at Tsinghua and beyond.
上课时间：6月30日-7月11日（周一至周四）上午第二大节（2学时）
上课地点：四教4104
课 容 量：30人
课程助教：袁润（2869136543@qq.com）
朱悰榕（zcr22@mails.tsinghua.edu.cn）
课程名称：与艺术对话
课 程 号：00692541-90
主持教师：孙晶（清华大学人文学院）
主讲教师：Chia-ling Yang（英国爱丁堡大学）
课程主题：Modern Art in Shanghai, 1840-1930
上课时间：7月1日-7月4日（周二至周五）8:50-12:15
上课地点：四教4106
课 容 量：30人
课程助教：高妍（gaoy24@mails.tsinghua.edu.cn）
课程名称：逻辑学专题与前沿
课 程 号：00692241-90
主持教师：石辰威（清华大学人文学院）
主讲教师：Marianna Girlando (ILLC, University of Amsterdam)
课程主题：Proof Theory of Modal Logic
While proof systems for classical and intuitionistic logic can be defined using sequent calculus, the Gentzen-style formalism does not readily extend to the case of modal logic. And indeed, Gentzen-style sequents fail to meet basic requirements in the case of several modal logics: for instance, no cut-free sequent calculus is known for logic S5. In order to overcome these difficulties, various proof systems extending Gentzen’s sequent calculus have been introduced. Namely, labelled calculi extend the language of the calculi with semantic information, while structured calculi, such as hypersequents or nested sequents, employ additional structural connectives.
In this course we will introduce labelled and structured proof systems and illustrate their main properties, including cut-freeness and modularity. Other than normal modal logics, we will discuss logics with neighbourhood semantics, such as conditional logics, and intuitionistic modal logics. We will showcase how labelled and structured calculi are suitable to obtain decision procedures for these logics. To conclude, we will compare the various proof systems by defining formal translations allowing to convert proofs from one formalism to another.
The course assumes some basic familiarity with modal logic and with sequent calculus for classical propositional logic. The main proof-theoretic notions used in the course will be covered in the first lecture.
上课时间：7月14日-7月18日（周一至周五）上午第二大节
上课地点：五教5105
课 容 量：70人（本科生40人、研究生30人）
课程助教：杨思思（yangss23@mails.tsinghua.edu.cn）
李鑫（lixin24@mails.tsinghua.edu.cn）
欢迎各位同学在5月27日（周二）13:00 -- 6月6日（周五）16:00期间登录清华大学教学门户入口选修上述课程。若有选课等方面咨询，请联系文化素质教育基地张老师，联系方式：010-62796308，zhangdan067@tsinghua.edu.cn。
清华大学国家大学生文化素质教育基地
2025年5月27日