Vous avez cherché: paraconsistent (Anglais - Portugais)

articulate critic of paraconsistent logic.
articulou criticas da lógica paraconsistente.

another articulate critic of paraconsistent logic.
outro articulador critico da lógica paraconsistente.

one of the first to develop formal systems of paraconsistent logic.
um dos primeiros a desenvolver sistemas formais da lógica paraconsistente.

one of the founders of relevance logic, a kind of paraconsistent logic.
um dos fundadores da relevância lógica, um tipo de lógica paraconsistente.

perhaps the most prominent advocate of paraconsistent logic in the world today.
talvez o mais proeminente advogado da lógica paraconsistente no mundo atual.

* set theory and the foundations of mathematics (see paraconsistent mathematics).
*teoria dos conjuntos e as fundações da matemática (veja matemática paraconsistente).

however, the study of paraconsistent logics, does not necessarily entail a dialetheist viewpoint.
contudo, o estudo da paraconsistência lógica, não necessariamente ocasiona um ponto de vista dialetista.

== relation to other logics ==one important type of paraconsistent logic is relevance logic.
==relações com outras lógicas==um importante tipo de lógica paraconsistente é relevância lógica.

however, intuitionistic logic is a specific logical system whereas paraconsistent logic encompasses a large class of systems.
contudo, lógica intuicionista é um sistema lógico especifico onde lógica paraconsistente engloba uma grande classe de sistemas.

paraconsistent logic has been proposed as means of providing a simple and intuitive formal account of truth that does not fall prey to paradoxes such as the liar.
lógica paraconsistente tem sido proposta como significado de prover uma simples e intuitiva consideração formal da verdade que não cedem a paradoxos como o mentiroso.

the term "paraconsistent logic" was coined by miró quesada at the third latin america conference on mathematical logic in 1976.
miró quesada cunhou o termo lógica paraconsistente em 1976.

in non-paraconsistent logics, there is only one inconsistent theory: the trivial theory that has every sentence as a theorem.
em uma lógica não paraconsistente, existe uma teoria inconsistente: a teoria trivial que tem toda sentença como um teorema.

as a result, paraconsistent logics, unlike classical and other logics, can be used to formalize inconsistent but non-trivial theories.
como resultado, lógica paraconsistente, diferente da lógica clássica e outras lógicas, pode ser usada para formalizar teorias inconsistentes mas não triviais.

== motivation ==the primary motivation for paraconsistent logic is the conviction that it ought to be possible to reason with inconsistent information in a controlled and discriminating way.
== motivação ==a motivação primordial para a lógica paraconsistente é a convicção de que deve ser possível raciocinar com informações inconsistentes de modo controlado e discriminador.

a related objection is that "negation" in paraconsistent logic is not really "negation"; it is merely a subcontrary-forming operator.
um objeto relatado é que “negação” em lógica paraconsistente não é realmente negação; é meramente um subcontrário formando operadores.

*paraconsistent logic (e.g., dialetheism and relevance logic) rejects the law of noncontradiction;*relevance logic, linear logic, and non-monotonic logic reject monotonicity of entailment;*computability logic is a semantically constructed formal theory of computability, as opposed to classical logic, which is a formal theory of truth; integrates and extends classical, linear and intuitionistic logics.
*lógica paraconsistente (por exemplo, dialeteísmo e lógica da relevância) rejeita a lei da não-contradição;*lógica da relevância, a lógica linear e lógica não-monotônica rejeitar monotonicidade de vinculação;*lógica computacional é uma teoria formal semanticamente construído de computabilidade, em oposição à lógica clássica, que é uma teoria formal de verdade, se integra e se estende lógica clássica, linear e lógica intuicionista.