go top

网络释义专业释义

  Paraconsistent Logic

...学合作社 phil-commune 关键词:次协调逻辑;形式系统的语法等价;不一致;自引用 [gap=6233]Key words: Paraconsistent Logic; Syntactically-equivalent of Formal System; Inconsistent; Self-reference ..

基于2564个网页-相关网页

  • paraconsistent logic - 引用次数:6

    参考来源 - 关于择优蕴涵的悖论 in C

·2,447,543篇论文数据,部分数据来源于NoteExpress

双语例句

  • 协调逻辑属于异常经典逻辑

    The paraconsistent logic belongs to the unusual non- classical logic.

    youdao

  • 这里限制矛盾基本手法次协调逻辑

    Here the basic method to circumscribe contradiction is paraconsistent logic.

    youdao

  • 第四部分主要协调逻辑哲学价值做较为深入的探析。

    The fourth part makes deep study of the philosophical significance of, paraconsistent logic.

    youdao

更多双语例句

百科

次协调逻辑

次协调逻辑是尝试处理矛盾的逻辑是不平凡的(non-trivial)逻辑,它允许矛盾更加特殊的,它允许断言一个陈述和它的否定,而不导致谬论在标准逻辑中从矛盾中可以推导出任何东西; 这叫做(ECQ), 也叫做爆炸原理。次协调逻辑就是 ECQ 不成立的逻辑系统可以用来建模有矛盾的信仰系统,但不是任何东西都能从它推导出来的在标准逻辑中必须小心的防止形成说谎者悖论的陈述由于不需要排除这种陈述而更加简单(尽管它仍然必须排除 Curry 悖论)此外,次协调逻辑可以潜在的克服哥德尔不完备定理蕴涵的算术限制,而是完备的

详细内容

以上来源于: 百度百科
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定