关于此电子书
Classical logic prohibits contradiction as structural collapse: from a contradiction, anything follows (ex contradictione quodlibet). Two formal traditions have challenged this prohibition: da Costa's Annotated Paraconsistent Logic (LPA) [5,6], which tolerates contradictions without system collapse, and Smarandache's Neutrosophic Logic [1,2,3], which introduces genuine indeterminacy as an independent logical value. We show that LPA is algebraically a subset of neutrosophic logic via the embedding φ(A:(μ,λ)) = A:(T=μ, I=0, F=λ), which preserves all LPA operations under neutrosophic connectives. This result supports Smarandache's claim that neutrosophic logic subsumes paraconsistent logic structurally. Building on this foundation, we propose Neutrosophic Paraconsistent Logic (NPL), a development within the neutrosophic framework that adds an evidential layer: μ (favorable evidence) and λ (contrary evidence) as evidence degrees alongside the ontological I, enabling a formal distinction between epistemic contradiction (resolvable by evidence) and ontological contradiction (structurally irreducible). Nine formal propositions establish NPL's properties, including bounded paraconsistency under a defined annotated consequence relation _NPL. We formalize an Evidence Synthesis algorithm (NPL-ES) and apply it to a clinical controversy: prenatal paracetamol and autism spectrum disorder (N=17 studies), demonstrating that quality-weighted NPL annotation produces materially different and more actionable recommendations than raw vote-counting.
Classical logic prohibits contradiction as structural collapse: from a contradiction, anything follows (ex contradictione quodlibet). Two formal traditions have challenged this prohibition: da Costa's Annotated Paraconsistent Logic (LPA) [5,6], which tolerates contradictions without system collap...
探索更多
为此电子书评分
欢迎向我们提供反馈意见。
如何阅读
智能手机和平板电脑
笔记本电脑和台式机
您可以使用计算机的网络浏览器聆听您在 Google Play 购买的有声读物。
电子阅读器和其他设备
如果要在 Kobo 电子阅读器等电子墨水屏设备上阅读，您需要下载一个文件，并将其传输到相应设备上。若要将文件传输到受支持的电子阅读器上，请按帮助中心内的详细说明操作。
