Осы электрондық кітап туралы ақпарат
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...
Ұқсас кітаптар
Осы электрондық кітапты бағалаңыз.
Пікіріңізбен бөлісіңіз.
Ақпаратты оқу
Смартфондар мен планшеттер
Android және iPad/iPhone үшін Google Play Books қолданбасын орнатыңыз. Ол аккаунтпен автоматты түрде синхрондалады және қайда болсаңыз да, онлайн не офлайн режимде оқуға мүмкіндік береді.
Ноутбуктар мен компьютерлер
Google Play дүкенінде сатып алған аудиокітаптарды компьютердің браузерінде тыңдауыңызға болады.
eReader және басқа құрылғылар
Kobo eReader сияқты E-ink технологиясымен жұмыс істейтін құрылғылардан оқу үшін файлды жүктеп, оны құрылғыға жіберу керек. Қолдау көрсетілетін eReader құрылғысына файл жіберу үшін Анықтама орталығының нұсқауларын орындаңыз.
