裘江傑

裘江傑，出生年月：1978年4月，籍貫：浙江省奉化市，2010年2月至今就讀中國人民大學哲學院，2007年7月—2010年1月就讀浙江大學哲學系，2003年10月—2004年1月就讀中山大學哲學系，2002年9月—2007年7月就讀北京大學哲學系，1996年9月—1999年7月，浙江工業大學

基本介紹

• 中文名：裘江傑
• 國籍：中國
• 出生地：浙江省奉化市
• 出生日期：1978年4月

基本信息

出生年月：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