The 7th International Conference on Cognitive Science (ICCS2010) will be held on August 17-20, 2010, at the China National Convention Center in Beijing.
Latest News
关于评选“第三届江苏省逻辑与思维科学优秀成果奖”的通知
关于评选“第三届江苏省逻辑与思维科学优秀成果奖”的通知
| 附件 | 大小 |
|---|---|
| JSLJPJ.doc | 48 千字节 |
金岳霖学术奖评奖最新通知
鉴于金岳霖学术奖评奖报名过程中出现的具体情况，现通知如下：
1.评奖截止日期推迟至2010年7月10日，以邮戳为准。逾期不再受理。
2.对于已经出版的学位论文，参评时仍需提交原版论文或复印件，评选时以原版论文为评奖依据。已出版的著作仅做参考。
3.参评时需提交论文答辩时的2份“专家评审意见”一式三份。对于实在无法找到原始评审意见的参评论文，可请2位专家对论文进行评阅或推荐，提交一式三份，但专家意见仅做参考。
4.评审费标准为：博士论文每人200元，硕士论文每人100元。
Third International Congress on Tools for Teaching Logic
1-4 June 2011, Salamanca, Spain
hSubmission of Papers: 8th December 2011
Notification of Acceptance: 1st February 2011
Final Camera-Ready Submission Due: 1st March 2011
ttp://logicae.usal.es/TICTTL/
《模态对应理论》译本出版
《模态对应理论》（逻辑之门——约翰•范本特姆经典著作 卷III），〔荷〕约翰•范本特姆/著，张清宇、刘新文/译，科学出版社，2010年7月
内容简介：
在 1970 年代，范本特姆研究了模态公理与它们在一阶逻辑、高阶逻辑中的可定义性，提出了一个系统的、论述框架类的模态对应理论，主要结果包括初等模态公式的刻画、典范可定义模态框架类的刻画以及模态可定义性结果向二阶逻辑的推广。这一研究还引出模型之间的双仿概念，表明模态语言是由对双仿不变的一阶公式所组成；方法论上的主要特点在于强调模态观点和经典观点可以同时用于理论和实践的“并行观点”。《模态对应理论》收录了《模态逻辑和经典逻辑》以及作者近几年在这方面的三篇论文。
Student Session of the Sino-European Winter School in Logic, Language and Computation
Student Session of the Sino-European Winter School in Logic, Language and Computation
http://www.math.helsinki.fi/logi...
December 3-18, 2010 Guangzhou, China
