劉新文(中國社會科學院研究員)

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

基本介紹

  • 中文名:劉新文
  • 國籍:中國
  • 出生日期:1972年
  • 職業:研究員
  • 性別:男
簡介,專著,譯文,

簡介

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

專著

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

譯文

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

相關詞條

熱門詞條

聯絡我們