[图书][B] Science and partial truth: A unitary approach to models and scientific reasoning
NCA Da Costa, S French - 2003 - books.google.com
In the past thirty years, two fundamental issues have emerged in the philosophy of science.
One concerns the appropriate attitude we should take towards scientific theories--whether …
One concerns the appropriate attitude we should take towards scientific theories--whether …
[图书][B] Handbook of analytic philosophy of medicine
K Sadegh-Zadeh - 2015 - Springer
Specifically, my theories of health and disease in Section 7.3, of etiology in Section 7.5, and
of diagnosis in Section 9.2 are based on my “Fundamentals of clinical methodology”, 1-4, in …
of diagnosis in Section 9.2 are based on my “Fundamentals of clinical methodology”, 1-4, in …
Paraconsistent logics and paraconsistency
Publisher Summary This chapter discusses paraconsistent logics (PL) and paraconsistency.
PL are the logics of inconsistent but nontrivial theories. A deductive theory is paraconsistent …
PL are the logics of inconsistent but nontrivial theories. A deductive theory is paraconsistent …
Fuzzy health, illness, and disease
K Sadegh-Zadeh - The Journal of Medicine and Philosophy: A …, 2000 - academic.oup.com
The notions of health, illness, and disease are fuzzy-theoretically analyzed. They present
themselves as non-Aristotelian concepts violating basic principles of classical logic. A …
themselves as non-Aristotelian concepts violating basic principles of classical logic. A …
An epistemic approach to paraconsistency: a logic of evidence and truth
W Carnielli, A Rodrigues - Synthese, 2019 - Springer
The purpose of this paper is to present a paraconsistent formal system and a corresponding
intended interpretation according to which true contradictions are not tolerated …
intended interpretation according to which true contradictions are not tolerated …
[PDF][PDF] Aspects of paraconsistent logic
During the last two decades, we have been witnessing a growing interest as well as a
remarkable activity in connection to paraconsistent logic. So many specialized publications …
remarkable activity in connection to paraconsistent logic. So many specialized publications …
From Belnap-Dunn four-valued logic to six-valued logics of evidence and truth
ME Coniglio, A Rodrigues - Studia Logica, 2024 - Springer
The main aim of this paper is to introduce the logics of evidence and truth LETK+ and LETF+
together with sound, complete, and decidable six-valued deterministic semantics for them …
together with sound, complete, and decidable six-valued deterministic semantics for them …
Valuation semantics for first-order logics of evidence and truth
H Antunes, A Rodrigues, W Carnielli… - Journal of Philosophical …, 2022 - Springer
This paper introduces the logic QLETF, a quantified extension of the logic of evidence and
truth LETF, together with a corresponding sound and complete first-order non-deterministic …
truth LETF, together with a corresponding sound and complete first-order non-deterministic …
Fundamentals of clinical methodology: 4. Diagnosis
K Sadegh-Zadeh - Artificial Intelligence in Medicine, 2000 - Elsevier
The concept of medical diagnosis is reconstructed and its syntax, semantics, and pragmatics
are analyzed. It is shown that medical diagnosis is relative to a complex diagnostic structure …
are analyzed. It is shown that medical diagnosis is relative to a complex diagnostic structure …
On epistemic and ontological interpretations of intuitionistic and paraconsistent paradigms
W Carnielli, A Rodrigues - Logic Journal of the IGPL, 2021 - academic.oup.com
From the technical point of view, philosophically neutral, the duality between a
paraconsistent and a paracomplete logic (for example intuitionistic logic) lies in the fact that …
paraconsistent and a paracomplete logic (for example intuitionistic logic) lies in the fact that …