论文部分内容阅读
不可能世界在认知逻辑系统中理解为在逻辑上是不可能的而认知上是可能的，能够为认知逻辑系统中认知主体的矛盾信念提供语义支持，同时在一定程度上可以缓解认知逻辑系统中的逻辑全能问题。对于不可能世界本体论的归谬法证明遭遇丐题的困境问题，本文表明该证明无法真正否证不可能世界，因为不可能世界就是一个初始概念，而对于否定算子在不可能世界中的定义变化问题，本文认为这仅仅是一个众多语义解释的选择问题，并不是由于不可能世界的引入而引发该问题。