开放逻辑是用于刻画知识的增长,更新及假说进化的一个引人注目的形式逻辑理论。文中描述了在开放逻辑中什么是典型的证明论问题,并形式地定义了开放证明的概念。关于开放逻辑中的判定性问题,得到的结论是:(1)一致的开放逻辑系统的开放证明问题是半可判定的(文中给出了一个判定算法);(2)不一致的开放逻辑系统的开放证明问题不是半可判定的。 Open logic is a compelling formal logic theory used to characterize the growth, updating, and evolution of knowledge. The article describes what is typically proof-of-concept in open logic and formally defines the notion of openness. On the question of the judgments in open logic, the conclusions are: (1) the openness of a consistent open-ended logic system is semi-decidable (a decision algorithm is given in the paper); (2) the inconsistent Open Logical System Proof of openness is not semi-decidable.