【摘 要】
：
自然界、人类社会和认知领域中普遍存在可扩展的类。它有两种存在形式:潜无穷序列,以及有穷开放类。后者是成员可扩展的类,这种扩展或开放的过程不能无限制地进行下去,且无法
【基金项目】
：
国家社会科学基金重大项目“广义论证的理论与实验”(18ZDA033)
论文部分内容阅读
自然界、人类社会和认知领域中普遍存在可扩展的类。它有两种存在形式:潜无穷序列,以及有穷开放类。后者是成员可扩展的类,这种扩展或开放的过程不能无限制地进行下去,且无法给定过程的终点。进一步,开放过程具有不同的分层和阶段,而其生成的类成员以及用于生成类成员的算子也归属于不同层次和不同的阶段。本文主要采用类型论的方法,描述有穷开放过程及其产物有穷开放类,给出了用于描述有穷开放类的分层和分阶段属性的开放类型系统。
其他文献
青光眼是位列全球第二的致盲性眼病。青光眼滤过性手术是针对药物控制眼压效果不佳的青光眼患者的主要治疗手段。理想的功能性滤过泡是滤过性手术成功的重要标志,为维持滤过
随着互联网的普及，信息社会快速的发展，先进的技术迅速应用到各个领域之中。由于对人才的需求量增大，国家开始重视教育改革，并将计算机、互联网、多媒体等先进的技术应用到现代化
将构建保存的重组表达质粒pET-ApxⅠA、pET-ApxⅢA和pPRoAppOML-1用IPTG诱导表达,选择最佳的表达条件为IPTG 1.0 mmol/L,温度为37℃,表达时间为8 h,表达产物用SDS-PAGE鉴定,
西方逻辑学传播和从日本输入因明后的直接影响是在民国时期出现佛教逻辑研究,最明显的表现是大多研究者形成因明的三支论式与亚里士多德三段论的一致性的观念,即新因明结构宗
杜国平:张老师,您好!中国社会科学院哲学研究所为了全面总结建国70周年以来哲学研究所所取得的巨大成就,决定对著名学者进行学术访谈,记录老学者的学术思想、心路历程,以便保
布劳威尔的直觉主义把数学理解为心智的构造性活动,只接受心智可构造的数学对象和数学证明。在直觉主义看来,判定一个命题为真必须要给出这个命题的构造性证明,对逻辑联结词
鹿魏氏梭菌病是养鹿场常发生的一种发病急、病程短，死亡率极高，以胃肠道严重出血为主要特征的疾病。某鹿场鹿出现急性死亡，通过，临床症状观察、病理剖检、细菌的分离与鉴定、肠毒
国学热的兴起,传承了我国优秀的文化,促进了学生各方面素养的提高.但是目前如何有效地引导学生学习国学,培养学生热爱国学的感情,还是值得我们在教学过程中不断地实践和思考
对自然感染寄生线虫和痒螨的绵羊用爱普瑞克制剂进行驱杀疗效观察。通过虫卵和痒螨检查确定阳性羊，设爱普瑞克0．05、0．1、0．2mg／kg体重3个剂量组，同时设阿维菌素0．2mg／kg体重和空白对
在区域地质背景分析和典型矿床研究的基础上,通过对大兴安岭中南段铜多金属矿床成矿地质特征的分析,阐明了该区铜多金属矿床的空间分布、容矿围岩、与成矿有关岩体和成矿时代