>

中国科学院上海技术物理研究所研究员戴宁应邀

图片 1

核证逻辑开始于20世纪90年代的“证明逻辑”,后者是为直觉主义逻辑提供算术语义的一个部分。根据哥德尔的一个推理结果,直觉主义逻辑嵌入到S4,由于哥德尔不完全性定理,S4的必然性算子不能作为算术中的形式可证性;但根据哥德尔1938年的一个推理想法,S4的必然性可以看作“显式”可证性谓词。这一思想在20世纪90年代被阿逖莫夫独立发现,成为建立证明逻辑系统的动机,模态算子被一族显式“证明项”所替换。阿逖莫夫证明的“算术完全性定理”表明,S4可嵌入到证明逻辑,而证明逻辑可嵌入到形式算术。所有这些一起为直觉主义逻辑提供了一个算术语义学。“核证逻辑”是把证明方法论内部化的模态逻辑新分支。

图片 2

10月26日下午,应我校物理与材料科学学院邀请,中国科学院上海技术物理研究所研究员戴宁来我校讲学。报告会在物理北楼三楼报告厅举行,物理与材料科学学院相关专业师生200余人参加了报告会。

可能世界语义学

送爱心早餐,传师大精神。1月3日,生命科学学院组织学生参加了由榴心公社组织的为环卫工人免费送早餐活动。

戴宁以《红外探测--人类观察黑暗世界的天眼》为题,首先对低温目标红外辐射的灵敏探测和成像在航天和深空探测中的重要应用价值进行了概述,并说明了300 K 以下低温目标的辐射强度很弱, 辐射特征波长位于中远红外区。阻挡杂质带红外探测器是中远红外探测器中重要的一员, 具有覆盖波段宽、灵敏度高、暗电流低、抗辐射性能高等优点, 能够胜任空间技术和天文探测在中远红外波段探测的苛刻要求。戴宁以红外天文探测对红外探测器的应用需求作为出发点, 主要就国内外红外天文学、红外天文探测器发展概况, 阻挡杂质带红外探测器发展历史及其材料、器件结构等方面做了简要综述, 并简明扼要地介绍了阻挡杂质带探测器的器件物理模型。报告结束后,戴宁与现场师生进行了互动,就大家提出的相关问题,给予了耐心细致的解答。

模态逻辑是关于必然性和可能性的逻辑,或者说,是关于“一定是”和“可能是”的逻辑。必然性和可能性也可做其他解释:真势模态逻辑把必然解释为必然真;道义逻辑则把必然解释为道义必然性或规范必然性。必然也可以指“知道为真”或“相信为真”,这是认知逻辑的解释;如果指“总是为真”或“从此总是为真”,则是时态逻辑的解释。还可以把“必然p”解释为“p是可证的”。作为必然性和可能性的逻辑,模态逻辑不仅考虑事物实际存在方式的真和假,而且考虑“如果事物处在与实际存在方式不同的存在方式中,那么什么将是真的或假的”。如果一个人考虑到了事物在真实世界中的存在方式,那他或许也会考虑事物在可替代的、非真实即可能的世界中是如何地不同于真实世界中的存在方式。逻辑关注真和假,模态逻辑则关注真实世界和其他可能世界中的真和假。在这个意义上,一个命题在一个世界中是必然的仅当它在可能替代该世界的所有世界中为真,它是可能的则仅当它在可能替换该世界的某个可能世界中为真。

早上六点,学院团委学生会志愿服务部负责人带领十名志愿者前往烈士陵园英雄广场参与此次公益活动。七点,运载爱心早餐的汽车到达后,志愿者们井然有序地将早餐搬运下车,并一一分装好。在志愿者的组织引领下,环卫工人们排着整齐的队伍领取爱心早餐。盛粥、递包子、发鸡蛋,志愿者们不停地忙碌着,争取尽快把早餐送到环卫工人手中,让辛苦劳作的工人们尽早吃上早饭。拿着热气腾腾的爱心早餐,环卫工人脸上洋溢着幸福的笑容。同时,志愿者为环卫工人送去了学院准备的爱心口罩。冬日的清晨十分寒冷,志愿者们的“暖冬”服务却为在寒风中辛勤劳动的环卫工人带去了关心与温暖。活动结束后,一名志愿者分享道,入冬以来,天气十分寒冷,环卫工人们依旧默默地坚守在岗位上,他们把清洁带给了城市,把尘土留给自己,他们值得所有人尊重。同时,我们要提高环保意识,不随地丢垃圾,尽量减轻他们的负担。

专家简介:

以此为基础来考虑模态逻辑有效性的可能世界语义学始于20世纪50年代晚期和60年代早期。可能世界是可能世界语义学的核心概念,模态逻辑历史中最主要的突破性进展是可能世界语义学的提出,由于简单、自然以及起源于哲学等特点,可能世界语义学一直是模态逻辑模型论研究的基本工具。

此次志愿活动中,志愿者们用爱心早餐温暖了环卫工人的胃,更温暖了瑟瑟寒冬中的心。学院学生积极爱心公益活动,体现出了当代学生传递爱心、热心公益的志愿服务精神,有效促进了学院精神文明建设工作的发展。

戴宁,中国科学院上海技术物理研究所副所长、红外物理国家重点实验室研究员、博士生导师;中国科学院宁波工业技术研究院新能源技术研究所所长、研究员、博士生导师;上海科技大学教授;中国微米纳米技术学会理事,中国物理学会光散射专家委员会委员,中国真空学会理事,国家自然科学基金委资深专家,上海市物理学会理事,上海市激光学会副理事长,上海市太阳能学会理事,上海市有色金属学会半导体材料专业委员会主任。1997年获国家教委、人事部“全国优秀留学回国人员”称号,获国家教委“跨世纪优秀人才基金”,2001年入选中国科学院“百人计划”,2003年获“国家杰出青年基金”,2004年入选“新世纪千百万人才工程国家级人才”,在中国科学院“百人计划”终期评审获得“优秀”,2010年获上海市“侨界十杰”称号。

可能世界的名字

(生命科学学院 庞世建 吴姿贤)

(物理与材料科学学院 张浩兴)

可能世界语义学与旧有的句法传统之间的对应并不完美,局部视角与标准模态语言的全局视角两者之间的不对称正是问题的来源。也就是说,在可能世界语义学中具有根本地位的可能世界并没有在模态句法中表现出来。这种不对称情形导致了许多并非我们需要的结果,比如,缺乏对许多语义特征的充分表示,缺乏合适的模态证明论。前者比较容易解释,因为标准模态语言没有一套机制来命名一个模型中的特殊“可能世界”、断定或否定可能世界的相等、表达从一个可能世界到另一个可能世界的可达性等。这些都属于模态模型论的核心问题,但在标准句法中表示不出来。可能世界语义学中框架的许多重要性质都以一种非常间接的方式被表达出来,而其他许多重要性质则干脆在标准模态语言中无法被表达。

本文由必发88最新客户端发布,转载请注明来源:中国科学院上海技术物理研究所研究员戴宁应邀