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