【摘 要】
：
【正】 西方哲学界和数学界对悖论(paradoxes,antinomies)问题的研究,算来已有八十多年了。这个问题牵涉到逻辑和哲学。具体说来,它还同“公理化形式系统”、“判定问题”等
论文部分内容阅读
【正】 西方哲学界和数学界对悖论(paradoxes,antinomies)问题的研究,算来已有八十多年了。这个问题牵涉到逻辑和哲学。具体说来,它还同“公理化形式系统”、“判定问题”等数理逻辑上的实际问题有关。因此,它不但有深刻的哲学意义,也有实践意义。八十年来关于悖论问题的文献已经很浩瀚。但西方哲学界和数学界对这个问题至今还在热烈讨论,公认并没有得到圆满的解答。随便翻开一本最新的西方逻辑学著作,都是这么说。例如,最近出版的杰罗姆·马立兹著的《数理逻辑导论》(1979年美国Springer-Ve
其他文献
文气需要借助修辞的力量来创造,来使辞气浩荡,对此深刻理解也分为不同的层次,修辞格式包括语音修辞,语法修辞,语汇修辞,篇章修辞,也指称修辞实践而形成的固定而公认的修辞格
冲击地压和瓦斯突出复合动力灾害是深部煤矿开采过程中面临的一种严重的环境地质问题。随着矿井开采范围和深度的增大,环境地质动力灾害造成了地下空间环境恶化,严重威胁了工作人员人生安全以及对深部煤炭资源的开发造成严重影响。而煤层注水技术防治动力灾害是各煤矿开采十分有效的技术手段,但随着开采深度、地应力的增大和煤体渗透性降低,注水效果的保证一直是个难题。注水参数的优化对提高注水效果有重要作用。然而,针对低渗
以芝麻粕为原料，利用多种蛋白酶对芝麻蛋白进行水解，最后选择碱性蛋白酶、中性蛋白酶以及木瓜蛋白酶3种进行复合酶解。在固定料液比为1：5和加酶顺序为碱性-中性-木瓜的条件下，得
大气环境是一项影响人们生活质量的主要因素,伴随着经济的快速发展,大气污染问题日益突出,并成为一项引起全社会关注的民生问题。纵观世界历史进程,发达国家的快速发展大部分
近年来,随着蓝色激光二极管的问世,激光照明有望成为可能,具有颠覆性的新一代固态照明技术成为了各国争相研究的热点,激光白光更是相较于传统的LED白光具有亮度高,寿命长,工作稳定等一系列优点,本文旨在研究一种基于激光远程激发荧光粉的技术,为后续LD白光产品的封装与设计提供理论依据。本文通过分析激光白光照明的技术原理,决定采用激光远程激发荧光粉的方式来获得白光光源。该方案选用的激发光源为450nm的蓝光
动词的态是语法范畴之一,又叫情态和语态。态是通过一定的语法形式确定动作的主体与客体之间的关系。满语动词的态有主动态、被动态、使动态、方向态、齐动态、持续态七种。
近年来中国旅游业一直在快速发展,并给各个国家和地区的经济发展带来强大的影响力,但同时随着市场主体的丰富和旅游产业内容的多元化,加剧了彼此之间的竞争力,使得旅游提供主
提出了种基于改进云物元模型的风电场电能质量评估方法。融合电压暂降倍数和暂降时间提出了电压暂降评价指标,考虑到风电场数据采集的局限性,对风电场中采集的有限个数据进行
进入21世纪,世界性的生态问题,已成为广大民众普遍关注的问题,生态意识的提高,使人们更加重视自身赖以生存的生态环境.城市园林绿化不再仅仅是为人们提供休憩游览的场所,而是
“民以食为天,食以安为先”,蔬果农产品是人们日常生活的必需品,是维持人类生存的最根本要素,农产品的质量和安全性也是全球共同关注的话题。最近几年,有关农产品质量安全的