中國人民大學教師
基本信息
出生年月：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
