劉奮榮，女，清華大學副教授。
正文
清華大學副教授
中國社會科學院哲學博士、荷蘭阿姆斯特丹大學科學博士
學歷與工作經(jīng)歷
工作經(jīng)歷：
2007年7月－今 清華大學哲學系；阿姆斯特丹大學兼職研究人員。
2001年7月－2007年7月中國社會科學院哲學所
學歷：
2008年2月 阿姆斯特丹大學 科學博士
2001年7月 中國社會科學院研究生院 哲學博士
研究領域
模態(tài)邏輯基礎理論研究。
哲學邏輯。包括認知邏輯、信念邏輯、動態(tài)邏輯、動態(tài)偏好邏輯等。
人工智能中的邏輯。包括時態(tài)邏輯、缺省邏輯、多主體認知系統(tǒng)等。
主要科研項目
主持 國家社會科學基金青年項目“知識、信念和行為的邏輯”（2004-2008）
主持“邏輯之門――約翰？范本特姆經(jīng)典著作”系列翻譯項目
（阿姆斯特丹大學項目， 2005 - ）
參與 張清宇研究員主持的社科院重大項目“模態(tài)邏輯的最新發(fā)展”（2006-2008）
參與 鄒崇禮研究員主持的中國社科院哲學所項目“現(xiàn)代邏輯和語言的信息處理”
論文
2011F. Liu: Reasoning about Preference 動力學, Berlin: Springer (in press), 2011.
P. Girard, F.Liu and J. Seligman: Logic in the Community, in M. Banerjee and A. Seth, editors, Proceedings of the 4th Indian Conference on Logic and its Applications,Volume 6521 of LNCS, pp. 178--188. Springer, 2011.
F. Liu: A Two-Level 透視 on Preference, Journal of Philosophical Logic, to appear in 2011.
J. Van Benthem and F.Liu: Deontic Logic and Changing Preference. To appear in Dov Gabbay, John Horty, Ron van der Meyden and Leon van der Torre eds, Handbook on Deontic Logic and normative Systems, College Publications, London.
J. Van Benthem, D. Grossi, and F.Liu: On the Two Faces of Deontics: Semantic Betterness and Syntactic Priority. Under submission.
2010
F.Liu and J.Zhang: New 透視s on Moist Logic. Journal of Chinese 哲學, 37:4, 605–621, 2010.
F.Liu and W.Yang: A Brief History of Chinese Logic. in A. Gupta and J. Van Benthem eds., Journal of the Indian Council of Philosophical Research, Special Issue on Logic and 哲學 Today, Vol 27, No.1, pp. 101-126, 2010.
F.Liu: Von Wright's "The Logic of Preference" Revisited. Synthese, Vol 175, No. 1, pp. 69-88, 2010. DOI 10.1007/s11229-009-9530-z.
J. Van Benthem, D. Grossi, and F.Liu: Deontics = Betterness + Priority, in Guido Governatori and Giovanni Sartor eds. Deontic Logic in Computer Science, 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings. Lecture Notes in Artificial Intelligence, Vol. 6181, Springer. pp.50-65.
F.Liu and O.Roy: Advances in Belief 動力學: An Introduction, Synthese，Vol 173, No. 2, pp.123-126, 2010. DOI 10.1007/s11229-009-9710-x.
劉奮榮: 《動態(tài)偏好邏輯》, 科學出版社2010年。
F.Liu, Dynamic Preference Logic, Science Press, 2010.
劉奮榮：信念偏好邏輯：從單主體到多主體,《學術研究》2010 年第5期, 第27-32頁。
F.Liu: Doxastic Preference Logic：From Single Agent to Multi-Agent Case，Academic Studies, 2010, No.5， pp.27-32.
劉奮榮：基于命題的信念偏好邏輯, 《哲學研究》2010年第3期, 第103-109頁。
F.Liu: Doxastic Preference Logic over Propositions，Studies in 哲學, No.3, 2010.
劉奮榮：從方法論的角度看動態(tài)認知邏輯的研究,《世界哲學》，2010年第3期，第35-44頁。
F.Liu: Dynamic Epistemic Logic from a Methodological 小數(shù)點 of View，World Philosophy, 2010.
劉奮榮：從動態(tài)認知邏輯的觀點看中醫(yī)方證思想,《重慶理工大學學報》, 2010年第24卷第10期, 第75-78頁。
F.Liu: On the Traditional Chinese Medical Treatment from the Viewpoint of Dynamic Epistemic Logic，Journal of Chongqing University of Technology (Social Science), 飛魚座 24, No.10, 2010.
2009
F. Liu: Diversity of Agents and their Interaction. Journal of Logic, Language and Information, Vol.18, No.1, pp 23-53, 2009.
F.Liu：Preference Change: A Quantitative Approach, Studies in Logic (《邏輯研究》) , Vol. 2, No.3, pp. 12-27, 2009.
F.Liu: Editorial and Interview with Johan Van Benthem, The Reasoner, 3(12), December, 2009.
D. de Jongh and F.Liu Preference, Priorities and Belief, in T.Grune-Yanoff and S.O. Hansson eds, Preference Change: Approaches from 哲學, Economics and Psychology, Theory and Decision Library, pp.85-108, 2009.
2008
F.Liu and J.Zhang: A Note on Mohist Logic. Manuscript, Tsinghua University, 2008
F.Liu: Changing for the Better: Preference 動力學 and Agent Diversity, Ph.D dissertation, ILLC, University of Amsterdam, 2008. Amsterdam：PrintPartners Ipskamp. ISBN: 978-90-5776-175-1.
F. Liu, F. Veltman, and M.Xiong: Editorial. Synthese, Vol.165, 二氧化氮, pp.155-157, 2008.
J. Van Benthem, S. Ghosh and F. Liu: Modelling Simultaneous Games in Dynamic Logic. Synthese, Vol.165, No.2, pp. 247-268, 2008.
劉奮榮、余俊偉等譯:《邏輯之門――約翰。范本特姆經(jīng)典著作》第I卷 《邏輯、信息和互動》, 北京：科學出版社, 2008年5月。ISBN: 978-7-03-020525-4.
F.Liu, J. Yu etc. translated, A Door to Logic: Selected Works by Johan Van Benthem. Vol I: Logic, Information and Interaction, Science Press, 2008, Beijing
劉奮榮、劉新文、余俊偉：邏輯之門: 作者與譯者的對話——范本特姆教授訪談錄, 《哲學動態(tài)》2008年第1期。
F.Liu, X.Liu and J. Yu: A Dialogue between Author and Translators--Interview with Johan Van Benthem, Philosophical Trend, No.1, 2008
2007
F. Liu: Diversity of Agents and their Interaction. Research Report, ILLC, University of Amsterdam, 2007.
J. van Benthem and F. Liu: Dynamic Logic of Preference Upgrade. In Journal of Applied Non-Classical Logic, Vol.17, 二氧化氮, 2007.
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.
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.
余俊偉、劉奮榮譯: 《邏輯方法》，中國人民大學出版社，2007年。
J. Yu and F.Liu translated, Method of Logic (Quine, 1950 edition), Chinese Renmin University Press, 2007, Beijing.
2006
F. Liu: Preference Change and Information Processing. In Proceedings 7th Conference on Logic and the Foundations of Game and Decision Theory (LOFT 06), 利物浦, 2006.
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.
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.
劉奮榮 譯: 認知邏輯與認知論之研究現(xiàn)狀，《世界哲學》2006年第6期。
F. Liu translated, Epistemic logic and epistemology: the State of Their Affairs (Van Benthem), World 哲學, No.6, 2006.
2005
M. Sevenster, J. van Benthem, S.T. de Jager, F. Liu, & O. Roy: Games at the Institute for Logic, Language and Computation. BNVKI Newsletter, October, 101-104, 2005.
F. Liu: Impressions on the Education of Logic in Netherlands, World 哲學, 二氧化氮, 2005.
劉奮榮：從信息更新到博弈邏輯，《哲學動態(tài)》2005年第2期。
F. Liu: From Information Update to Game Logics, Philosophical Trends, No.2, 2005.
2004
J. Van Benthem and F. Liu: Diversity of Agents in Games, Phiosophia Scientiae, 8(2), 2004.
F. Liu: Dynamic Variations: Update and Revision for Diverse Agents, Mol Thesis, ILLC publication, 2004.
劉奮榮：與約翰范本特姆教授面對面－聆聽邏輯、語言和信息領域巨匠的聲音，載《哲學動態(tài)》2004年第4期。
F. Liu: Interview with Johan Van Benthem -- A Life of Logic, Language, and Information, Philosophical Trends, No.4, 2004.
1997-2003
X. Li and F. Liu: The Relational Probability 語義學 for Belief Revision, Social Sciences in China, No.3, 2003
王路、劉奮榮主編《邏輯、語言與思維—周禮全先生八十壽辰紀念文集》,中國科學文化出版社, 2002年版。
L. Wang and F. Liu (eds): Logic, Language and Thought, Science and Culture of China Press, 2002.
劉奮榮：現(xiàn)代邏輯會議綜述，《哲學動態(tài)》2002年第10期。
美洲葡萄 of the National Symposium on Modern Logic, Philosophical Trends, No.10, 2002.
劉奮榮：周禮全先生80壽辰暨邏輯與哲學學術研討會綜述，《哲學動態(tài)》2002年第2期。
F. Liu: Summary of the Symposium on Logic and 哲學, Philosophical Trends, 二氧化氮, 2002.
劉奮榮：缺省邏輯如何研究非單調(diào)推理? 王路、劉奮榮主編《邏輯、語言與思維—周禮全先生八十壽辰紀念文集》,中國科學文化出版社, 2002年版
F. Liu: How to Describe Nonmonotonic Reasoning with Default Logic? (in Chinese) in Logic, language and Thought, 2002.
劉奮榮：非單調(diào)性和自認知邏輯， 《哲學動態(tài)》2001邏輯專刊。
F. Liu: Nonmonotonicity and Autoepistemic Logic, Special Issue of Philosophical Trends in Logics, 2001.
劉奮榮：略論弗雷格和皮亞諾對數(shù)學基礎的研究, 《自然辯證法研究》2000年邏輯專刊。
F. Liu: Comparing Frege's Research on the Foundation of 數(shù)學 with Peano's, Special Issue of Studies in dialectics of Nature in Logics， 2000.
劉奮榮：從數(shù)理邏輯的分析方法看"白馬非馬", 《山西大學學報》1997年第3期。
F. Liu: Analysis of "Bai Ma Fei Ma" from the 透視 of Mathematical Logic, Journal of Shanxi University, No.3, 1997.
譯著
1、余俊偉、劉奮榮譯 《邏輯方法》，中國人民大學出版社，2007年。
2、劉奮榮、余俊偉等譯 《邏輯之門――約翰? 范本特姆經(jīng)典著作》第一卷 《邏輯、信息和互動》，科學出版社，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.
主編: 《邏輯之門――約翰? 范本特姆經(jīng)典著作》系列叢書。第一卷《邏輯、信息和互動》2008年5月出版。
學術組織工作
1、 Organizer: The 15th Workshop on Games in Logic, Language and Computation: The 動力學 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 認知, 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.
主要課程
模態(tài)邏輯：春季學期，研究生課程。
使用的教材：P. Blackburn, M. de Rijke and Y. Venema, Modal Logic, Cambridge University Press, 2001.
哲學邏輯：春季學期，研究生課程。
一階邏輯：秋季學期，本科生課程。
參考資料 >