Meer oor hierdie e-boek
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...
Ontdek meer
Gradeer hierdie e-boek
Sê vir ons wat jy dink.
Lees inligting
Slimfone en tablette
Installeer die Google Play Boeke-app vir Android en iPad/iPhone. Dit sinkroniseer outomaties met jou rekening en maak dit vir jou moontlik om aanlyn of vanlyn te lees waar jy ook al is.
Skootrekenaars en rekenaars
Jy kan jou rekenaar se webblaaier gebruik om na oudioboeke wat jy op Google Play gekoop het, te luister.
E-lesers en ander toestelle
Om op e-inktoestelle soos Kobo-e-lesers te lees, moet jy ’n lêer aflaai en dit na jou toestel toe oordra. Volg die gedetailleerde hulpsentrumaanwysings om die lêers na ondersteunde e-lesers toe oor te dra.
