Results 81 to 90 of about 5,334 (208)
ON THE DEVELOPMENT OF LOGIC IN BRAZIL I: THE EARLY LOGIC STUDIES AND THE PATH TO CONTEMPORARY LOGIC
Revista Brasileira de História da Matemática, 2020 This article presents the first part of a historical overview of the development of logic in Brazil, and describes the development of contemporary logic in the county with an emphasis on its socio-institutional and interdisciplinary aspects.
Itala M. Loffredo D’Ottaviano +1 more
doaj +1 more source
A Note on a Modified Catuskoti [PDF]
, 2014 The `catuskoti' or tetralemma in Buddhist logic is a problematic subject from the modern logical point of view. Recently a many-valued paraconsistent logic was proposed in order to formalize catuskoti adequately by G. Priest.
Makino, Tetu
core +2 more sources
Paradeduction in Axiomatic Formal Systems
, 2022 The concept of paradeduction is presented in order to justify that we can overlook contradictory information taking into account only what is consistent.
Costa-Leite, Alexandre +2 more
core
, 2009 The present contribution might be regarded as a kind of defense of the common sense in logic. It is demonstrated that if the classical negation is interpreted as the minimal negation with n = 2 truth values, then deviant logics can be conceived as ...
Schang, Fabien
core +1 more source
What Do Paraconsistent, Undecidable, Random, Computable and Incomplete mean? A Review of Godel's Way: Exploits into an undecidable world by Gregory Chaitin, Francisco A Doria, Newton C.A. da Costa 160p (2012) (review revised 2019) [PDF]
, 2019 In ‘Godel’s Way’ three eminent scientists discuss issues such as undecidability, incompleteness, randomness, computability and paraconsistency. I approach these issues from the Wittgensteinian viewpoint that there are two basic issues which have ...
Starks, Michael
core
Principia: An International Journal of Epistemology, 2002 In view of the present state of development of non classical logic, especially of paraconsistent logic, a new stand regarding the relations between logic and ontology is defended In a parody of a dictum of Quine, my stand May be summarized as follows. To
Newton C. A. da Costa
doaj
Manuscrito, 2019 In this review I briefly analyse the main elements of each chapter of the book centred in the general areas of logic, epistemology, philosophy and history of science.
RAFAEL R. TESTA
doaj +1 more source
Normality Operators and Classical Collapse [PDF]
, 2018 In this paper, we extend the expressive power of the logics K3, LP and FDE with anormality operator, which is able to express whether a for-mula is assigned a classical truth value or not.
Carrara, Massimiliano, Ciuni, Roberto
core
The role of consistency in empirical science
Manuscrito, 2011 Any inconsistent theory whose underlying logic is classical encompasses all the sentences of its own language. As it denies everything it asserts, it is useless for explaining or predicting anything.
Jesús Mosterín
doaj +1 more source
Multiple Criteria Decision Analysis (MCDA) for evaluating cancer treatments in hospital-based health technology assessment: The Paraconsistent Value Framework. [PDF]
PLoS One, 2022 Campolina AG +3 more
europepmc +1 more source