不可能世界的逻辑辨析  

Logical Analysis on Impossible Worlds

作　　者：陈晓华[1] 尹凡凡[1] 

机构地区：[1]湘潭大学哲学与历史文化学院,湖南湘潭411105

出　　处：《广西民族师范学院学报》2013年第1期64-67,共4页

基　　金：教育部社科基金项目:"基于认知动作和受限主体的逻辑研究"(11YJA72040001)

摘　　要：不可能世界在认知逻辑系统中理解为在逻辑上是不可能的而认知上是可能的,能够为认知逻辑系统中认知主体的矛盾信念提供语义支持,同时在一定程度上可缓解认知逻辑系统中的逻辑全能问题。对不可能世界本体论的归谬法证明遭遇丐题的困境问题,文章表明该证明无法真正否定证不可能世界,因为不可能世界就是一个初始概念。而对否定算子在不可能世界中的定义变化问题,仅是一个众多语义解释的选择问题,并不是由于不可能世界的引入而引发该问题。In the system of epistemic logic, impossible worlds can be regarded as logically impossible but epistemically possible. From the view of logic, this paper analyzes that the theories of impossible worlds meet the logic requirements, that is, in the systems of epistemic logic, the agent＇ s con- stradictional behef need theories of impossible worlds as semantic interpretation, and the theories of impossible worlds can be applied to solve the prob- lem of logical omniscience.

关 键 词：不可能世界 逻辑全能 丐题 否定 

分 类 号：B81[哲学宗教—逻辑学]