一个关于有穷开放过程的类型论系统

发布人：网站编辑发布日期：2023-09-04

逻辑学研究 2020 年第 4 期， 48–71 文章编号： 1674-3202(2020)-04-0048-24
作者：梁晓龙鞠实儿

摘要： 自然界、人类社会和认知领域中普遍存在可扩展的类。它有两种存在形式：潜无穷序列，以及有穷开放类。后者是成员可扩展的类，这种扩展或开放的过程不能无限制地进行下去，且无法给定过程的终点。进一步，开放过程具有不同的分层和阶段，而其生成的类成员以及用于生成类成员的算子也归属于不同层次和不同的阶段。本文主要采用类型论的方法，描述有穷开放过程及其产物有穷开放类，给出了用于描述有穷开放类的分层和分阶段属性的开放类型系统。