开放逻辑——一个刻画知识增长和更新的逻辑理论

本文建立了一个可以刻画知识的增长、更新以及假说的进化的逻辑理论;给出了新假设、事实反驳、假说的重构及认识进程等概念的定义,讨论了它们的性质并证明了与之有关的定理,本文还定义了认识进程的极限概念并证明任何关于某一特定问题的经验模型都是一认识进程的极限。作为开放逻辑的应用,本文给出了 Reiter 缺省推理理论的一个模型论解释。