更新时间：2024-09-21 03:18
刘新文，男，1972年生，江西莲花人。
2002年7月毕业于中国社会科学院研究生院哲学系，获哲学博士学位，导师为张清宇研究员，论文题目为“系统Z的量化扩张及其对话语表现理论的处理”（2010年获“金岳霖学术奖优秀博士论文三等奖”）。硕士研究生导师。2013年晋升为研究员。主要研究兴趣为图式逻辑、模态逻辑、证明复杂性理论以及Ramsey哲学等。
- 《数理逻辑》，由中国社会科学出版社出版，属于中国社会科学院研究生院重点教材系列，由张清宇主编，2010年2月发行。
- 《图式逻辑》，由中国社会科学出版社出版，2012年6月发行。
- 《谢弗函数研究》，由暨南大学出版社出版，2011年6月发行。
- 《模态对应理论》（逻辑之门——约翰·范本特姆经典著作 卷III），由荷兰学者约翰·范本特姆撰写，张清宇、刘新文共同翻译，科学出版社出版，2010年发行。
- 《逻辑、语言和认知》（逻辑之门——约翰·范本特姆经典著作 卷II），同样由荷兰学者约翰·范本特姆撰写，刘新文、郭美云等人参与翻译，科学出版社出版，2009年发行。
- 《两个格式塔中的模态逻辑》《安保、界限和广义语义学》《动态箭号逻辑笔记》，收录于《逻辑、信息和互动》（逻辑之门——约翰·范本特姆经典著作卷I），由刘奋荣、余俊伟等人翻译，科学出版社出版，2008年发行。
- 《模态逻辑》，出自《布莱克韦尔哲学指导丛书》之《哲学逻辑》，由新西兰学者M·J·克雷斯韦尔撰写，张清宇、陈慕泽等人参与翻译，中国人民大学出版社出版，2008年发行。
- 《非良基集》，由英国学者P·阿克采尔撰写，刘新文负责翻译工作，2006年完成译稿。