Paraconsistent Logic
Mostrando 1-12 de 24 artigos, teses e dissertações.
-
1. ON A NEW APPROACH TO PEIRCE’S THREE-VALUE PROPOSITIONAL LOGIC
Abstract In 1909, Peirce recorded in a few pages of his logic notebook some experiments with matrices for three-valued propositional logic. These notes are today recognized as one of the first attempts to create non-classical formal systems. However, besides the articles published by Turquette in the 1970s and 1980s, very little progress has been made toward
Manuscrito. Publicado em: 2022
-
2. TWO-VALUED WEAK KLEENE LOGICS
Abstract In the literature, Weak Kleene logics are usually taken as three-valued logics. However, Suszko has challenged the main idea of many-valued logic claiming that every logic can be presented in a two-valued fashion. In this paper, we provide two-valued semantics for the Weak Kleene logics and for a number of four-valued subsystems of them. We do the s
Manuscrito. Publicado em: 15/04/2019
-
3. BOOK REVIEW: CARNIELLI, Walter & MALINOWSKI, Jacek (eds.). Contradictions, from Consistency to Inconsistency (Trends in Logic 47, Springer International Publishing, 2018, VI+322 pages)
Abstract 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. Most of them are developed around a fine-grained investigation on the principle of non-contradiction and the concept of consistency, inquired mainly into the broad area of paraconsiste
Manuscrito. Publicado em: 02/04/2019
-
4. BOOK REVIEW: CARNIELLI, W., CONIGLIO, M. Paraconsistent Logic: Consistency, Contradiction and Negation. Logic, Epistemology, and the Unity of Science Series. (New York: Springer, 2016. ISSN: 2214-9775.)
ABSTRACT Review of the book 'Paraconsistent Logic: Consistency, Contradiction and Negation' (2016), by Walter Carnielli and Marcelo Coniglio
Manuscrito. Publicado em: 2018-06
-
5. TOWARDS A PHILOSOPHICAL UNDERSTANDING OF THE LOGICS OF FORMAL INCONSISTENCY
Abstract In 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 language in such a way that consistency may be logically independent of non-contradiction. We defend the view a
Manuscrito. Publicado em: 06/10/2015
-
6. Da lógica paraconsistente à quase-verdade: um exame de dois trabalhos de Newton da Costa.
O presente trabalho examina dois dos resultados de da Costa a fim de mostrar sua utilidade para a filosofia e apontar possíveis desenvolvimentos filosóficos. Examina-se, em primeiro lugar, a lógica paraconsistente, tanto do ponto de vista histórico e técnico, quanto alguns de seus desenvolvimentos; depois examina-se a teoria da quase-verdade. Por fim, p
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 31/05/2012
-
7. Matrix- based logic for avoiding paradoxes and its paraconsistent alternative
The present article shows that there are consistent and decidable many- valued systems of propositional logic which satisfy two or all the three criteria for non- trivial inconsistent theories by da Costa (1974). The weaker one of these paraconsistent system is also able to avoid a series of paradoxes which come up when classical logic is applied to empirica
Manuscrito. Publicado em: 2011-06
-
8. Remarks on an algebraic semantics for paraconsistent Nelson's logic
In the paper Busaniche and Cignoli (2009) we presented a quasivariety of commutative residuated lattices, called NPc-lattices, that serves as an algebraic semantics for paraconsistent Nelson's logic. In the present paper we show that NPc-lattices form a subvariety of the variety of commutative residuated lattices, we study congruences of NPc-lattices and som
Manuscrito. Publicado em: 2011-06
-
9. The role of consistency in empirical science
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. Nevertheless, paraconsistent logic has shown that it is possible to live with contradictions and still avoid the collapse of the theory. The main point of this
Manuscrito. Publicado em: 2011-06
-
10. Uma nova abordagem para a noção de quase-verdade / A new approach to the concept of quase-truth
Newton da Costa and his collaborators have introduced the notion of quasi-truth by means of partial structures, and for this purpose, they conceived the predicates as ordered triples: the set of tuples which satisfies, does not satisfy and can satisfy or not the predicate, respectively (the latter represents lack of information). This approach provides a con
Publicado em: 2011
-
11. Sobre os fundamentos de programação lógica paraconsistente / On the foundations of paraconsistent logic programming
A Programação Lógica nasce da interação entre a Lógica e os fundamentos da Ciência da Computação: teorias de primeira ordem podem ser interpretadas como programas de computador. A Programação Lógica tem sido extensamente utilizada em ramos da Inteligência Artificial tais como Representação do Conhecimento e Raciocínio de Senso Comum. Esta apr
Publicado em: 2010
-
12. Identificação de inconsistências e indeterminações na classificação de equipamentos médico-hospitalares : lógica paraconsistente anotada / Identification of inconsistencies and indeterminacies of a medical equipment classification : paraconsistent annotated logic
O constante avanço tecnológico faz com que uma grande variedade de equipamentos médico-hospitalares esteja disponível no mercado e, cada vez mais, o corpo clínico torna-se dependente dessas novas tecnologias para tratar os pacientes de maneira mais segura e eficiente. No cenário do sistema de saúde atual, em que os recursos financeiros passaram a ser
Publicado em: 2010