刘奋荣的个人简介
刘奋荣，女，1975年生，山西五台人。1996年获山西大学哲学学士学位，1998年获河南大学逻辑学硕士，2001年获中国社会科学院研究生院哲学博士学位，2004年获荷兰阿姆斯特丹大学逻辑学硕士，2008年获阿姆斯特丹大学理学博士学位。现任清华大学人文学院哲学系副主任、教授。学历与工作经历
工作经历：
2007年7月－今 清华大学哲学系；阿姆斯特丹大学兼职研究人员。
2001年7月－2007年7月中国社会科学院哲学所
学历：
2008年2月 阿姆斯特丹大学 科学博士
2001年7月 中国社会科学院研究生院 哲学博士
研究领域
模态逻辑基础理论研究。
哲学逻辑。包括认知逻辑、信念逻辑、动态逻辑、动态偏好逻辑等。
人工智能中的逻辑。包括时态逻辑、缺省逻辑、多主体认知系统等。
主要科研项目
主持 国家社科基金青年项目“知识、信念和行为的逻辑”（2004-2008）
主持 “逻辑之门DD约翰?范本特姆经典著作”系列翻译项目
（阿姆斯特丹大学项目， 2005 - ）
参与 张清宇研究员主持的社科院重大项目“模态逻辑的最新发展”（2006-2008）
参与 邹崇礼研究员主持的中国社科院哲学所项目“现代逻辑和语言的信息处理”
科研成果-英文论文
1、 F.Liu: Changing for the Better: Preference Dynamics and Agent Diversity, Ph.D dissertation, ILLC, University of Amsterdam, 2008.
2、 J. van Benthem, S. Ghosh and F. Liu: Modelling Simultaneous Games in Dynamic Logic. To appear in Synthese.
3、 F. Liu: Diversity of Agents and their Interaction. Research Report, ILLC, University of Amsterdam. To appear in Journal of Logic, Language and Information, 2008.
4、 J. van Benthem and F. Liu: Dynamic Logic of Preference Upgrade. In Journal of Applied Non-Classical Logic, Vol.17, No.2, 2007.
5、 J. van Benthem, S. Ghosh and F. Liu: Modelling Simultaneous Games with Concurrent Dynamic Logic. In J. van Benthem, S. Ju and F. Veltman, eds, A Meeting of the Minds--Proceedings of the Workshop on Logic, Rationality and Interaction, Beijing, 2007.
6、 J. Zhang and F. Liu: Some Thoughts on Mohist Logic. In J. van Benthem, S. Ju and F. Veltman, eds, A Meeting of the Minds--Proceedings of the Workshop on Logic, Rationality and Interaction, Beijing, 2007.
7、 F. Liu: Preference Change and Information Processing. In Proceedings 7th Conference on Logic and the Foundations of Game and Decision Theory (LOFT 06), Liverpool, 2006.
8、 F. Liu: Diversity of Agents. In N. Alechina and T. Agotnes, eds, Proceedings of the Workshop on Logics for Resource Bounded Agents, ESSLLI, Malaga, 2006.
9、 D. de Jongh and F. Liu: Optimality, Belief and Preference. In S. Artemov and R. Parikh, eds, Proceedings of the Workshop on Rationality and Knowledge, ESSLLI, Malaga, 2006. A latest version Preference, Priorities and Belief under submission.
10、 F. Liu: Dynamic Variations: Update and Revision for Diverse Agents, Mol Thesis, ILLC publication, 2004.
11、 J. van Benthem and F. Liu: Diversity of Agents in Games, Phiosophia Scientiae, 8(2), 2004.
12、 X. Li and F. Liu: The Relational Probability Semantics for Belief Revision, Social Sciences in China, No.3, 2003.
科研成果-中文论文
13、 刘奋荣：“荷兰逻辑学之印象”，载《世界哲学》2005年第2期。人大复印资料《逻辑》2005年第3期转载。
14、 刘奋荣：“从信息更新到博弈逻辑”，载《哲学动态》2005年第2期。
15、 刘奋荣：“与约翰范本特姆教授面对面－聆听逻辑、语言和信息领域巨匠的声音”，载《哲学动态》2004年第4期。人大复印资料《逻辑》2004年第4期转载。
16、 刘奋荣：“缺省逻辑如何研究非单调推理?”，载 王路、刘奋荣主编《逻辑、语言与思维―周礼全先生八十寿辰纪念文集》,中国科学文化出版社, 2002年版。
17、 刘奋荣：“现代逻辑会议综述”，载《哲学动态》2002年第10期。
18、 刘奋荣：“周礼全先生80寿辰暨逻辑与哲学学术研讨会综述”，载《哲学动态》2002年第2期。
19、 刘奋荣：“非单调性和自认知逻辑”， 载《哲学动态》2001逻辑增刊。人大复印资料《逻辑》2001年第2期转载，获哲学所2003年度优秀论文奖。
译著
1、 余俊伟、刘奋荣译 《逻辑方法》，中国人民大学出版社，2007年。
2、 刘奋荣、余俊伟等译 《逻辑之门DD约翰? 范本特姆经典著作》第一卷 《逻辑、信息和互动》，科学出版社，2008年5月
编辑工作
Guest Editor: Special Issue of Knowledge, Rationality and Action. To appear in 2008.
Editor: Year Book of Philosophical Logic (PHIBOOK): To appear in 2008.
《清华哲学年鉴》“逻辑和分析哲学”方向的编辑。
主编: 《逻辑之门DD约翰? 范本特姆经典著作》系列丛书。第一卷《逻辑、信息和互动》2008年5月出版。
学术组织工作
1、 Organizer: The 15th Workshop on Games in Logic, Language and Computation: The Dynamics of Preferences and Intentions, Amsterdam, Netherlands. 26-28 February, 2008.
2、 General Organizer: Workshop on Logic, Rationality and Interaction, Beijing, China. 5-9 August, 2007.
3、 Organizer: Workshop on Modal Logic: A Dialogue between Author and Translators, Beijing, China. 1 August, 2007.
4、 Organizing Committee: 2nd World Congress and School on Universal Logic, Xi’an, China. 16-22 August, 2007.
5、 Organizing Committee: Trends in Logic V: Many-valued Logics and Cognition, Guangzhou, China. 6-9 July, 2007.
6、 Session Co-chair: The Generosity of Artificial Languages in an Asian Perspective, Amsterdam, Netherlands. 18-20 May, 2006.
7、 Organizer: Logic--Connecting Stanford and ILLC: Update Modelling Seminar, Amsterdam, Netherlands. 20 September, 2005.
8、 Organizer: Workshop: Interfacing Probabilistic and Epistemic Update, Amsterdam, Netherlands. 7 September, 2005.
主要课程
模态逻辑：春季学期，研究生课程。
使用的教材：P. Blackburn, M. de Rijke and Y. Venema, Modal Logic, Cambridge University Press, 2001.
哲学逻辑：春季学期，研究生课程。
一阶逻辑：秋季学期，本科生课程。
