《罗素算理哲学》与数理逻辑在中国的早期传播

20世纪20年代,随着罗素来华,数理逻辑传入中国,1922年出现了中国第一部数理逻辑译著《罗素算理哲学》。通过对罗素来华讲演、《罗素算理哲学》的成书背景、内容及其引起的两场学术争论进行研究,认为此书不仅为中国数学界打开了通往数理逻辑的大门,使中国数学家、逻辑学家了解并研究数理逻辑,并且对数理逻辑在中国的早期传播乃至中国现代数学的发展产生了重要影响。     

论19世纪的逻辑学——在数学与哲学之间

19世纪的逻辑学处于数学与哲学之间:一方面,数学家在对传统逻辑的改革过程中形成了逻辑代数和数理逻辑;另一方面,哲学探讨热衷于逻辑学的性质、地位、基础等问题,由此形成了心理主义和反心理主义之争。这种状况从各个方面影响了20世纪的逻辑学、心理学和哲学的发展。     

浅议一阶逻辑的发展与集合论公理化的关系

众所周知,一阶逻辑与公理集合论是数理逻辑的两个组成部分,其中,一阶逻辑是数理逻辑的基础部分.但在数理逻辑刚刚出现的时候,逻辑不是一阶的,集合论也经历了由康托尔素朴集合论到公理集合论的发展.在数理逻辑发展的历史中,一阶逻辑的出现及其主导地位的确立与集合论的公理化,二者之间存在着密切的联系.     

数理逻辑在工程技术中的应用及匈牙利数理逻辑发展概况

去年匈牙利数理逻辑专家Kalmar通讯院士来我国访问期间在中国科学院数学研究所曾举行过几次座谈,本文系座谈内容的一部分,是由数学研究所同志根据谈话内容加以归纳正理的。在这里Kalmar专家谈到了数理逻辑在生产技术中的应用,同时对数理逻辑在匈牙利发展的概况也有所介绍。     

西方科学哲学的回顾与展望

本文回顾了20世纪科学哲学的几个主要学派的思想基础及其争论的焦点，以及自然科学和社会科学（尤其是经济学）中的哲学问题研究。本文还对未来科学哲学的发展趋势作了展望。     

梳理中华文明的基本脉络

我们一般说中华文化五千年,其实它真的跨入成熟文明的门槛,是离现在4200年。现在是公元21世纪,那个是公元前21世纪,等于对折一下,一张纸对折一下,我们公元后21世纪,那是公元前21世纪,中国文化跨入了成熟文明的门槛。那么文化成熟     

数理逻辑教学刍议——兼谈我国高校文科应设置数理逻辑基础课

高校文科逻辑教学改革工作一直是颇受逻辑界同仁关注的一个话题，关于在文科生中开数理逻辑谍程的意义及其必要性还有许多争论。数理逻辑在高校教学中要占有一席之地，似还需有一段路程娶走。还需各位同仁的共同努力。...     

Ψ场(道场)研究的哲学意义

E．拉兹洛在《微漪之塘——宇宙进化的新图景》一书中提出第五种场“ψ-场”——宇宙量子真空零点能全息场。这很可能预示着21世纪将发生的新的物理学革命，进而改变人类对宇宙本原的认识，并促使我们在哲学上重建本体论。继古希腊哲学家德谟克里特的原子论获得实证之后，中国古代哲学家老子的道论也会获得实证。     

评《制约逻辑》中的几个形式系统

《制约逻辑》(林邦瑾著,贵州人民出版社1985版)的主要内容可以看作两个部分:一是批评古典的数理逻辑和传统逻辑——“传统逻辑是模糊的正确,数理逻辑是清晰的错误”;二是讲述作者自称为“清晰的正确”的制约逻辑系统——命题演算Cm,“名词演算”Cn,带等词的“名词演算”Cnd以及“形式数论系统”N。《制约逻辑》对传统逻辑的批评是否有道理,当由传统逻辑工作者去评说,我们不拟代庖。《制约逻辑》对数理逻辑的批评贯穿全书,语     

从现代物理学看构成论到生成论的转变

正如从前的哲学认识早就从存在转为变易一样，20世纪物理学的发展，亦使得对微观现象的认识，已经从构成论逐渐转向了生成论。基于构成论的观念而提出来的“物质是否无限可分”的问题，不再是一个适当的话题。     

休闲时代文化对城市发展的影响--兼论城市文化的特性

城市文化是由实体性要素和人文性要素构成的统一体，它具有地缘性、民族性、时代性、历史性、包容性、多样性、集聚性、大众性等特点。伴随休闲时代的即将到采，城市发展在注重城市文化的实体性要素的同时。必须对城市文化的人文性要素予以更多的重视；必须坚持地缘性与多样性的统一、民族性与包容性的统一、时代性与历史性的统一、大众性与科学性的统一。     

论风险观念视野下的科技观

风险观念视野下的科技观立足于对“技术公害”等现实问题的反思,揭示了科学技术与社会发展的复杂矛盾。这对于我们超越传统科技观,富于启发意义。但这种科技观的后现代主义消极立场,决定了其诸多的局限性。本文意在表明,我们应当把化解风险危机作为现代化发展的动力,作为新型科学技术发展的契机,切实实现科学技术与社会的协调发展。     

语言:形下工具与形上存在之辨

“语言作为符号系统”和“语言作为存在的家”,二者都以语言为出发点和研究对象,但究其实质还是有所不同。语言作为符号系统,是解决认识支点问题的必然选择,这是寻求认识客观性的必然结果。然而,这种符号系统的精致分析,无疑容易踏上语言的迷途,而惟有将语言作为存在的家,对之进行形而上的审视,才能使语言还乡。     

论明代经世致用思想兴起对技术科学发展的影响

明中后期,作为与阳明心学并存的"经世致用"思想的出现,影响了一大批学者做学问的理路。他们逐渐以"实用"为指向,以面向生产、生活为研究旨趣,总结扬弃以往实践经验、设计开发新型实用技术,直接促成了明朝技术科学的大发展。其中,宋应星的《天工开物》与徐光启的《农政全书》,是最具代表性的研究成果。这样一股"实用"之风,是经济、政治、社会、中西汇通多方面原因的综合产物。我们从明代此阶段技术科学兴衰发展的因果分析中,可以尝试着找到回应"李约瑟问题"的答案。     

文化工业受众的特质分析——基于法兰克福学派与伯明翰学派相比较的视角

文化工业主体和受众研究是文化工业与社会关系问题的中心环节。在此问题上,形成了以法兰克福学派为代表的"消极受众"说和以伯明翰学派为代表的"积极受众"说的对立。本文旨在通过对文化工业兴起背景下受众主体特征的考察,从法兰克福学派和伯明翰学派相比较的视角,得出文化工业下受众实质的定位,指明文化工业对受众造成的双重影响及在二者的博弈中达到统一。     

试论知识创新信息运动

本文把知识创新看作是创新信息的运动过程,从创新信息的概念及其时代特征的分析入手,对创新信息的运动机制、运动方式及运动模型进行了详尽的阐述。     

抓住西部大开发大好机遇,加速西部信息化发展进程

本文提出在知识与信息的经济、全球信息化浪潮的时代背影下,我国西部要抓住西部大开发的大好机遇,尽快取得经济与社会的高速发展,首先应该把加快信息化发展进程作为第一重要的,也是第一关键的战略目标。在分析了影响西部信息化发展速度的限制因素的基础上,文章提出了加速西部未来信息化发展进程的对策性建议与思考。     

论工程风险的原因及其规避机制

工程风险是指影响工程活动目标实现的各种不确定因素的集合。工程风险的原因存在于对工程风险的认知,对工程主客体的判断,工程主体的工程思维,工程活动中的自然、政治、经济、技术因素,以及工程风险管理方法之中。工程风险的规避机制包括经济、法律、管理、伦理等机制,伦理机制尤为重要。规避工程风险的伦理机制应综合多种伦理原则,建立起一种涵盖工程师个人、工程共同体和整个社会的应对工程风险的伦理。     

探索大脑的奥秘—记舒斯云教授在人脑内发现一个学习记忆新区

八月的北京,骄阳如火.在总后勤部某会议中心,2001年军队科技进步奖的评审答辩正在紧张地进行着.第一军医大学珠江医院舒斯云教授向评委们介绍了她在脑内发现的一个学习记忆新区.新颖有据的构思设想,丰富翔实的实验结果,明确可靠的结论,漂亮的多媒体演示,征服了在座的每个评委.全体评委们一致投票通过该项成果为军队科技进步一等奖.     

对宇航、航天、太空、空间等名词的商榷

编者按 随着科学技术的进步,人类对大气层以外空间领域的研究迅速发展,但是,长期以来此领域的某些术语一直不统一,例如常见的“空间”、“太空”、“外空”等等,成为一些比较混乱的多学科常用词,给大家带来很多困扰,使用时无所适从。全国科学技术名词审定委员会认为应当适时地解决这个问题(包括相关的重要词)。本刊特辟专栏组织各方面专家开展书面讨论。在此基础上,我们将组织专门的研审会,力争确定一个比较科学、合理、统一的意见。此项工作得到许多专家热情的支持,在此谨向各位专家表示诚挚的谢意！这里我们先选登一部分稿件。欢迎读者来稿发表新的意见,以便科学地、民主地、全面地研究,做好定名工作。中国航天事业已经走过了近45年的历程,参与这一事业的人们,对中国航天所经历的事与物,都有自己的认识和体会。对于航天等名词的理解和认识同样有异同。尤其是中国航天这个行业比俄、美及欧洲一些国家起步晚,涉及航天行业一些事与物的名词,由外文引进译出也是自然的。由于译者的知识、经历和所处环境的不同,同一外文的译法也有差异。长期以来又没有合适的机会组织各方面的人员进行系统的研究讨论,所以现在对同一事与物出现的“叫法”未能统一。由此造成出版书刊混乱,在国际交流中也带来诸多不便。时至今日,应该将这些名词的统一工作提到议事日程,制订一个计划,按照民主与科学的原则,逐步达到统一。在此仅就个人了解的一些情况及见解一并述及,同有关人员商榷。一、《中国大百科全书·航空航天》卷中的主要情况20世纪80年代初,在编订《中国大百科全书·航空航天》卷时对“航天”这类名词就存在分歧,几经研究,采用了通融、通用的说法,一定程度上缓解和弥补了当时的争论和分歧。例如：航天指“载人或不载人的航天器在太空的航行活动,又称空间飞行或宇宙航行。”在航天这一条目中还写到：“有人把太阳系内的航行活动称为航天,太阳系外的航行活动称为航宇。”在该书中的“人造地球卫星”1号的条目中也指出：“苏联在1957年10月4日成功发射了世界第一颗人造地球卫星,开创了人类航天的新纪元。”在《航空航天》卷的开篇中也写到：“随着航天飞机和其他新型空间运输系统的使用,空间组装和检修技术的成熟,人类将有可能在太空建造各种大型空间系统。在近地空间建立起永久性航天站、太阳能电站和空间工厂,甚至可能建立空间城市和开展空间旅游,太空将成为人类频繁往来的新场所。”总之,在《中国大百科全书·航空航天》卷中,对航天、太空、空间、宇航等名词采用相容的办法,对航天、航天学、宇宙航行、星际航行、航天工程、空间技术等,都作了专门的诠释。但也可以看出,对“航天”、“太空”给予了更多的关注,将“宇宙航行”和“空间技术”都统一到了“航天”和“航天工程”的条目之中。二、钱老(学森)的有关论述及历史情况钱老当年提出“航空是航空气,航天是航天空。”20世纪50年代中后期世界上热门的说法是星际航行或宇宙航行(似乎是日语译过来的);英国还设立了星际航行学会,还有《星际航行》杂志;美国最初是火箭(推进)协会,后来是Astronautical学会。中国科学院60年代曾组织过星际航行座谈会。1979年成立宇航学会时,钱老没有参与,也没有人提出异议和坚持,所以按照最远阔的思想,取名为宇航学会。后来,钱老将“航天”界定为在太阳系内的航行,把“宇航”,即在宇宙航行界定为在太阳系外的航行。三、分歧出在“航天”和“空间”两个词;“航天”的含义已被各方面理解和接受空间一词出自于space。在Webster词典中释space,第5条：The region beyond the earth atmosphere or beyond the solar system(地球大气层外或太阳系外的区域)。在1979年修订版的《辞源》中对“宇”和“宇宙”有相类似的解释。《淮南子·齐俗》：“往古来今谓之宙,四方上下谓之宇”,“天”的释语中,天是地面的上空,与“地”相对,“天空”——无际空阔,“天穹”——天空高远。“空间”一词的释义是：物质存在的一种形式,由长度、宽度、高度表现出来。由此看来,space一词译为空间容易和物理的空间相混淆,显得不够确切,译成外层空间倒还好些。对这些名词如何使用,我的意见是将名词的含义,指的是何事何物搞清楚。遇到外文只要词能达意即可,不必拘泥于哪个英文必须对哪个汉字。时间久了,自然会统一的。正是由于将space直译成空间,1968年成立的从事卫星等研制工作的新研究院取名为“空间技术研究院”(后为七机部五院)。1978年,为了便于开展国际合作与交流,我建议英文的名称为：Chinese Academy of Space Technology,简称CAST。现在习惯上将卫星、飞船涉及的技术,包括卫星上的有效载荷,如通信载荷、遥感等涉及的技术统称“空间技术”。如果按专业技术分工讲,空间技术称为运载火箭的有效载荷或卫星平台更符合实际。而通信、遥感、摄像技术是卫星的有效载荷,属于其他的技术领域。1982年,第七机械工业部改为航天工业部之后,“航天”这个词使用得越来越普遍,现在航天已包括我国所有导弹、运载火箭、卫星、飞船、测控、发射场及各协作单位的工作、任务和产品。尔后,航天政策、航天规划、航天队伍、国家航天局等复合名词接踵而至,全国上下很容易理解航天所指的内容。“航天”是动宾结构的名词,“空间”是位置范围的名词,用“航天”可以取代大多数“空间”这个词,如当前所指空间技术,就可以由航天技术覆盖。又如航天医学比空间医学更反映实际,因为要研究发射时和下降时人对过载的承受能力,而空间医学则不能反映这方面的问题。至于shuttle译成“航天飞机”时,并不确切,实质上是火箭飞机,外形像飞机,内部是火箭。等到spaceplane研制时,只好译成空天飞机,很勉强。如理解带翼的飞行器,包括用火箭动力、用火箭-吸气式复合动力、核动力和其他动力,只要是在外层空间飞行的,统称为“航天飞机”,可能更合适些。当然有的复合名词为其他学科所惯用,如空间天文学、空间物理等,这些位置特征显著的词不必强求用航天代替。四、“太空”这个词是好词,比“空间”更能描述大气层外的空域“太空”的释义是极高的天空。当年台湾先将space译成太空,后来我们没有采用。现在看来,我赞成用“太空”描述大气层外的空域,比“空间”更合适、更准确,比“天”、比“宇”、比“空间”更形象。总之,我建议将航天作为我们这一行业与技术领域的基本词,能用航天取代的都用航天取代;宇航(航宇)、太空这两个词及由此衍生的复合词,视需要给予保留,如太空工厂、太空站等;不再使用“空间”这个词;有些专用名词,如宇航学会、美国宇航局(NASA)、欧洲空间局(ESA)等,人们都已习惯,不再改动;空间这个词基本被“航天”和“太空”两个词取代,个别由空间衍生出的复合名词,特别是有些机构已长期使用,可作为专用名词保留,如空间法、外空委、中国空间技术研究院等。