劉新文

中國社會科學院研究員

劉新文,男,1972年生,江西蓮花人。2002年7月畢業於中國社會科學院研究生院哲學系,獲哲學博士學位,導師為張清宇研究員,論文題目為“系統Z的量化擴張及其對話語表現理論的處理”(2010年獲“金岳霖學術獎·優秀博士論文三等獎”)。碩士研究生導師。2013年晉陞為研究員。

簡介


主要研究興趣為圖式邏輯、模態邏輯、證明複雜性理論以及Ramsey哲學等。

專著


數理邏輯》,中國社會科學院研究生院重點教材系列,張清宇/主編,中國社會科學出版社,2010年2月;
圖式邏輯》,中國社會科學出版社,2012年6月;
謝弗函數研究》,暨南大學出版社,2011年6月;

譯文


模態對應理論》(邏輯之門——約翰·范本特姆經典著作 卷III),〔荷〕約翰·范本特姆/著,張清宇、劉新文/譯,科學出版社,2010年;
《邏輯、語言和認知》(邏輯之門——約翰·范本特姆經典著作 卷II),〔荷〕約翰·范本特姆/著,劉新文、郭美雲/等譯,科學出版社,2009年;
《兩個格式塔中的模態邏輯》《安保、界限和廣義語義學》《動態箭號邏輯筆記》,〔荷〕約翰·范本特姆,載《邏輯、信息和互動》(邏輯之門——約翰·范本特姆經典著作卷I),劉奮榮、余俊偉/等譯,科學出版社,2008年;
《模態邏輯》,〔紐西蘭〕M·J·克雷斯韋爾,載《布萊克韋爾哲學指導叢書》之《哲學邏輯》〔美〕羅·格勃爾/主編,張清宇、陳慕澤/等譯,第7章,中國人民大學出版社,2008年。
《非良基集》,〔英〕P·阿克采爾著,譯稿,2006年。