【摘 要】
：
<正> 一本世纪初,我国少数学者到西方留学,开始接触到数理逻辑这一新兴学科。1920年,英国哲学家和逻辑学家罗素(B.Russell)来我国上海、杭州、长沙、北京等地游览、讲学。他
【机 构】
：
中国社会科学院哲学研究所,中国社会科学院哲学研究所
论文部分内容阅读
<正> 一本世纪初,我国少数学者到西方留学,开始接触到数理逻辑这一新兴学科。1920年,英国哲学家和逻辑学家罗素(B.Russell)来我国上海、杭州、长沙、北京等地游览、讲学。他在北京大学讲了《哲学问题》、《心的分析》、《物的分析》、《社会结构》、《数理逻辑》等问题。罗素在《数理逻辑》的讲演中,简单地介绍了数理逻辑的内容——命题演算和逻辑代数。这一讲演促使我国一些逻辑学者去研究数理逻辑。二十年代初期,俞大维、沈有乾等少数人曾经从不同方面研究过数理逻辑,但他们后来没有继续做这方面的工作,所以,对我国数理逻辑的发展并没有产生什么影响。
其他文献
本文介绍了载人航天产品材料选用原则和制造工艺过程,重点讨论了载人航天产品制造质量的控制,包括工艺流程、腐蚀控制、特殊制造工艺及尺寸稳定性处理方法等问题。
【目的】通过分析宫颈癌IB1期的宫旁转移率以及其相关因素,探讨宫颈癌IB1期宫旁转移的低危因素。【方法】收集我院2008年1月至2011年2月经手术治疗的149例宫颈癌IB1期病人的
<正> 38岁的教玉章,就是看守沈河区怡静园公共厕所的那个人。一般人都认为,公共厕所的保洁员社会地位低下,没有任何谋生技能,为生活所迫,才做了这个勉为其难的工作。然而,只
目的：实现对高值耗材的溯源管理。方法：通过对HIBC编码的解读达到向上溯源的目的，通过对闭环网络的开发达到向下溯源的目的。结果：通过高值耗材向上、向下的溯源可以做到对于高值
近年来,日照市东港区在传统养殖刺参的模式基础上,因地制宜进行了浅海吊笼养殖试验,取得了较好的经济效益和社会效益。现将养殖技术介绍如下:
In recent years, Donggang Di
<正>李沧东43岁时开始导演生涯,作品《绿洲》《密阳》《诗》获得戛纳、威尼斯等国际项级大奖与声誉。除了导演、编剧与作家身份外,还曾任韩国文化观光部部长。李沧东自述给《
【目的】对急性呼吸道感染症状病人中呼吸道合胞病毒(RSV)流行情况进行监测,分析RSV在广东地区的流行特征,为今后广东地区RSV的监控和防治提供参考资料。【方法】2009年7月至
<正> 一、引言《梦溪笔谈》新校正本第128条中说:"古今言刻漏者数十家,悉皆疏谬。历家言晷、漏者,自颛帝历至今,见于世谓之大历者,凡二十五家,其步漏之术,皆未合天度。予占天
影片改编自布拉德·科恩(Brad Cohen)的真实故事,讲述一位患妥瑞氏症的年轻人,凭借对人生乐观心态与对梦想执着追求,最终成为一名优秀教师。
【目的】观察骨髓基质干细胞(BMSCs)种植到复合胶原和生长因子的聚乙醇酸-乳酸共聚物(PLGA)生物材料上,再种植到兔体内,进一步诱导成组织工程软骨组织的可行性,并观察此组织