研究中心动态

 

2009 9.10：逻辑中心的新网站基本建成，新网站地址：http://www.phil.pku.edu.cn/cllct/

 

2009 9.10：本学期课程表已经公布，请点击 教学 进入。

 

2009 9.3：中心逻辑论坛试运行，请大家进入测试，换版本了。论坛地址：http://www.phil.pku.edu.cn/cllct/bbs/index.php

 

2009 8.3-5：周北海、刘壮虎出席心灵与机器2009年昆明会议。

 

2009 7.28-30：刘壮虎出席全国法律逻辑讨论会。

 

2009 6.24-25：刘壮虎出席第四届两岸逻辑教学与研究学术会议，并作了《单调的条件句逻辑》的学术报告。

 

2009.5.29-31：北京大学哲学系与数学哲学专业委员会联合召开的数学哲学研讨会在密云举行，周北海、刘壮虎、叶峰出席会议。详细报道

 

2009.5.20：厦门大学信息科学与技术学院周昌乐教授在北京大学逻辑、语言与认知中心作演讲，讲演题目为：禅外讲禅：禅宗思想的科学解读。详细报道

 

2009.4.28-6.11：荷兰阿姆斯特丹大学哲学系、荷兰阿姆斯特丹大学逻辑认知与计算研究所 Frank Veltman 教授在我系讲授逻辑前沿课程，请浏览、下载讲课内容：http://web.me.com/fveltman/。

 

2009.3.22：2009年“逻辑、理性与互动”国际会议（重庆）开始征文，详细通知。网页：http://ai.stanford.edu/~epacuit/lori2009/cfp.html

 

2009.3.17-18：日本北海道大学文学院哲学中户川孝治教授在北京大学逻辑、语言与认知中心作演讲，分别为《论逻辑基础中的某些哲学问题—从子结构逻辑获得的启示》和《论有关数学对象的存在性的某些哲学问题—从塔斯基-沃特模型论寻求启示》。详细报道一、详细报道二

 

2009.1.6：香港城市大学潘海华教授在北京大学逻辑、语言与认知中心作题为《汉语全称量化研究》的演讲。详细报道

 

2008.12.23：武汉大学徐明教授在北京大学逻辑、语言与认知中心作题为《Stit 和 Action 的混合》的演讲。详细报道

 

2008.11.6：台湾阳明大学心智哲学研究所王文方教授在北京大学逻辑、语言与认知中心作题为《Gupta及Belnap真理修正理论述评》的演讲。详细报道

 

2008.11.4：台湾阳明大学心智哲学研究所王文方教授在北京大学逻辑、语言与认知中心作题为《倾向与条件句逻辑》的演讲。详细报道

 

2008. 11.1：在第八届全国逻辑大会上，刘壮虎当选为中国逻辑学会副会长、常务理事、周北海当选为常务理事、陈波当选为理事。

 

2008.10.31-11.3：周北海、刘壮虎、叶峰出席第八届逻辑大会，并提交论文。叶峰在大会上作了主题报告《从自然主义的角度看形式主义与不完全性定理》。

 

2008.10.28：北京市逻辑学会青年论坛在北京大学逻辑、语言与认知中心举办讲座。杜珊珊（武汉大学哲学系）和郭美云（西南大学逻辑与智能研究中心）分别作了《论NExtK4中的濒表格逻辑》和《分布式知识的形式化分析》的报告。详细报道

 

2008.10.21：荷兰阿姆斯特丹大学教授 Johan van Benthem 在北京大学逻辑、语言与认知中心作题为“Uncovering the Notions of Information in Logic”的演讲。详细报道

 

2008.08：邢滔滔所著《数理逻辑》（十五规划教材）出版（北京大学出版社）。

 

2008.7.21-25：周北海、刘壮虎参加第五届心灵与机器研讨会（2008山西太原），并提交论文。此次会议由山西大学承办。周北海在研讨会上作学术报告《从概念空间到范畴空间》。会议报道

 

2008.6.23：中山大学哲学系副教授 刘虎 在北京大学逻辑、语言与认知中心作题为“分支时空结构上时态逻辑的公理化问题”的演讲。详细报道

 

2008.6.6：美国卡耐基梅隆大学逻辑专业博士生高思存在北京大学逻辑、语言与认知中心作题为“计算理论中两个困难的逻辑问题”的演讲。详细报道

 

 

2008.4.20-23：刘壮虎应邀到西南大学西南大学逻辑与智能研究中心为逻辑学专业博士和硕士研究生进行了为期四天的讲学。详细报道

 

 

2007.4.8：清华大学哲学系副教授，阿姆斯特丹大学逻辑、语言和计算研究所兼职研究员刘奋荣在北京大学逻辑、语言与认知中心作题为“从冯莱特关于偏好的两个问题谈起”的演讲。详细报道

 

 

2008.1.4-6：周北海参加浙江大学举办的第五次“东方论坛”学术研讨会：当代认知科学理论及应用。此次会议由浙江大学人文社科处、浙江大学语言与认知研究中心承办。周北海在会上作学术报告“认知语义学与逻辑语义学”。

 

 

2008.1.3：周北海在浙江大学逻辑与认知研究中心作题为“名与指称——从场景的观点看”的演讲。

 

 

2007.12.27：美国伦斯勒理工学院教授杨英锐在北京大学逻辑、语言与认知中心作题为“推理心理学与认知经济学”的演讲。详细报道

 

 

2007.12.20：新加坡国立大学教授杨跃在北京大学逻辑、语言与认知中心作题为“关于叶尔绍夫层谱初等等价问题的一个新结果”的演讲。详细报道

 

 

2007.10.19-21：宋文坚、周北海、刘壮虎、叶峰参加“2007年全国现在逻辑学术讨论会”。此次会议由中国逻辑学会现代逻辑委员会和燕山大学文法学院联合主办。周北海、刘壮虎、叶峰分别在研讨会上作学术报告《名与指称——从场景的观点看》、《自动扩展和修正的知识系统》和《克里普克模态性的一个自然主义模型》

 

 

2007.10.11：荷兰阿姆斯特丹大学教授马丁•斯托克霍夫（Martin Stokhof）在北京大学逻辑、语言与认知中心作题为“手还是锤子？论语义学中的形式语言和自然语言”的演讲。详细报道

 

 

2007.8.17：芬兰赫尔辛基大学Ahti-Veikko Pietarinen教授在北京大学逻辑、语言与认知中心作演讲，介绍皮尔士的逻辑思想及由其发展出的Diagram Logic。详细报道

 

 

2007.8.1-5：宋文坚、周北海、刘壮虎参加“2007全国哲学学科建设与发展论坛”。此次论坛由中国社会科学院哲学研究所和燕山大学合办。

 

 

2007.6.11：美国天普大学（Temple University）计算机系王培教授在北京大学逻辑、语言与认知中心作演讲，介绍王培教授在AGI方面的研究。详细报道

 

 

2007.6.8-10：周北海、刘壮虎、叶峰参加第四届心灵与机器研讨会（2007上海）。此次会议由华东师范大学承办。会议为关于AGI的专题研讨会，邀请美国天普大学（Temple University）计算机系王培教授为主讲，介绍国际上AGI研究状况。详细报道

 

 

2007.6.4-7：刘壮虎参加第四届数理逻辑会议。此次会议由北京师范大学、南京大学主办，广西师范大学。提交论文《无穷算子与量词》

 

 

2007.5.8：西北工业大学何华灿教授，就信息科学的逻辑基础研究问题，在北京大学逻辑、语言与认知中心作演讲。详细报道

 

 

2007.4.14-15：周北海参加首届信息、智能与逻辑高级学术论坛I2&L’07。此次会议由西北工业大学基础研究院发起并举办。会议报告：非单调推理的形式刻画—— 非单调推演。

 

 

2007.04.14：由北京大学逻辑、语言与认知中心主办的“批判性思维”课程研讨会于2007年4月14日在北京大学哲学系举行。详细报道

 

 

2007.1.6-12：周北海参加在印度海得拉巴市举行的第20届国际人工智能联合会大会（IJCAI07）。1月8日在大会非单调推理专题研讨会上由毛翊报告报告合作论文  Yi Mao & Beihai Zhou：The cause and two treatments of floating conclusions and Zombie paths。

 

 

2006.12.18：周北海在浙江大学文学院、浙江大学语言与认知研究国家创新基地演讲：关于隐喻的概念语义解释。

 

 

2006.12.16-18：周北海参加第七次全国科学逻辑讨论会。会议报告：从概称句看概念内涵与涵义。此次会议由中国逻辑学会科学逻辑专业委员会主办，浙江大学语言与认知研究中心承办。会议报道

 

 

2006.12.9：由北京书生研究中心和北京大学哲学系逻辑、语言与认知中心主办的“逻辑与哲学”于2006年12月9日在北京大学哲学系举行。详细报道

 

 

2006.11.6-8：周北海访问台湾东吴大学哲学系并演讲。演讲题目：从概称句看概念、内涵与涵义。

 

 

2006.11.6：周北海在台湾大学哲学系演讲。演讲题目：概称句的形式语义与概称句本质。

 

 

2006.10.28-31：刘壮虎出席“第二届两岸逻辑教学学术会议”，这次会议由南京大学哲学系、中国逻辑学会与江苏省逻辑学会主办，南京大学现代逻辑与逻辑应用研究所承办。详细报道

 

 

2006.10.2-12.2：周北海应邀赴台湾中正大学讲学，讲授课程“模态逻辑及其相关之应用”。在此期间，开办非单调推理序列讲座，每周一次。10月27日在中正大学哲学系演讲，演讲题目：分析性概念的严格定义与哲学考察。11月18-19日参加台湾哲学会研讨会。11月25-26日，参加由东吴大学主办的第三次“经验与真理研讨会”。

 

 

2006.9.23-24：由北京大学逻辑、语言与认知中心承办的第三届“心灵与机器”论坛（北京会议）在北京大学哲学系召开。详细报道，浏览会议文献

 

 

2006.09：谷振诣、刘壮虎所著《批判性思维教程》（十五规划教材）出版（北京大学出版社）。

 

 

2006.06.10-11：北京大学逻辑、语言与认知中心《自然语言的逻辑在知识表达与推理中的应用》课题组在北京房山召开项目组会议。详细报道

 

 

2006.6.5-6：周北海参加在日本东京举行的2006年逻辑与自然语言工程研讨会（Logic and Engireering of Natural Language Semantics (LENLS) 2006），会上由毛翊报告了合作论文  Mao, Yi & Zhou：Beihai: Interpreting Metaphors in a New Semantic Theory of Concept（已收入会议论文集，Springer出版）。该研讨会由日本人工智能学会赞助，2006年6月5日至6日在日本东京Funabori会堂召开。

会议网址

 

 

2006.05.30：中国科学院软件所研究员杨东屏讲座：《从算法谈计算机》。详细报道

 

 

2006.04.22：我中心成员参加第二届分析哲学讨论会。叶峰和陈波分别作了《当前表征内容理论的难点与一个解决方案》和《弗雷格的反心理主义及其困境》的报告。

 

 

2005.12.5-8：我中心成员周北海应邀参加德克萨斯州大学举办的非单调逻辑研究讨论会，在会上做了题为“A formal characterization of default inference”的报告。

 

 

2005.11.22-23：新西兰Auckland大学哲学系教授Jeremy Seligman访问北大并作关于Hybrid逻辑的学术报告。（11月22日9:00-11:00, 11月23日19:00-21:00,四院会议室，参考资料 1, 2, 3）

 

 

2005.10.30-11.01：周北海、刘壮虎出席 第二届心灵与机器论坛。详细报道，浏览会议文献

 

 

2005.10.24：刘壮虎在上海华东师范大学演讲：复合谓词的逻辑。

 

 

2005.10.22-23：刘壮虎出席 第二届中国南北哲学论坛。并作了 几类性质词的逻辑特征 的学术报告。

 

 

2005.6.11：周北海、刘壮虎出席《逻辑、理性和构建和谐社会》学术研讨会。刘壮虎作了主次条件句逻辑的学术报告。

 

 

2005.5.28-29：周北海、叶峰在分析哲学、科学哲学与逻辑讨论会上分别作了概称句本质与概念和数学哲学中的反实在论必须提供什么？的报告

 

 

2005.5.25-27：美国天普大学计算机与信息科学系副教授王培教授访问我中心，作了人工智能与词项逻辑的报告，并和中心成员就人工智能中的推理问题进行了讨论。

 

 

2005.5.12-19：美国德州大学哲学系主任 Asher 教授来我系进行了为期一周的讲学和访问。详细报道

 

 

2005.5.24：美国天普大学计算机与信息科学系王培教授5月26日讲座通知。详细报道，内容简介

 

 

2005.5.10：美国德州大学哲学系主任 Asher 教授演讲通知。详细报道

 

 

2005.4.14：美国德州大学 Asher教授将于5月13日至18日来我校讲学。详细报道

 

 

2005.3.16--20：Robert Koons主持分析哲学讨论班，讨论Plantinga的书“The Nature of Necessity”（四院一搂会议室，晚6:00开始）下载阅读材料

 

 

2005.3.17：美国德克萨斯大学奥斯汀分校（University of Texas at Austin）哲学系教授Robert Koons在本中心作关于哥德尔的本体论证明的报告“Sobel on Gödel's Ontological Proof”。（下午2:00，一教301）

 

 

2005.3.10：北大信息科学技术学院许卓群教授在本中心作关于web本体（web ontology）的报告。

 

 

2004.12.13-17：周北海教授在西南师范大学哲学系讲学，举办概称句推理研究系列讲座（1．概称句与概称句推理；2．常识推演 ―― 常识推理的逻辑刻画；3．关于常识推理的基础逻辑；4．概称句形式语义与基础逻辑系统G*）。

 

 

2004.11：周北海教授在浙江大学人文学院讲学，作“概称句本质与概念”报告。

 

 

2004.10.28—30：全国“人工智能与哲学”高级研讨会在厦门大学举行。主办单位: 北京大学逻辑、语言与认知研究中心，北京师范大学科学与人文研究中心；承办单位：厦门大学人工智能研究所。周北海、刘壮虎出席会议。浏览会议文献

 

 

2004.10-11：我中心陈波教授于2004年下学期被聘任为台湾佛光大学兼任客座教授，于2004年10-11月赴该校哲学系讲学，为研究生系统讲授“分析哲学”课程；应邀到台湾中央研究院欧美研究所做学术访问三天，并做一次公开讲演，题目为“Susan Haack的逻辑哲学”；应邀到台湾阳明大学意识研究中心做公开学术讲演，题目为“Quine的翻译不确定性论证”。

 

 

2004.9.20-27：荷兰阿姆斯特丹大学教授约翰范本瑟姆（Johan van Benthem）来我系进行了为期一周的讲学和访问。详细报道

 

 

2004.7.29，8.10：美国加州州立大学北岭分校副教授孙卫民我中心作“表示理论与进展”报告，进行 “多主体认知系统中推理方法研究”项目的合作研究。

 

 

2004.6.1：美国天普大学计算机与信息科学系副教授王培来我中心作“认知的逻辑与数学的逻辑”报告并就“概称句的生成与概称句推理”项目中的问题进行讨论。