Zobrazeno 1 - 10
of 137
pro vyhledávání: '"WALTER CARNIELLI"'
Publikováno v:
Axioms, Vol 9, Iss 3, p 100 (2020)
In this paper, we propose Kripke-style models for the logics of evidence and truth LETJ and LETF. These logics extend, respectively, Nelson’s logic N4 and the logic of first-degree entailment (FDE) with a classicality operator ∘ that recovers cla
Externí odkaz:
https://doaj.org/article/9faed1378e60477baf30faa23a18637b
Autor:
Walter Carnielli
Publikováno v:
Filosofia Unisinos, Vol 17, Iss 2 (2016)
Externí odkaz:
https://doaj.org/article/6c50412b04d249dbbaee7ac0cef54771
Autor:
Walter Carnielli
Publikováno v:
Principia: An International Journal of Epistemology, Vol 13, Iss 3, Pp 283-297 (2009)
Jaakko Hintikka, in a series of talks in Brazil in 2008, defended that IF (“independence- friendly”) logic and paraconsistent logic are, in a sense, very similar. Having sketched the proposal of a new paraconsistent system, he maintains that seve
Externí odkaz:
https://doaj.org/article/6cf5bcfdc78c4e65a1d549959cf264d4
Autor:
Juliana Bueno-Soler, Walter Carnielli
Publikováno v:
Entropy, Vol 18, Iss 9, p 325 (2016)
This paper represents the first steps towards constructing a paraconsistent theory of probability based on the Logics of Formal Inconsistency (LFIs). We show that LFIs encode very naturally an extension of the notion of probability able to express so
Externí odkaz:
https://doaj.org/article/4f94c0689e494727b005906cbdbcb439
Autor:
WALTER CARNIELLI, ABÍLIO RODRIGUES
Publikováno v:
Manuscrito, Iss 0, Pp 0-0 (2015)
AbstractIn this paper we present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object lan
Externí odkaz:
https://doaj.org/article/8dcfbc7d6c434503ad3f2eaef190b409
Autor:
ABILIO Rodrigues, Walter Carnielli
Publikováno v:
Logic and Logical Philosophy. :1-26
The aim of this text is to reply to criticisms of the logics of evidence and truth and the epistemic approach to paraconsistency advanced by Barrio [2018], and Lo Guercio and Szmuc [2018]. We also clarify the notion of evidence that underlies the int
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7ec86840b1e30ba107c45fdc80671613
https://doi.org/10.12775/llp.2022.009
https://doi.org/10.12775/llp.2022.009
Autor:
Walter Carnielli
Publikováno v:
Circumscribere International Journal for the History of Science; Vol. 27 (2021); 1-12
Circumscribere International Journal for the History of Science; v. 27 (2021); 1-12
Circumscribere
Pontifícia Universidade Católica de São Paulo (PUC-SP)
instacron:PUC_SP
Circumscribere International Journal for the History of Science; v. 27 (2021); 1-12
Circumscribere
Pontifícia Universidade Católica de São Paulo (PUC-SP)
instacron:PUC_SP
In addition to the obvious social and ethical risks, there are philosophical hazards behind artificial intelligence and machine learning. I try to raise here some critical points that might counteract some naive optimism, and warn against the possibi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7be738ba0fc6c3320d478386e194d070
https://doi.org/10.23925/1980-7651.2021v27
https://doi.org/10.23925/1980-7651.2021v27
Publikováno v:
The Bulletin of Symbolic Logic. 27:39-66
Satisfaction systems and reductions between them are presented as an appropriate context for analyzing the satisfiability and the validity problems. The notion of reduction is generalized in order to cope with the meet-combination of logics. Reductio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d5134f48938853b6c87c623a567f9e82
https://doi.org/10.1017/bsl.2021.17
https://doi.org/10.1017/bsl.2021.17
Autor:
Bruno Ramos Mendonça, Walter Carnielli
Publikováno v:
Logical Investigations. 26:91-109
The traditional theory of semantic information, originally proposed by [Bar-Hillel, Carnap, 1953], provides a versatile and pretty plausible conception of what kind of thing semantic information is. It embodies, however, the so-called “scandal of d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c20ccf8693225892836cafc8fff20b77
https://doi.org/10.21146/2074-1472-2020-26-1-91-109
https://doi.org/10.21146/2074-1472-2020-26-1-91-109
Publikováno v:
Synthese. 198:5451-5480
This paper introduces the logic of evidence and truth $${ LET}_{F}$$ as an extension of the Belnap–Dunn four-valued logic $${ FDE}$$ . $${ LET}_{F}$$ is a slightly modified version of the logic $${ LET}_{J}$$ , presented in Carnielli and Rodrigues
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6b05c40fe9435ef1e371e60bdd2ff45f
https://doi.org/10.1007/s11229-020-02571-w
https://doi.org/10.1007/s11229-020-02571-w