來源：互聯網
劉新文，男，1972年生，江西蓮花人。
簡介
2002年7月畢業于中國社會科學院研究生院哲學系，獲哲學博士學位，導師為張清宇研究員，論文題目為“系統Z的量化擴張及其對話語表現理論的處理”（2010年獲“金岳霖學術獎優秀博士論文三等獎”）。碩士研究生導師。2013年晉升為研究員。主要研究興趣為圖式邏輯、模態邏輯、證明復雜性理論以及Ramsey哲學等。
主要作品
專著
- 《數理邏輯》，由中國社會科學出版社出版，屬于中國社會科學院研究生院重點教材系列，由張清宇主編，2010年2月發行。
- 《圖式邏輯》，由中國社會科學出版社出版，2012年6月發行。
- 《謝弗函數研究》，由暨南大學出版社出版，2011年6月發行。
譯文
- 《模態對應理論》（邏輯之門——約翰·范本特姆經典著作 卷III），由荷蘭學者約翰·范本特姆撰寫，張清宇、劉新文共同翻譯，科學出版社出版，2010年發行。
- 《邏輯、語言和認知》（邏輯之門——約翰·范本特姆經典著作 卷II），同樣由荷蘭學者約翰·范本特姆撰寫，劉新文、郭美云等人參與翻譯，科學出版社出版，2009年發行。
- 《兩個格式塔中的模態邏輯》《安保、界限和廣義語義學》《動態箭號邏輯筆記》，收錄于《邏輯、信息和互動》（邏輯之門——約翰·范本特姆經典著作卷I），由劉奮榮、余俊偉等人翻譯，科學出版社出版，2008年發行。
- 《模態邏輯》，出自《布萊克韋爾哲學指導叢書》之《哲學邏輯》，由新西蘭學者M·J·克雷斯韋爾撰寫，張清宇、陳慕澤等人參與翻譯，中國人民大學出版社出版，2008年發行。
- 《非良基集》，由英國學者P·阿克采爾撰寫，劉新文負責翻譯工作，2006年完成譯稿。
參考資料 >