梁晓龙
- 作品数：2 被引量：0H指数：0
- 供职机构：中山大学人文科学学院逻辑与认知研究所更多>>
- 发文基金：国家社会科学基金更多>>
- 相关领域：哲学宗教更多>>
- 一个关于有穷开放过程的类型论系统
- 2020年
- 自然界、人类社会和认知领域中普遍存在可扩展的类。它有两种存在形式:潜无穷序列,以及有穷开放类。后者是成员可扩展的类,这种扩展或开放的过程不能无限制地进行下去,且无法给定过程的终点。进一步,开放过程具有不同的分层和阶段,而其生成的类成员以及用于生成类成员的算子也归属于不同层次和不同的阶段。本文主要采用类型论的方法,描述有穷开放过程及其产物有穷开放类,给出了用于描述有穷开放类的分层和分阶段属性的开放类型系统。
- 梁晓龙鞠实儿
- 关键词：有穷
- 邻域语义与修正真理论
- 2017年
- 古普塔和赫兹伯格在1982年各自独立地提出了修正真理论,建立了可用于分析真与相关悖论的修正序列。修正真理论根据语句在所有修正序列中的表现,对语句进行分类。然而,修正真理论在某些语句的分类上不能令人满意,如修正真理论把柯瑞悖论的逆命题断定为绝对地真,这与直觉不一致。本文将从两种路径引入邻域语义研究修正真理论。路径一是在基模型上引入邻域基模型,建立邻域基模型修正序列。这类修正序列比经典修正序列更多,增加的修正序列可使包括柯瑞悖论的逆命题在内的一些语句的病态呈现出来。路径二是通过引入邻域语义模型,使得对任意不含模态词的公式φ,模态公式□φ在后继阶段的真值可以反映φ在上一阶段的真值,并且□φ在极限阶段的真值可以反映φ在至这个极限阶前是否稳定真。从而可以通过□φ的真值来限定Tφ的真值,使得满足相应限制的模型类表示了相应的修正序列。本文最后将对两个路径进行整合,构造出能表示邻域基模型修正序列的整体修正序列模型。
- 林其清梁晓龙
