Results 91 to 100 of about 801,927 (249)
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
Sound Probabilistic Reasoning under Contradiction, Inconsistency and Incompleteness [PDF]
, 2016 I intend to show how probability theory can be regarded as logic-dependent, viewing probability as a branch of logic in a generalized way. A kind of meta-axiomatics permits us to define probability measures that are either classical, paraconsistent ...
Carnielli, Walter
core +1 more source
The ubiquity of conservative translations
, 2012 We study the notion of conservative translation between logics introduced by Feitosa and D'Ottaviano. We show that classical propositional logic (CPC) is universal in the sense that every finitary consequence relation over a countable set of formulas can
da Silva +8 more
core +1 more source
, 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
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
, 2011 In this paper we generalize the intuitionistic fuzzy set (IFS), paraconsistent set, and intuitionistic set to the neutrosophic set (NS). Several examples are presented.
Smarandache, Florentin
core +1 more source
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
Belief Revision in Science: Informational Economy and Paraconsistency [PDF]
, 2017 In the present paper, our objective is to examine the application of belief revision models to scientific rationality. We begin by considering the standard model AGM, and along the way a number of problems surface that make it seem inadequate for this ...
Coimbra, Daniel
core