裘江傑

裘江傑

裘江傑,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月,浙江工業大學
、學術興趣
[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