中国人民大学教师

基本信息

出生年月：1978年4月

籍贯：浙江省奉化市

经历

2010年2月至今，中国人民大学哲学院

2007年7月—2010年1月，浙江大学哲学系

2003年10月—2004年1月，中山大学哲学系

2002年9月—2007年7月，北京大学哲学系

1996年9月—1999年7月，浙江工业大学

、学术兴趣

[1] 模态逻辑

[2] 数学基础、计算理论

[3] 对心灵哲学也有兴趣

论文与译文

论文

[1] 模态逻辑典范框架的生成子框架，《逻辑学研究》2009年第4期

[2] 基础认知词模态逻辑，《湖南科技大学学报》2009年第4期

[3] 模态逻辑的典范性问题，《哲学动态》2009年第2期

[4] 萨奎斯特逻辑的格，《逻辑学研究》2009年第1期（与周北海教授合作）

[5] 关系语义与非正规性，《湖南科技大学学报》2008年第3期

[6] 一族不完全的逻辑，《哲学研究》2007年第4期

[7] 模态可定义的一个必要条件，《哲学动态》2006年逻辑增刊

译文

[1] 裘江杰：使互模拟安全的程序构造（Program Constructions that are Safe for Bisimulation, J.van Benthem）

[2] 胡义昭、裘江杰：谓词逻辑的模态基础（Modal Foundations for Predicate Logic, J.van Benthem）

两文收于：

约翰·范本特姆/著：《逻辑、信息和互动》，刘奋荣、余俊伟等译，科学出版社，北京，2008年6月。

科研项目

[1] 2008年7月至今，主持国家社会科学基金项目“模态逻辑中的典范问题研究” 项目编号：08CZX020

[2] 2008年8月至2009年9月，主持中国博士后基金项目“面向自然语言处理的模态逻辑研究” 项目编号：20080431311

[3] 2009年6月至今，参加国家社会科学基金项目“面向知识更新和信念修正的动态逻辑研究” 项目编号：09CZX033

[4] 2007年7月至今，参加国家社会科学基金项目“自由摹状词理论研究” 项目编号：07CZX017

[5] 2005年1月至2007年12月，参加教育部哲学社会科学研究重大课题攻关项目“基于自然语言的知识表达与推理系统研究”项目编号：04JZD0006