论文部分内容阅读
内涵能构逻辑研究是国内外逻辑学研究的空白点。本文针对抽象思维的能构性特点,总结了内涵逻辑研究的现有成果,从重新确切界定数理逻辑学的基本范畴着手,说明了“信息的内涵性质”、“谓词范畴的两重性”、“抽象间隔”、“赋值的相对性”、“赋值映射的不动点”,刻划了一个决定论框架,并把它嵌入了信息流逻辑的框架。为进一步论证内涵能构逻辑的不动点语义作了准备。