三分的认知世界与怀疑逻辑的独立性

Tri-partitioning of Epistemic Worlds and Independence of Doubting Logic

主体的认知世界可以划分为“信念世界(WB)”、“怀疑世界(WD)”和“无知世界(WU)”,这三个世界中的元素是认知命题。这三个世界之间是不重叠的,并且它们构成一个认知世界全集。一个认知命题是真的,当且仅当它属于相应的认知世界之中。有了这样的划分,研究怀疑世界中的认知命题之间的逻辑关系的怀疑逻辑是独立的,它不能通过信念逻辑的变形而得到。怀疑逻辑、无知逻辑与信念逻辑构成三个相互独立的逻辑系统。

The epistemic worlds can be partitioned into three parts： belief world, doubting world and ignorance world. Epistemic propositions are elements of them. The three worlds form an epistemic wholeness, and they are not overlapped. An epistemic proposition is true if and only if it is a member of corresponding world. According to such tri-partitioning of epistemic worlds, doubting logic which researches logic relationship among propositions of doubting world is independent. It couldn＇t be established by transformation of belief logic. Belief logic, doubting logic and ignorance logic are three independent epistemic logic.