必威电竞|足球世界杯竞猜平台

裘江杰
來源:互聯網

裘江杰,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

參考資料 >

生活家百科家居網