10.3969/j.issn.1674-8891.2013.01.019
不可能世界的逻辑辨析
不可能世界在认知逻辑系统中理解为在逻辑上是不可能的而认知上是可能的,能够为认知逻辑系统中认知主体的矛盾信念提供语义支持,同时在一定程度上可缓解认知逻辑系统中的逻辑全能问题.对不可能世界本体论的归谬法证明遭遇丐题的困境问题,文章表明该证明无法真正否定证不可能世界,因为不可能世界就是一个初始概念.而对否定算子在不可能世界中的定义变化问题,仅是一个众多语义解释的选择问题,并不是由于不可能世界的引入而引发该问题.
不可能世界、逻辑全能、丐题、否定
B81(逻辑学(论理学))
2013-04-26(万方平台首次上网日期,不代表论文的发表时间)
64-67