高级检索

    关于择优蕴涵的悖论

    PARADOXES ON PREFERENTIAL IMPLICATIONS

    • 摘要: 本文基于对蕴涵悖论的讨论,分析了已有非单调逻辑、次协调逻辑中择优蕴涵的合理性,发现由于这些择优蕴涵对结论缺少限制,从而不可避免地有蕴涵悖论.本文通过合理地增加对结论的限制,定义了没有一般的蕴涵悖论的、非单调的、次协调的择优蕴涵,并给出这种择优蕴涵在命题情形基于TABLEAU演算的可靠而且完备的判定方法

       

      Abstract: Based on the discussion of implicational paradoxes,this paper analyzes the rationality of some preferential implications in nonmonotonic logic and paraconsistent logic.A new preferential implication,which is nonmonotonic,paraconsistent and without the general implicational paradoxes,is proposed by adding necessary restrictions on the consequent.The sound and complete decision TABLEAU of such implication is presented.

       

    /

    返回文章
    返回