1. 简单百科
  2. 裘江杰

裘江杰

裘江杰,1978年4月出生,奉化区人,2010年2月至今就读中国人民大学哲学院,2007年7月—2010年1月就读浙江大学哲学系,2003年10月—2004年1月就读中山大学哲学系,2002年9月—2007年7月就读北京大学哲学系,1996年9月—1999年7月,就读浙江工业大学

中国人民大学教师

基本信息

出生年月:1978年4月

籍贯:浙江省奉化市

经历

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

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

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

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

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

、学术兴趣

模态逻辑

数学基础计算理论

对心灵哲学也有兴趣

论文与译文

论文

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

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

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

萨奎斯特逻辑的格,《逻辑学研究》2009年第1期(与周北海教授合作)

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

一族不完全的逻辑,《哲学研究》2007年第4期

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

译文

裘江杰:使互模拟安全的程序构造(Program Constructions that are Safe for Bisimulation, J.Van Benthem)

胡义昭、裘江杰:谓词逻辑的模态基础(Modal Foundations for Predicate Logic, J.Van Benthem)

两文收于:

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

科研项目

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

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

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

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

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

参考资料