论文部分内容阅读
本文基于开放逻辑理论,建立了一阶谓词限制理论的知识增长、更新及理论进化的开放的限制理论,给出了谓词限制理论中新假设、事实反驳及伪事实反驳、C-重构、C-认识进程及其极限的定义,讨论了它们的性质并证明了有关的定理,进而描述了限制理论的动态特征-C-认识进程,证明了其极限定量,并比较了它与一般认识进程及限制理论的关系。