[图书][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 …

[图书][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 …

Paraconsistent logics and paraconsistency

NCA da Costa, D Krause, O Bueno - Philosophy of logic, 2007 - Elsevier
Publisher Summary This chapter discusses paraconsistent logics (PL) and paraconsistency.
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 …

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 …

[PDF][PDF] Aspects of paraconsistent logic

NCA da Costa, JY Béziau, OAS Bueno - Log. J. IGPL, 1995 - Citeseer
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 …

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 …

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 …

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 …

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 …